DMFSAModel.mesa
Written By: Pradeep Sindhu, September 3, 1985 4:32:29 pm PDT
Last Edited By: Pradeep Sindhu September 4, 1985 3:39:57 pm PDT
DIRECTORY
DM;
DMFSAModel: CEDAR DEFINITIONS = BEGIN
FSA Related Types
FSASpecific: TYPE = REF FSASpecificRec;
FSASpecificRec: TYPE = RECORD [
state: State ← 0,
ctlAB: DM.Component ← NIL,
ctlBA: DM.Component ← NIL
];
State: TYPE = [0..16);
The FSA procedures
Create: PUBLIC PROC [Reset, PhA, EvPhA, PhB, EvPhB: DM.ActionProc, ctlAB, ctlBA: DM.Component] RETURNS [fsa: DM.Component];
END.