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

Class ExprMapVisitor

java.lang.Object

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

All Implemented Interfaces:

ExprVisitor<za.ac.sun.cs.green.expr.Expression>

Direct Known Subclasses:

AstIterVisitor, AstMapVisitor, ExprBoundaryVisitor, ExprRegionInputVisitor, ExprSubstitutionVisitor, ExprTypeVisitor, ExpUniqueVisitor, FieldArrayVarToSPFVarVisitor, SimplifyRangerExprVisitor

public class ExprMapVisitor
extends java.lang.Object
implements ExprVisitor<za.ac.sun.cs.green.expr.Expression>

RangerIR expression visitor that creates a new instance of the same expression.

Field Summary

Fields

Modifier and Type	Field and Description
protected ExprVisitorAdapter<za.ac.sun.cs.green.expr.Expression>	eva

Constructor Summary

Constructors

Constructor and Description
ExprMapVisitor()

Method Summary

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

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

eva

protected ExprVisitorAdapter<za.ac.sun.cs.green.expr.Expression> eva

Constructor Detail

ExprMapVisitor

public ExprMapVisitor()

Method Detail

visit

public za.ac.sun.cs.green.expr.Expression visit(za.ac.sun.cs.green.expr.IntConstant expr)

Specified by:

visit in interface ExprVisitor<za.ac.sun.cs.green.expr.Expression>

visit

public za.ac.sun.cs.green.expr.Expression visit(za.ac.sun.cs.green.expr.IntVariable expr)

Specified by:

visit in interface ExprVisitor<za.ac.sun.cs.green.expr.Expression>

visit

public za.ac.sun.cs.green.expr.Expression visit(za.ac.sun.cs.green.expr.Operation expr)

Specified by:

visit in interface ExprVisitor<za.ac.sun.cs.green.expr.Expression>

visit

public za.ac.sun.cs.green.expr.Expression visit(za.ac.sun.cs.green.expr.RealConstant expr)

Specified by:

visit in interface ExprVisitor<za.ac.sun.cs.green.expr.Expression>

visit

public za.ac.sun.cs.green.expr.Expression visit(za.ac.sun.cs.green.expr.RealVariable expr)

Specified by:

visit in interface ExprVisitor<za.ac.sun.cs.green.expr.Expression>

visit

public za.ac.sun.cs.green.expr.Expression visit(za.ac.sun.cs.green.expr.StringConstantGreen expr)

Specified by:

visit in interface ExprVisitor<za.ac.sun.cs.green.expr.Expression>

visit

public za.ac.sun.cs.green.expr.Expression visit(za.ac.sun.cs.green.expr.StringVariable expr)

Specified by:

visit in interface ExprVisitor<za.ac.sun.cs.green.expr.Expression>

visit

public za.ac.sun.cs.green.expr.Expression visit(WalaVarExpr expr)

Specified by:

visit in interface ExprVisitor<za.ac.sun.cs.green.expr.Expression>

visit

public za.ac.sun.cs.green.expr.Expression visit(AstVarExpr expr)

Specified by:

visit in interface ExprVisitor<za.ac.sun.cs.green.expr.Expression>

visit

public za.ac.sun.cs.green.expr.Expression visit(FieldRefVarExpr expr)

Specified by:

visit in interface ExprVisitor<za.ac.sun.cs.green.expr.Expression>

visit

public za.ac.sun.cs.green.expr.Expression visit(ArrayRefVarExpr expr)

Specified by:

visit in interface ExprVisitor<za.ac.sun.cs.green.expr.Expression>

visit

public za.ac.sun.cs.green.expr.Expression visit(GammaVarExpr expr)

Specified by:

visit in interface ExprVisitor<za.ac.sun.cs.green.expr.Expression>

visit

public za.ac.sun.cs.green.expr.Expression visit(IfThenElseExpr expr)

Specified by:

visit in interface ExprVisitor<za.ac.sun.cs.green.expr.Expression>