de.rwth.i2.attestor.procedures

Interface ScopedHeap

All Known Implementing Classes:

InternalScopedHeap

public interface ScopedHeap

Method Summary

Modifier and Type	Method and Description
HeapConfiguration	getHeapInScope()
HeapConfiguration	getHeapOutsideScope()
Collection<HeapConfiguration>	merge(ContractMatch contractMatch)

Method Detail

getHeapInScope

HeapConfiguration getHeapInScope()

getHeapOutsideScope

HeapConfiguration getHeapOutsideScope()

merge

Collection<HeapConfiguration> merge(ContractMatch contractMatch)