Rainbow
Class DeadlockResult

java.lang.Object
  |
  +--Rainbow.DeadlockResult

All Implemented Interfaces:

Serializable

public class DeadlockResult

extends Object

implements Serializable

Used to report results of deadlock checking.

See Also:

Serialized Form

Field Summary

long	actionsPerformed How many transitions between states were performed.
boolean	deadlocked Was a deadlock found.
ChannelEvent[][]	deadlockTrace The path to a deadlock.
long	elapsedTime How long did the search take in milliseconds.
int	maximumPathLength How deep did the search venture.
long	minorActionsPerformed How many transitions from state to state (including self-loops) were performed.
int	statesFound How many unique states were found.

Methods inherited from class java.lang.Object

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

Field Detail

deadlocked

public boolean deadlocked

Was a deadlock found.

elapsedTime

public long elapsedTime

How long did the search take in milliseconds.

maximumPathLength

public int maximumPathLength

How deep did the search venture.

statesFound

public int statesFound

How many unique states were found.

actionsPerformed

public long actionsPerformed

How many transitions between states were performed.

minorActionsPerformed

public long minorActionsPerformed

How many transitions from state to state (including self-loops) were performed.

deadlockTrace

public ChannelEvent[][] deadlockTrace

The path to a deadlock. Each subarray describes the events that happened on a channel in a particular step of the execution. NB: is null if deadlocked is false.