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

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

All Implemented Interfaces:

Channel.Listener

Enclosing class:

StateEngine

public class StateEngine.Listener

extends Object

implements Channel.Listener

Channel event recording mechanism. For the replay of events that lead to a failed state exploration. INTERNAL USE ONLY

See Also:

DeadlockChecker, StateEngine.EventStack

Method Summary

void	acknowledge() Record a new acknowledgement event on the channel event stack.
void	request() Record a new request event on the channel event stack.

Methods inherited from class java.lang.Object

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

Method Detail

request

public void request()

Record a new request event on the channel event stack.

Specified by:

request in interface Channel.Listener

acknowledge

public void acknowledge()

Record a new acknowledgement event on the channel event stack.

Specified by:

acknowledge in interface Channel.Listener