de.rwth.i2.attestor.procedures

Interfaces

• Contract
• ContractCollection
• ContractGenerator
• ContractMatch
• Method
• MethodExecutor
• PreconditionMatchingStrategy
• ScopedHeap
• ScopeExtractor

Classes

• AbstractMethodExecutor
• NoContractMatch