Overview  Package   Class  Use  Tree  Deprecated  Index  Help 
 PREV CLASS   NEXT CLASS FRAMES    NO FRAMES    
SUMMARY: NESTED | FIELD | CONSTR | METHOD DETAIL: FIELD | CONSTR | METHOD

net.sourceforge.czt.print.z
Class PrecedenceVisitor

java.lang.Object
  extended by net.sourceforge.czt.print.z.PrecedenceVisitor
All Implemented Interfaces:
net.sourceforge.czt.base.visitor.TermVisitor<Precedence>, ApplicationVisitor<Precedence>, OperatorApplicationVisitor<Precedence>, PrintPredicateVisitor<Precedence>, net.sourceforge.czt.util.Visitor<Precedence>, net.sourceforge.czt.z.visitor.AndExprVisitor<Precedence>, net.sourceforge.czt.z.visitor.AndPredVisitor<Precedence>, net.sourceforge.czt.z.visitor.ApplExprVisitor<Precedence>, net.sourceforge.czt.z.visitor.BindSelExprVisitor<Precedence>, net.sourceforge.czt.z.visitor.CompExprVisitor<Precedence>, net.sourceforge.czt.z.visitor.CondExprVisitor<Precedence>, net.sourceforge.czt.z.visitor.DecorExprVisitor<Precedence>, net.sourceforge.czt.z.visitor.Exists1ExprVisitor<Precedence>, net.sourceforge.czt.z.visitor.Exists1PredVisitor<Precedence>, net.sourceforge.czt.z.visitor.ExistsExprVisitor<Precedence>, net.sourceforge.czt.z.visitor.ExistsPredVisitor<Precedence>, net.sourceforge.czt.z.visitor.ForallExprVisitor<Precedence>, net.sourceforge.czt.z.visitor.ForallPredVisitor<Precedence>, net.sourceforge.czt.z.visitor.HideExprVisitor<Precedence>, net.sourceforge.czt.z.visitor.IffExprVisitor<Precedence>, net.sourceforge.czt.z.visitor.IffPredVisitor<Precedence>, net.sourceforge.czt.z.visitor.ImpliesExprVisitor<Precedence>, net.sourceforge.czt.z.visitor.ImpliesPredVisitor<Precedence>, net.sourceforge.czt.z.visitor.LambdaExprVisitor<Precedence>, net.sourceforge.czt.z.visitor.LetExprVisitor<Precedence>, net.sourceforge.czt.z.visitor.MemPredVisitor<Precedence>, net.sourceforge.czt.z.visitor.MuExprVisitor<Precedence>, net.sourceforge.czt.z.visitor.NegExprVisitor<Precedence>, net.sourceforge.czt.z.visitor.NegPredVisitor<Precedence>, net.sourceforge.czt.z.visitor.OrExprVisitor<Precedence>, net.sourceforge.czt.z.visitor.OrPredVisitor<Precedence>, net.sourceforge.czt.z.visitor.PipeExprVisitor<Precedence>, net.sourceforge.czt.z.visitor.PowerExprVisitor<Precedence>, net.sourceforge.czt.z.visitor.PreExprVisitor<Precedence>, net.sourceforge.czt.z.visitor.ProdExprVisitor<Precedence>, net.sourceforge.czt.z.visitor.ProjExprVisitor<Precedence>, net.sourceforge.czt.z.visitor.RefExprVisitor<Precedence>, net.sourceforge.czt.z.visitor.RenameExprVisitor<Precedence>, net.sourceforge.czt.z.visitor.ThetaExprVisitor<Precedence>, net.sourceforge.czt.z.visitor.TupleSelExprVisitor<Precedence>
public class PrecedenceVisitor
extends java.lang.Object
implements net.sourceforge.czt.base.visitor.TermVisitor<Precedence>, PrintPredicateVisitor<Precedence>, net.sourceforge.czt.z.visitor.ThetaExprVisitor<Precedence>, net.sourceforge.czt.z.visitor.BindSelExprVisitor<Precedence>, net.sourceforge.czt.z.visitor.TupleSelExprVisitor<Precedence>, net.sourceforge.czt.z.visitor.RenameExprVisitor<Precedence>, net.sourceforge.czt.z.visitor.DecorExprVisitor<Precedence>, net.sourceforge.czt.z.visitor.ApplExprVisitor<Precedence>, net.sourceforge.czt.z.visitor.RefExprVisitor<Precedence>, ApplicationVisitor<Precedence>, OperatorApplicationVisitor<Precedence>, net.sourceforge.czt.z.visitor.PowerExprVisitor<Precedence>, net.sourceforge.czt.z.visitor.ProdExprVisitor<Precedence>, net.sourceforge.czt.z.visitor.PreExprVisitor<Precedence>, net.sourceforge.czt.z.visitor.ProjExprVisitor<Precedence>, net.sourceforge.czt.z.visitor.HideExprVisitor<Precedence>, net.sourceforge.czt.z.visitor.PipeExprVisitor<Precedence>, net.sourceforge.czt.z.visitor.CompExprVisitor<Precedence>, net.sourceforge.czt.z.visitor.CondExprVisitor<Precedence>, net.sourceforge.czt.z.visitor.LetExprVisitor<Precedence>, net.sourceforge.czt.z.visitor.MuExprVisitor<Precedence>, net.sourceforge.czt.z.visitor.LambdaExprVisitor<Precedence>, net.sourceforge.czt.z.visitor.MemPredVisitor<Precedence>, net.sourceforge.czt.z.visitor.NegPredVisitor<Precedence>, net.sourceforge.czt.z.visitor.NegExprVisitor<Precedence>, net.sourceforge.czt.z.visitor.AndExprVisitor<Precedence>, net.sourceforge.czt.z.visitor.AndPredVisitor<Precedence>, net.sourceforge.czt.z.visitor.OrPredVisitor<Precedence>, net.sourceforge.czt.z.visitor.OrExprVisitor<Precedence>, net.sourceforge.czt.z.visitor.ImpliesPredVisitor<Precedence>, net.sourceforge.czt.z.visitor.ImpliesExprVisitor<Precedence>, net.sourceforge.czt.z.visitor.IffPredVisitor<Precedence>, net.sourceforge.czt.z.visitor.IffExprVisitor<Precedence>, net.sourceforge.czt.z.visitor.ForallPredVisitor<Precedence>, net.sourceforge.czt.z.visitor.ExistsPredVisitor<Precedence>, net.sourceforge.czt.z.visitor.Exists1PredVisitor<Precedence>, net.sourceforge.czt.z.visitor.ForallExprVisitor<Precedence>, net.sourceforge.czt.z.visitor.ExistsExprVisitor<Precedence>, net.sourceforge.czt.z.visitor.Exists1ExprVisitor<Precedence>

Throws NullPointerException if no operator table is given but a term that needs a lookup in the operator table.

Author:
Petra Malik

Constructor Summary
PrecedenceVisitor()
           
PrecedenceVisitor(OpTable opTable)
           
 
Method Summary
protected  Precedence getPrecedence(net.sourceforge.czt.z.util.OperatorName opName)
           
protected  void reportError(java.lang.String message)
           
 Precedence visitAndExpr(net.sourceforge.czt.z.ast.AndExpr term)
           
 Precedence visitAndPred(net.sourceforge.czt.z.ast.AndPred term)
           
 Precedence visitApplExpr(net.sourceforge.czt.z.ast.ApplExpr term)
           
 Precedence visitApplication(Application term)
           
 Precedence visitBindSelExpr(net.sourceforge.czt.z.ast.BindSelExpr term)
           
 Precedence visitCompExpr(net.sourceforge.czt.z.ast.CompExpr term)
           
 Precedence visitCondExpr(net.sourceforge.czt.z.ast.CondExpr term)
           
 Precedence visitDecorExpr(net.sourceforge.czt.z.ast.DecorExpr term)
           
 Precedence visitExists1Expr(net.sourceforge.czt.z.ast.Exists1Expr term)
           
 Precedence visitExists1Pred(net.sourceforge.czt.z.ast.Exists1Pred term)
           
 Precedence visitExistsExpr(net.sourceforge.czt.z.ast.ExistsExpr term)
           
 Precedence visitExistsPred(net.sourceforge.czt.z.ast.ExistsPred term)
           
 Precedence visitForallExpr(net.sourceforge.czt.z.ast.ForallExpr term)
           
 Precedence visitForallPred(net.sourceforge.czt.z.ast.ForallPred term)
           
 Precedence visitHideExpr(net.sourceforge.czt.z.ast.HideExpr term)
           
 Precedence visitIffExpr(net.sourceforge.czt.z.ast.IffExpr term)
           
 Precedence visitIffPred(net.sourceforge.czt.z.ast.IffPred term)
           
 Precedence visitImpliesExpr(net.sourceforge.czt.z.ast.ImpliesExpr term)
           
 Precedence visitImpliesPred(net.sourceforge.czt.z.ast.ImpliesPred term)
           
 Precedence visitLambdaExpr(net.sourceforge.czt.z.ast.LambdaExpr term)
           
 Precedence visitLetExpr(net.sourceforge.czt.z.ast.LetExpr term)
           
 Precedence visitMemPred(net.sourceforge.czt.z.ast.MemPred memPred)
           
 Precedence visitMuExpr(net.sourceforge.czt.z.ast.MuExpr term)
           
 Precedence visitNegExpr(net.sourceforge.czt.z.ast.NegExpr term)
           
 Precedence visitNegPred(net.sourceforge.czt.z.ast.NegPred term)
           
 Precedence visitOperatorApplication(OperatorApplication term)
           
 Precedence visitOrExpr(net.sourceforge.czt.z.ast.OrExpr term)
           
 Precedence visitOrPred(net.sourceforge.czt.z.ast.OrPred term)
           
 Precedence visitPipeExpr(net.sourceforge.czt.z.ast.PipeExpr term)
           
 Precedence visitPowerExpr(net.sourceforge.czt.z.ast.PowerExpr term)
           
 Precedence visitPreExpr(net.sourceforge.czt.z.ast.PreExpr term)
           
 Precedence visitPrintPredicate(PrintPredicate term)
           
 Precedence visitProdExpr(net.sourceforge.czt.z.ast.ProdExpr term)
           
 Precedence visitProjExpr(net.sourceforge.czt.z.ast.ProjExpr term)
           
 Precedence visitRefExpr(net.sourceforge.czt.z.ast.RefExpr refExpr)
           
 Precedence visitRenameExpr(net.sourceforge.czt.z.ast.RenameExpr term)
           
 Precedence visitTerm(net.sourceforge.czt.base.ast.Term term)
           
 Precedence visitThetaExpr(net.sourceforge.czt.z.ast.ThetaExpr term)
           
 Precedence visitTupleSelExpr(net.sourceforge.czt.z.ast.TupleSelExpr term)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

PrecedenceVisitor

public PrecedenceVisitor()

PrecedenceVisitor

public PrecedenceVisitor(OpTable opTable)
Method Detail

visitTerm

public Precedence visitTerm(net.sourceforge.czt.base.ast.Term term)
Specified by:
visitTerm in interface net.sourceforge.czt.base.visitor.TermVisitor<Precedence>

visitPrintPredicate

public Precedence visitPrintPredicate(PrintPredicate term)
Specified by:
visitPrintPredicate in interface PrintPredicateVisitor<Precedence>

visitThetaExpr

public Precedence visitThetaExpr(net.sourceforge.czt.z.ast.ThetaExpr term)
Specified by:
visitThetaExpr in interface net.sourceforge.czt.z.visitor.ThetaExprVisitor<Precedence>

visitBindSelExpr

public Precedence visitBindSelExpr(net.sourceforge.czt.z.ast.BindSelExpr term)
Specified by:
visitBindSelExpr in interface net.sourceforge.czt.z.visitor.BindSelExprVisitor<Precedence>

visitTupleSelExpr

public Precedence visitTupleSelExpr(net.sourceforge.czt.z.ast.TupleSelExpr term)
Specified by:
visitTupleSelExpr in interface net.sourceforge.czt.z.visitor.TupleSelExprVisitor<Precedence>

visitRenameExpr

public Precedence visitRenameExpr(net.sourceforge.czt.z.ast.RenameExpr term)
Specified by:
visitRenameExpr in interface net.sourceforge.czt.z.visitor.RenameExprVisitor<Precedence>

visitDecorExpr

public Precedence visitDecorExpr(net.sourceforge.czt.z.ast.DecorExpr term)
Specified by:
visitDecorExpr in interface net.sourceforge.czt.z.visitor.DecorExprVisitor<Precedence>

visitApplExpr

public Precedence visitApplExpr(net.sourceforge.czt.z.ast.ApplExpr term)
Specified by:
visitApplExpr in interface net.sourceforge.czt.z.visitor.ApplExprVisitor<Precedence>

visitRefExpr

public Precedence visitRefExpr(net.sourceforge.czt.z.ast.RefExpr refExpr)
Specified by:
visitRefExpr in interface net.sourceforge.czt.z.visitor.RefExprVisitor<Precedence>

visitApplication

public Precedence visitApplication(Application term)
Specified by:
visitApplication in interface ApplicationVisitor<Precedence>

visitOperatorApplication

public Precedence visitOperatorApplication(OperatorApplication term)
Specified by:
visitOperatorApplication in interface OperatorApplicationVisitor<Precedence>

visitPowerExpr

public Precedence visitPowerExpr(net.sourceforge.czt.z.ast.PowerExpr term)
Specified by:
visitPowerExpr in interface net.sourceforge.czt.z.visitor.PowerExprVisitor<Precedence>

visitProdExpr

public Precedence visitProdExpr(net.sourceforge.czt.z.ast.ProdExpr term)
Specified by:
visitProdExpr in interface net.sourceforge.czt.z.visitor.ProdExprVisitor<Precedence>

visitPreExpr

public Precedence visitPreExpr(net.sourceforge.czt.z.ast.PreExpr term)
Specified by:
visitPreExpr in interface net.sourceforge.czt.z.visitor.PreExprVisitor<Precedence>

visitProjExpr

public Precedence visitProjExpr(net.sourceforge.czt.z.ast.ProjExpr term)
Specified by:
visitProjExpr in interface net.sourceforge.czt.z.visitor.ProjExprVisitor<Precedence>

visitHideExpr

public Precedence visitHideExpr(net.sourceforge.czt.z.ast.HideExpr term)
Specified by:
visitHideExpr in interface net.sourceforge.czt.z.visitor.HideExprVisitor<Precedence>

visitPipeExpr

public Precedence visitPipeExpr(net.sourceforge.czt.z.ast.PipeExpr term)
Specified by:
visitPipeExpr in interface net.sourceforge.czt.z.visitor.PipeExprVisitor<Precedence>

visitCompExpr

public Precedence visitCompExpr(net.sourceforge.czt.z.ast.CompExpr term)
Specified by:
visitCompExpr in interface net.sourceforge.czt.z.visitor.CompExprVisitor<Precedence>

visitCondExpr

public Precedence visitCondExpr(net.sourceforge.czt.z.ast.CondExpr term)
Specified by:
visitCondExpr in interface net.sourceforge.czt.z.visitor.CondExprVisitor<Precedence>

visitLetExpr

public Precedence visitLetExpr(net.sourceforge.czt.z.ast.LetExpr term)
Specified by:
visitLetExpr in interface net.sourceforge.czt.z.visitor.LetExprVisitor<Precedence>

visitMuExpr

public Precedence visitMuExpr(net.sourceforge.czt.z.ast.MuExpr term)
Specified by:
visitMuExpr in interface net.sourceforge.czt.z.visitor.MuExprVisitor<Precedence>

visitLambdaExpr

public Precedence visitLambdaExpr(net.sourceforge.czt.z.ast.LambdaExpr term)
Specified by:
visitLambdaExpr in interface net.sourceforge.czt.z.visitor.LambdaExprVisitor<Precedence>

visitMemPred

public Precedence visitMemPred(net.sourceforge.czt.z.ast.MemPred memPred)
Specified by:
visitMemPred in interface net.sourceforge.czt.z.visitor.MemPredVisitor<Precedence>

visitNegPred

public Precedence visitNegPred(net.sourceforge.czt.z.ast.NegPred term)
Specified by:
visitNegPred in interface net.sourceforge.czt.z.visitor.NegPredVisitor<Precedence>

