Uses of Class
net.sourceforge.czt.print.util.TokenSequence

Packages that use TokenSequence

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 TokenSequence in net.sourceforge.czt.print.util

Methods in net.sourceforge.czt.print.util with parameters of type TokenSequence

Modifier and Type	Method and Description
void	TokenSequence.add(TokenSequence seq)
int	PrettyPrinter.handleTokenSequence(TokenSequence tseq, int startPos)
int	PrettyPrinter.handleTokenSequence(TokenSequence tseq, int space, int indentAmount)

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

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

Modifier and Type	Method and Description
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.
TokenSequence	TokenSequenceVisitor.getResult()
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.