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

Class BranchingSkip

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.BranchingSkip

All Implemented Interfaces:

SemanticsCommand

public class BranchingSkip
extends Statement

Branching Skip has no effect on the heap and two successors. It models statements with two successors which we do not actually translate

Author:

Hannah Arndt

Constructor Summary

Constructors

Constructor and Description
BranchingSkip(SceneObject sceneObject, int leftSuccessor, int rightSuccessor)

Method Summary

Modifier and Type	Method and Description
Set<ProgramState>	computeSuccessors(ProgramState programState) copies the input heap to both successor states
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

BranchingSkip

public BranchingSkip(SceneObject sceneObject,
                     int leftSuccessor,
                     int rightSuccessor)

Method Detail

toString

public String toString()

Overrides:

toString in class Object

computeSuccessors

public Set<ProgramState> computeSuccessors(ProgramState programState)

copies the input heap to both successor states

Parameters:

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

Returns:

All states resulting from executing the program semantics on programState.

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