visitNegExpr

public Precedence visitNegExpr(net.sourceforge.czt.z.ast.NegExpr term)
Specified by:
visitNegExpr in interface net.sourceforge.czt.z.visitor.NegExprVisitor<Precedence>

visitAndExpr

public Precedence visitAndExpr(net.sourceforge.czt.z.ast.AndExpr term)
Specified by:
visitAndExpr in interface net.sourceforge.czt.z.visitor.AndExprVisitor<Precedence>

visitAndPred

public Precedence visitAndPred(net.sourceforge.czt.z.ast.AndPred term)
Specified by:
visitAndPred in interface net.sourceforge.czt.z.visitor.AndPredVisitor<Precedence>

visitOrPred

public Precedence visitOrPred(net.sourceforge.czt.z.ast.OrPred term)
Specified by:
visitOrPred in interface net.sourceforge.czt.z.visitor.OrPredVisitor<Precedence>

visitOrExpr

public Precedence visitOrExpr(net.sourceforge.czt.z.ast.OrExpr term)
Specified by:
visitOrExpr in interface net.sourceforge.czt.z.visitor.OrExprVisitor<Precedence>

visitImpliesPred

public Precedence visitImpliesPred(net.sourceforge.czt.z.ast.ImpliesPred term)
Specified by:
visitImpliesPred in interface net.sourceforge.czt.z.visitor.ImpliesPredVisitor<Precedence>

visitImpliesExpr

public Precedence visitImpliesExpr(net.sourceforge.czt.z.ast.ImpliesExpr term)
Specified by:
visitImpliesExpr in interface net.sourceforge.czt.z.visitor.ImpliesExprVisitor<Precedence>

visitIffPred

public Precedence visitIffPred(net.sourceforge.czt.z.ast.IffPred term)
Specified by:
visitIffPred in interface net.sourceforge.czt.z.visitor.IffPredVisitor<Precedence>

visitIffExpr

public Precedence visitIffExpr(net.sourceforge.czt.z.ast.IffExpr term)
Specified by:
visitIffExpr in interface net.sourceforge.czt.z.visitor.IffExprVisitor<Precedence>

visitForallPred

public Precedence visitForallPred(net.sourceforge.czt.z.ast.ForallPred term)
Specified by:
visitForallPred in interface net.sourceforge.czt.z.visitor.ForallPredVisitor<Precedence>

visitExistsPred

public Precedence visitExistsPred(net.sourceforge.czt.z.ast.ExistsPred term)
Specified by:
visitExistsPred in interface net.sourceforge.czt.z.visitor.ExistsPredVisitor<Precedence>

visitExists1Pred

public Precedence visitExists1Pred(net.sourceforge.czt.z.ast.Exists1Pred term)
Specified by:
visitExists1Pred in interface net.sourceforge.czt.z.visitor.Exists1PredVisitor<Precedence>

visitForallExpr

public Precedence visitForallExpr(net.sourceforge.czt.z.ast.ForallExpr term)
Specified by:
visitForallExpr in interface net.sourceforge.czt.z.visitor.ForallExprVisitor<Precedence>

visitExistsExpr

public Precedence visitExistsExpr(net.sourceforge.czt.z.ast.ExistsExpr term)
Specified by:
visitExistsExpr in interface net.sourceforge.czt.z.visitor.ExistsExprVisitor<Precedence>

visitExists1Expr

public Precedence visitExists1Expr(net.sourceforge.czt.z.ast.Exists1Expr term)
Specified by:
visitExists1Expr in interface net.sourceforge.czt.z.visitor.Exists1ExprVisitor<Precedence>

getPrecedence

protected Precedence getPrecedence(net.sourceforge.czt.z.util.OperatorName opName)

reportError

protected void reportError(java.lang.String message)
Overview  Package   Class  Use  Tree  Deprecated  Index  Help 
 PREV CLASS   NEXT CLASS FRAMES    NO FRAMES    
SUMMARY: NESTED | FIELD | CONSTR | METHOD DETAIL: FIELD | CONSTR | METHOD
Copyright © 2003-2007 Community Z Tools Project. All Rights Reserved.