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

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

All Implemented Interfaces:

Serializable

Enclosing class:

StateEngine

public static class StateEngine.ChannelEvent

extends Object

implements Serializable

Events that happen on channels during state enumeration.

See Also:

Channel, StateEngine.execute(), StateEngine.getChannelEvents(), Serialized Form

Method Summary

String	getLabel() What was the label on the channel.
long	getTimestamp() When did this event happen?
Data	getValue() What value was present on the channel?
boolean	isRequest() Is this a request event? If not, it is an acknowledgement.
String	toString() Describe event for debugging purposes.

Methods inherited from class java.lang.Object

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

Method Detail

isRequest

public boolean isRequest()

Is this a request event? If not, it is an acknowledgement.

getTimestamp

public long getTimestamp()

When did this event happen?

getValue

public Data getValue()

What value was present on the channel?

See Also:

Data

getLabel

public String getLabel()

What was the label on the channel. This is the only way that the channel can actually be identified.

toString

public String toString()

Describe event for debugging purposes.

Overrides:

toString in class Object