All Classes
-
All Classes Interface Summary Class Summary Exception Summary Annotation Types Summary 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 (seeEOgoto
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 aPhi
out of a Java object, like String or integer.Data.Value<T> A single value asPhi
.Dataized A dataized object.EOarray EOarray$EOappend APPEND.EOarray$EOeach EACH.EOarray$EOempty EMPTY.EOarray$EOget GET.EOarray$EOlength LENGTH.EOarray$EOmap EOarray$EOmap$EO1$EO_1 EOarray$EOmapi MAPI.EOarray$EOreduce REDUCE.EObool EObool$EOand AND.EObool$EOeq BOOL.EQ.EObool$EOif IF.EObool$EOnot NOT.EObool$EOor AND.EObool$EOwhile WHILE.EObytes EObytes$EOas_string BYTES.AS-STRING.EObytes$EOeq BYTES.EQ.EObytes$EOpart BYTES.PART.EObytes$EOsize BYTES.SIZE.EOcage CAGE.EOchar EOchar$EOas_string EOchar$EOeq CHAR.EQ.EOerror EOfloat EOfloat$EOabs ABS.EOfloat$EOadd ADD.EOfloat$EOas_int as-int.EOfloat$EOas_string as-string.EOfloat$EOdiv EOfloat$EOeq EQ.EOfloat$EOgeq GREATER THAN OR EQUAL TO.EOfloat$EOgreater GREATER.EOfloat$EOleq LESS THAN OR EQUAL TO.EOfloat$EOless LESS.EOfloat$EOmul MUL.EOfloat$EOneg NEG.EOfloat$EOneq NOT EQUALS.EOfloat$EOpow POW.EOfloat$EOsignum SIGNUM.EOfloat$EOsub EOgoto GOTO.EOint EOint$EOabs ABS.EOint$EOadd ADD.EOint$EOas_float as-float.EOint$EOas_string as-string.EOint$EOdiv DIV.EOint$EOeq EQ.EOint$EOgeq GREATER THAN OR EQUAL TO.EOint$EOgreater GREATER.EOint$EOleq LESS THAN OR EQUAL TO.EOint$EOless LESS.EOint$EOmod MOD.EOint$EOmul MUL.EOint$EOneg NEG.EOint$EOneq NOT EQUALS.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.Expr Lambda expression.Main Bridge between Java CLI and EO.PhConst A const origin.PhCopy A copy-making object.PhDefault A simple object.Phi A simple object.PhMethod A method-calling object.PhWith A attr-putting object.Term A φ-calculus term.XmirObject Annotation for an object made from XMIR.