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

Class Statement

java.lang.Object

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

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

All Implemented Interfaces:

SemanticsCommand

Direct Known Subclasses:

AssignInvoke, AssignStmt, BranchingSkip, GotoStmt, IdentityStmt, IfStmt, InvokeStmt, ReturnValueStmt, ReturnVoidStmt, Skip

public abstract class Statement
extends SceneObject
implements SemanticsCommand

Statements are Sementics with ProgramState as heaps.

Author:

Hannah Arndt

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	Statement(SceneObject otherObject)

Method Summary

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, toString, wait, wait, wait

Methods inherited from interface de.rwth.i2.attestor.stateSpaceGeneration.SemanticsCommand

computeSuccessors, getPotentialViolationPoints, getSuccessorPCs, needsCanonicalization

Constructor Detail

Statement

protected Statement(SceneObject otherObject)