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

Class ExprBoundaryVisitor

java.lang.Object

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

gov.nasa.jpf.symbc.veritesting.ast.transformations.ssaToAst.ExprBoundaryVisitor

All Implemented Interfaces:

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

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

An Expression Boundary Visitor that attempts to discover first "use" var inside a region.

Field Summary

Fields

Modifier and Type	Field and Description
private java.util.HashSet<java.lang.Integer>	allUses
private java.lang.Integer	firstUse
private java.lang.Integer	lastUse
private boolean	seenFirstUse

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

eva

Constructor Summary

Constructors

Constructor and Description
ExprBoundaryVisitor()

Method Summary

Modifier and Type	Method and Description
java.util.HashSet<java.lang.Integer>	getAllUses()
java.lang.Integer	getFirstUse()
java.lang.Integer	getLastUse()
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, 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

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

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

Field Detail

seenFirstUse

private boolean seenFirstUse

firstUse

private java.lang.Integer firstUse

lastUse

private java.lang.Integer lastUse

allUses

private java.util.HashSet<java.lang.Integer> allUses

Constructor Detail

ExprBoundaryVisitor

public ExprBoundaryVisitor()

Method Detail

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

getFirstUse

public java.lang.Integer getFirstUse()

getLastUse

public java.lang.Integer getLastUse()

getAllUses

public java.util.HashSet<java.lang.Integer> getAllUses()