Package ca.uqac.lif.ecp.statechart

Class Summary

Class	Description
Action<T extends Event>	Action executed when a transition is fired in a statechart.
ActionChain<T extends Event>	List of actions to be applied on a single transition
Configuration<T extends Event>	Serialization of the internal state of a statechart.
Configuration.UpStateNode<U extends Event>
ConfigurationShallowHistory<T extends Event>	Triaging function that associates a trace to the list of the last n configurations of the statechart.
DecrementVariableBy<T extends Event>	Action that decrements a state variable by a fixed value.
GreedyAtomicStatechartGenerator	Greedy generator when the input specification is an atomic UML statechart.
IncrementVariableBy<T extends Event>	Action that increments a state variable by a fixed value.
InState<T extends Event>	Predicate that asserts that the statechart is in a particular state.
NestedState<T extends Event>	A state that encloses multiple statecharts.
SetVariableTo<T extends Event,U>	Action that sets a state variable to a hard value
ShallowHistoryFunction<T extends Event,U>
State<T extends Event>	An atomic state in a statechart.
Statechart<T extends Event>	Representation of a UML statechart.
StatechartFunction<T extends Event,U>	Triaging function based on a UML statechart
StatechartVariableAtom<T extends Event,U>	Placeholder in an expression that refers to the value of a state variable of some statechart.
StateShallowHistory<T extends Event>	Triaging function that associates a trace to the list of states in the statechart that were the destination of the last n transitions that fired.
Transition<T extends Event>	A transition from a state to another in a statechart
TrashTransition<T extends Event>	Special transition representing the move to the "trash" sink, indicating an invalid event was read in the current state of the statechart
VariableAssignment<T extends Event,U>	Action that modifies the value of a state variable in a statechart

Exception Summary

Exception	Description
ActionException	Exception thrown when a problem occurs when executing an action
ActionException.ValueOutOfBoundsException	Exception thrown when the value of a variable goes outside its defined bounds
ActionException.VariableNotFoundException	Exception thrown when a variable assignment refers to an undefined variable