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

Class InternalContract

java.lang.Object

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

All Implemented Interfaces:

Contract

public class InternalContract
extends Object
implements Contract

Constructor Summary

Constructors

Constructor and Description
InternalContract(HeapConfiguration precondition)
InternalContract(HeapConfiguration precondition, Collection<HeapConfiguration> postconditions)

Method Summary

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

Methods inherited from class java.lang.Object

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

Constructor Detail

InternalContract

public InternalContract(HeapConfiguration precondition,
                        Collection<HeapConfiguration> postconditions)

InternalContract

public InternalContract(HeapConfiguration precondition)

Method Detail

addPostconditions

public void addPostconditions(Collection<HeapConfiguration> postconditions)

Specified by:

addPostconditions in interface Contract

getPrecondition

public HeapConfiguration getPrecondition()

Specified by:

getPrecondition in interface Contract

getPostconditions

public Collection<HeapConfiguration> getPostconditions()

Specified by:

getPostconditions in interface Contract