de.rwth.i2.attestor.procedures

Interface MethodExecutor

All Known Implementing Classes:

AbstractInterproceduralMethodExecutor, AbstractMethodExecutor, CounterexampleMethodExecutor, NonRecursiveMethodExecutor, RecursiveMethodExecutor

public interface MethodExecutor

Method Summary

Modifier and Type	Method and Description
void	addContract(Contract contract)
Collection<Contract>	getContractsForExport()
Collection<ProgramState>	getResultStates(ProgramState callingState, ProgramState input)

Method Detail

addContract

void addContract(Contract contract)

getResultStates

Collection<ProgramState> getResultStates(ProgramState callingState,
                                         ProgramState input)

getContractsForExport

Collection<Contract> getContractsForExport()