ca.uqac.lif.ecp.statechart.atomic

Class AtomicStatechart

java.lang.Object

ca.uqac.lif.ecp.statechart.Statechart<AtomicEvent>

ca.uqac.lif.ecp.statechart.atomic.AtomicStatechart

public class AtomicStatechart
extends Statechart<AtomicEvent>

Statechart of atomic events whose alphabet is known in advance.

Author:

Sylvain Hallé

Field Summary

Fields

Modifier and Type	Field and Description
protected Alphabet<AtomicEvent>	m_alphabet The alphabet associated to this statechart

Fields inherited from class ca.uqac.lif.ecp.statechart.Statechart

m_currentState, m_initialState, m_initialValues, m_name, m_parent, m_trashState, m_trashTransition, m_variables, TRASH, UP

Constructor Summary

Constructors

Constructor and Description
AtomicStatechart()
AtomicStatechart(java.lang.String name)

Method Summary

Modifier and Type	Method and Description
java.util.Set<AtomicEvent>	getAlphabet() Gets the set of all the events that occur as transition labels in this statechart

Methods inherited from class ca.uqac.lif.ecp.statechart.Statechart

add, add, add, applyTransition, clone, findOwner, findOwner, getAnyAtomicChild, getAnyAtomicChild, getCurrentConfiguration, getEdgeCount, getInitialConfiguration, getInitialState, getParent, getState, getState, getStates, getTransitions, getVariable, hasVariable, putAllStateVariables, reset, setParent, setTransitions, setVariable, takeTransition

Methods inherited from class java.lang.Object

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

Field Detail

m_alphabet

protected Alphabet<AtomicEvent> m_alphabet

The alphabet associated to this statechart

Constructor Detail

AtomicStatechart

public AtomicStatechart()

AtomicStatechart

public AtomicStatechart(java.lang.String name)

Method Detail

getAlphabet

public java.util.Set<AtomicEvent> getAlphabet()

Gets the set of all the events that occur as transition labels in this statechart

Returns:

The set of events