public abstract class AbstractLatexPrinterCommand extends AbstractPrinterCommand implements LatexPrinterPropertyKeys
Modifier and Type | Field and Description |
---|---|
static String |
LATEX_POSTSCRIPT |
static String |
LATEX_PREAMBLE |
onTheFlySectName_, printStructuredGoal_, printTextWidth_
PROP_LATEXPRINTER_WRAPPING, PROP_LATEXPRINTER_WRAPPING_DEFAULT
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 and Description |
---|
AbstractLatexPrinterCommand() |
Modifier and Type | Method and Description |
---|---|
protected boolean |
getLatexWrapping() |
protected int |
getSymParaEnd() |
protected int |
getSymParaStart() |
protected int |
getSymTokenseq() |
protected void |
latexPostscript(Writer out,
SectionInfo sectInfo) |
protected void |
latexPreamble(Writer out,
SectionInfo sectInfo) |
protected CztScanner |
prepare(ZmlScanner scanner,
net.sourceforge.czt.base.ast.Term term) |
protected void |
processProperties(SectionManager manager) |
createPrettyPrinter, createTokenSequenceVisitor, doToUnicode, preprocess, processProperties, toPrintTree, toUnicode
compute, doCompute, traceInfo, traceLog
public static final String LATEX_PREAMBLE
public static final String LATEX_POSTSCRIPT
protected CztScanner prepare(ZmlScanner scanner, net.sourceforge.czt.base.ast.Term term)
protected void processProperties(SectionManager manager)
processProperties
in class AbstractPrinterCommand
protected int getSymParaStart()
protected int getSymParaEnd()
protected int getSymTokenseq()
protected boolean getLatexWrapping()
protected void latexPreamble(Writer out, SectionInfo sectInfo) throws IOException
IOException
protected void latexPostscript(Writer out, SectionInfo sectInfo) throws IOException
IOException
Copyright © 2003–2016 Community Z Tools Project. All rights reserved.