|
|||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||||
java.lang.Objectfr.ove.utils.FormaterRepository
fr.ove.openmath.jome.formaters.mml.MathMLFormater
Formats the formula tree structure as its corresponding MathML object.
| Constructor Summary | |
MathMLFormater()
|
|
| Method Summary | |
java.lang.String |
format(java.lang.String formatedObject,
FormaterRepository formaterRepository,
java.lang.Object obj)
Returns the specified object formatted as a string. |
java.lang.String |
getElementName(java.lang.String objectId)
Returns the element name of the specified property. |
Formater |
getFormater(java.lang.String objectId)
Returns the formater with the specified identifier. |
java.lang.String |
getMathML(FormulaTreeStructure fts)
Returns the MathML object of the specified formula tree structure. |
static void |
main(java.lang.String[] args)
Test. |
java.lang.String |
writeEmptyElement(java.lang.String elementName)
Writes the empty element with the specified name. |
java.lang.String |
writeEndApplication()
Writes the MathML end application tag. |
java.lang.String |
writeEndBoundVariables()
Writes the MathML end bound variables tag. |
java.lang.String |
writeEndElement(java.lang.String elementName)
Writes the end element with the specified name. |
java.lang.String |
writeEndLambda()
Writes the MathML end lambda tag. |
java.lang.String |
writeEndObject()
Writes the MathML end object tag. |
java.lang.String |
writeFloat(java.lang.String value)
Writes a float (decimal format, not hexa). |
java.lang.String |
writeIdentifier(java.lang.String value)
Writes an identifier. |
java.lang.String |
writeInteger(java.lang.String value)
Writes an integer (decimal format, not hexa) |
java.lang.String |
writeStartApplication()
Writes the MathML start application tag. |
java.lang.String |
writeStartBoundVariables()
Writes the MathML start bound variables tag. |
java.lang.String |
writeStartElement(java.lang.String elementName)
Writes the start element with the specified name. |
java.lang.String |
writeStartLambda()
Writes the MathML start lambda tag. |
java.lang.String |
writeStartObject()
Writes the MathML start object tag. |
java.lang.String |
writeSymbol(java.lang.String objectId)
Writes the symbol element with the specified identifier. |
| Methods inherited from class fr.ove.utils.FormaterRepository |
decIndent, getIndent, incIndent, initIndent |
| Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
| Constructor Detail |
public MathMLFormater()
| Method Detail |
public Formater getFormater(java.lang.String objectId)
getFormater in class FormaterRepositoryobjectId - the object (to format) identifier.
public java.lang.String format(java.lang.String formatedObject,
FormaterRepository formaterRepository,
java.lang.Object obj)
formatedObject - the formatted object (for structured object, could represents the beginning).obj - the object to format.formaterRepository - where the different other formaters are.public java.lang.String getElementName(java.lang.String objectId)
objectId - the object (to format) identifier.public java.lang.String getMathML(FormulaTreeStructure fts)
fts - the specified formula tree structure.public java.lang.String writeStartObject()
public java.lang.String writeEndObject()
public java.lang.String writeStartApplication()
public java.lang.String writeEndApplication()
public java.lang.String writeStartLambda()
public java.lang.String writeEndLambda()
public java.lang.String writeStartBoundVariables()
public java.lang.String writeEndBoundVariables()
public java.lang.String writeFloat(java.lang.String value)
value - the float value.public java.lang.String writeInteger(java.lang.String value)
value - the integer value.public java.lang.String writeIdentifier(java.lang.String value)
value - the identifier value.public java.lang.String writeSymbol(java.lang.String objectId)
public java.lang.String writeEmptyElement(java.lang.String elementName)
elementName - the name of the element to write.public java.lang.String writeStartElement(java.lang.String elementName)
elementName - the name of the element to write.public java.lang.String writeEndElement(java.lang.String elementName)
elementName - the name of the element to write.public static void main(java.lang.String[] args)
|
|||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||||