gov.nasa.jpf.symbc.veritesting.ast.visitors

Interface ExprVisitor<T>

All Known Implementing Classes:

ArraySSAVisitor, AstIterVisitor, AstMapVisitor, AstToGreenExprVisitor, ExprBoundaryVisitor, ExprIdVisitor, ExprIterVisitor, ExprMapVisitor, ExprRegionInputVisitor, ExprSubstitutionVisitor, ExprTypeVisitor, ExpUniqueVisitor, FieldAccessVisitor, FieldArrayVarToSPFVarVisitor, FieldSSAVisitor, FirstITEStmtVisitor, FixedPointAstMapVisitor, ForallAstVisitor, ForallExprVisitor, LinearizationVisitor, LocalOutputInvariantVisitor, PrettyPrintVisitor.PrettyPrintExpr, RegionBoundaryVisitor, RegionInputVisitor, RegionMetricsVisitor, SimplifyRangerExprVisitor, SimplifyStmtVisitor, SpfToGreenExprVisitor, SubstitutionVisitor, SymbCondVisitor, TypePropagationVisitor, ValidGreenPredicate, WalaVarToSPFVarVisitor

public interface ExprVisitor<T>

An interface for visiting all expression in RangerIR.

Method Summary

Modifier and Type	Method and Description
T	visit(ArrayRefVarExpr expr)
T	visit(AstVarExpr expr)
T	visit(FieldRefVarExpr expr)
T	visit(GammaVarExpr expr)
T	visit(IfThenElseExpr expr)
T	visit(za.ac.sun.cs.green.expr.IntConstant expr)
T	visit(za.ac.sun.cs.green.expr.IntVariable expr)
T	visit(za.ac.sun.cs.green.expr.Operation expr)
T	visit(za.ac.sun.cs.green.expr.RealConstant expr)
T	visit(za.ac.sun.cs.green.expr.RealVariable expr)
T	visit(za.ac.sun.cs.green.expr.StringConstantGreen expr)
T	visit(za.ac.sun.cs.green.expr.StringVariable expr)
T	visit(WalaVarExpr expr)

Method Detail

visit

T visit(za.ac.sun.cs.green.expr.IntConstant expr)

visit

T visit(za.ac.sun.cs.green.expr.IntVariable expr)

visit

T visit(za.ac.sun.cs.green.expr.Operation expr)

visit

T visit(za.ac.sun.cs.green.expr.RealConstant expr)

visit

T visit(za.ac.sun.cs.green.expr.RealVariable expr)

visit

T visit(za.ac.sun.cs.green.expr.StringConstantGreen expr)

visit

T visit(za.ac.sun.cs.green.expr.StringVariable expr)

visit

T visit(IfThenElseExpr expr)

visit

T visit(ArrayRefVarExpr expr)

visit

T visit(WalaVarExpr expr)

visit

T visit(FieldRefVarExpr expr)

visit

T visit(GammaVarExpr expr)

visit

T visit(AstVarExpr expr)