Package org.eolang
Class PhSafe
- java.lang.Object
-
- org.eolang.PhSafe
-
-
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 voidattach(byte[] data)Attach data to the object.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()Stringlocator()Get code locator of the phi.booleanput(int pos, Phi object)Put object by position of the attribute.booleanput(String name, 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.
-
-
-
Constructor Detail
-
PhSafe
public PhSafe(Phi phi)
Ctor.- Parameters:
phi- The object
-
-
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 name, Phi object)
Description copied from interface:PhiPut object by name of the attribute.
-
attach
public void attach(byte[] data)
Description copied from interface:DataAttach data to the object.
-
-