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

Class InternalScopedHeap

java.lang.Object

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

All Implemented Interfaces:

ScopedHeap

public class InternalScopedHeap
extends Object
implements ScopedHeap

Constructor Summary

Constructors

Constructor and Description
InternalScopedHeap(HeapConfiguration heapInScope, HeapConfiguration heapOutsideScope, int edgeToMergeScopes)

Method Summary

Modifier and Type	Method and Description
HeapConfiguration	getHeapInScope()
HeapConfiguration	getHeapOutsideScope()
Collection<HeapConfiguration>	merge(ContractMatch contractMatch)
HeapConfiguration	reorder(int[] externalReordering)

Methods inherited from class java.lang.Object

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

Constructor Detail

InternalScopedHeap

public InternalScopedHeap(HeapConfiguration heapInScope,
                          HeapConfiguration heapOutsideScope,
                          int edgeToMergeScopes)

Method Detail

getHeapInScope

public HeapConfiguration getHeapInScope()

Specified by:

getHeapInScope in interface ScopedHeap

getHeapOutsideScope

public HeapConfiguration getHeapOutsideScope()

Specified by:

getHeapOutsideScope in interface ScopedHeap

merge

public Collection<HeapConfiguration> merge(ContractMatch contractMatch)

Specified by:

merge in interface ScopedHeap

reorder

public HeapConfiguration reorder(int[] externalReordering)