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

Packages that use OperatorApplication
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 OperatorApplication in net.sourceforge.czt.print.ast
 

Methods in net.sourceforge.czt.print.ast that return OperatorApplication
 OperatorApplication OperatorApplication.create(java.lang.Object[] children)
           
 OperatorApplication PrintFactory.createOperatorApplication(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)
           
 

Methods in net.sourceforge.czt.print.ast with parameters of type OperatorApplication
 R OperatorApplicationVisitor.visitOperatorApplication(OperatorApplication opApp)
           
 

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

Methods in net.sourceforge.czt.print.z with parameters of type OperatorApplication
 java.lang.Object PrecedenceParenAnnVisitor.visitOperatorApplication(OperatorApplication appl)
           
 java.lang.Object ZPrintVisitor.visitOperatorApplication(OperatorApplication appl)
           
 Precedence PrecedenceVisitor.visitOperatorApplication(OperatorApplication term)
           
 



Copyright © 2003-2007 Community Z Tools Project. All Rights Reserved.