Package org.eolang
Interface Phi
-
- All Superinterfaces:
Data
- All Known Implementing Classes:
Data.ToPhi
,EOangle
,EOangle$EOcos
,EOangle$EOsin
,EObytes
,EObytes_as_array
,EObytes_as_input
,EObytes$EOand
,EObytes$EOconcat
,EObytes$EOeq
,EObytes$EOnot
,EObytes$EOor
,EObytes$EOright
,EObytes$EOsize
,EObytes$EOslice
,EObytes$EOxor
,EOconsole
,EOcti
,EOdataized
,EOdead_input
,EOdead_output
,EOdir
,EOdir$EOmade$EOmkdir
,EOdir$EOtmpfile$EOtouch
,EOdir$EOwalk
,EOe
,EOerror
,EOfalse
,EOfile
,EOfile$EOdeleted$EOdelete
,EOfile$EOexists
,EOfile$EOis_directory
,EOfile$EOmoved$EOmove
,EOfile$EOopen$EOfile_stream$EOread$EOread_bytes
,EOfile$EOopen$EOfile_stream$EOwrite$EOwritten_bytes
,EOfile$EOopen$EOprocess_file
,EOfile$EOsize
,EOfile$EOtouched$EOtouch
,EOgetenv
,EOgo
,EOhash_code_of
,EOi16
,EOi16$EOas_i32
,EOi32
,EOi32$EOas_i64
,EOi64
,EOi64$EOas_number
,EOi64$EOdiv
,EOi64$EOgt
,EOi64$EOplus
,EOi64$EOtimes
,EOinput_length
,EOintegral
,EOline_separator
,EOlist
,EOmalloc
,EOmalloc_as_output
,EOmalloc$EOof$EOallocated$EOread
,EOmalloc$EOof$EOallocated$EOresized
,EOmalloc$EOof$EOallocated$EOsize
,EOmalloc$EOof$EOallocated$EOwrite
,EOmalloc$EOof$EOφ
,EOmap
,EOnan
,EOnegative_infinity
,EOnumber
,EOnumber$EOas_i64
,EOnumber$EOdiv
,EOnumber$EOfloor
,EOnumber$EOgt
,EOnumber$EOplus
,EOnumber$EOtimes
,EOnumbers
,EOos
,EOos$EOname
,EOpath
,EOpi
,EOpositive_infinity
,EOposix
,EOposix$EOφ
,EOrandom
,EOrange
,EOrange_of_ints
,EOreal
,EOreal$EOacos
,EOreal$EOasin
,EOreal$EOln
,EOreal$EOpow
,EOreal$EOsqrt
,EOregex
,EOregex$EOcompiled
,EOregex$EOpattern$EOmatch$EOmatched_from_index
,EOseq
,EOset
,EOsocket
,EOsprintf
,EOsscanf
,EOstdin
,EOstdout
,EOstring
,EOswitch
,EOtee_input
,EOtext
,EOtmpdir
,EOtrue
,EOtry
,EOtuple
,EOwhile
,EOwin32
,EOwin32$EOφ
,PhCopy
,PhDefault
,PhLogged
,PhMethod
,PhOnce
,PhSafe
,PhWith
public interface Phi extends Data
A simple object.We call it Phi because of the name of the φ-calculus. Actually, a better name would be "Object", but it's already occupied by Java. That's why we call it Phi.
It is guaranteed that the hash codes of different Phi are different, and equal to the vertex.
- Since:
- 0.1
-
-
Nested Class Summary
-
Nested classes/interfaces inherited from interface org.eolang.Data
Data.ToPhi
-
-
Method Summary
All Methods Instance Methods Abstract Methods Modifier and Type Method Description Phi
copy()
Make a copy, leaving it at the same parent.String
forma()
Get forma of the phi.boolean
hasRho()
Returns true if object has bound rho attribute.String
locator()
Get code locator of the phi.void
put(int pos, Phi object)
Put object by position of the attribute.void
put(String name, Phi object)
Put object by name of the attribute.Phi
take(String name)
Take object by name of the attribute.
-
-
-
Field Detail
-
Φ
static final Phi Φ
The global scope object, which owns all other objects.
-
-
Method Detail
-
copy
Phi copy()
Make a copy, leaving it at the same parent.- Returns:
- A copy
-
hasRho
boolean hasRho()
Returns true if object has bound rho attribute.- Returns:
- True if object has rho bound attribute
-
take
Phi take(String name)
Take object by name of the attribute.- Parameters:
name
- The name of the attribute- Returns:
- The object
-
put
void put(int pos, Phi object)
Put object by position of the attribute.- Parameters:
pos
- The position of the attribute.object
- The object to put
-
put
void put(String name, Phi object)
Put object by name of the attribute.- Parameters:
name
- The name of the attribute.object
- The object to put
-
locator
String locator()
Get code locator of the phi.- Returns:
- String containing code locator
-
-