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 © 2017 SEMS project @ University of Rostock. All rights reserved.