==Feedback== ==And== ==Seq== BankSafe Closed Visible ==States== Closed Atomic 50 108 151 150 Open Atomic 379 103 480 145 ==Transitions== Closed Open pin=Code.Count<5/GenCode%20:=%20Count,Count:=(Count+1) 1 RightofLn Open Closed GenComplete/Code:=NewCode 2 RightofLn ==LocalVariables== Code = StartCode Count = 0 ==EOCSeq== ======= ==Dec== ==Seq== CodeGenerator Idle Visible ==States== Idle Atomic 76 251 178 293 Generating Decomposed 397 250 500 294 ==Transitions== Idle Generating GenCode/ 1 LeftofLn Generating Idle /{GenComplete,NewCode} 2 LeftofLn ==LocalVariables== ==EOCSeq== ==by== Generating ==Seq== Generating Start Visible ==States== Start Atomic 305 200 406 242 EndOne Atomic 342 48 444 90 EndTwo Atomic 689 200 790 242 EndThree Atomic 493 355 595 397 EndFour Atomic 137 392 239 434 Stop Atomic 102 83 203 125 ==Transitions== Start EndTwo GenCode=1/NewCode:=CodeTwo 1 LeftofLn Start Stop GenCode=4/NewCode:=STOP 1 LeftofLn Start EndFour GenCode=3/NewCode:=CodeFour 1 LeftofLn Start EndThree GenCode=2/NewCode:=CodeThree 1 RightofLn Start EndOne GenCode=0/NewCode:=CodeOne 1 RightofLn ==LocalVariables== ==EOCSeq== ==EOCDec== ==EOCAnd== ==signals== {GenCode,GenComplete,NewCode} ==EOCFeedback==