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 void
attach(byte[] data)
Attach data to the object.Phi
copy()
Make a copy, leaving it at the same parent.byte[]
delta()
Take the data.boolean
equals(Object obj)
String
forma()
Get forma of the phi.int
hashCode()
String
locator()
Get code locator of the phi.boolean
put(int pos, Phi object)
Put object by position of the attribute.boolean
put(String name, Phi object)
Put object by name of the attribute.Phi
take(String name)
Take object by name of the attribute.String
toString()
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:Phi
Make a copy, leaving it at the same parent.
-
take
public Phi take(String name)
Description copied from interface:Phi
Take object by name of the attribute.
-
put
public boolean put(int pos, Phi object)
Description copied from interface:Phi
Put object by position of the attribute.
-
put
public boolean put(String name, Phi object)
Description copied from interface:Phi
Put object by name of the attribute.
-
attach
public void attach(byte[] data)
Description copied from interface:Data
Attach data to the object.
-
-