|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object fmrisc.Communication.OpenMath
public final class OpenMath
Conversion of AST objects (excluding declarations) from/to OpenMath representation. Uses the following OM content dictionaries: - sts, arith1, arith2, relation1, logic1, quant1, fns1, set1, setname1, setname2, interval1. Introduces the non-standard content dictionary "fmrisc" with the following symbols (for which no adequate OM CD symbol seems to exist): - if: conditional expression - let: local binding expression - ldecl: local value declaration - array: array quantifier - record: record expression - select: select expression - tuple: tuple expression - update: update expression - arraytype: array type - recordtype: record type - subtype: subtype. - selident: selection identifier. - selindex: selection index. - selnumber: selection number.
Constructor Summary | |
---|---|
OpenMath()
|
Method Summary | |
---|---|
static Expression |
toExpression(nl.tue.win.riaca.openmath.lang.OMObject om)
Convert OpenMath expression to AST. |
static Identifier |
toIdentifier(nl.tue.win.riaca.openmath.lang.OMObject om)
Convert OpenMath expression to identifier.. |
static nl.tue.win.riaca.openmath.lang.OMObject |
toOpenMath(AST ast)
Convert AST to OpenMath object. |
static Type |
toType(nl.tue.win.riaca.openmath.lang.OMObject om)
Convert OpenMath type to AST. |
Methods inherited from class java.lang.Object |
---|
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
---|
public OpenMath()
Method Detail |
---|
public static nl.tue.win.riaca.openmath.lang.OMObject toOpenMath(AST ast)
ast
- the object in AST representation.
public static Expression toExpression(nl.tue.win.riaca.openmath.lang.OMObject om)
om
- the expression in OpenMath representatin.
public static Type toType(nl.tue.win.riaca.openmath.lang.OMObject om)
om
- the type in OpenMath representatin.
public static Identifier toIdentifier(nl.tue.win.riaca.openmath.lang.OMObject om)
om
- the identifier in AST representation.
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |