de.rwth.i2.attestor.phases.counterexamples.counterexampleGeneration

Class CounterexampleContractGenerator

java.lang.Object

de.rwth.i2.attestor.phases.counterexamples.counterexampleGeneration.CounterexampleContractGenerator

All Implemented Interfaces:

ContractGenerator

public class CounterexampleContractGenerator
extends Object
implements ContractGenerator

Constructor Summary

Constructors

Constructor and Description
CounterexampleContractGenerator(de.rwth.i2.attestor.phases.counterexamples.counterexampleGeneration.FinalStatesComputer finalStatesComputer)

Method Summary

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

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

CounterexampleContractGenerator

public CounterexampleContractGenerator(de.rwth.i2.attestor.phases.counterexamples.counterexampleGeneration.FinalStatesComputer finalStatesComputer)

Method Detail

generateContract

public Contract generateContract(ProgramState initialState)

Specified by:

generateContract in interface ContractGenerator