net.eduvax.util

Class StateMachine<ST,ET>

java.lang.Object

net.eduvax.util.StateMachine<ST,ET>

All Implemented Interfaces:

Observable<StateMachine<ST,ET>>

public class StateMachine<ST,ET>
extends java.lang.Object
implements Observable<StateMachine<ST,ET>>

Automate à état fini

Automate générique. Le comportement de l'automate et la maintenance de son état interne sont défini par des transitions. Chaque transition est une règle qui précise depuis un état origine donnée, l'état cible à atteindre. Pour autoriser la bascule d'un état à un autre il est donc nécessaire que l'automate possède la transition qui le décrit. Dans le cas contraire la transition est refusée.

ST désigne le type qui modélise un état (en général un enum ou un int).

ET désigne le type qui modélise un événement, c'est à dire le phénomène qui induit un changement d'état (par exemple pour un interpréteur de texte, il pourra s'agir de classes de caractères).

Field Summary

Fields

Modifier and Type	Field and Description
private ET	_lastEvent Dernier evenement à l'origine d'une transition.
private ObserverManager<StateMachine<ST,ET>>	_obsManager Gestionnaire observateurs.
private ST	_state Etat courant de l'automate
private java.util.Hashtable<ST,java.util.Hashtable<ET,ST>>	_transitions table des transitions valides dico indexé par les états de dico indexé par les evenements

Constructor Summary

Constructors

Constructor and Description
StateMachine(ST startState) Creation automate

Method Summary

Methods

Modifier and Type	Method and Description
void	addTransition(ST from, ET ev, ST to) Ajouter une transition au graphe d'états de l'automate
java.lang.Iterable<ET>	getAllowedTransition()
ET	getLastEvent() Obtenir l'événement qui a provoqué la dernière transition Attention, la valeur retourné n'est pas définie tant qu'aucune transition n'a eu lieu.
ObserverManager<StateMachine<ST,ET>>	getObserverManager() Get this observable observer registration manager.
ST	getState()
boolean	isTransitionAllowed(ET ev)
boolean	runTransition(ET ev)

Methods inherited from class java.lang.Object

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

Field Detail

_lastEvent

private ET _lastEvent

Dernier evenement à l'origine d'une transition.

_state

private ST _state

Etat courant de l'automate

_transitions

private java.util.Hashtable<ST,java.util.Hashtable<ET,ST>> _transitions

table des transitions valides

dico indexé par les états de dico indexé par les evenements

_obsManager

private ObserverManager<StateMachine<ST,ET>> _obsManager

Gestionnaire observateurs.

Constructor Detail

StateMachine

public StateMachine(ST startState)

Creation automate

Parameters:

startState - Etat initial de l'automate

Method Detail

getLastEvent

public ET getLastEvent()

Obtenir l'événement qui a provoqué la dernière transition

Attention, la valeur retourné n'est pas définie tant qu'aucune transition n'a eu lieu.

Returns:

L'évenement qui a permis d'atteindre l'état courant.

isTransitionAllowed

public boolean isTransitionAllowed(ET ev)

getAllowedTransition

public java.lang.Iterable<ET> getAllowedTransition()

runTransition

public boolean runTransition(ET ev)

Parameters:

ev - Evenement à soummettre à l'automate

Returns:

true si l'evenement est accepté, false si l'événement est incompatible avec l'état courant.

addTransition

public void addTransition(ST from,
                 ET ev,
                 ST to)

Ajouter une transition au graphe d'états de l'automate

Parameters:

from - Etat origine

ev - Evenement associé à la transition

to - Etat cible

getState

public ST getState()

Returns:

Etat courant de l'automate

getObserverManager

public ObserverManager<StateMachine<ST,ET>> getObserverManager()

Description copied from interface: Observable

Get this observable observer registration manager.

Specified by:

getObserverManager in interface Observable<StateMachine<ST,ET>>

Returns:

Gestionnaire observateurs.