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

Class FirstITEStmtVisitor

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.transformations.Environment.FirstITEStmtVisitor

All Implemented Interfaces:

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

public class FirstITEStmtVisitor
extends AstMapVisitor

Field Summary

Fields

Modifier and Type	Field and Description
java.util.ArrayList<ArrayLoadInstruction>	arrayLoadInsns
za.ac.sun.cs.green.expr.Expression	condition
java.util.ArrayList<GetInstruction>	getInsns

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

eva, exprVisitor

Constructor Summary

Constructors

Constructor and Description
FirstITEStmtVisitor()

Method Summary

Modifier and Type	Method and Description
static Triple<za.ac.sun.cs.green.expr.Expression,java.util.ArrayList<GetInstruction>,java.util.ArrayList<ArrayLoadInstruction>>	execute(Stmt staticStmt)
Stmt	visit(ArrayLoadInstruction c)
Stmt	visit(GetInstruction c)
Stmt	visit(IfThenElseStmt a)

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

condition

public za.ac.sun.cs.green.expr.Expression condition

getInsns

public java.util.ArrayList<GetInstruction> getInsns

arrayLoadInsns

public java.util.ArrayList<ArrayLoadInstruction> arrayLoadInsns

Constructor Detail

FirstITEStmtVisitor

public FirstITEStmtVisitor()

Method Detail

visit

public Stmt visit(IfThenElseStmt a)

Specified by:

visit in interface AstVisitor<Stmt>

Overrides:

visit in class AstMapVisitor

visit

public Stmt visit(GetInstruction c)

Specified by:

visit in interface AstVisitor<Stmt>

Overrides:

visit in class AstMapVisitor

visit

public Stmt visit(ArrayLoadInstruction c)

Specified by:

visit in interface AstVisitor<Stmt>

Overrides:

visit in class AstMapVisitor

execute

public static Triple<za.ac.sun.cs.green.expr.Expression,java.util.ArrayList<GetInstruction>,java.util.ArrayList<ArrayLoadInstruction>> execute(Stmt staticStmt)