Overview | Package | Class | Tree | Deprecated | Index | Help
| SMC 6_0_1
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES

## Package net.sf.smc.model

Provides the classes modeling a finite state machine.

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.

## Package net.sf.smc.model Description

Provides the classes modeling a finite state machine. In SMC, a finite state machine consists of

1. `Map`s which consist of
2. `State`s which consist of
3. `Transition`s which consist of
4. `Parameter`s and `Guard`s which consist of
5. `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.

Overview | Package | Class | Tree | Deprecated | Index | Help
| SMC 6_0_1
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES

Copyright © 2009. Charles W. Rapp. All Rights Reserved. Use is subject to license terms.