de.rwth.i2.attestor.phases.symbolicExecution.recursive

Class InternalProcedureCall

java.lang.Object

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

de.rwth.i2.attestor.phases.symbolicExecution.recursive.InternalProcedureCall

All Implemented Interfaces:

ProcedureCall

public class InternalProcedureCall
extends SceneObject
implements ProcedureCall

Constructor Summary

Constructors

Constructor and Description
InternalProcedureCall(Method method, HeapConfiguration precondition, StateSpaceGeneratorFactory factory, ProcedureRegistry registry)

Method Summary

Modifier and Type	Method and Description
boolean	equals(Object otherOject)
StateSpace	execute() generates the stateSpace, registers it in the InterprocedureAnalysis as result of this call and adds the generated contracts to the method.
ProgramState	getInput()
Method	getMethod()
int	hashCode()
String	toString()

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

scene

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

InternalProcedureCall

public InternalProcedureCall(Method method,
                             HeapConfiguration precondition,
                             StateSpaceGeneratorFactory factory,
                             ProcedureRegistry registry)

Method Detail

execute

public StateSpace execute()

Description copied from interface: ProcedureCall

generates the stateSpace, registers it in the InterprocedureAnalysis as result of this call and adds the generated contracts to the method. Note that this stateSpace is not necessarily complete. The overall stateSpace for this call can change during the fixpoint iteration.

Specified by:

execute in interface ProcedureCall

Returns:

the generated stateSpace

getMethod

public Method getMethod()

Specified by:

getMethod in interface ProcedureCall

getInput

public ProgramState getInput()

Specified by:

getInput in interface ProcedureCall

hashCode

public int hashCode()

Overrides:

hashCode in class Object

equals

public boolean equals(Object otherOject)

Overrides:

equals in class Object

toString

public String toString()

Overrides:

toString in class Object