Ada Code Generation : Package Body : Definitions of State Status Types and Variables

Definitions of State Status Types and Variables

Every non-basic OR-state has a status variable that indicates what substate is currently active. The status type is an enumeration type that actually lists all substates of the OR-state. Status variable gets value notaS (which is the default) when state S is not active.

type tpNORMAL_states is
(notaNORMAL, OPEN, CLOSED, MOVE_UP, MOVE_DOWN);
NORMAL_isin : tpNORMAL_states := not NORMAL;