All Classes

Class	Description
AtComposite	Attribute that constructs object lazily.
AtEnvelope	Wrapper for Attr.
AtFormed	Attribute that constructs object lazily.
Atom	Atom.
AtomSafe	Atom that catches exceptions.
AtOnce	Attribute that retrieves object only once.
AtSimple	Default attribute that just keeps single object.
Attr	Attribute.
AtVoid	Void attribute.
Bytes	Bytes.
BytesOf	Bytes.
Data	A data container.
Data.ToPhi	Makes a Phi out of a primitive Java object, like String or Integer.
Dataized	A dataized object.
EOas_phi	AS-PHI.
EObool
EObool$EOand
EObool$EOeq
EObool$EOnot
EObool$EOor
EObytes
EObytes$EOand	BYTES.AND.
EObytes$EOas_bool
EObytes$EOas_bytes
EObytes$EOas_float	BYTES.AS-FLOAT.
EObytes$EOas_int	BYTES.AS-INT.
EObytes$EOas_string	BYTES.AS-STRING.
EObytes$EOconcat	BYTES.CONCAT.
EObytes$EOeq	BYTES.EQ.
EObytes$EOleft
EObytes$EOnot	BYTES.NOT.
EObytes$EOor	BYTES.OR.
EObytes$EOright	BYTES.RIGHT.
EObytes$EOsize	BYTES.SIZE.
EObytes$EOslice	BYTES.SLICE.
EObytes$EOxor	BYTES.XOR.
EOcage
EOcage$EOencaged
EOcti
EOdataized	Dataized.
EOerror	ERROR.
EOerror.ExError	This exception is thrown by the EOerror object only.
EOfloat
EOfloat$EOdiv	DIV.
EOfloat$EOeq
EOfloat$EOgt	GT.
EOfloat$EOgte
EOfloat$EOlt
EOfloat$EOlte
EOfloat$EOminus
EOfloat$EOneg
EOfloat$EOplus	Plus.
EOfloat$EOtimes	MUL.
EOgo
EOgo$EOto
EOgo$EOto$EOt1$EOa1
EOgo$EOto$EOtoken
EOgo$EOto$EOtoken$EOforward
EOgo$EOto$EOtoken$EOforward$EOt1$EOa0
EOgo$EOto$EOtoken$EOt0$EOa0
EOif	IF.
EOint
EOint$EOdiv	DIV.
EOint$EOeq
EOint$EOgt	GT.
EOint$EOgte
EOint$EOlt
EOint$EOlte
EOint$EOminus
EOint$EOneg
EOint$EOplus	PLUS.
EOint$EOtimes	TIMES.
EOmalloc
EOmalloc$EOmemory_block_pointer
EOmalloc$EOmemory_block_pointer$EOfree	Malloc.pointer.free object.
EOmemory
EOmemory$EOallocated
EOmemory$EOallocated$EOfree
EOmemory$EOallocated$EOwrite
EOmemory$EOφ
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
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
EOrust	Rust.
EOseq	SEQ.
EOstdin
EOstdin$EOnext_line	Standard Input.
EOstdin$EOφ	Standard Input.
EOstdout	Stdout.
EOstring
EOstring$EOas_bytes	AS-BYTES.
EOstring$EOeq
EOstring$EOlength	LENGTH.
EOstring$EOslice	SLICE.
EOswitch
EOswitch$EOcase_at
EOtry	TRY.
EOtuple
EOtuple$EOat
EOtuple$EOat$EOat_fast
EOtuple$EOempty
EOtuple$EOempty$EOat
EOtuple$EOempty$EOwith
EOtuple$EOlength
EOtuple$EOwith
EOwhile
EOwhile$EOloop
EOwhile$EOstart
ExAbstract	Abstract exception.
ExFailure	Common exception.
ExInterrupted	Exception to control threads interruptions.
ExNative	Exception in native method.
Expr	Lambda expression.
ExReadOnly	The exception raised when trying to put() an attribute, which is read-only.
ExUnset	The exception raised when trying to get() an attribute, which is still abstract.
Input	All system inputs.
Main	Bridge between Java CLI and EO.
Param	Param of an object (convenient retrieval mechanism).
PhCopy	A copy-making object.
PhData	Object with attached data.
PhDefault	A simple object.
PhFake	Fake object, mostly for unit tests.
Phi	A simple object.
PhLocated	An object with coordinates (line and position).
PhLogged	An object that reports all manipulations with it to the log (very useful for debugging purposes).
PhMethod	A method-calling object.
PhSafe	It catches ExFailure and throws EOerror.ExError.
PhTracedLocator	Class to trace if the "cage.new" got into recursion during the dataization.
PhWith	A attr-putting object.
PhWrite	Object that writes other object to own \rho.
Term	A φ-calculus term.
Universe	Class to manipulate eo objects within "Universe" paradigm.
UniverseDefault	Default implementation that can be used on the java side.
UniverseSafe	Universe to be used from within native function.
VerboseBytesAsString	Makes a String byte array that can represent bool, double, int or String.
Versionized	Annotation for an object which location should be extended with version package.
Volatile	Annotation for an object with a volatile phi (never cached).
XmirObject	Annotation for an object made from XMIR.