Package org.eolang
Class PhDefault
- java.lang.Object
-
- org.eolang.PhDefault
-
- Direct Known Subclasses:
Data.Value
,EOangle
,EOangle$EOas_degrees
,EOangle$EOas_radians
,EOangle$EOctan
,EOangle$EOtan
,EOarray
,EOarray$EOat
,EOarray$EOempty
,EOarray$EOlength
,EOarray$EOwith
,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$EOt1$EOa1
,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$EOt1$EOa1
,EOint$EOneg
,EOint$EOplus
,EOint$EOtimes
,EOlist
,EOlist$EOconcat
,EOlist$EOconcat$EOt1$EOa2
,EOlist$EOeach
,EOlist$EOeach$EOt1$EOt1$EOa1
,EOlist$EOeq
,EOlist$EOeq$EOt1$EOt1$EOa2
,EOlist$EOfound
,EOlist$EOfound$EOt1$EOa2
,EOlist$EOis_empty
,EOlist$EOmap
,EOlist$EOmap$EOt1$EOa1
,EOlist$EOmapped
,EOlist$EOmapped$EOt1$EOa1
,EOlist$EOmappedi
,EOlist$EOmappedi$EOt1$EOt0$EOa2
,EOlist$EOreduce
,EOlist$EOreduce$EOt2$EOa2
,EOlist$EOreduced
,EOlist$EOreduced$EOt2$EOa2
,EOlist$EOreducedi
,EOlist$EOreducedi$EOrec_reduced
,EOlist$EOreducei
,EOlist$EOreducei$EOrec_reduce
,EOlist$EOwithout
,EOlist$EOwithout$EOt1$EOa2
,EOmap
,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$EOsize
,EOmultimap$EOwith
,EOmultimap$EOwithout
,EOmultimap$EOwithout_in_list
,EOmultimap$EOwithout_in_list$EOt2$EOa2
,EOnan
,EOnan$EOabs
,EOnan$EOas_bytes
,EOnan$EOas_int
,EOnan$EOas_int$EOφ
,EOnan$EOas_string
,EOnan$EOdiv
,EOnan$EOeq
,EOnan$EOgt
,EOnan$EOgte
,EOnan$EOlt
,EOnan$EOlte
,EOnan$EOminus
,EOnan$EOneg
,EOnan$EOneq
,EOnan$EOplus
,EOnan$EOpow
,EOnan$EOsignum
,EOnan$EOtimes
,EOnegative_infinity
,EOnegative_infinity$EOabs
,EOnegative_infinity$EOas_bytes
,EOnegative_infinity$EOas_int
,EOnegative_infinity$EOas_int$EOφ
,EOnegative_infinity$EOas_string
,EOnegative_infinity$EOdiv
,EOnegative_infinity$EOeq
,EOnegative_infinity$EOgt
,EOnegative_infinity$EOgte
,EOnegative_infinity$EOlt
,EOnegative_infinity$EOlte
,EOnegative_infinity$EOminus
,EOnegative_infinity$EOmod
,EOnegative_infinity$EOneg
,EOnegative_infinity$EOneq
,EOnegative_infinity$EOplus
,EOnegative_infinity$EOpow
,EOnegative_infinity$EOpow$EOnot_int
,EOnegative_infinity$EOsignum
,EOnegative_infinity$EOtimes
,EOnop
,EOnumber
,EOnumber$EOabs
,EOnumber$EOand
,EOnumber$EOis_float
,EOnumber$EOis_int
,EOnumber$EOis_nan
,EOnumber$EOleft
,EOnumber$EOmod
,EOnumber$EOmod$EOabs_mod
,EOnumber$EOneq
,EOnumber$EOor
,EOnumber$EOright
,EOnumber$EOsignum
,EOnumber$EOxor
,EOpi
,EOpositive_infinity
,EOpositive_infinity$EOabs
,EOpositive_infinity$EOas_bytes
,EOpositive_infinity$EOas_int
,EOpositive_infinity$EOas_int$EOφ
,EOpositive_infinity$EOas_string
,EOpositive_infinity$EOdiv
,EOpositive_infinity$EOeq
,EOpositive_infinity$EOgt
,EOpositive_infinity$EOgte
,EOpositive_infinity$EOlt
,EOpositive_infinity$EOlte
,EOpositive_infinity$EOminus
,EOpositive_infinity$EOmod
,EOpositive_infinity$EOneg
,EOpositive_infinity$EOneq
,EOpositive_infinity$EOplus
,EOpositive_infinity$EOpow
,EOpositive_infinity$EOsignum
,EOpositive_infinity$EOtimes
,EOram
,EOram$EOram_slice
,EOram$EOram_slice$EOwrite
,EOram$EOram_slice$EOφ
,EOram$EOslice
,EOram$EOwrite
,EOrandom
,EOrandom$EOnext
,EOrandom$EOφ
,EOregex
,EOregex$EOcompile
,EOregex$EOmatch
,EOregex$EOmatches
,EOregex$EOreplaced
,EOregex$EOreplaced$EOreplacei
,EOregex$EOreplaced$EOreplacei$EOmitem
,EOregex$EOreplaced$EOreplacei$EOnextacc
,EOregex$EOreplaced$EOreplacei$EOnextpt
,EOregex$EOreplaced$EOreplacei$EOpart
,EOseq
,EOsprintf
,EOsscanf
,EOstdin
,EOstdin$EOnext_line
,EOstdin$EOφ
,EOstdout
,EOstring
,EOstring$EOas_bytes
,EOstring$EOas_hash
,EOstring$EOeq
,EOstring$EOlength
,EOstring$EOslice
,EOswitch
,EOswitch$EOarr
,EOswitch$EOarr$EOt0$EOa2
,EOtext
,EOtext$EOcontains
,EOtext$EOends_with
,EOtext$EOindex_of
,EOtext$EOjoined
,EOtext$EOjoined$EOt1$EOa2
,EOtext$EOlower_case
,EOtext$EOstarts_with
,EOtext$EOtrim
,EOtext$EOupper_case
,EOtry
public abstract class PhDefault extends Object implements Phi, Cloneable
A simple object. The class is thread-safe.- Since:
- 0.1
-
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description protected void
add(String name, Attr attr)
Add new attribute.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.boolean
equals(Object obj)
int
hashCode()
String
location()
Get code location of the phi.void
move(Phi rho)
Move it to a new parent.String
toString()
String
φTerm()
To φ-calculus term, as text.
-
-
-
Constructor Detail
-
PhDefault
public PhDefault()
Ctor.
-
PhDefault
public PhDefault(Phi sigma)
Ctor.- Parameters:
sigma
- Sigma
-
-
Method Detail
-
copy
public final Phi copy()
Description copied from interface:Phi
Make a copy, leaving it at the same parent.
-
move
public final void move(Phi rho)
Description copied from interface:Phi
Move it to a new parent.
-
attr
public final Attr attr(int pos)
Description copied from interface:Phi
Get attribute by position.
-
location
public String location()
Description copied from interface:Phi
Get code location of the phi.
-
-