uk.ac.man.cs.rainbow.simulator
Class StateEnumerator.ChanWatch

java.lang.Object
  |
  +--uk.ac.man.cs.rainbow.simulator.Scheduler.LabellingAdapter
        |
        +--uk.ac.man.cs.rainbow.simulator.StateEnumerator.ChanWatch

All Implemented Interfaces:

Scheduler.LabellingListener

Enclosing class:

StateEnumerator

public static class StateEnumerator.ChanWatch

extends Scheduler.LabellingAdapter

For debugging channel activity.

Constructor Summary

StateEnumerator.ChanWatch()

Method Summary

void	channelLabelled(Channel c, String lab) Indicate that a channel has received a label.

Methods inherited from class uk.ac.man.cs.rainbow.simulator.Scheduler.LabellingAdapter

threadLabelled

Methods inherited from class java.lang.Object

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

Constructor Detail

StateEnumerator.ChanWatch

public StateEnumerator.ChanWatch()

Method Detail

channelLabelled

public void channelLabelled(Channel c,
                            String lab)

Description copied from interface: Scheduler.LabellingListener

Indicate that a channel has received a label.

Overrides:

channelLabelled in class Scheduler.LabellingAdapter

Following copied from interface: uk.ac.man.cs.rainbow.simulator.Scheduler.LabellingListener

Parameters:

chan - Which channel has been labelled?

label - What label was applied to the channel?