net.sourceforge.czt.print.z

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

All Implemented Interfaces:

PrintPropertiesKeys, LatexPrinterPropertyKeys, Command

public class OldLatexPrinterCommand
extends AbstractLatexPrinterCommand

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
protected boolean	doCompute(String name, SectionManager manager)
void	printOldLatex(net.sourceforge.czt.base.ast.Term term, Writer out, SectionManager sectInfo)
void	printOldLatex(net.sourceforge.czt.base.ast.Term term, Writer out, SectionManager sectInfo, String sectionName)

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

Constructor Detail

OldLatexPrinterCommand

public OldLatexPrinterCommand()

Method Detail

doCompute

protected boolean doCompute(String name,
                            SectionManager manager)
                     throws CommandException

Specified by:

doCompute in class AbstractCommand

Throws:

CommandException

printOldLatex

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

Throws:

PrintException

printOldLatex

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

Throws:

PrintException