MealyStateMachine

Class State

java.lang.Object

MealyStateMachine.State

public class State
extends java.lang.Object

State of a (Mealy) finite state machine: it has a name, and a list of outgoing transitions ; each transition is labelled by a label

Constructor Summary

Constructors

Constructor and Description
State(java.lang.String sn) Constructor

Method Summary

Methods

Modifier and Type	Method and Description
void	addTransition(MealyLabel mlbl, State nst) add an already built Mealy label + a reached state
boolean	allGuardedTransitions() Check if all the outgoing transitions are guarded
java.lang.Integer	chekState() Check the configuration of the state wrt to the nature of the outgoing transitions; return an int return 1 = there are at least one leading event: evt[guard]/act return 2 = there are no leading event, but at least one guarded transition: [guard]/...
java.util.HashSet<mEvent>	findEvtLeadingTransitions() find in the list of outgoing transitions, the leading events
java.lang.String	getName()
java.util.LinkedList<StateLabelledTransition>	getTransitions() collect the current transitions
StateLabelledTransition	getTransitionWithEvent(mEvent cevt) get a complete transition+reached state, where the given event is matching
boolean	hasTransitions() does it has transition ?
boolean	nonDeterministicTransitions() Currently, the outgoing transitions from the state are deterministic
void	setName(java.lang.String nn)
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Constructor Detail

State

public State(java.lang.String sn)

Constructor

Method Detail

setName

public void setName(java.lang.String nn)

getName

public java.lang.String getName()

addTransition

public void addTransition(MealyLabel mlbl,
                 State nst)

add an already built Mealy label + a reached state

getTransitions

public java.util.LinkedList<StateLabelledTransition> getTransitions()

collect the current transitions

hasTransitions

public boolean hasTransitions()

does it has transition ?

getTransitionWithEvent

public StateLabelledTransition getTransitionWithEvent(mEvent cevt)

get a complete transition+reached state, where the given event is matching

nonDeterministicTransitions

public boolean nonDeterministicTransitions()

Currently, the outgoing transitions from the state are deterministic

chekState

public java.lang.Integer chekState()

Check the configuration of the state wrt to the nature of the outgoing transitions; return an int return 1 = there are at least one leading event: evt[guard]/act return 2 = there are no leading event, but at least one guarded transition: [guard]/... return 3 = there no leadint event, no guard, only actions : /act

findEvtLeadingTransitions

public java.util.HashSet<mEvent> findEvtLeadingTransitions()

find in the list of outgoing transitions, the leading events

allGuardedTransitions

public boolean allGuardedTransitions()

Check if all the outgoing transitions are guarded

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object