Uses of Class
net.sourceforge.czt.print.ast.PrintFactory

Packages that use PrintFactory

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

Uses of PrintFactory in net.sourceforge.czt.print.ast

Constructors in net.sourceforge.czt.print.ast with parameters of type PrintFactory

Constructor and Description
Application(PrintFactory factory)
OperatorApplication(PrintFactory factory, OperatorName opName, List<Expr> args, Precedence prec, Assoc assoc)
PrintExpression(PrintFactory factory, List<?> something)
PrintParagraph(PrintFactory factory, List<?> something)
PrintPredicate(PrintFactory factory, List<?> something, Precedence prec, Assoc assoc)

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

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

Modifier and Type	Method and Description
protected PrintFactory	AstToPrintTreeVisitor.getZPrintFactory()