Package org.eolang
Class PhDefault
- java.lang.Object
-
- org.eolang.PhDefault
-
- Direct Known Subclasses:
Data.Value
,EOas_phi
,EObool
,EObool$EOand
,EObool$EOas_bytes
,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$EOas_bytes
,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$EOdiv
,EOint$EOeq
,EOint$EOgt
,EOint$EOgte
,EOint$EOlt
,EOint$EOlte
,EOint$EOminus
,EOint$EOminus$EOrec_terms
,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$EOdiv_rec
,EOnegative_infinity$EOdiv$EOis_nan
,EOnegative_infinity$EOdiv$EOis_nan_or_infinite
,EOnegative_infinity$EOdiv$EOis_term_gte_zero
,EOnegative_infinity$EOdiv$EOis_term_gte_zero$EOt1$EOa0
,EOnegative_infinity$EOdiv$EOis_term_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$EOminus$EOis_nan_or_neg_inf
,EOnegative_infinity$EOminus$EOminus_rec
,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
,EOnop
,EOpositive_infinity
,EOpositive_infinity$EOdiv
,EOpositive_infinity$EOdiv$EOdiv_rec
,EOpositive_infinity$EOdiv$EOis_nan
,EOpositive_infinity$EOdiv$EOis_nan_or_infinite
,EOpositive_infinity$EOdiv$EOis_term_gte_zero
,EOpositive_infinity$EOdiv$EOis_term_gte_zero$EOt1$EOa0
,EOpositive_infinity$EOdiv$EOis_term_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$EOminus$EOis_nan_or_pos_inf
,EOpositive_infinity$EOminus$EOminus_rec
,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
,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$EOcheck_case_at
,EOtry
,EOtuple
,EOtuple$EOat
,EOtuple$EOlength
,EOtuple$EOwith
,PhFake
public abstract class PhDefault extends Object implements Phi, Cloneable
A simple object. The class is thread-safe.- Since:
- 0.1
-
-
Method Summary
All Methods Static 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.static void
cleanUp()
Clean up resources.Phi
copy()
Make a copy, leaving it at the same parent.boolean
equals(Object obj)
int
hashCode()
String
locator()
Get code locator of the phi.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.
-
attr
public final Attr attr(int pos)
Description copied from interface:Phi
Get attribute by position.
-
cleanUp
public static void cleanUp()
Clean up resources. This includes call ofThreadLocal.remove()
method to prevent memory leaks.
-
-