net.sourceforge.czt.print.z

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

All Implemented Interfaces:

PrintPropertiesKeys, LatexPrinterPropertyKeys, Command

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

Method Summary

Modifier and Type	Method and Description
protected boolean	doCompute(String name, SectionManager manager) Given a section or spec name (e.g., it uses TermCommand) it computes the term to be printed as LaTeX output, and added to the Manager as a LatexString class.
protected void	parse(Writer out, SectionManager sectInfo, lr_parser parser, String sectionName)
void	printLatex(net.sourceforge.czt.base.ast.Term term, Writer out, SectionManager sectInfo, String sectionName) Prints a given term (usually an Expr or Pred) as latex markup to the given writer.

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

LatexPrinterCommand

public LatexPrinterCommand()

Method Detail

doCompute

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

Given a section or spec name (e.g., it uses TermCommand) it computes the term to be printed as LaTeX output, and added to the Manager as a LatexString class. We wrap it up with usual LaTeX markup if property is requested in the manager.

Specified by:

doCompute in class AbstractCommand

Parameters:

name -

manager -

Returns:

Throws:

CommandException

printLatex

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

Prints a given term (usually an Expr or Pred) as latex markup to the given writer. The name of section (where this term belongs to) and the section information is used to obtain the operator table and latex markup table needed for printing. The section information should therefore be able to provide information of type net.sourceforge.czt.parser.util.OpTable.class and net.sourceforge.czt.parser.util.LatexMarkupTable.class.

Parameters:

term -

out -

sectInfo -

sectionName -

Throws:

PrintException

parse

protected void parse(Writer out,
                     SectionManager sectInfo,
                     lr_parser parser,
                     String sectionName)
              throws PrintException

Throws:

PrintException