de.rwth.i2.attestor.procedures

Class NoContractMatch

java.lang.Object

de.rwth.i2.attestor.procedures.NoContractMatch

All Implemented Interfaces:

ContractMatch

public final class NoContractMatch
extends Object
implements ContractMatch

Field Summary

Fields

Modifier and Type	Field and Description
static NoContractMatch	NO_CONTRACT_MATCH

Method Summary

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

Methods inherited from class java.lang.Object

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

Field Detail

NO_CONTRACT_MATCH

public static final NoContractMatch NO_CONTRACT_MATCH

Method Detail

hasMatch

public boolean hasMatch()

Specified by:

hasMatch in interface ContractMatch

getExternalReordering

public int[] getExternalReordering()

Specified by:

getExternalReordering in interface ContractMatch

getPostconditions

public Collection<HeapConfiguration> getPostconditions()

Specified by:

getPostconditions in interface ContractMatch

getPrecondition

public HeapConfiguration getPrecondition()

Specified by:

getPrecondition in interface ContractMatch