Uses of Interface
de.rwth.i2.attestor.phases.symbolicExecution.recursive.interproceduralAnalysis.ProcedureRegistry

Packages that use ProcedureRegistry

Package	Description
de.rwth.i2.attestor.phases.symbolicExecution.recursive
de.rwth.i2.attestor.phases.symbolicExecution.recursive.interproceduralAnalysis

Uses of ProcedureRegistry in de.rwth.i2.attestor.phases.symbolicExecution.recursive

Classes in de.rwth.i2.attestor.phases.symbolicExecution.recursive that implement ProcedureRegistry

Modifier and Type	Class and Description
class	InternalProcedureRegistry

Constructors in de.rwth.i2.attestor.phases.symbolicExecution.recursive with parameters of type ProcedureRegistry

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

Uses of ProcedureRegistry in de.rwth.i2.attestor.phases.symbolicExecution.recursive.interproceduralAnalysis

Fields in de.rwth.i2.attestor.phases.symbolicExecution.recursive.interproceduralAnalysis declared as ProcedureRegistry

Modifier and Type	Field and Description
protected ProcedureRegistry	AbstractInterproceduralMethodExecutor.procedureRegistry

Constructors in de.rwth.i2.attestor.phases.symbolicExecution.recursive.interproceduralAnalysis with parameters of type ProcedureRegistry

Constructor and Description
AbstractInterproceduralMethodExecutor(Method method, ScopeExtractor scopeExtractor, ContractCollection contractCollection, ProcedureRegistry procedureRegistry)
NonRecursiveMethodExecutor(Method method, ScopeExtractor scopeExtractor, ContractCollection contractCollection, ProcedureRegistry procedureRegistry)
RecursiveMethodExecutor(Method method, ScopeExtractor scopeExtractor, ContractCollection contractCollection, ProcedureRegistry procedureRegistry)