All Classes

Class	Description
AtComposite	Static attribute with an expression inside, which constructs an object.
AtFree	Free attribute.
AtOnce	Read only once.
AtSimple	Default attribute.
Attr	Attribute.
Attr.FlowException	Control flow exception (see EOgoto for a good example of its usage).
Attr.IllegalAttrException	The exception raised when something is not right inside attributes.
Attr.ReadOnlyException	The exception raised when trying to put() an attribute, which is read-only.
Attr.StillAbstractException	The exception raised when trying to get() an attribute, which is still abstract.
AtVararg	Vararg attribute.
Data<T>	A data container.
Data.Once<T>	Data being returned only once, from encapsulated object.
Data.ToPhi	Makes a Phi out of a Java object, like String or integer.
Data.Value<T>	A single value as Phi.
Dataized	A dataized object.
EOarray
EOarray$EOappend	APPEND.
EOarray$EOeach	EACH.
EOarray$EOget	GET.
EOarray$EOis_empty	EMPTY.
EOarray$EOlength	LENGTH.
EOarray$EOmap
EOarray$EOmap$EOτ1$EO_1
EOarray$EOmapi	MAPI.
EOarray$EOreduce	REDUCE.
EOas_phi	AS-PHI.
EObool
EObool$EOand	AND.
EObool$EOeq	BOOL.EQ.
EObool$EOif	IF.
EObool$EOnot	NOT.
EObool$EOor	AND.
EObool$EOwhile	WHILE.
EObytes
EObytes$EOand	BYTES.AND.
EObytes$EOas_char	BYTES.AS-CHAR.
EObytes$EOas_float	BYTES.AS-FLOAT.
EObytes$EOas_int	BYTES.AS-INT.
EObytes$EOas_string	BYTES.AS-STRING.
EObytes$EOeq	BYTES.EQ.
EObytes$EOleft	BYTES.LEFT.
EObytes$EOnot	BYTES.NOT.
EObytes$EOor	BYTES.OR.
EObytes$EOpart	BYTES.PART.
EObytes$EOright	BYTES.RIGHT.
EObytes$EOsize	BYTES.SIZE.
EObytes$EOxor	BYTES.XOR.
EOcage	CAGE.
EOchar
EOchar$EOas_bytes	CHAR.AS-BYTES.
EOchar$EOas_string
EOchar$EOeq	CHAR.EQ.
EOerror
EOfloat
EOfloat$EOabs
EOfloat$EOadd	ADD.
EOfloat$EOas_bytes	FLOAT.AS-BYTES.
EOfloat$EOas_int	as-int.
EOfloat$EOas_string	as-string.
EOfloat$EOdiv
EOfloat$EOeq	EQ.
EOfloat$EOgeq
EOfloat$EOgreater	GREATER.
EOfloat$EOleq
EOfloat$EOless
EOfloat$EOmul	MUL.
EOfloat$EOneg
EOfloat$EOneq
EOfloat$EOpow	POW.
EOfloat$EOsignum
EOfloat$EOsub
EOgoto	GOTO.
EOheap
EOheap$EOfree	HEAP.FREE.
EOheap$EOmalloc	HEAP.MALLOC.
EOheap$EOpointer
EOheap$EOpointer$EOblock	HEAP.POINTER.BLOCK.
EOint
EOint$EOabs
EOint$EOadd	ADD.
EOint$EOas_bytes	INT.AS-BYTES.
EOint$EOas_float	as-float.
EOint$EOas_string	as-string.
EOint$EOdiv	DIV.
EOint$EOeq	EQ.
EOint$EOgeq
EOint$EOgreater	GREATER.
EOint$EOleq
EOint$EOless
EOint$EOmod	MOD.
EOint$EOmul	MUL.
EOint$EOneg
EOint$EOneq
EOint$EOpow	POW.
EOint$EOsub
EOmemory	MEMORY.
EOrandom	RANDOM.
EOregex
EOregex$EOmatch	REGEX.
EOregex$EOmatches
EOseq	SEQ.
EOsprintf	Sprintf.
EOstdout	Stdout.
EOstring
EOstring$EOas_bytes	AS-BYTES.
EOstring$EOas_float	AS-FLOAT.
EOstring$EOas_int	AS-INT.
EOstring$EOchar_at	CHAR-AT.
EOstring$EOeq	EQ.
EOstring$EOjoined	JOIN.
EOstring$EOlength	LENGTH.
EOstring$EOtrim	TRIM.
EOtry	TRY.
Expr	Lambda expression.
Main	Bridge between Java CLI and EO.
Param	Param of an object (convenient retrieval mechanism).
PhConst	A const origin.
PhCopy	A copy-making object.
PhDefault	A simple object.
Phi	A simple object.
PhMethod	A method-calling object.
PhUnvar	Unvaring object.
PhWith	A attr-putting object.
Term	A φ-calculus term.
XmirObject	Annotation for an object made from XMIR.