|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||
| Packages that use Precedence | |
|---|---|
| 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 | |
|---|---|
Precedence |
OperatorApplication.getPrecedence()
|
Precedence |
PrintPredicate.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 | |
|---|---|
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)
|
PrintPredicate |
PrintFactory.createPrintPredicate(java.util.List something,
Precedence prec,
net.sourceforge.czt.z.ast.Assoc assoc)
|
| Constructors in net.sourceforge.czt.print.ast with parameters of type Precedence | |
|---|---|
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)
|
|
PrintPredicate(PrintFactory factory,
java.util.List something,
Precedence prec,
net.sourceforge.czt.z.ast.Assoc assoc)
|
|
| Uses of Precedence in net.sourceforge.czt.print.z |
|---|
| Methods in net.sourceforge.czt.print.z that return Precedence | |
|---|---|
protected Precedence |
AstToPrintTreeVisitor.getPrec(net.sourceforge.czt.base.ast.Term term)
|
protected Precedence |
PrecedenceVisitor.getPrecedence(net.sourceforge.czt.z.util.OperatorName opName)
|
Precedence |
PrecedenceParenAnnVisitor.precedence(net.sourceforge.czt.base.ast.Term term)
|
Precedence |
PrecedenceVisitor.visitAndExpr(net.sourceforge.czt.z.ast.AndExpr term)
|
Precedence |
PrecedenceVisitor.visitAndPred(net.sourceforge.czt.z.ast.AndPred term)
|
Precedence |
PrecedenceVisitor.visitApplExpr(net.sourceforge.czt.z.ast.ApplExpr term)
|
Precedence |
PrecedenceVisitor.visitApplication(Application term)
|
Precedence |
PrecedenceVisitor.visitBindSelExpr(net.sourceforge.czt.z.ast.BindSelExpr term)
|
Precedence |
PrecedenceVisitor.visitCompExpr(net.sourceforge.czt.z.ast.CompExpr term)
|
Precedence |
PrecedenceVisitor.visitCondExpr(net.sourceforge.czt.z.ast.CondExpr term)
|
Precedence |
PrecedenceVisitor.visitDecorExpr(net.sourceforge.czt.z.ast.DecorExpr term)
|
Precedence |
PrecedenceVisitor.visitExists1Expr(net.sourceforge.czt.z.ast.Exists1Expr term)
|
Precedence |
PrecedenceVisitor.visitExists1Pred(net.sourceforge.czt.z.ast.Exists1Pred term)
|
Precedence |
PrecedenceVisitor.visitExistsExpr(net.sourceforge.czt.z.ast.ExistsExpr term)
|
Precedence |
PrecedenceVisitor.visitExistsPred(net.sourceforge.czt.z.ast.ExistsPred term)
|
Precedence |
PrecedenceVisitor.visitForallExpr(net.sourceforge.czt.z.ast.ForallExpr term)
|
Precedence |
PrecedenceVisitor.visitForallPred(net.sourceforge.czt.z.ast.ForallPred term)
|
Precedence |
PrecedenceVisitor.visitHideExpr(net.sourceforge.czt.z.ast.HideExpr term)
|
Precedence |
PrecedenceVisitor.visitIffExpr(net.sourceforge.czt.z.ast.IffExpr term)
|
Precedence |
PrecedenceVisitor.visitIffPred(net.sourceforge.czt.z.ast.IffPred term)
|
Precedence |
PrecedenceVisitor.visitImpliesExpr(net.sourceforge.czt.z.ast.ImpliesExpr term)
|
Precedence |
PrecedenceVisitor.visitImpliesPred(net.sourceforge.czt.z.ast.ImpliesPred term)
|
Precedence |
PrecedenceVisitor.visitLambdaExpr(net.sourceforge.czt.z.ast.LambdaExpr term)
|
Precedence |
PrecedenceVisitor.visitLetExpr(net.sourceforge.czt.z.ast.LetExpr term)
|
Precedence |
PrecedenceVisitor.visitMemPred(net.sourceforge.czt.z.ast.MemPred memPred)
|
Precedence |
PrecedenceVisitor.visitMuExpr(net.sourceforge.czt.z.ast.MuExpr term)
|
Precedence |
PrecedenceVisitor.visitNegExpr(net.sourceforge.czt.z.ast.NegExpr term)
|
Precedence |
PrecedenceVisitor.visitNegPred(net.sourceforge.czt.z.ast.NegPred term)
|
Precedence |
PrecedenceVisitor.visitOperatorApplication(OperatorApplication term)
|
Precedence |
PrecedenceVisitor.visitOrExpr(net.sourceforge.czt.z.ast.OrExpr term)
|
Precedence |
PrecedenceVisitor.visitOrPred(net.sourceforge.czt.z.ast.OrPred term)
|
Precedence |
PrecedenceVisitor.visitPipeExpr(net.sourceforge.czt.z.ast.PipeExpr term)
|
Precedence |
PrecedenceVisitor.visitPowerExpr(net.sourceforge.czt.z.ast.PowerExpr term)
|
Precedence |
PrecedenceVisitor.visitPreExpr(net.sourceforge.czt.z.ast.PreExpr term)
|
Precedence |
PrecedenceVisitor.visitPrintPredicate(PrintPredicate term)
|
Precedence |
PrecedenceVisitor.visitProdExpr(net.sourceforge.czt.z.ast.ProdExpr term)
|
Precedence |
PrecedenceVisitor.visitProjExpr(net.sourceforge.czt.z.ast.ProjExpr term)
|
Precedence |
PrecedenceVisitor.visitRefExpr(net.sourceforge.czt.z.ast.RefExpr refExpr)
|
Precedence |
PrecedenceVisitor.visitRenameExpr(net.sourceforge.czt.z.ast.RenameExpr term)
|
Precedence |
PrecedenceVisitor.visitTerm(net.sourceforge.czt.base.ast.Term term)
|
Precedence |
PrecedenceVisitor.visitThetaExpr(net.sourceforge.czt.z.ast.ThetaExpr term)
|
Precedence |
PrecedenceVisitor.visitTupleSelExpr(net.sourceforge.czt.z.ast.TupleSelExpr term)
|
| Methods in net.sourceforge.czt.print.z with parameters of type Precedence | |
|---|---|
protected void |
PrecedenceParenAnnVisitor.addParenAnnIfNecessary(java.lang.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. |
|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||