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

Packages that use Contract

Package	Description
de.rwth.i2.attestor.io.jsonExport.cytoscapeFormat
de.rwth.i2.attestor.io.jsonExport.inputFormat
de.rwth.i2.attestor.main.scene
de.rwth.i2.attestor.phases.counterexamples.counterexampleGeneration
de.rwth.i2.attestor.phases.symbolicExecution.procedureImpl
de.rwth.i2.attestor.procedures

Uses of Contract in de.rwth.i2.attestor.io.jsonExport.cytoscapeFormat

Method parameters in de.rwth.i2.attestor.io.jsonExport.cytoscapeFormat with type arguments of type Contract

Modifier and Type	Method and Description
void	JsonContractExporter.export(String directory, Map<String,Collection<Contract>> contracts)

Uses of Contract in de.rwth.i2.attestor.io.jsonExport.inputFormat

Method parameters in de.rwth.i2.attestor.io.jsonExport.inputFormat with type arguments of type Contract

Modifier and Type	Method and Description
void	ContractToInputFormatExporter.export(String signature, Collection<Contract> contracts)

Uses of Contract in de.rwth.i2.attestor.main.scene

Methods in de.rwth.i2.attestor.main.scene that return Contract

Modifier and Type	Method and Description
Contract	DefaultScene.createContract(HeapConfiguration precondition, Collection<HeapConfiguration> postconditions)
Contract	Scene.createContract(HeapConfiguration precondition, Collection<HeapConfiguration> postconditions)

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

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

Modifier and Type	Method and Description
Contract	CounterexampleContractGenerator.generateContract(ProgramState initialState)

Methods in de.rwth.i2.attestor.phases.counterexamples.counterexampleGeneration that return types with arguments of type Contract

Modifier and Type	Method and Description
Collection<Contract>	CounterexampleContractCollection.getContractsForExport()

Methods in de.rwth.i2.attestor.phases.counterexamples.counterexampleGeneration with parameters of type Contract

Modifier and Type	Method and Description
void	CounterexampleContractCollection.addContract(Contract contract)

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

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

Modifier and Type	Class and Description
class	InternalContract

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

Modifier and Type	Method and Description
Contract	InternalContractGenerator.generateContract(ProgramState initialState)

Methods in de.rwth.i2.attestor.phases.symbolicExecution.procedureImpl that return types with arguments of type Contract

Modifier and Type	Method and Description
Collection<Contract>	InternalContractCollection.getContractsForExport()

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

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

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

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

Modifier and Type	Method and Description
Contract	ContractGenerator.generateContract(ProgramState initialState)

Methods in de.rwth.i2.attestor.procedures that return types with arguments of type Contract

Modifier and Type	Method and Description
Collection<Contract>	ContractCollection.getContractsForExport()
Collection<Contract>	MethodExecutor.getContractsForExport()
Collection<Contract>	AbstractMethodExecutor.getContractsForExport()
Collection<Contract>	Method.getContractsForExport()

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

Modifier and Type	Method and Description
void	ContractCollection.addContract(Contract contract)
void	MethodExecutor.addContract(Contract contract)
void	AbstractMethodExecutor.addContract(Contract contract)
void	Method.addContract(Contract contract)
ContractMatch	PreconditionMatchingStrategy.match(Contract contract, HeapConfiguration heapInScope)