|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectfmrisc.Communication.PrettyMathML
public final class PrettyMathML
Conversion of AST to HTML/MathML presentation markup (pretty-printed).
Field Summary | |
---|---|
static int |
WIDTH
|
Constructor Summary | |
---|---|
PrettyMathML(org.w3c.dom.Document document)
Create converter that creates DOM nodes in the specified document. |
|
PrettyMathML(org.w3c.dom.Document document,
int width)
Create converter that creates DOM nodes in the specified document. |
Method Summary | |
---|---|
void |
appendDecl(org.w3c.dom.Node parent,
Declaration object)
Convert declaration to DOM representation of HTML/MathML markup. |
void |
appendExp(org.w3c.dom.Node parent,
Expression exp)
Convert expression to DOM representation of HTML/MathML markup. |
void |
appendTypedIdentifier(org.w3c.dom.Node parent,
TypedIdentifier object)
Convert typed identifier to DOM representation of HTML/MathML markup. |
void |
changeLevel(boolean increase,
fmrisc.Communication.PrettyMathML.Parent parent)
Change indentation level. |
void |
newLine(fmrisc.Communication.PrettyMathML.Parent parent)
Start new (non-overflow)line and indent it appropriately. |
Methods inherited from class java.lang.Object |
---|
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Field Detail |
---|
public static final int WIDTH
Constructor Detail |
---|
public PrettyMathML(org.w3c.dom.Document document, int width)
width
- the maximum line width (suggestion, not a hard bound).document
- the document in which to create the DOM nodes.public PrettyMathML(org.w3c.dom.Document document)
document
- the document in which to create the DOM nodes.Method Detail |
---|
public void appendDecl(org.w3c.dom.Node parent, Declaration object)
parent
- the node to which the representation is appended.object
- the declaration to be converted.public void appendExp(org.w3c.dom.Node parent, Expression exp)
parent
- the node to which the representation is appended.exp
- the expression to convert.public void appendTypedIdentifier(org.w3c.dom.Node parent, TypedIdentifier object)
parent
- the node to which the representation is appended.object
- the typed identifier to be converted.public void changeLevel(boolean increase, fmrisc.Communication.PrettyMathML.Parent parent)
increase
- true if level is increased (decreased otherwise)parent
- the parent nodepublic void newLine(fmrisc.Communication.PrettyMathML.Parent parent)
parent
- the parent node.
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |