Package org.eolang
Class Data.ToPhi
- java.lang.Object
-
- org.eolang.Data.ToPhi
-
public static final class Data.ToPhi extends Object implements Phi
Makes aPhi
out of a Java object, like String or integer. This is more convenient than making EOstring and then injecting "Δ" into it. This class is used in Java tests mostly for the sake of brevity. In auto-generated Java code we use EOint/EOstring and then inject "Δ" with Data.Value into it.- Since:
- 0.1
-
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description 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.boolean
equals(Object obj)
int
hashCode()
String
toString()
String
φTerm()
To φ-calculus term, as text.
-
-
-
Constructor Detail
-
ToPhi
public ToPhi(Object obj)
-
-
Method Detail
-
copy
public Phi copy()
Description copied from interface:Phi
Make a copy, leaving it at the same parent.
-
copy
public Phi copy(Phi rho)
Description copied from interface:Phi
Make a copy, attaching it to a new parent.
-
-