de.rwth.i2.attestor.semantics.jimpleSemantics.jimple.statements

Class IfStmt

java.lang.Object

de.rwth.i2.attestor.main.scene.SceneObject

de.rwth.i2.attestor.semantics.jimpleSemantics.jimple.statements.Statement

de.rwth.i2.attestor.semantics.jimpleSemantics.jimple.statements.IfStmt

All Implemented Interfaces:

SemanticsCommand

public class IfStmt
extends Statement

IfStmt models statements like if condition goto pc

Author:

Hannah Arndt

Constructor Summary

Constructors

Constructor and Description
IfStmt(SceneObject sceneObject, Value condition, int truePC, int falsePC, Set<String> liveVariableNames)

Method Summary

Modifier and Type	Method and Description
Set<ProgramState>	computeSuccessors(ProgramState programState) evaluates the condition on the input heap.
ViolationPoints	getPotentialViolationPoints()
Set<Integer>	getSuccessorPCs()
boolean	needsCanonicalization()
String	toString()

Methods inherited from class de.rwth.i2.attestor.main.scene.SceneObject

scene

Methods inherited from class java.lang.Object

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

Constructor Detail

IfStmt

public IfStmt(SceneObject sceneObject,
              Value condition,
              int truePC,
              int falsePC,
              Set<String> liveVariableNames)

Method Detail

computeSuccessors

public Set<ProgramState> computeSuccessors(ProgramState programState)

evaluates the condition on the input heap. Returns the resulting heap (side effects of the condition will last) together with the appropriate program counter.
In case the condition evaluates to undefined, the result will contain both program counters.

If any of the variables in the condition are not live after this statement, it will be removed from the heap to enable abstraction.

Parameters:

programState - The state on which the abstract program semantics shall be executed.

Returns:

All states resulting from executing the program semantics on programState.

toString

public String toString()

Overrides:

toString in class Object

getPotentialViolationPoints

public ViolationPoints getPotentialViolationPoints()

Returns:

All potential violation points that may prevent execution of this statement.

getSuccessorPCs

public Set<Integer> getSuccessorPCs()

Returns:

The set of all program locations that are direct successors of this program statement in the underlying control flow graph.

needsCanonicalization

public boolean needsCanonicalization()

Returns:

true, if the statement always requires canonicalization