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

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

Enclosing class:

StateEngine

public class StateEngine.Failing

extends Object

Encapsulate state info when falling back from a possible failure state. Needed to generate trace information for unsatisfied model checks correctly. INTERNAL USE ONLY

See Also:

StateEngine.EntryStack.advancePastEnd()

Field Summary

int	chanEventPtr Where in the channel event stack were we?
int	index Which transition caused the failure?
int	pointer Where in the state stack were we?
SavedState	state What state should we restart from to calculate the failed transition?

Methods inherited from class java.lang.Object

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

Field Detail

index

public int index

Which transition caused the failure?

pointer

public int pointer

Where in the state stack were we?

chanEventPtr

public int chanEventPtr

Where in the channel event stack were we?

state

public SavedState state

What state should we restart from to calculate the failed transition?