public interface ProcedureRegistry
| Modifier and Type | Method and Description |
|---|---|
ProcedureCall |
getProcedureCall(Method method,
HeapConfiguration initialHeap)
Wraps the method and initialHeap in a new procedureCall
|
void |
registerDependency(ProgramState callingState,
ProcedureCall call)
Stores a dependency between the given state and procedureCall.
|
void |
registerProcedure(ProcedureCall call)
Enqueues the procedureCall to be analyzed later on.
|
void |
registerStateSpace(ProcedureCall call,
StateSpace generatedStateSpace)
Stores the relation between a proceduceCall and the stateSpace generated
by this procedureCall.
|
ProcedureCall getProcedureCall(Method method, HeapConfiguration initialHeap)
method - the code of the procedureinitialHeap - the initialHeap from which the procedureCall should startvoid registerProcedure(ProcedureCall call)
call - the required procedureCallvoid registerDependency(ProgramState callingState, ProcedureCall call)
callingState - the state when the call is invokedcall - the corresponding procedureCallvoid registerStateSpace(ProcedureCall call, StateSpace generatedStateSpace)
call - the call corresponding to the stateSpacegeneratedStateSpace - the stateSpace corresponding to the callCopyright © 2019. All rights reserved.