uk.ac.man.cs.rainbow.deadlock
Class StateEngine.StackEntry

java.lang.Object
  |
  +--uk.ac.man.cs.rainbow.deadlock.StateEngine.StackEntry

Enclosing class:

StateEngine

public static final class StateEngine.StackEntry

extends Object

An entry on the stack. Includes the major state of the system, the full, reloadable state of the state generator, and much more besides. INTERNAL USE ONLY

See Also:

StateEngine.EntryStack

Method Summary

boolean	equals(Object o)
protected void	finalize()
int	hashCode()
void	weaken()

Methods inherited from class java.lang.Object

clone, getClass, notify, notifyAll, toString, wait, wait, wait

Method Detail

equals

public boolean equals(Object o)

Overrides:

equals in class Object

hashCode

public int hashCode()

Overrides:

hashCode in class Object

finalize

protected void finalize()
                 throws Throwable

Overrides:

finalize in class Object

weaken

public void weaken()
            throws IOException

See Also:

ReclaimableSavedState.weaken()