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

Packages that use PrintFactory

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

Application(PrintFactory factory)

OperatorApplication(PrintFactory factory, net.sourceforge.czt.z.util.OperatorName opName, java.util.List<net.sourceforge.czt.z.ast.Expr> args, Precedence prec, net.sourceforge.czt.z.ast.Assoc assoc)

PrintExpression(PrintFactory factory, java.util.List something)

PrintParagraph(PrintFactory factory, java.util.List something)

PrintPredicate(PrintFactory factory, java.util.List something, Precedence prec, net.sourceforge.czt.z.ast.Assoc assoc)

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

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

protected PrintFactory

AstToPrintTreeVisitor.getZPrintFactory()