StateModelRev05f.ppt - RJL rev. 050918  12
StateModel Design - 11
(Two-State Model Conversion to a SM.dat File)
ET01:TSSet
ET02:TSReset
TSS0:OFF
 no-op
TSS1:ON
no-op
 State Model Name: TS:Two-State
SV000001  TS TwoState /* equiv. to an RS Flipflop */
/*-------------------- (comment lines are ignored by pr_load) ----------------*/
ST000001  SM000001 TSS0:Off  no-op  /* Initial state:output=0      */
ST000002  SM000001 TSS1:On  no-op /* Alternate state:output=1*/
/*-------------------------------------------------------------------------------------------*/
TR000001  ST000001  ST000002 /* enabled by set event      */
TR000002  ST000002  ST000001 /* enabled by reset event   */
/*-------------------------------------------------------------------------------------------*/
ET000001  SM000001 ET01:TSSet /* causes ON-to-OFF TR   */
ET000002  SM000001 ET02:TSReset /* causes OFF-to-ON TR   */
/*-------------------------------------------------------------------------------------------*/
EN000001  ET000001 TR000001 /* TSset enables TR1: ST1->ST2 */
EN000002  ET000002 TR000002 /* TSReset enables TR2: ST2->ST1 */
bde2sch
SchemaVersion table entry omitted; EventType.Label field syntax
restructured as in the revised ChkgAcct.ppt case study.
(Generate this file from ST, TR and ET declared as strings.)
TwoStateSM.bde
BDE
TwoStateSM.sch: