Uses of Interface
net.sourceforge.czt.print.z.ZPrinter

Packages that use ZPrinter

Package	Description
net.sourceforge.czt.print.util
net.sourceforge.czt.print.z	Provides classes for printing standard Z specifications in Unicode or in the LaTeX mark-up language.

Uses of ZPrinter in net.sourceforge.czt.print.util

Constructors in net.sourceforge.czt.print.util with parameters of type ZPrinter

Constructor and Description
TokenSequence(String name, ZPrinter printer)

Uses of ZPrinter in net.sourceforge.czt.print.z

Classes in net.sourceforge.czt.print.z that implement ZPrinter

Modifier and Type	Class and Description
class	NewlinePrinter Newline printer adaptor to consider NewlineCategory whilst printing Unicode TODO: check within AbstractPRinterCommand about PrettyPrinter's role when PROP_WIDTH_TEXT is present (!) Not the best place.
class	TokenSequenceVisitor A new TokenSequenceVisitor needs to be created for each print since a Stack is build up while recursing into children.
class	UnicodePrinter Print Z specifications in Unicode.
static class	ZmlScanner.SymbolCollector An implementation of AbstractPrintVisitor.ZPrinter.

Methods in net.sourceforge.czt.print.z that return ZPrinter

Modifier and Type	Method and Description
ZPrinter	AbstractPrintVisitor.getPrinter()

Methods in net.sourceforge.czt.print.z with parameters of type ZPrinter

Modifier and Type	Method and Description
protected TokenSequenceVisitor	AbstractPrinterCommand.createTokenSequenceVisitor(SectionInfo si, ZPrinter printer, Properties props)
protected TokenSequence	AbstractPrinterCommand.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.
void	AbstractPrintVisitor.setPrinter(ZPrinter printer)
TokenSequence	AbstractPrinterCommand.toUnicode(ZPrinter printer, net.sourceforge.czt.base.ast.Term term, SectionManager sectInfo, String sectionName, Properties props) Creates a sequence of tokens for printing.

Constructors in net.sourceforge.czt.print.z with parameters of type ZPrinter

Constructor and Description
AbstractPrintVisitor(SectionInfo sectInfo, ZPrinter printer)
NewlinePrinter(ZPrinter printer)
TokenSequenceVisitor(SectionInfo si, ZPrinter tokenSeqPrinter)
TokenSequenceVisitor(SectionInfo si, ZPrinter tokenSeqPrinter, Properties props)
ZPrintVisitor(SectionInfo si, ZPrinter printer) Creates a new Z print visitor.
ZPrintVisitor(SectionInfo si, ZPrinter printer, Properties properties)