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

Class ExprRegionInputVisitor

java.lang.Object

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

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

All Implemented Interfaces:

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

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

Conditional region input visitor that visits all use vars to collect a possible first use for every stack slot.

Field Summary

Fields

Modifier and Type	Field and Description
DefUseVisit	defUseVisit
java.util.HashSet<java.lang.Integer>	defWalaVars
private InputTable	inputTable
private java.util.HashMap<java.lang.Integer,java.lang.Integer>	seenSlots
private SlotParamTable	slotParamTable
java.util.HashSet<java.lang.Integer>	usedWalaVars

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

eva

Constructor Summary

Constructors

Constructor and Description
ExprRegionInputVisitor(InputTable inputTable, SlotParamTable slotParamTable)

Method Summary

Modifier and Type	Method and Description
private boolean	seenBiggerWalaNum(int varSlot, int expNum)
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

seenSlots

private java.util.HashMap<java.lang.Integer,java.lang.Integer> seenSlots

defWalaVars

public java.util.HashSet<java.lang.Integer> defWalaVars

usedWalaVars

public java.util.HashSet<java.lang.Integer> usedWalaVars

inputTable

private InputTable inputTable

slotParamTable

private SlotParamTable slotParamTable

defUseVisit

public DefUseVisit defUseVisit

Constructor Detail

ExprRegionInputVisitor

public ExprRegionInputVisitor(InputTable inputTable,
                              SlotParamTable slotParamTable)

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

seenBiggerWalaNum

private boolean seenBiggerWalaNum(int varSlot,
                                  int expNum)