net.sourceforge.czt.print.z

Class PrecedenceVisitor

java.lang.Object

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>, AndExprVisitor<Precedence>, AndPredVisitor<Precedence>, ApplExprVisitor<Precedence>, BindSelExprVisitor<Precedence>, CompExprVisitor<Precedence>, CondExprVisitor<Precedence>, DecorExprVisitor<Precedence>, Exists1ExprVisitor<Precedence>, Exists1PredVisitor<Precedence>, ExistsExprVisitor<Precedence>, ExistsPredVisitor<Precedence>, ForallExprVisitor<Precedence>, ForallPredVisitor<Precedence>, HideExprVisitor<Precedence>, IffExprVisitor<Precedence>, IffPredVisitor<Precedence>, ImpliesExprVisitor<Precedence>, ImpliesPredVisitor<Precedence>, LambdaExprVisitor<Precedence>, LetExprVisitor<Precedence>, MemPredVisitor<Precedence>, MuExprVisitor<Precedence>, NegExprVisitor<Precedence>, NegPredVisitor<Precedence>, OrExprVisitor<Precedence>, OrPredVisitor<Precedence>, PipeExprVisitor<Precedence>, PowerExprVisitor<Precedence>, PreExprVisitor<Precedence>, ProdExprVisitor<Precedence>, ProjExprVisitor<Precedence>, RefExprVisitor<Precedence>, RenameExprVisitor<Precedence>, ThetaExprVisitor<Precedence>, TupleSelExprVisitor<Precedence>

public class PrecedenceVisitor
extends Object
implements net.sourceforge.czt.base.visitor.TermVisitor<Precedence>, PrintPredicateVisitor<Precedence>, ThetaExprVisitor<Precedence>, BindSelExprVisitor<Precedence>, TupleSelExprVisitor<Precedence>, RenameExprVisitor<Precedence>, DecorExprVisitor<Precedence>, ApplExprVisitor<Precedence>, RefExprVisitor<Precedence>, ApplicationVisitor<Precedence>, OperatorApplicationVisitor<Precedence>, PowerExprVisitor<Precedence>, ProdExprVisitor<Precedence>, PreExprVisitor<Precedence>, ProjExprVisitor<Precedence>, HideExprVisitor<Precedence>, PipeExprVisitor<Precedence>, CompExprVisitor<Precedence>, CondExprVisitor<Precedence>, LetExprVisitor<Precedence>, MuExprVisitor<Precedence>, LambdaExprVisitor<Precedence>, MemPredVisitor<Precedence>, NegPredVisitor<Precedence>, NegExprVisitor<Precedence>, AndExprVisitor<Precedence>, AndPredVisitor<Precedence>, OrPredVisitor<Precedence>, OrExprVisitor<Precedence>, ImpliesPredVisitor<Precedence>, ImpliesExprVisitor<Precedence>, IffPredVisitor<Precedence>, IffExprVisitor<Precedence>, ForallPredVisitor<Precedence>, ExistsPredVisitor<Precedence>, Exists1PredVisitor<Precedence>, ForallExprVisitor<Precedence>, ExistsExprVisitor<Precedence>, 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

Constructors

Constructor and Description
PrecedenceVisitor()
PrecedenceVisitor(OpTable opTable)

Method Summary

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

Specified by:

visitThetaExpr in interface ThetaExprVisitor<Precedence>

visitBindSelExpr

public Precedence visitBindSelExpr(BindSelExpr term)

Specified by:

visitBindSelExpr in interface BindSelExprVisitor<Precedence>

visitTupleSelExpr

public Precedence visitTupleSelExpr(TupleSelExpr term)

Specified by:

visitTupleSelExpr in interface TupleSelExprVisitor<Precedence>

visitRenameExpr

public Precedence visitRenameExpr(RenameExpr term)

Specified by:

visitRenameExpr in interface RenameExprVisitor<Precedence>

visitDecorExpr

public Precedence visitDecorExpr(DecorExpr term)

Specified by:

visitDecorExpr in interface DecorExprVisitor<Precedence>

visitApplExpr

public Precedence visitApplExpr(ApplExpr term)

Specified by:

visitApplExpr in interface ApplExprVisitor<Precedence>

visitRefExpr

public Precedence visitRefExpr(RefExpr refExpr)

Specified by:

visitRefExpr in interface 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(PowerExpr term)

Specified by:

