Package org.eolang
Class PhLocated
- java.lang.Object
-
- org.eolang.PhLocated
-
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description Attr
attr(int pos)
Get attribute by position.Attr
attr(String attr)
Get attribute.Phi
copy()
Make a copy, leaving it at the same parent.boolean
equals(Object obj)
String
forma()
Get forma of the phi.int
hashCode()
String
locator()
Get code locator of the phi.String
toString()
String
φTerm()
To φ-calculus term, as text.
-
-
-
Method Detail
-
copy
public Phi copy()
Description copied from interface:Phi
Make a copy, leaving it at the same parent.
-
-