net.sourceforge.czt.print.z

Class AbstractPrinterCommand

java.lang.Object

net.sourceforge.czt.session.AbstractCommand

net.sourceforge.czt.print.z.AbstractPrinterCommand

All Implemented Interfaces:

PrintPropertiesKeys, Command

Direct Known Subclasses:

AbstractLatexPrinterCommand, UnicodePrinterCommand, XmlPrinterCommand

public abstract class AbstractPrinterCommand
extends AbstractCommand
implements PrintPropertiesKeys

Field Summary

Fields

Modifier and Type	Field and Description
protected String	onTheFlySectName_ When printing a pred/expr/para on the fly sectionName from doCompute is null, yet we need to have a section name to print, usually something "on-the-fly".
protected Boolean	printStructuredGoal_
protected Integer	printTextWidth_

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

Method Summary

Modifier and Type	Method and Description
protected PrettyPrinter	createPrettyPrinter(net.sourceforge.czt.base.ast.Term term, int textWidth)
protected TokenSequenceVisitor	createTokenSequenceVisitor(SectionInfo si, ZPrinter printer, Properties props)
protected TokenSequence	doToUnicode(ZPrinter printer, net.sourceforge.czt.base.ast.Term term, SectionManager sectInfo, String sectionName, Properties props) Method to be called by the SectionManager Command: properties are the ones processed via the SectionManager.
protected net.sourceforge.czt.base.ast.Term	preprocess(net.sourceforge.czt.base.ast.Term term, SectionManager manager, String section)
protected void	processProperties(Properties props)
protected void	processProperties(SectionManager manager)
protected net.sourceforge.czt.base.ast.Term	toPrintTree(AstToPrintTreeVisitor toPrintTree, net.sourceforge.czt.base.ast.Term term, String sectionName)
TokenSequence	toUnicode(ZPrinter printer, net.sourceforge.czt.base.ast.Term term, SectionManager sectInfo, String sectionName, Properties props) Creates a sequence of tokens for printing.

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

compute, doCompute, traceInfo, traceLog

Methods inherited from class java.lang.Object

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

Field Detail

printTextWidth_

protected Integer printTextWidth_

printStructuredGoal_

protected Boolean printStructuredGoal_

onTheFlySectName_

protected String onTheFlySectName_

When printing a pred/expr/para on the fly sectionName from doCompute is null, yet we need to have a section name to print, usually something "on-the-fly". This is to use the optable and latex markup function of this given section.

Constructor Detail

AbstractPrinterCommand

public AbstractPrinterCommand()

Method Detail

processProperties

protected void processProperties(SectionManager manager)

Overrides:

processProperties in class AbstractCommand

processProperties

protected void processProperties(Properties props)

toUnicode

public TokenSequence toUnicode(ZPrinter printer,
                               net.sourceforge.czt.base.ast.Term term,
                               SectionManager sectInfo,
                               String sectionName,
                               Properties props)
                        throws PrintException

Creates a sequence of tokens for printing. It considers precedences by adding parenthesis accordingly, as well as NLs depending on the underlying NL category for each token involved in the token sequence.

Parameters:

printer - printer adaptor to be used by TokenSequence

term - term to print

sectInfo - section manager

sectionName - section name

props - properties

Returns:

sequence of tokens to be print

Throws:

PrintException

doToUnicode

protected TokenSequence doToUnicode(ZPrinter printer,
                                    net.sourceforge.czt.base.ast.Term term,
                                    SectionManager sectInfo,
                                    String sectionName,
                                    Properties props)

Method to be called by the SectionManager Command: properties are the ones processed via the SectionManager. toUnicode is the top-level method, which might not be called as a SectionManager.Command. In this case, properties are processed locally.

Parameters:

printer -

term -

sectInfo -

sectionName -

props -

Returns:

createPrettyPrinter

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

createTokenSequenceVisitor

protected TokenSequenceVisitor createTokenSequenceVisitor(SectionInfo si,
                                                          ZPrinter printer,
                                                          Properties props)

preprocess

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

Throws:

PrintException

toPrintTree

protected net.sourceforge.czt.base.ast.Term toPrintTree(AstToPrintTreeVisitor toPrintTree,
                                                        net.sourceforge.czt.base.ast.Term term,
                                                        String sectionName)
                                                 throws PrintException

Throws:

PrintException