visitPowerExpr in interface PowerExprVisitor<Precedence>

visitProdExpr

public Precedence visitProdExpr(ProdExpr term)

Specified by:

visitProdExpr in interface ProdExprVisitor<Precedence>

visitPreExpr

public Precedence visitPreExpr(PreExpr term)

Specified by:

visitPreExpr in interface PreExprVisitor<Precedence>

visitProjExpr

public Precedence visitProjExpr(ProjExpr term)

Specified by:

visitProjExpr in interface ProjExprVisitor<Precedence>

visitHideExpr

public Precedence visitHideExpr(HideExpr term)

Specified by:

visitHideExpr in interface HideExprVisitor<Precedence>

visitPipeExpr

public Precedence visitPipeExpr(PipeExpr term)

Specified by:

visitPipeExpr in interface PipeExprVisitor<Precedence>

visitCompExpr

public Precedence visitCompExpr(CompExpr term)

Specified by:

visitCompExpr in interface CompExprVisitor<Precedence>

visitCondExpr

public Precedence visitCondExpr(CondExpr term)

Specified by:

visitCondExpr in interface CondExprVisitor<Precedence>

visitLetExpr

public Precedence visitLetExpr(LetExpr term)

Specified by:

visitLetExpr in interface LetExprVisitor<Precedence>

visitMuExpr

public Precedence visitMuExpr(MuExpr term)

Specified by:

visitMuExpr in interface MuExprVisitor<Precedence>

visitLambdaExpr

public Precedence visitLambdaExpr(LambdaExpr term)

Specified by:

visitLambdaExpr in interface LambdaExprVisitor<Precedence>

visitMemPred

public Precedence visitMemPred(MemPred memPred)

Specified by:

visitMemPred in interface MemPredVisitor<Precedence>

visitNegPred

public Precedence visitNegPred(NegPred term)

Specified by:

visitNegPred in interface NegPredVisitor<Precedence>

visitNegExpr

public Precedence visitNegExpr(NegExpr term)

Specified by:

visitNegExpr in interface NegExprVisitor<Precedence>

visitAndExpr

public Precedence visitAndExpr(AndExpr term)

Specified by:

visitAndExpr in interface AndExprVisitor<Precedence>

visitAndPred

public Precedence visitAndPred(AndPred term)

Specified by:

visitAndPred in interface AndPredVisitor<Precedence>

visitOrPred

public Precedence visitOrPred(OrPred term)

Specified by:

visitOrPred in interface OrPredVisitor<Precedence>

visitOrExpr

public Precedence visitOrExpr(OrExpr term)

Specified by:

visitOrExpr in interface OrExprVisitor<Precedence>

visitImpliesPred

public Precedence visitImpliesPred(ImpliesPred term)

Specified by:

visitImpliesPred in interface ImpliesPredVisitor<Precedence>

visitImpliesExpr

public Precedence visitImpliesExpr(ImpliesExpr term)

Specified by:

visitImpliesExpr in interface ImpliesExprVisitor<Precedence>

visitIffPred

public Precedence visitIffPred(IffPred term)

Specified by:

visitIffPred in interface IffPredVisitor<Precedence>

visitIffExpr

public Precedence visitIffExpr(IffExpr term)

Specified by:

visitIffExpr in interface IffExprVisitor<Precedence>

visitForallPred

public Precedence visitForallPred(ForallPred term)

Specified by:

visitForallPred in interface ForallPredVisitor<Precedence>

visitExistsPred

public Precedence visitExistsPred(ExistsPred term)

Specified by:

visitExistsPred in interface ExistsPredVisitor<Precedence>

visitExists1Pred

public Precedence visitExists1Pred(Exists1Pred term)

Specified by:

visitExists1Pred in interface Exists1PredVisitor<Precedence>

visitForallExpr

public Precedence visitForallExpr(ForallExpr term)

Specified by:

visitForallExpr in interface ForallExprVisitor<Precedence>

visitExistsExpr

public Precedence visitExistsExpr(ExistsExpr term)

Specified by:

visitExistsExpr in interface ExistsExprVisitor<Precedence>

visitExists1Expr

public Precedence visitExists1Expr(Exists1Expr term)

Specified by:

visitExists1Expr in interface Exists1ExprVisitor<Precedence>

getPrecedence

protected Precedence getPrecedence(OperatorName opName)

reportError

protected void reportError(String message)