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 voidadd(String name, Attr attr)Add new attribute.Attrattr(int pos)Get attribute by position.Attrattr(String name)Get attribute.Phicopy()Make a copy, leaving it at the same parent.booleanequals(Object obj)inthashCode()Stringlocation()Get code location of the phi.voidmove(Phi rho)Move it to a new parent.StringtoString()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:PhiMake a copy, leaving it at the same parent.
-
move
public final void move(Phi rho)
Description copied from interface:PhiMove it to a new parent.
-
attr
public final Attr attr(int pos)
Description copied from interface:PhiGet attribute by position.
-
location
public String location()
Description copied from interface:PhiGet code location of the phi.
-
-