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

Class SimplifyStmtVisitor

java.lang.Object

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

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

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

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

All Implemented Interfaces:

AstVisitor<Stmt>, ExprVisitor<za.ac.sun.cs.green.expr.Expression>

public class SimplifyStmtVisitor
extends FixedPointAstMapVisitor

Field Summary

Fields

Modifier and Type	Field and Description
DynamicTable<za.ac.sun.cs.green.expr.Expression>	constantsTable
private DynamicRegion	dynRegion
ExprVisitorAdapter<za.ac.sun.cs.green.expr.Expression>	eva

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

firstException, instantiatedRegion, somethingChanged

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

exprVisitor

Constructor Summary

Constructors

Constructor and Description
SimplifyStmtVisitor(DynamicRegion dynRegion, DynamicTable<za.ac.sun.cs.green.expr.Expression> constantsTable)

Method Summary

Modifier and Type	Method and Description
static SimplifyStmtVisitor	create(DynamicRegion dynRegion)
DynamicRegion	execute()
java.lang.IllegalArgumentException	getExprException()
boolean	getSomethingChanged()
static DynamicTable<za.ac.sun.cs.green.expr.Expression>	makeConstantsTableUnique(DynamicTable<za.ac.sun.cs.green.expr.Expression> constantsTable, int uniqueNum)
Stmt	visit(AssignmentStmt a)
Stmt	visit(CheckCastInstruction c)
Stmt	visit(IfThenElseStmt c)

Methods inherited from class gov.nasa.jpf.symbc.veritesting.ast.visitors.FixedPointAstMapVisitor

getChange, getFirstException

Methods inherited from class gov.nasa.jpf.symbc.veritesting.ast.visitors.AstMapVisitor

visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit

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

visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit

Methods inherited from class java.lang.Object

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

Field Detail

eva

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

constantsTable

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

dynRegion

private DynamicRegion dynRegion

Constructor Detail

SimplifyStmtVisitor

public SimplifyStmtVisitor(DynamicRegion dynRegion,
                           DynamicTable<za.ac.sun.cs.green.expr.Expression> constantsTable)

Method Detail

getSomethingChanged

public boolean getSomethingChanged()

getExprException

public java.lang.IllegalArgumentException getExprException()

visit

public Stmt visit(AssignmentStmt a)

Specified by:

visit in interface AstVisitor<Stmt>

Overrides:

visit in class AstMapVisitor

visit

public Stmt visit(IfThenElseStmt c)

Specified by:

visit in interface AstVisitor<Stmt>

Overrides:

visit in class AstMapVisitor

visit

public Stmt visit(CheckCastInstruction c)

Specified by:

visit in interface AstVisitor<Stmt>

Overrides:

visit in class AstMapVisitor

makeConstantsTableUnique

public static DynamicTable<za.ac.sun.cs.green.expr.Expression> makeConstantsTableUnique(DynamicTable<za.ac.sun.cs.green.expr.Expression> constantsTable,
                                                                                        int uniqueNum)
                                                                                 throws StaticRegionException

Throws:

StaticRegionException

create

public static SimplifyStmtVisitor create(DynamicRegion dynRegion)

execute

public DynamicRegion execute()

Specified by:

execute in class FixedPointAstMapVisitor