Package org.eolang
Class PhLocated
- java.lang.Object
-
- org.eolang.PhLocated
-
-
Nested Class Summary
-
Nested classes/interfaces inherited from interface org.eolang.Data
Data.ToPhi
-
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description Phicopy()Make a copy, leaving it at the same parent.byte[]delta()Take the data.booleanequals(Object obj)Stringforma()Get forma of the phi.inthashCode()Philambda()Executes λ function and calculates object.Stringlocator()Get code locator of the phi.booleanput(int pos, Phi object)Put object by position of the attribute.booleanput(String nme, Phi object)Put object by name of the attribute.Phitake(String name)Take object by name of the attribute.StringtoString()StringφTerm()To φ-calculus term, as text.
-
-
-
Method Detail
-
copy
public Phi copy()
Description copied from interface:PhiMake a copy, leaving it at the same parent.
-
take
public Phi take(String name)
Description copied from interface:PhiTake object by name of the attribute.
-
put
public boolean put(int pos, Phi object)Description copied from interface:PhiPut object by position of the attribute.
-
put
public boolean put(String nme, Phi object)
Description copied from interface:PhiPut object by name of the attribute.
-
delta
public byte[] delta()
Description copied from interface:DataTake the data.
-
-