Package org.eolang
Class PhDefault
- java.lang.Object
-
- org.eolang.PhDefault
-
- Direct Known Subclasses:
Data.Value
,EOarray
,EOarray$EOappend
,EOarray$EOeach
,EOarray$EOempty
,EOarray$EOget
,EOarray$EOlength
,EOarray$EOmap
,EOarray$EOmap$EO1$EO_1
,EOarray$EOmapi
,EOarray$EOreduce
,EObool
,EObool$EOand
,EObool$EOeq
,EObool$EOif
,EObool$EOnot
,EObool$EOor
,EObool$EOwhile
,EObytes
,EObytes$EOas_string
,EObytes$EOeq
,EObytes$EOpart
,EObytes$EOsize
,EOcage
,EOchar
,EOchar$EOas_string
,EOchar$EOeq
,EOerror
,EOfloat
,EOfloat$EOabs
,EOfloat$EOadd
,EOfloat$EOas_int
,EOfloat$EOas_string
,EOfloat$EOdiv
,EOfloat$EOeq
,EOfloat$EOgeq
,EOfloat$EOgreater
,EOfloat$EOleq
,EOfloat$EOless
,EOfloat$EOmul
,EOfloat$EOneg
,EOfloat$EOneq
,EOfloat$EOpow
,EOfloat$EOsignum
,EOfloat$EOsub
,EOgoto
,EOint
,EOint$EOabs
,EOint$EOadd
,EOint$EOas_float
,EOint$EOas_string
,EOint$EOdiv
,EOint$EOeq
,EOint$EOgeq
,EOint$EOgreater
,EOint$EOleq
,EOint$EOless
,EOint$EOmod
,EOint$EOmul
,EOint$EOneg
,EOint$EOneq
,EOint$EOpow
,EOint$EOsub
,EOmemory
,EOrandom
,EOregex
,EOregex$EOmatch
,EOregex$EOmatches
,EOseq
,EOsprintf
,EOstdout
,EOstring
,EOstring$EOas_bytes
,EOstring$EOas_float
,EOstring$EOas_int
,EOstring$EOchar_at
,EOstring$EOeq
,EOstring$EOjoined
,EOstring$EOlength
,EOstring$EOtrim
public abstract class PhDefault extends Object implements Phi, Cloneable
A simple object.- Since:
- 0.1
-
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description protected void
add(String name, Attr attr)
Add new attribute.Attr
attr(int pos)
Get attribute by position.Attr
attr(String name)
Get attribute.Phi
copy()
Make a copy, leaving it at the same parent.Phi
copy(Phi rho)
Make a copy, attaching it to a new parent.String
toString()
String
φTerm()
To φ-calculus term, as text.
-
-
-
Constructor Detail
-
PhDefault
public PhDefault()
Ctor.
-
PhDefault
public PhDefault(Phi sigma)
Ctor.- Parameters:
sigma
- Sigma
-
-
Method Detail
-
copy
public final Phi copy()
Description copied from interface:Phi
Make a copy, leaving it at the same parent.
-
copy
public final Phi copy(Phi rho)
Description copied from interface:Phi
Make a copy, attaching it to a new parent.
-
attr
public final Attr attr(int pos)
Description copied from interface:Phi
Get attribute by position.
-
-