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.
|