de.rwth.i2.attestor.procedures

Interface Contract

All Known Implementing Classes:

InternalContract

public interface Contract

Method Summary

Modifier and Type	Method and Description
void	addPostconditions(Collection<HeapConfiguration> postconditions)
Collection<HeapConfiguration>	getPostconditions()
HeapConfiguration	getPrecondition()

Method Detail

addPostconditions

void addPostconditions(Collection<HeapConfiguration> postconditions)

getPrecondition

HeapConfiguration getPrecondition()

getPostconditions

Collection<HeapConfiguration> getPostconditions()