public final class MathML
extends java.lang.Object
Constructor and Description |
---|
MathML(org.w3c.dom.Document document)
Create converter that creates DOM nodes in the specified document.
|
Modifier and Type | Method and Description |
---|---|
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 |
appendIdentifier(org.w3c.dom.Node parent,
Identifier object)
Convert identifier to DOM representation of HTML/MathML markup.
|
void |
appendPunctuation(org.w3c.dom.Node parent,
java.lang.String text)
Append to parent operator node with denoted text.
|
void |
appendType(org.w3c.dom.Node parent,
Type object)
Convert type 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.
|
static org.w3c.dom.Element |
createMathNode(org.w3c.dom.Document document)
Create MathML node in document.
|
public MathML(org.w3c.dom.Document document)
document
- the document in which to create the DOM nodes.public static org.w3c.dom.Element createMathNode(org.w3c.dom.Document document)
document
- the document in which to create the node.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 appendType(org.w3c.dom.Node parent, Type object)
parent
- the node to which the representation is appended.object
- the type 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 appendPunctuation(org.w3c.dom.Node parent, java.lang.String text)
parent
- the node to which the operator node is appended.text
- the text of the operator node.public void appendIdentifier(org.w3c.dom.Node parent, Identifier object)
parent
- the node to which the representation is appended.object
- the identifier to be converted.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.