|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object avrora.stack.StateCache
The StateSpace
class represents the reachable state space as it is explored by the
Analyzer
class. It stores reachable states and the outgoing edges that connect them.
Nested Class Summary | |
class |
StateCache.Set
|
class |
StateCache.State
The State class represents an immutable state within the state space of the program. |
Constructor Summary | |
StateCache(Program p)
The constructor for the StateSpace accepts a program as a parameter. |
Method Summary | |
StateCache.State |
getEdenState()
The getEdenState() method gets the starting state of the abstract interpretation. |
StateCache.State |
getStateFor(MutableState s)
The getCachedState() method searches the state cache for an immutable state that
corresponds to the given mutable state. |
java.util.Iterator |
getStateIterator()
|
long |
getTotalStateCount()
The getTotalStateCount() method returns the internally recorded number of states created
in this state space. |
StateCache.Set |
newSet()
|
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
public StateCache(Program p)
StateSpace
accepts a program as a parameter. This is currently
unused, but is reserved for use later.
p
- the program to create the state space forMethod Detail |
public StateCache.State getEdenState()
getEdenState()
method gets the starting state of the abstract interpretation.
public StateCache.State getStateFor(MutableState s)
getCachedState()
method searches the state cache for an immutable state that
corresponds to the given mutable state. If no immutable state exists in the cache, one will be created
and inserted.
s
- the state to search for
StateSpace.State
immutable state that corresponds to the given
mutable statepublic long getTotalStateCount()
getTotalStateCount()
method returns the internally recorded number of states created
in this state space. This is mainly used for reporting purposes.
public java.util.Iterator getStateIterator()
public StateCache.Set newSet()
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |