de.rwth.i2.attestor.phases.symbolicExecution.procedureImpl

Class InternalContractGenerator

java.lang.Object

de.rwth.i2.attestor.phases.symbolicExecution.procedureImpl.InternalContractGenerator

All Implemented Interfaces:

ContractGenerator

public class InternalContractGenerator
extends Object
implements ContractGenerator

Constructor Summary

Constructors

Constructor and Description
InternalContractGenerator(StateSpaceGeneratorFactory factory, Program program)

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

InternalContractGenerator

public InternalContractGenerator(StateSpaceGeneratorFactory factory,
                                 Program program)

Method Detail

generateContract

public Contract generateContract(ProgramState initialState)

Specified by:

generateContract in interface ContractGenerator