State Transition Simulator

  --| Summary This package body contains all packages necessary 
  --|         for the State Transition Executor to operate

  --| Description
  --|  This package body contains the following software hierarchy
  --|    Build_Transition_Actions_Package Procedure
  --|    Build_Transition_Events_Package Procedure
  --|    Build_State_Transition_Executor Procedure
  --|      Get_Threads Procedure

  --| Requirements
  --|  Use Ward-Mellor Methodology

  --| Keywords
  --|  Real-Time, Recursion

  --| Developed_By
  --|  P.L. Treadway
  --|  GTE Government Systems Corporation
  --|  1 Research Drive
  --|  Mail Stop #54
  --|  Westborough, Massachusetts 01581
  --|  (508) 870-4482

  --| As_Part_Of
  --|  Structured Development for Real Time Systems 

  --| Under_Contract
  --|  5-9 (After Hours)

            
  ----------------------------------------------------------------------
  --                                                                  --
  --         B u i l d _ T r a n s i t i o n _ A c t i o n s          --
  --                                                                  --
  --  This procedure builds the Ada package Transition_Actions.       --
  --  The package Transaction_Actions consists of two Ada files,      --
  --  one for the specification and the other for the body.  The      --
  --  files are named as follows:                                     --
  --                                                                  --
  --   Package Specification:  Transaction_Actions_Spec.Ada           --
  --   Package Body:           Transaction_Actions_Body.Ada           --
  --                                                                  --
  --   With Mealy State Transition Diagrams, an event at some state   --
  --   may cause the system to transition to another state and        --
  --   optionally cause some action to occur.  The State Transition   --
  --   Executor simulates the events which in turn, will cause        --
  --   "Action" procedures in the Transaction_Action package during   --
  --   run-time.  The action that occurs is displayed on the screen   --
  --   and optionally written to a file as well.                      --
  --                                                                  --
  ----------------------------------------------------------------------