gov.nasa.jpf.symbc.veritesting.ast.transformations.constprop

Class SimplifyRangerExprVisitor

java.lang.Object

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

gov.nasa.jpf.symbc.veritesting.ast.transformations.constprop.SimplifyRangerExprVisitor

All Implemented Interfaces:

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

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

Field Summary

Fields

Modifier and Type	Field and Description
private DynamicTable<za.ac.sun.cs.green.expr.Expression>	constantsTable
java.lang.IllegalArgumentException	exception
boolean	somethingChanged

Fields inherited from class gov.nasa.jpf.symbc.veritesting.ast.visitors.ExprMapVisitor

eva

Constructor Summary

Constructors

Constructor and Description
SimplifyRangerExprVisitor(DynamicTable<za.ac.sun.cs.green.expr.Expression> constantsTable)

Method Summary

Modifier and Type	Method and Description
private za.ac.sun.cs.green.expr.Expression	lookup(za.ac.sun.cs.green.expr.Expression expr)
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(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.RealVariable 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 gov.nasa.jpf.symbc.veritesting.ast.visitors.ExprMapVisitor

visit, visit, visit, visit

Methods inherited from class java.lang.Object

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

Methods inherited from interface gov.nasa.jpf.symbc.veritesting.ast.visitors.ExprVisitor

visit, visit, visit, visit

Field Detail

constantsTable

private DynamicTable<za.ac.sun.cs.green.expr.Expression> constantsTable

exception

public java.lang.IllegalArgumentException exception

somethingChanged

public boolean somethingChanged

Constructor Detail

SimplifyRangerExprVisitor

SimplifyRangerExprVisitor(DynamicTable<za.ac.sun.cs.green.expr.Expression> constantsTable)

Method Detail

lookup

private za.ac.sun.cs.green.expr.Expression lookup(za.ac.sun.cs.green.expr.Expression expr)

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>

Overrides:

visit in class ExprMapVisitor

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>

Overrides:

visit in class ExprMapVisitor

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>

Overrides:

visit in class ExprMapVisitor

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>

Overrides:

visit in class ExprMapVisitor

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>

Overrides:

visit in class ExprMapVisitor

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>

Overrides:

visit in class ExprMapVisitor

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>

Overrides:

visit in class ExprMapVisitor

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>

Overrides:

visit in class ExprMapVisitor

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>

Overrides:

visit in class ExprMapVisitor