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

Packages that use ContractMatch

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

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

Methods in de.rwth.i2.attestor.phases.counterexamples.counterexampleGeneration that return ContractMatch

Modifier and Type	Method and Description
ContractMatch	CounterexampleContractCollection.matchContract(HeapConfiguration precondition)

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

Methods in de.rwth.i2.attestor.phases.symbolicExecution.procedureImpl that return ContractMatch

Modifier and Type	Method and Description
ContractMatch	InternalPreconditionMatchingStrategy.match(Contract contract, HeapConfiguration heapInScope)
ContractMatch	InternalContractCollection.matchContract(HeapConfiguration precondition)

Uses of ContractMatch in de.rwth.i2.attestor.phases.symbolicExecution.procedureImpl.scopes

Methods in de.rwth.i2.attestor.phases.symbolicExecution.procedureImpl.scopes with parameters of type ContractMatch

Modifier and Type	Method and Description
Collection<HeapConfiguration>	InternalScopedHeap.merge(ContractMatch contractMatch)

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

Classes in de.rwth.i2.attestor.procedures that implement ContractMatch

Modifier and Type	Class and Description
class	NoContractMatch

Fields in de.rwth.i2.attestor.procedures declared as ContractMatch

Modifier and Type	Field and Description
static ContractMatch	ContractMatch.NO_CONTRACT_MATCH

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

Modifier and Type	Method and Description
ContractMatch	PreconditionMatchingStrategy.match(Contract contract, HeapConfiguration heapInScope)
ContractMatch	ContractCollection.matchContract(HeapConfiguration precondition)

Methods in de.rwth.i2.attestor.procedures with parameters of type ContractMatch

Modifier and Type	Method and Description
Collection<HeapConfiguration>	ScopedHeap.merge(ContractMatch contractMatch)