<> <> <> <> DIRECTORY Core, Sisyph; FSAExtras: CEDAR DEFINITIONS = BEGIN <> <> <> ROPE: TYPE = Core.ROPE; CellType: TYPE = Core.CellType; <> 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.