public class DocumentTools extends Object
Constructor and Description |
---|
DocumentTools() |
Modifier and Type | Method and Description |
---|---|
static org.jdom2.Document |
getDoc(TreeDocument treeDoc)
Extracts the document from a given TreeDocument.
|
static org.jdom2.Document |
getSubDoc(DocumentNode node)
Computes the document oft a subtree.
|
static String |
printPrettySubDoc(DocumentNode node)
Prints the pretty sub doc.
|
static String |
printSubDoc(DocumentNode node)
Prints the sub doc.
|
static String |
transformMathML(DocumentNode doc)
Transform content MathML to display MathML, e.g.
|
public static org.jdom2.Document getDoc(TreeDocument treeDoc)
treeDoc
- the tree documentpublic static org.jdom2.Document getSubDoc(DocumentNode node)
node
- the node rooting the subtreepublic static String printSubDoc(DocumentNode node)
node
- the nodepublic static String printPrettySubDoc(DocumentNode node)
node
- the nodepublic static String transformMathML(DocumentNode doc) throws TransformerException
doc
- the document node rooting the MathML subtreeTransformerException
- the transformer exceptionCopyright © 2019 SEMS project @ University of Rostock. All rights reserved.