|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object | +--uk.ac.man.cs.rainbow.deadlock.StateEngine.EntryStackEager
Path storage mechanism. Disposes of popped states as rapidly as possible, so suitable for deadlock checkers. INTERNAL USE ONLY
StateEngine.EAGER_POP
Method Summary | |
void |
advancePastEnd()
Restore the trace to the failure point. |
int |
getMark()
Get the current mark. |
StateEngine.StackEntry |
index(int index)
Peek at the state at the given depth. |
int |
maxdepth()
What is the maximum size of the stack? |
StateEngine.StackEntry |
pop()
Pop a state off the stack. |
Integer |
present(StateEngine.MajorState major)
Test for the presence of a state. |
void |
push(StateEngine.StackEntry se)
Push a state onto the stack. |
void |
setRetainLevel(int level)
Set the state serialization point. |
int |
size()
How big is the stack? |
StateEngine.StackEntry |
top()
Peek at the top-most state. |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Method Detail |
public void push(StateEngine.StackEntry se)
StateEngine.EntryStack
push
in interface StateEngine.EntryStack
public StateEngine.StackEntry pop()
StateEngine.EntryStack
pop
in interface StateEngine.EntryStack
public Integer present(StateEngine.MajorState major)
StateEngine.EntryStack
present
in interface StateEngine.EntryStack
uk.ac.man.cs.rainbow.deadlock.StateEngine.EntryStack
public StateEngine.StackEntry top()
StateEngine.EntryStack
top
in interface StateEngine.EntryStack
public StateEngine.StackEntry index(int index)
StateEngine.EntryStack
index
in interface StateEngine.EntryStack
public int size()
StateEngine.EntryStack
size
in interface StateEngine.EntryStack
public int maxdepth()
StateEngine.EntryStack
maxdepth
in interface StateEngine.EntryStack
public int getMark()
StateEngine.EntryStack
getMark
in interface StateEngine.EntryStack
uk.ac.man.cs.rainbow.deadlock.StateEngine.EntryStack
StateEngine.LAZY_POP
public void advancePastEnd() throws RainbowException
StateEngine.EntryStack
advancePastEnd
in interface StateEngine.EntryStack
uk.ac.man.cs.rainbow.deadlock.StateEngine.EntryStack
StateEngine.LAZY_POP
public void setRetainLevel(int level)
StateEngine.EntryStack
setRetainLevel
in interface StateEngine.EntryStack
uk.ac.man.cs.rainbow.deadlock.StateEngine.EntryStack
level
- The maximum number of values on the stack to keep hard
references to. All the rest are written out to disk
to decrease peak memory consumption.ReclaimableSavedState
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |