public class genLatex
extends java.lang.Object
Generates an output file in LaTeX format. Standalone tool, not linked to the graphical interface (12/2008).
Constructor and Description |
---|
genLatex() |
Modifier and Type | Method and Description |
---|---|
static void |
main(java.lang.String[] args)
This is the main method of the class, it calls all the other ones.
|
static void |
visit(org.w3c.dom.Node node,
int level)
This method visits all the nodes in our DOM tree
|
public static void main(java.lang.String[] args)
This is the main method of the class, it calls all the other ones.
args
- Command line arguments (not used)
public static void visit(org.w3c.dom.Node node, int level)
This method visits all the nodes in our DOM tree
node
- Node to visitlevel
- Level of the node