public class SymbCondVisitor extends java.lang.Object implements ExprVisitor<za.ac.sun.cs.green.expr.Expression>
Modifier and Type | Field and Description |
---|---|
ExprVisitorAdapter<za.ac.sun.cs.green.expr.Expression> |
eva |
private boolean |
findStackSlotsOnly |
private boolean |
foundWalaVarExpr |
private boolean |
isSymCondition |
java.util.HashSet<WalaVarExpr> |
noStackSlotVars |
private gov.nasa.jpf.vm.StackFrame |
sf |
private SlotParamTable |
slotParamTable |
boolean |
stackSlotNotFound |
private com.ibm.wala.ssa.SymbolTable |
symbolTable |
Constructor and Description |
---|
SymbCondVisitor(gov.nasa.jpf.vm.StackFrame sf,
SlotParamTable slotParamTable,
boolean findStackSlotsOnly,
com.ibm.wala.ssa.SymbolTable symbolTable) |
Modifier and Type | Method and Description |
---|---|
static java.util.HashSet<WalaVarExpr> |
execute(com.ibm.wala.ssa.IR ir,
SlotParamTable slotParamTable,
Stmt staticStmt) |
boolean |
isFoundWalaVarExpr() |
boolean |
isSymCondition() |
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) |
private final boolean findStackSlotsOnly
private final com.ibm.wala.ssa.SymbolTable symbolTable
public boolean stackSlotNotFound
public java.util.HashSet<WalaVarExpr> noStackSlotVars
private boolean isSymCondition
private boolean foundWalaVarExpr
private SlotParamTable slotParamTable
private gov.nasa.jpf.vm.StackFrame sf
public final ExprVisitorAdapter<za.ac.sun.cs.green.expr.Expression> eva
public SymbCondVisitor(gov.nasa.jpf.vm.StackFrame sf, SlotParamTable slotParamTable, boolean findStackSlotsOnly, com.ibm.wala.ssa.SymbolTable symbolTable)
public za.ac.sun.cs.green.expr.Expression visit(WalaVarExpr expr)
visit
in interface ExprVisitor<za.ac.sun.cs.green.expr.Expression>
public za.ac.sun.cs.green.expr.Expression visit(FieldRefVarExpr expr)
visit
in interface ExprVisitor<za.ac.sun.cs.green.expr.Expression>
public za.ac.sun.cs.green.expr.Expression visit(ArrayRefVarExpr expr)
visit
in interface ExprVisitor<za.ac.sun.cs.green.expr.Expression>
public za.ac.sun.cs.green.expr.Expression visit(GammaVarExpr expr)
visit
in interface ExprVisitor<za.ac.sun.cs.green.expr.Expression>
public za.ac.sun.cs.green.expr.Expression visit(za.ac.sun.cs.green.expr.IntConstant expr)
visit
in interface ExprVisitor<za.ac.sun.cs.green.expr.Expression>
public za.ac.sun.cs.green.expr.Expression visit(za.ac.sun.cs.green.expr.IntVariable expr)
visit
in interface ExprVisitor<za.ac.sun.cs.green.expr.Expression>
public za.ac.sun.cs.green.expr.Expression visit(AstVarExpr expr)
visit
in interface ExprVisitor<za.ac.sun.cs.green.expr.Expression>
public za.ac.sun.cs.green.expr.Expression visit(za.ac.sun.cs.green.expr.Operation expr)
visit
in interface ExprVisitor<za.ac.sun.cs.green.expr.Expression>
public za.ac.sun.cs.green.expr.Expression visit(za.ac.sun.cs.green.expr.RealConstant expr)
visit
in interface ExprVisitor<za.ac.sun.cs.green.expr.Expression>
public za.ac.sun.cs.green.expr.Expression visit(za.ac.sun.cs.green.expr.RealVariable expr)
visit
in interface ExprVisitor<za.ac.sun.cs.green.expr.Expression>
public za.ac.sun.cs.green.expr.Expression visit(za.ac.sun.cs.green.expr.StringConstantGreen expr)
visit
in interface ExprVisitor<za.ac.sun.cs.green.expr.Expression>
public za.ac.sun.cs.green.expr.Expression visit(za.ac.sun.cs.green.expr.StringVariable expr)
visit
in interface ExprVisitor<za.ac.sun.cs.green.expr.Expression>
public za.ac.sun.cs.green.expr.Expression visit(IfThenElseExpr expr)
visit
in interface ExprVisitor<za.ac.sun.cs.green.expr.Expression>
public boolean isSymCondition()
public boolean isFoundWalaVarExpr()
public static java.util.HashSet<WalaVarExpr> execute(com.ibm.wala.ssa.IR ir, SlotParamTable slotParamTable, Stmt staticStmt)