net.sourceforge.czt.print.zeves

Class OldLatexPrinterCommand

java.lang.Object

net.sourceforge.czt.session.AbstractCommand

net.sourceforge.czt.print.z.AbstractPrinterCommand

net.sourceforge.czt.print.z.AbstractLatexPrinterCommand

net.sourceforge.czt.print.z.OldLatexPrinterCommand

net.sourceforge.czt.print.zeves.OldLatexPrinterCommand

All Implemented Interfaces:

PrintPropertiesKeys, LatexPrinterPropertyKeys, net.sourceforge.czt.session.Command

public class OldLatexPrinterCommand
extends OldLatexPrinterCommand
implements net.sourceforge.czt.session.Command

Author:

Leo Freitas

Field Summary

Fields inherited from class net.sourceforge.czt.print.z.AbstractLatexPrinterCommand

LATEX_POSTSCRIPT, LATEX_PREAMBLE

Fields inherited from class net.sourceforge.czt.print.z.AbstractPrinterCommand

onTheFlySectName_, printStructuredGoal_, printTextWidth_

Fields inherited from interface net.sourceforge.czt.print.z.LatexPrinterPropertyKeys

PROP_LATEXPRINTER_WRAPPING, PROP_LATEXPRINTER_WRAPPING_DEFAULT

Fields inherited from interface net.sourceforge.czt.print.util.PrintPropertiesKeys

PROP_PRINT_NAME_IDS, PROP_PRINT_NAME_IDS_DEFAULT, PROP_PRINT_ZEVES, PROP_PRINT_ZEVES_DEFAULT, PROP_PRINTING_ONTHEFLY_SECTION_NAME, PROP_PRINTING_ONTHEFLY_SECTION_NAME_DEFAULT, PROP_PRINTING_STRUCTURED_GOAL, PROP_PRINTING_STRUCTURED_GOAL_DEFAULT, PROP_TXT_TAB_SIZE, PROP_TXT_TAB_SIZE_DEFAULT, PROP_TXT_WIDTH, PROP_TXT_WIDTH_DEFAULT

Constructor Summary

Constructors

Constructor and Description
OldLatexPrinterCommand()

Method Summary

Modifier and Type	Method and Description
void	printOldLatex(net.sourceforge.czt.base.ast.Term term, Writer out, net.sourceforge.czt.session.SectionManager sectInfo, String sectionName)

Methods inherited from class net.sourceforge.czt.print.z.OldLatexPrinterCommand

doCompute, printOldLatex

Methods inherited from class net.sourceforge.czt.print.z.AbstractLatexPrinterCommand

getLatexWrapping, getSymParaEnd, getSymParaStart, getSymTokenseq, latexPostscript, latexPreamble, prepare, processProperties

Methods inherited from class net.sourceforge.czt.print.z.AbstractPrinterCommand

createPrettyPrinter, createTokenSequenceVisitor, doToUnicode, preprocess, processProperties, toPrintTree, toUnicode

Methods inherited from class net.sourceforge.czt.session.AbstractCommand

compute, traceInfo, traceLog

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface net.sourceforge.czt.session.Command

compute

Constructor Detail

OldLatexPrinterCommand

public OldLatexPrinterCommand()

Method Detail

printOldLatex

public void printOldLatex(net.sourceforge.czt.base.ast.Term term,
                          Writer out,
                          net.sourceforge.czt.session.SectionManager sectInfo,
                          String sectionName)
                   throws PrintException

Overrides:

printOldLatex in class OldLatexPrinterCommand

Throws:

PrintException