Package org.eolang
Interface Phi
-
- All Superinterfaces:
Term
- All Known Implementing Classes:
Data.ToPhi
,Data.Value
,EOas_phi
,EObool
,EObool$EOand
,EObool$EOeq
,EObool$EOif
,EObool$EOnot
,EObool$EOor
,EObool$EOwhile
,EObytes
,EObytes$EOand
,EObytes$EOas_bool
,EObytes$EOas_bytes
,EObytes$EOas_float
,EObytes$EOas_int
,EObytes$EOas_string
,EObytes$EOconcat
,EObytes$EOeq
,EObytes$EOleft
,EObytes$EOnot
,EObytes$EOor
,EObytes$EOright
,EObytes$EOsize
,EObytes$EOslice
,EObytes$EOxor
,EOcage
,EOcti
,EOerror
,EOfloat
,EOfloat$EOdiv
,EOfloat$EOeq
,EOfloat$EOgt
,EOfloat$EOgte
,EOfloat$EOlt
,EOfloat$EOlte
,EOfloat$EOminus
,EOfloat$EOneg
,EOfloat$EOplus
,EOfloat$EOtimes
,EOgoto
,EOheap
,EOheap$EOfree
,EOheap$EOmalloc
,EOheap$EOpointer
,EOheap$EOpointer$EOadd
,EOheap$EOpointer$EOblock
,EOheap$EOpointer$EOsub
,EOint
,EOint$EOdiv
,EOint$EOeq
,EOint$EOgt
,EOint$EOgte
,EOint$EOlt
,EOint$EOlte
,EOint$EOminus
,EOint$EOneg
,EOint$EOplus
,EOint$EOtimes
,EOmemory
,EOnan
,EOnan$EOdiv
,EOnan$EOeq
,EOnan$EOgt
,EOnan$EOgte
,EOnan$EOlt
,EOnan$EOlte
,EOnan$EOminus
,EOnan$EOneg
,EOnan$EOplus
,EOnan$EOtimes
,EOnegative_infinity
,EOnegative_infinity$EOdiv
,EOnegative_infinity$EOdiv$EOis_nan
,EOnegative_infinity$EOdiv$EOis_nan_or_infinite
,EOnegative_infinity$EOdiv$EOis_num_gte_zero
,EOnegative_infinity$EOdiv$EOis_num_gte_zero$EOt1$EOa0
,EOnegative_infinity$EOdiv$EOis_num_gte_zero$EOt1$EOa1
,EOnegative_infinity$EOeq
,EOnegative_infinity$EOgt
,EOnegative_infinity$EOgte
,EOnegative_infinity$EOlt
,EOnegative_infinity$EOlte
,EOnegative_infinity$EOminus
,EOnegative_infinity$EOminus$EOis_nan
,EOnegative_infinity$EOplus
,EOnegative_infinity$EOplus$EOis_nan
,EOnegative_infinity$EOtimes
,EOnegative_infinity$EOtimes$EOis_nan
,EOnegative_infinity$EOtimes$EOis_nan_or_zero
,EOnegative_infinity$EOtimes$EOis_num_gt_zero
,EOnegative_infinity$EOtimes$EOis_num_gt_zero$EOt1$EOa0
,EOnegative_infinity$EOtimes$EOis_num_gt_zero$EOt1$EOa1
,EOnop
,EOpositive_infinity
,EOpositive_infinity$EOdiv
,EOpositive_infinity$EOdiv$EOis_nan
,EOpositive_infinity$EOdiv$EOis_nan_or_infinite
,EOpositive_infinity$EOdiv$EOis_num_gte_zero
,EOpositive_infinity$EOdiv$EOis_num_gte_zero$EOt1$EOa0
,EOpositive_infinity$EOdiv$EOis_num_gte_zero$EOt1$EOa1
,EOpositive_infinity$EOeq
,EOpositive_infinity$EOgt
,EOpositive_infinity$EOgte
,EOpositive_infinity$EOlt
,EOpositive_infinity$EOlte
,EOpositive_infinity$EOminus
,EOpositive_infinity$EOminus$EOis_nan
,EOpositive_infinity$EOplus
,EOpositive_infinity$EOplus$EOis_nan
,EOpositive_infinity$EOtimes
,EOpositive_infinity$EOtimes$EOis_nan
,EOpositive_infinity$EOtimes$EOis_nan_or_zero
,EOpositive_infinity$EOtimes$EOis_num_gt_zero
,EOpositive_infinity$EOtimes$EOis_num_gt_zero$EOt1$EOa0
,EOpositive_infinity$EOtimes$EOis_num_gt_zero$EOt1$EOa1
,EOram
,EOram$EOram_slice
,EOram$EOram_slice$EOwrite
,EOram$EOram_slice$EOφ
,EOram$EOslice
,EOram$EOwrite
,EOrust
,EOseq
,EOstdin
,EOstdin$EOnext_line
,EOstdin$EOφ
,EOstdout
,EOstring
,EOstring$EOas_bytes
,EOstring$EOeq
,EOstring$EOlength
,EOstring$EOslice
,EOswitch
,EOswitch$EOcase_at
,EOtry
,EOtuple
,EOtuple$EOat
,EOtuple$EOat$EOat_without_checks
,EOtuple$EOempty
,EOtuple$EOempty$EOat
,EOtuple$EOempty$EOwith
,EOtuple$EOlength
,EOtuple$EOwith
,PhConst
,PhCopy
,PhDefault
,PhFake
,PhLocated
,PhLogged
,PhMethod
,PhSafe
,PhTracedEnclosure
,PhWith
public interface Phi extends Term
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
-
-
Method Summary
All Methods Instance Methods Abstract Methods Modifier and Type Method Description Attr
attr(int pos)
Get attribute by position.Attr
attr(String name)
Get attribute.Phi
copy()
Make a copy, leaving it at the same parent.String
forma()
Get forma of the phi.String
locator()
Get code locator of the phi.
-
-
-
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
-
attr
Attr attr(int pos)
Get attribute by position.- Parameters:
pos
- The position of the attribute- Returns:
- The attr
-
attr
Attr attr(String name)
Get attribute.- Parameters:
name
- The name of the attribute- Returns:
- The attr
-
locator
String locator()
Get code locator of the phi.- Returns:
- String containing code locator
-
-