FSAExtras.mesa
Copyright Ó 1986, 1987 by Xerox Corporation. All rights reserved.
Barth, November 19, 1986 10:47:03 am PST
Bertrand Serlet April 2, 1987 9:35:46 pm PST
DIRECTORY Core, Sisyph;
FSAExtras: CEDAR DEFINITIONS = BEGIN
Theory
This interface defines some utilities handy for drawing finite state automata.
Types
ROPE: TYPE = Core.ROPE;
CellType: TYPE = Core.CellType;
Creation
MealyMachine: PROC [cx: Sisyph.Context, s: ROPE ← NIL] RETURNS [ct: CellType];
"Vdd", "Gnd", "Reset", "Clock"
".fsa" is concatenated to s if supplied or the current name if not. Sisyph is invoked to extract the state machine. All of the publics of the extracted cell are added to the publics listed above.
MealyState: PROC [o: NAT] RETURNS [ct: CellType];
"Target", "Source", Seq["Output", o]
MealyTransition: PROC RETURNS [ct: CellType];
"Target", "Expression", "Source"
END.