gov.nasa.jpf.symbc.veritesting.ast.def

Class IfThenElseStmt

java.lang.Object

gov.nasa.jpf.symbc.veritesting.ast.def.IfThenElseStmt

All Implemented Interfaces:

Ast, Stmt

public class IfThenElseStmt
extends java.lang.Object
implements Stmt

This is the IfThenElseStmt in RangerIR that carries a condition instruction and on the "then" and the "else" side the statements extracted from the cfg that represents the two sides of the branch.

Field Summary

Fields

Modifier and Type	Field and Description
za.ac.sun.cs.green.expr.Expression	condition
Stmt	elseStmt
com.ibm.wala.ssa.SSAConditionalBranchInstruction	original
Stmt	thenStmt

Constructor Summary

Constructors

Constructor and Description
IfThenElseStmt(com.ibm.wala.ssa.SSAConditionalBranchInstruction original, za.ac.sun.cs.green.expr.Expression condition, Stmt thenStmt, Stmt elseStmt)

Method Summary

Modifier and Type	Method and Description
<T> T	accept(AstVisitor<T> visitor)
boolean	equals(Stmt stmt2)
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Field Detail

condition

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

thenStmt

public final Stmt thenStmt

elseStmt

public final Stmt elseStmt

original

public final com.ibm.wala.ssa.SSAConditionalBranchInstruction original

Constructor Detail

IfThenElseStmt

public IfThenElseStmt(com.ibm.wala.ssa.SSAConditionalBranchInstruction original,
                      za.ac.sun.cs.green.expr.Expression condition,
                      Stmt thenStmt,
                      Stmt elseStmt)

Method Detail

accept

public <T> T accept(AstVisitor<T> visitor)

Specified by:

accept in interface Ast

Specified by:

accept in interface Stmt

toString

public java.lang.String toString()

Specified by:

toString in interface Stmt

Overrides:

toString in class java.lang.Object

equals

public boolean equals(Stmt stmt2)

Specified by:

equals in interface Stmt