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

Packages that use Precedence

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 Precedence in net.sourceforge.czt.print.ast

Methods in net.sourceforge.czt.print.ast that return Precedence

Modifier and Type	Method and Description
Precedence	PrintPredicate.getPrecedence()
Precedence	OperatorApplication.getPrecedence()
static Precedence	Precedence.precedence(int prec)
static Precedence	Precedence.precedence(int prec1, int prec2)

Methods in net.sourceforge.czt.print.ast with parameters of type Precedence

Modifier and Type	Method and Description
int	Precedence.compareTo(Precedence p)
OperatorApplication	PrintFactory.createOperatorApplication(OperatorName opName, List<Expr> args, Precedence prec, Assoc assoc)
PrintPredicate	PrintFactory.createPrintPredicate(List<?> something, Precedence prec, Assoc assoc)

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

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

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

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

Modifier and Type	Method and Description
protected Precedence	AstToPrintTreeVisitor.getPrec(net.sourceforge.czt.base.ast.Term term)
protected Precedence	PrecedenceVisitor.getPrecedence(OperatorName opName)
Precedence	PrecedenceParenAnnVisitor.precedence(net.sourceforge.czt.base.ast.Term term)
Precedence	PrecedenceVisitor.visitAndExpr(AndExpr term)
Precedence	PrecedenceVisitor.visitAndPred(AndPred term)
Precedence	PrecedenceVisitor.visitApplExpr(ApplExpr term)
Precedence	PrecedenceVisitor.visitApplication(Application term)
Precedence	PrecedenceVisitor.visitBindSelExpr(BindSelExpr term)
Precedence	PrecedenceVisitor.visitCompExpr(CompExpr term)
Precedence	PrecedenceVisitor.visitCondExpr(CondExpr term)
Precedence	PrecedenceVisitor.visitDecorExpr(DecorExpr term)
Precedence	PrecedenceVisitor.visitExists1Expr(Exists1Expr term)
Precedence	PrecedenceVisitor.visitExists1Pred(Exists1Pred term)
Precedence	PrecedenceVisitor.visitExistsExpr(ExistsExpr term)
Precedence	PrecedenceVisitor.visitExistsPred(ExistsPred term)
Precedence	PrecedenceVisitor.visitForallExpr(ForallExpr term)
Precedence	PrecedenceVisitor.visitForallPred(ForallPred term)
Precedence	PrecedenceVisitor.visitHideExpr(HideExpr term)
Precedence	PrecedenceVisitor.visitIffExpr(IffExpr term)
Precedence	PrecedenceVisitor.visitIffPred(IffPred term)
Precedence	PrecedenceVisitor.visitImpliesExpr(ImpliesExpr term)
Precedence	PrecedenceVisitor.visitImpliesPred(ImpliesPred term)
Precedence	PrecedenceVisitor.visitLambdaExpr(LambdaExpr term)
Precedence	PrecedenceVisitor.visitLetExpr(LetExpr term)
Precedence	PrecedenceVisitor.visitMemPred(MemPred memPred)
Precedence	PrecedenceVisitor.visitMuExpr(MuExpr term)
Precedence	PrecedenceVisitor.visitNegExpr(NegExpr term)
Precedence	PrecedenceVisitor.visitNegPred(NegPred term)
Precedence	PrecedenceVisitor.visitOperatorApplication(OperatorApplication term)
Precedence	PrecedenceVisitor.visitOrExpr(OrExpr term)
Precedence	PrecedenceVisitor.visitOrPred(OrPred term)
Precedence	PrecedenceVisitor.visitPipeExpr(PipeExpr term)
Precedence	PrecedenceVisitor.visitPowerExpr(PowerExpr term)
Precedence	PrecedenceVisitor.visitPreExpr(PreExpr term)
Precedence	PrecedenceVisitor.visitPrintPredicate(PrintPredicate term)
Precedence	PrecedenceVisitor.visitProdExpr(ProdExpr term)
Precedence	PrecedenceVisitor.visitProjExpr(ProjExpr term)
Precedence	PrecedenceVisitor.visitRefExpr(RefExpr refExpr)
Precedence	PrecedenceVisitor.visitRenameExpr(RenameExpr term)
Precedence	PrecedenceVisitor.visitTerm(net.sourceforge.czt.base.ast.Term term)
Precedence	PrecedenceVisitor.visitThetaExpr(ThetaExpr term)
Precedence	PrecedenceVisitor.visitTupleSelExpr(TupleSelExpr term)

Methods in net.sourceforge.czt.print.z with parameters of type Precedence

Modifier and Type	Method and Description
protected void	PrecedenceParenAnnVisitor.addParenAnnIfNecessary(Object object, Precedence parentPrec) Adds parenthesis annotations to the given object if it is an annotable term and the precedence of the parent is greater than the precedence of the given term.
protected void	PrecedenceParenAnnVisitor.addParenAnnIfNecessary(net.sourceforge.czt.base.ast.Term term, Precedence parentPrec) Adds parenthesis annotations to the given term if the precedence of the parent is greater than the precedence of the given term.