SMC
6_0_1

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. Maps which consist of
  2. States which consist of
  3. Transitions which consist of
  4. Parameters and Guards which consist of
  5. Actions.

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

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