Package org.eolang
Interface Phi
-
- All Superinterfaces:
Term
- All Known Implementing Classes:
Data.ToPhi
,Data.Value
,EOangle
,EOangle$EOas_degrees
,EOangle$EOas_radians
,EOangle$EOctan
,EOangle$EOtan
,EOas_phi
,EObool
,EObool$EOand
,EObool$EOas_bytes
,EObool$EOas_hash
,EObool$EOeq
,EObool$EOif
,EObool$EOnot
,EObool$EOor
,EObool$EOwhile
,EObytes
,EObytes_as_array
,EObytes_as_array$EOslice_byte
,EObytes$EOand
,EObytes$EOas_bool
,EObytes$EOas_bytes
,EObytes$EOas_float
,EObytes$EOas_hash
,EObytes$EOas_hash$EOt0$EOa2
,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
,EOe
,EOerror
,EOfloat
,EOfloat$EOas_bytes
,EOfloat$EOas_hash
,EOfloat$EOdiv
,EOfloat$EOeq
,EOfloat$EOgt
,EOfloat$EOgte
,EOfloat$EOlt
,EOfloat$EOlte
,EOfloat$EOminus
,EOfloat$EOminus$EOrec_terms
,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$EOas_bytes
,EOint$EOas_hash
,EOint$EOdiv
,EOint$EOeq
,EOint$EOgt
,EOint$EOgte
,EOint$EOlt
,EOint$EOlte
,EOint$EOminus
,EOint$EOminus$EOrec_terms
,EOint$EOneg
,EOint$EOplus
,EOint$EOtimes
,EOintegral
,EOintegral$EOsubsection
,EOintegral$EOt9$EOt0$EOa1
,EOlist
,EOlist$EOconcat
,EOlist$EOconcat$EOt1$EOa2
,EOlist$EOcontains
,EOlist$EOeach
,EOlist$EOeach$EOt1$EOt0$EOa2
,EOlist$EOeq
,EOlist$EOeq$EOt1$EOt1$EOa2
,EOlist$EOfiltered
,EOlist$EOfiltered$EOt1$EOa1
,EOlist$EOfilteredi
,EOlist$EOfilteredi$EOrec_filtered
,EOlist$EOgt
,EOlist$EOgte
,EOlist$EOhead
,EOlist$EOhead$EOt2$EOt2$EOt2$EOa2
,EOlist$EOindex_of
,EOlist$EOindex_of$EOt1$EOa2
,EOlist$EOinflated
,EOlist$EOinflated$EOrec_inflated
,EOlist$EOis_empty
,EOlist$EOlast_index_of
,EOlist$EOlast_index_of$EOt1$EOa2
,EOlist$EOlt
,EOlist$EOlte
,EOlist$EOmapped
,EOlist$EOmapped$EOt1$EOa1
,EOlist$EOmappedi
,EOlist$EOmappedi$EOt1$EOt0$EOa2
,EOlist$EOreduced
,EOlist$EOreduced$EOt2$EOa2
,EOlist$EOreducedi
,EOlist$EOreducedi$EOrec_reduced
,EOlist$EOsorted
,EOlist$EOsorted$EOswap
,EOlist$EOsorted$EOt0$EOa2
,EOlist$EOsorted$EOt3$EOa1
,EOlist$EOsorted$EOt3$EOa1$EOt1$EOt2$EOa1
,EOlist$EOsorted$EOt4$EOt1$EOa2
,EOlist$EOtail
,EOlist$EOtail$EOt2$EOt2$EOa2
,EOlist$EOwith
,EOlist$EOwithout
,EOlist$EOwithout$EOt1$EOt0$EOa2
,EOlist$EOwithouti
,EOlist$EOwithouti$EOt1$EOa2
,EOmap
,EOmap$EOcontains_key
,EOmap$EOcontains_key$EOt1$EOa2
,EOmap$EOfound
,EOmap$EOkeys
,EOmap$EOkeys$EOt1$EOa1
,EOmap$EOsize
,EOmap$EOwith
,EOmap$EOwithout
,EOmemory
,EOmultimap
,EOmultimap$EOconcat_all_arrays
,EOmultimap$EOconcat_all_arrays$EOt1$EOa2
,EOmultimap$EOfind_in_list
,EOmultimap$EOfind_in_list$EOt2$EOa2
,EOmultimap$EOfound
,EOmultimap$EOkeys
,EOmultimap$EOkeys$EOt1$EOa1
,EOmultimap$EOpairs_to_hash
,EOmultimap$EOpairs_to_hash$EOt1$EOa2
,EOmultimap$EOrebuilded
,EOmultimap$EOrebuilded$EOcomparable_pair
,EOmultimap$EOrebuilded$EOcomparable_pair$EOlt
,EOmultimap$EOrebuilded$EOcreate_array_by_hash
,EOmultimap$EOrebuilded$EOcreate_array_by_hash$EOt3$EOa2
,EOmultimap$EOrebuilded$EOfill_to_size
,EOmultimap$EOrebuilded$EOt2$EOa1
,EOmultimap$EOrebuilded$EOt5$EOa2
,EOmultimap$EOsize
,EOmultimap$EOwith
,EOmultimap$EOwithout
,EOmultimap$EOwithout_in_list
,EOmultimap$EOwithout_in_list$EOt2$EOa2
,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$EOcheck_nan
,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$EOminus$EOis_nan_or_neg_inf
,EOnegative_infinity$EOminus$EOminus_rec
,EOnegative_infinity$EOneg
,EOnegative_infinity$EOplus
,EOnegative_infinity$EOplus$EOis_nan
,EOnegative_infinity$EOplus$EOis_nan_or_pos_inf
,EOnegative_infinity$EOplus$EOplus_rec
,EOnegative_infinity$EOtimes
,EOnegative_infinity$EOtimes$EOis_nan
,EOnegative_infinity$EOtimes$EOis_nan_or_zero
,EOnegative_infinity$EOtimes$EOis_term_gt_zero
,EOnegative_infinity$EOtimes$EOis_term_gt_zero$EOt1$EOa0
,EOnegative_infinity$EOtimes$EOis_term_gt_zero$EOt1$EOa1
,EOnegative_infinity$EOtimes$EOtimes_rec
,EOnegative_infinity$EOtimes$EOtimes_rec$EOt9$EOt2$EOa2
,EOnop
,EOnumber
,EOnumber$EOabs
,EOnumber$EOand
,EOnumber$EOarccos
,EOnumber$EOarccos$EObinary_method
,EOnumber$EOarccos$EObinary_method$EOt7$EOt0$EOa1
,EOnumber$EOceil
,EOnumber$EOceil$EOt1$EOa2
,EOnumber$EOexp
,EOnumber$EOis_float
,EOnumber$EOis_infinite
,EOnumber$EOis_int
,EOnumber$EOis_nan
,EOnumber$EOleft
,EOnumber$EOln
,EOnumber$EOln$EOln_if_greater_than_1
,EOnumber$EOln$EOln_if_greater_than_1$EOterm_1
,EOnumber$EOln$EOln_if_greater_than_1$EOterm_1$EOt2$EOt0$EOa1
,EOnumber$EOln$EOln_if_greater_than_1$EOterm_2
,EOnumber$EOln$EOln_if_greater_than_1$EOterm_2$EOln_taylor
,EOnumber$EOln$EOln_if_greater_than_1$EOterm_2$EOln_taylor$EOt4$EOt0$EOa1
,EOnumber$EOlog
,EOnumber$EOlog$EOt2$EOa2
,EOnumber$EOmod
,EOnumber$EOmod$EOabs_mod
,EOnumber$EOneq
,EOnumber$EOor
,EOnumber$EOpower
,EOnumber$EOpower$EOt1$EOa2
,EOnumber$EOpower$EOt1$EOa2$EObin_powf
,EOnumber$EOpower$EOt1$EOa2$EObin_powf$EOt2$EOa2
,EOnumber$EOpower$EOt1$EOa2$EObin_powi
,EOnumber$EOpower$EOt1$EOa2$EObin_powi$EOt2$EOa2
,EOnumber$EOright
,EOnumber$EOsignum
,EOnumber$EOsqrt
,EOnumber$EOsqrt$EObabylonian_method
,EOnumber$EOsqrt$EObabylonian_method$EOt4$EOt0$EOa1
,EOnumber$EOtaylor
,EOnumber$EOtaylor$EOt8$EOt2$EOa1
,EOnumber$EOxor
,EOpi
,EOpositive_infinity
,EOpositive_infinity$EOdiv
,EOpositive_infinity$EOdiv$EOcheck_nan
,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$EOminus$EOis_nan_or_pos_inf
,EOpositive_infinity$EOminus$EOminus_rec
,EOpositive_infinity$EOneg
,EOpositive_infinity$EOplus
,EOpositive_infinity$EOplus$EOis_nan
,EOpositive_infinity$EOplus$EOis_nan_or_neg_inf
,EOpositive_infinity$EOplus$EOplus_rec
,EOpositive_infinity$EOtimes
,EOpositive_infinity$EOtimes$EOis_nan
,EOpositive_infinity$EOtimes$EOis_nan_or_zero
,EOpositive_infinity$EOtimes$EOis_term_gt_zero
,EOpositive_infinity$EOtimes$EOis_term_gt_zero$EOt1$EOa0
,EOpositive_infinity$EOtimes$EOis_term_gt_zero$EOt1$EOa1
,EOpositive_infinity$EOtimes$EOtimes_rec
,EOpositive_infinity$EOtimes$EOtimes_rec$EOt9$EOt2$EOa2
,EOram
,EOram$EOram_slice
,EOram$EOram_slice$EOwrite
,EOram$EOram_slice$EOφ
,EOram$EOslice
,EOram$EOwrite
,EOrandom
,EOrandom$EOnext
,EOrandom$EOpseudo
,EOrandom$EOφ
,EOrange
,EOrange$EOφ
,EOrange$EOφ$EOappend
,EOrange$EOφ$EOappend$EOt3$EOa1
,EOrust
,EOseq
,EOseries
,EOseries$EOmax
,EOseries$EOmax$EOt1$EOt2$EOa2
,EOseries$EOmin
,EOseries$EOmin$EOt1$EOt2$EOa2
,EOset
,EOset$EOt1$EOa2
,EOset$EOt1$EOa2$EOt0$EOa2
,EOset$EOt1$EOa2$EOt0$EOt0$EOt0$EOa2
,EOset$EOwith
,EOstdin
,EOstdin$EOnext_line
,EOstdin$EOφ
,EOstdout
,EOstring
,EOstring$EOas_bytes
,EOstring$EOas_hash
,EOstring$EOeq
,EOstring$EOlength
,EOstring$EOslice
,EOswitch
,EOswitch$EOcheck_case_at
,EOtry
,EOtuple
,EOtuple$EOat
,EOtuple$EOempty
,EOtuple$EOlength
,EOtuple$EOwith
,EOuname
,PhConst
,PhCopy
,PhDefault
,PhFake
,PhLocated
,PhLogged
,PhMethod
,PhSafe
,PhUnvar
,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.- Since:
- 0.1
-
-
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
-
-