|
SMC 6_0_1 |
||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |
See:
Description
Class Summary | |
---|---|
SmcAction | Actions are used in both transtions and state Entry and Exit clauses. |
SmcElement | The super class for all abstract syntax tree elements. |
SmcFSM | The top-level element for a finite state machine model. |
SmcGuard | This is the second half of a
transition definition. |
SmcMap | SMC has states grouped into maps. |
SmcParameter | This class contains a transition parameter definition. |
SmcState | Contains the entry action, exit action and transition lists. |
SmcTransition | SMC breaks transitions into two components: this class and
guard . |
SmcVisitor | The super class for all FSM model visitors. |
Enum Summary | |
---|---|
SmcElement.TransType | The SMC transitions fall into four types. |
Provides the classes modeling a finite state machine. In SMC, a finite state machine consists of
Map
s which consist of
State
s which consist of
Transition
s which
consist of
Parameter
s and
Guard
s which consist of
Action
s.
The SmcVisitor
abstract class
implements the GoF Visitor pattern (p. 331). This pattern is
used by the generator package to generate target language
code from the FSM model.
See the programmers manual for SMC's derivation from the Gof State pattern.
|
SMC 6_0_1 |
||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |