de.rwth.i2.attestor.procedures

Interface ContractMatch

All Known Implementing Classes:

NoContractMatch

public interface ContractMatch

Field Summary

Fields

Modifier and Type	Field and Description
static ContractMatch	NO_CONTRACT_MATCH

Method Summary

Modifier and Type	Method and Description
int[]	getExternalReordering()
Collection<HeapConfiguration>	getPostconditions()
HeapConfiguration	getPrecondition()
boolean	hasMatch()

Field Detail

NO_CONTRACT_MATCH

static final ContractMatch NO_CONTRACT_MATCH

Method Detail

hasMatch

boolean hasMatch()

getExternalReordering

int[] getExternalReordering()

getPrecondition

HeapConfiguration getPrecondition()

getPostconditions

Collection<HeapConfiguration> getPostconditions()