net.sourceforge.czt.print.zeves

Class LatexPrinterCommand

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

net.sourceforge.czt.print.zeves.LatexPrinterCommand

All Implemented Interfaces:

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

public class LatexPrinterCommand
extends LatexPrinterCommand

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
LatexPrinterCommand()

Method Summary

Modifier and Type	Method and Description
protected PrettyPrinter	createPrettyPrinter(net.sourceforge.czt.base.ast.Term term, int initWidth)
protected TokenSequenceVisitor	createTokenSequenceVisitor(net.sourceforge.czt.session.SectionInfo si, ZPrinter printer, Properties props)
protected int	getSymParaEnd()
protected int	getSymParaStart()
protected int	getSymTokenseq()
protected net.sourceforge.czt.base.ast.Term	preprocess(net.sourceforge.czt.base.ast.Term term, net.sourceforge.czt.session.SectionManager manager, String section)
void	printLatex(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.LatexPrinterCommand

doCompute, parse

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

getLatexWrapping, latexPostscript, latexPreamble, prepare, processProperties

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

doToUnicode, 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

LatexPrinterCommand

public LatexPrinterCommand()

Method Detail

printLatex

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

Overrides:

printLatex in class LatexPrinterCommand

Throws:

PrintException

preprocess

protected net.sourceforge.czt.base.ast.Term preprocess(net.sourceforge.czt.base.ast.Term term,
                                                       net.sourceforge.czt.session.SectionManager manager,
                                                       String section)
                                                throws PrintException

Overrides:

preprocess in class AbstractPrinterCommand

Throws:

PrintException

createTokenSequenceVisitor

protected TokenSequenceVisitor createTokenSequenceVisitor(net.sourceforge.czt.session.SectionInfo si,
                                                          ZPrinter printer,
                                                          Properties props)

Overrides:

createTokenSequenceVisitor in class AbstractPrinterCommand

getSymParaStart

protected int getSymParaStart()

Overrides:

getSymParaStart in class AbstractLatexPrinterCommand

getSymParaEnd

protected int getSymParaEnd()

Overrides:

getSymParaEnd in class AbstractLatexPrinterCommand

getSymTokenseq

protected int getSymTokenseq()

Overrides:

getSymTokenseq in class AbstractLatexPrinterCommand

createPrettyPrinter

protected PrettyPrinter createPrettyPrinter(net.sourceforge.czt.base.ast.Term term,
                                            int initWidth)

Overrides:

createPrettyPrinter in class AbstractPrinterCommand