jgroup.groovy.experiment.util
Class PMStateMachine

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

public class PMStateMachine
extends java.lang.Object

PMStateMachine

Author:

Hein Meling

Nested Class Summary

class

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

Constructor Summary

PMStateMachine(int gid, jgroup.relacs.config.DomainSet domainSet)

Method Summary

PMStateMachine.State	getCurrentState()
int	getInjections() Returns the number of injections seen thus far.
PMStateMachine.State	getNextState(jgroup.util.log.Event transition)
jgroup.relacs.config.DomainSet	getPartition(java.net.InetAddress inetAdr)
static java.lang.String	getPartitionString(jgroup.relacs.config.DomainSet domains)
PMStateMachine.State	getPreviousState()
boolean	isStable()
boolean	isSteadyState()
void	printStateMachine()
void	reset()
void	saveState(jgroup.util.log.Event transition) Save the state computed from the current state and the given transition event.

Methods inherited from class java.lang.Object

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

Constructor Detail

PMStateMachine

public PMStateMachine(int gid,
                      jgroup.relacs.config.DomainSet domainSet)

Method Detail

reset

public void reset()

getInjections

public int getInjections()

Returns the number of injections seen thus far.

saveState

public void saveState(jgroup.util.log.Event transition)

Save the state computed from the current state and the given transition event.

Parameters:

transition -

getPartitionString

public static java.lang.String getPartitionString(jgroup.relacs.config.DomainSet domains)

getPartition

public jgroup.relacs.config.DomainSet getPartition(java.net.InetAddress inetAdr)

getCurrentState

public PMStateMachine.State getCurrentState()

getPreviousState

public PMStateMachine.State getPreviousState()

getNextState

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

isStable

public boolean isStable()

isSteadyState

public boolean isSteadyState()

printStateMachine

public void printStateMachine()