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

Class DefaultScopeExtractor

java.lang.Object

de.rwth.i2.attestor.main.scene.SceneObject

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

All Implemented Interfaces:

ScopeExtractor

public class DefaultScopeExtractor
extends SceneObject
implements ScopeExtractor

Constructor Summary

Constructors

Constructor and Description
DefaultScopeExtractor(SceneObject sceneObject, String scopeName)

Method Summary

Modifier and Type	Method and Description
ScopedHeap	extractScope(HeapConfiguration heapConfiguration)

Methods inherited from class de.rwth.i2.attestor.main.scene.SceneObject

scene

Methods inherited from class java.lang.Object

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

Constructor Detail

DefaultScopeExtractor

public DefaultScopeExtractor(SceneObject sceneObject,
                             String scopeName)

Method Detail

extractScope

public ScopedHeap extractScope(HeapConfiguration heapConfiguration)

Specified by:

extractScope in interface ScopeExtractor