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

Packages that use PrintException

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

Methods in net.sourceforge.czt.print.util that throw PrintException

Modifier and Type	Method and Description
protected boolean	PrettyPrinter.considerAddingNL(Token previous, Token current, int spaceLeft, int length, boolean startedProcessing)
protected boolean	PrettyPrinter.considerAddingNLForToken(Token previous, Token current, int spaceLeft, int length, boolean startedProcessing)
protected int	PrettyPrinter.handleSpaces(ListIterator<Token> iter, Token previous, Token current, int spaceLeft, int length, boolean startedProcessing, int indentAmount)
int	PrettyPrinter.handleTokenSequence(TokenSequence tseq, int startPos)
int	PrettyPrinter.handleTokenSequence(TokenSequence tseq, int space, int indentAmount)
protected boolean	PrettyPrinter.isSpecialCase(Token previous, Token current) Check tokens to see whether space handling is to be treated as special case or not.
protected boolean	PrettyPrinter.isSpecialTokenCase(Token previous, Token current) Check tokens to see whether space handling is to be treated as a special case or not.

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

Fields in net.sourceforge.czt.print.z declared as PrintException

Modifier and Type	Field and Description
protected PrintException	Unicode2OldLatex.printException_
protected PrintException	Unicode2Latex.printException_

Methods in net.sourceforge.czt.print.z that throw PrintException

Modifier and Type	Method and Description
protected void	LatexPrinterCommand.parse(Writer out, SectionManager sectInfo, lr_parser parser, String sectionName)
protected net.sourceforge.czt.base.ast.Term	AbstractPrinterCommand.preprocess(net.sourceforge.czt.base.ast.Term term, SectionManager manager, String section)
protected void	AstToPrintTreeVisitor.preprocessSchema(AxPara term, List<Object> list) Called for schema boxes right after the schema tagging.
protected void	AstToPrintTreeVisitor.preprocessTerm(net.sourceforge.czt.base.ast.Term term, List<Object> list) Called right after the main Z token found.
static void	PrintUtils.print(net.sourceforge.czt.base.ast.Term term, Writer out, SectionManager sectInfo, Markup markup) Prints a given term (usually a Spec or Sect) in the specified markup to the given writer.
static void	PrintUtils.print(net.sourceforge.czt.base.ast.Term term, Writer out, SectionManager sectInfo, String sectName, Markup markup)
void	LatexPrinterCommand.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.
void	OldLatexPrinterCommand.printOldLatex(net.sourceforge.czt.base.ast.Term term, Writer out, SectionManager sectInfo)
void	OldLatexPrinterCommand.printOldLatex(net.sourceforge.czt.base.ast.Term term, Writer out, SectionManager sectInfo, String sectionName)
void	UnicodePrinterCommand.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.
protected void	Unicode2OldLatex.raiseErrors()
protected void	Unicode2Latex.raiseErrors()
protected net.sourceforge.czt.base.ast.Term	AbstractPrinterCommand.toPrintTree(AstToPrintTreeVisitor toPrintTree, net.sourceforge.czt.base.ast.Term term, String sectionName)
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.