net.sourceforge.czt.print.z

Class UnicodePrinterCommand

java.lang.Object

net.sourceforge.czt.session.AbstractCommand

net.sourceforge.czt.print.z.AbstractPrinterCommand

net.sourceforge.czt.print.z.UnicodePrinterCommand

All Implemented Interfaces:

PrintPropertiesKeys, Command

public class UnicodePrinterCommand
extends AbstractPrinterCommand

Field Summary

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

onTheFlySectName_, printStructuredGoal_, 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
UnicodePrinterCommand()

Method Summary

Modifier and Type	Method and Description
protected boolean	doCompute(String name, SectionManager manager)
void	printUnicode(net.sourceforge.czt.base.ast.Term term, Writer out, SectionManager sectInfo, String sectionName) Prints a given term (usually an Expr or Pred) as unicode to the given writer.

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

createPrettyPrinter, createTokenSequenceVisitor, doToUnicode, preprocess, processProperties, 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

UnicodePrinterCommand

public UnicodePrinterCommand()

Method Detail

doCompute

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

Specified by:

doCompute in class AbstractCommand

Throws:

CommandException

printUnicode

public void printUnicode(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 unicode 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.

Parameters:

term -

out -

sectInfo -

sectionName -

Throws:

PrintException