Uses of Interface
de.rwth.i2.attestor.procedures.ContractCollection

Packages that use ContractCollection

Package	Description
de.rwth.i2.attestor.phases.counterexamples.counterexampleGeneration
de.rwth.i2.attestor.phases.symbolicExecution.procedureImpl
de.rwth.i2.attestor.phases.symbolicExecution.recursive.interproceduralAnalysis
de.rwth.i2.attestor.procedures

Uses of ContractCollection in de.rwth.i2.attestor.phases.counterexamples.counterexampleGeneration

Classes in de.rwth.i2.attestor.phases.counterexamples.counterexampleGeneration that implement ContractCollection

Modifier and Type	Class and Description
class	CounterexampleContractCollection

Constructors in de.rwth.i2.attestor.phases.counterexamples.counterexampleGeneration with parameters of type ContractCollection

Constructor and Description
CounterexampleContractCollection(ContractCollection delegate)

Uses of ContractCollection in de.rwth.i2.attestor.phases.symbolicExecution.procedureImpl

Classes in de.rwth.i2.attestor.phases.symbolicExecution.procedureImpl that implement ContractCollection

Modifier and Type	Class and Description
class	InternalContractCollection

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

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

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)

Uses of ContractCollection in de.rwth.i2.attestor.procedures

Methods in de.rwth.i2.attestor.procedures that return ContractCollection

Modifier and Type	Method and Description
ContractCollection	AbstractMethodExecutor.getContractCollection()

Constructors in de.rwth.i2.attestor.procedures with parameters of type ContractCollection

Constructor and Description
AbstractMethodExecutor(ScopeExtractor scopeExtractor, ContractCollection contractCollection)