Public Member Functions | |
| GLatexRenderer (Document *a_data, int a_drawMode, IdTree *a_dispNodes, const QString &a_outName) | |
| Creates a LaTeX renderer. | |
| ~GLatexRenderer (void) | |
| Destroys this instance. | |
| bool | render (void) |
| Renders the node data. | |
Private Member Functions | |
| bool | renderGenericNode (GenericNode *a_node, const NodeAddress &a_addrParent) |
| Renders a generic node. | |
| bool | renderAtomNode (AtomNode *a_node, const NodeAddress &a_addrParent) |
| Renders an atom node. | |
| bool | renderConjunctionNode (ConjunctionNode *a_node, const NodeAddress &a_addrParent) |
| Renders a conjunction node. | |
| bool | renderDisjunctionNode (DisjunctionNode *a_node, const NodeAddress &a_addrParent) |
| Renders a disjunction node. | |
| bool | renderFeatvalNode (FeatvalNode *a_node, const NodeAddress &a_addrParent) |
| Renders a featval node. | |
| bool | renderFunctionNode (FunctionNode *a_node, const NodeAddress &a_addrParent) |
| Renders a function node. | |
| bool | renderListNode (ListNode *a_node, const NodeAddress &a_addrParent) |
| Renders a list node. | |
| bool | renderReentNode (ReentNode *a_node, const NodeAddress &a_addrParent) |
| Renders a reent node. | |
| bool | renderRefNode (RefNode *a_node, const NodeAddress &a_addrParent) |
| Renders a ref node. | |
| bool | renderRestNode (RestNode *a_node, const NodeAddress &a_addrParent) |
| Renders a rest node. | |
| bool | renderSetNode (SetNode *a_node, const NodeAddress &a_addrParent) |
| Renders a set node. | |
| bool | renderStrucNode (StrucNode *a_node, const NodeAddress &a_addrParent) |
| Renders a struc node. | |
| bool | renderTailNode (TailNode *a_node, const NodeAddress &a_addrParent) |
| Renders a tail node. | |
| bool | renderTreeNode (TreeNode *a_node, const NodeAddress &a_addrParent) |
| Renders a tree node. | |
| bool | renderTypeNode (TypeNode *a_node, const NodeAddress &a_addrParent) |
| Renders a type node. | |
| bool | writeLatexHeader (void) |
| Writes the LaTeX header to the output file. | |
| bool | writeLatexFooter (void) |
| Writes the necessary LaTeX closing statements to the output file. | |
| bool | writeAVMHeader (void) |
Writes the opening statements of an avm environment. | |
| bool | writeAVMFooter (void) |
Writes the closing statements of an avm environment. | |
| char * | latexifyString (const char *a_inStr) |
| Modifies a string such that it prints properly in LaTeX. | |
Private Attributes | |
| Document * | data |
| The data. | |
| IdTree * | dispNodes |
| The displayable node data. | |
| QString | outName |
| Name of the output file. | |
| FILE * | outFile |
Handle to the output file (NULL if no file opened). | |
| int | drawMode |
| Indicates how the data should be displayed. | |
|
||||||||||||||||||||
|
Creates a LaTeX renderer.
|
|
|
Destroys this instance.
|
|
|
Modifies a string such that it prints properly in LaTeX. In LaTeX, several characters are command characters which must be escaped to make them print properly. These charaters are:
|
|
|
Renders the node data.
|
|
||||||||||||
|
Renders an atom node.
|
|
||||||||||||
|
Renders a conjunction node.
|
|
||||||||||||
|
Renders a disjunction node.
|
|
||||||||||||
|
Renders a featval node.
|
|
||||||||||||
|
Renders a function node.
|
|
||||||||||||
|
Renders a generic node.
|
|
||||||||||||
|
Renders a list node.
|
|
||||||||||||
|
Renders a reent node.
|
|
||||||||||||
|
Renders a ref node.
|
|
||||||||||||
|
Renders a rest node.
|
|
||||||||||||
|
Renders a set node.
|
|
||||||||||||
|
Renders a struc node.
|
|
||||||||||||
|
Renders a tail node.
|
|
||||||||||||
|
Renders a tree node.
|
|
||||||||||||
|
Renders a type node.
|
|
|
Writes the closing statements of an
|
|
|
Writes the opening statements of an
|
|
|
Writes the necessary LaTeX closing statements to the output file.
|
|
|
Writes the LaTeX header to the output file.
|
|
|
The data.
|
|
|
The displayable node data.
|
|
|
Indicates how the data should be displayed.
The value must be one of the |
|
|
Handle to the output file (
|
|
|
Name of the output file.
|
1.3