jgroup.groovy.experiment.util
Class PMStateMachine.State

java.lang.Object
  jgroup.groovy.experiment.util.PMStateMachine.State

All Implemented Interfaces:

java.lang.Comparable<PMStateMachine.State>

Enclosing class:

PMStateMachine

public class PMStateMachine.State
extends java.lang.Object
implements java.lang.Comparable<PMStateMachine.State>

The State class is a representation of the system global state at some given point in time.

Author:

Hein Meling

Constructor Summary

PMStateMachine.State(java.util.Set<jgroup.relacs.config.DomainSet> parts)
Constructor for the state variables.

Method Summary

void	addTransition(jgroup.util.log.Event event, PMStateMachine.State destState)
int	compareTo(PMStateMachine.State o)
boolean	equals(java.lang.Object obj)
java.lang.String	getName()
PMStateMachine.State	getNextState(jgroup.util.log.Event event)
int	hashCode()
boolean	isStable()
int	numPartitions()
java.lang.String	toString()

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

PMStateMachine.State

public PMStateMachine.State(java.util.Set<jgroup.relacs.config.DomainSet> parts)

Constructor for the state variables.

Parameters:

parts -

Method Detail

addTransition

public void addTransition(jgroup.util.log.Event event,
                          PMStateMachine.State destState)

getNextState

public PMStateMachine.State getNextState(jgroup.util.log.Event event)

numPartitions

public int numPartitions()

isStable

public boolean isStable()

getName

public java.lang.String getName()

equals

public boolean equals(java.lang.Object obj)

Overrides:

equals in class java.lang.Object

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

compareTo

public int compareTo(PMStateMachine.State o)

Specified by:

compareTo in interface java.lang.Comparable<PMStateMachine.State>

Parameters:

o -

Returns: