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

Class IdentityStmt

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

All Implemented Interfaces:

SemanticsCommand

public class IdentityStmt
extends Statement

IdentityStmt models statements like x = @this or x = @param_1

Author:

Hannah Arndt

Constructor Summary

Constructors

Constructor and Description
IdentityStmt(SceneObject sceneObject, int nextPC, SettableValue lhs, String rhs)

Method Summary

Modifier and Type	Method and Description
Set<ProgramState>	computeSuccessors(ProgramState programState) gets the value for the intermediate specified in rhs from the heap and assigns lhs to it.
ViolationPoints	getPotentialViolationPoints()
Set<Integer>	getSuccessorPCs()
boolean	needsCanonicalization()
boolean	needsMaterialization(ProgramState programState)
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

IdentityStmt

public IdentityStmt(SceneObject sceneObject,
                    int nextPC,
                    SettableValue lhs,
                    String rhs)

Method Detail

computeSuccessors

public Set<ProgramState> computeSuccessors(ProgramState programState)

gets the value for the intermediate specified in rhs from the heap and assigns lhs to it. Upon this the intermediate is deleted from the heap (i.e. this statement can only be called once per intermediate)

Parameters:

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

Returns:

All states resulting from executing the program semantics on programState.

needsMaterialization

public boolean needsMaterialization(ProgramState 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