de.rwth.i2.attestor.refinement.pointsTo

Class PointsToHeapAutomaton

java.lang.Object

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

de.rwth.i2.attestor.refinement.pointsTo.PointsToHeapAutomaton

All Implemented Interfaces:

HeapAutomaton

public class PointsToHeapAutomaton
extends SceneObject
implements HeapAutomaton

Constructor Summary

Constructors

Constructor and Description
PointsToHeapAutomaton(SceneObject otherObject)

Method Summary

Modifier and Type	Method and Description
List<HeapConfiguration>	getPossibleHeapRewritings(HeapConfiguration heapConfiguration)
boolean	isInitialState(HeapAutomatonState heapAutomatonState)
HeapAutomatonState	transition(HeapConfiguration heapConfiguration, List<HeapAutomatonState> statesOfNonterminals)

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

PointsToHeapAutomaton

public PointsToHeapAutomaton(SceneObject otherObject)

Method Detail

transition

public HeapAutomatonState transition(HeapConfiguration heapConfiguration,
                                     List<HeapAutomatonState> statesOfNonterminals)

Specified by:

transition in interface HeapAutomaton

isInitialState

public boolean isInitialState(HeapAutomatonState heapAutomatonState)

Specified by:

isInitialState in interface HeapAutomaton

getPossibleHeapRewritings

public List<HeapConfiguration> getPossibleHeapRewritings(HeapConfiguration heapConfiguration)

Specified by:

getPossibleHeapRewritings in interface HeapAutomaton