*********************************************************************** ** PACKAGE Predefined ** #SDTREF(TEXT,E:\candu\SDL_TTCN_Suite4.4\sdt\sdtdir\wini386\predef.sdl,20,9) *********************************************************************** 2 NEWTYPE Boolean #SDTREF(TEXT,E:\candu\SDL_TTCN_Suite4.4\sdt\sdtdir\wini386\predef.sdl,22,10) 2 NEWTYPE Character #SDTREF(TEXT,E:\candu\SDL_TTCN_Suite4.4\sdt\sdtdir\wini386\predef.sdl,33,9) 2 NEWTYPE Charstring #SDTREF(TEXT,E:\candu\SDL_TTCN_Suite4.4\sdt\sdtdir\wini386\predef.sdl,91,9) 2 NEWTYPE Integer #SDTREF(TEXT,E:\candu\SDL_TTCN_Suite4.4\sdt\sdtdir\wini386\predef.sdl,125,9) 2 NEWTYPE Real #SDTREF(TEXT,E:\candu\SDL_TTCN_Suite4.4\sdt\sdtdir\wini386\predef.sdl,146,9) 2 NEWTYPE Pid #SDTREF(TEXT,E:\candu\SDL_TTCN_Suite4.4\sdt\sdtdir\wini386\predef.sdl,214,9) 2 NEWTYPE Duration #SDTREF(TEXT,E:\candu\SDL_TTCN_Suite4.4\sdt\sdtdir\wini386\predef.sdl,220,9) 2 NEWTYPE Time #SDTREF(TEXT,E:\candu\SDL_TTCN_Suite4.4\sdt\sdtdir\wini386\predef.sdl,236,9) 2 NEWTYPE Bit #SDTREF(TEXT,E:\candu\SDL_TTCN_Suite4.4\sdt\sdtdir\wini386\predef.sdl,250,9) 2 NEWTYPE Bit_string #SDTREF(TEXT,E:\candu\SDL_TTCN_Suite4.4\sdt\sdtdir\wini386\predef.sdl,260,9) 2 NEWTYPE Octet #SDTREF(TEXT,E:\candu\SDL_TTCN_Suite4.4\sdt\sdtdir\wini386\predef.sdl,281,9) 2 NEWTYPE Octet_string #SDTREF(TEXT,E:\candu\SDL_TTCN_Suite4.4\sdt\sdtdir\wini386\predef.sdl,312,9) 2 NEWTYPE NULL #SDTREF(TEXT,E:\candu\SDL_TTCN_Suite4.4\sdt\sdtdir\wini386\predef.sdl,330,9) 2 NEWTYPE Object_identifier #SDTREF(TEXT,E:\candu\SDL_TTCN_Suite4.4\sdt\sdtdir\wini386\predef.sdl,334,9) 2 NEWTYPE Any_type #SDTREF(TEXT,E:\candu\SDL_TTCN_Suite4.4\sdt\sdtdir\wini386\predef.sdl,349,9) 2 SYNTYPE IA5String #SDTREF(TEXT,E:\candu\SDL_TTCN_Suite4.4\sdt\sdtdir\wini386\predef.sdl,106,3) 2 SYNTYPE NumericString #SDTREF(TEXT,E:\candu\SDL_TTCN_Suite4.4\sdt\sdtdir\wini386\predef.sdl,111,3) 2 SYNTYPE PrintableString #SDTREF(TEXT,E:\candu\SDL_TTCN_Suite4.4\sdt\sdtdir\wini386\predef.sdl,116,3) 2 SYNTYPE VisibleString #SDTREF(TEXT,E:\candu\SDL_TTCN_Suite4.4\sdt\sdtdir\wini386\predef.sdl,121,3) 2 SYNTYPE Natural #SDTREF(TEXT,E:\candu\SDL_TTCN_Suite4.4\sdt\sdtdir\wini386\predef.sdl,144,9) 2 GENERATOR String #SDTREF(TEXT,E:\candu\SDL_TTCN_Suite4.4\sdt\sdtdir\wini386\predef.sdl,76,11) 2 GENERATOR Array #SDTREF(TEXT,E:\candu\SDL_TTCN_Suite4.4\sdt\sdtdir\wini386\predef.sdl,164,11) 2 GENERATOR Powerset #SDTREF(TEXT,E:\candu\SDL_TTCN_Suite4.4\sdt\sdtdir\wini386\predef.sdl,171,11) 2 GENERATOR Bag #SDTREF(TEXT,E:\candu\SDL_TTCN_Suite4.4\sdt\sdtdir\wini386\predef.sdl,192,11) 2 GENERATOR Own #SDTREF(TEXT,E:\candu\SDL_TTCN_Suite4.4\sdt\sdtdir\wini386\predef.sdl,352,11) 2 GENERATOR Oref #SDTREF(TEXT,E:\candu\SDL_TTCN_Suite4.4\sdt\sdtdir\wini386\predef.sdl,362,11) 2 SYNONYM PLUS_INFINITY #SDTREF(TEXT,E:\candu\SDL_TTCN_Suite4.4\sdt\sdtdir\wini386\predef.sdl,161,9) 2 SYNONYM MINUS_INFINITY #SDTREF(TEXT,E:\candu\SDL_TTCN_Suite4.4\sdt\sdtdir\wini386\predef.sdl,162,9) *********************************************************************** ** SYSTEM DemonGame ** #SDTREF(SDL,E:\candu\SDL_TTCN_Suite4.4\bin\wini386\DemonGame.ssy,4,1,8) *********************************************************************** 2 SIGNAL NewGame #SDTREF(SDL,E:\candu\SDL_TTCN_Suite4.4\bin\wini386\DemonGame.ssy(1),146(45,25),2,1) CHANNEL #SDTREF(SDL,E:\candu\SDL_TTCN_Suite4.4\bin\wini386\DemonGame.ssy(1),174(38,55),1,1) SIGNALROUTE #SDTREF(SDL,E:\candu\SDL_TTCN_Suite4.4\bin\wini386\GameBlock.sbk(1),141(50,67),1,1) INPUT #SDTREF(SDL,E:\candu\SDL_TTCN_Suite4.4\bin\wini386\Main.spr(1),125(65,65),1,1) 2 SIGNAL Probe #SDTREF(SDL,E:\candu\SDL_TTCN_Suite4.4\bin\wini386\DemonGame.ssy(1),146(45,25),2,10) CHANNEL #SDTREF(SDL,E:\candu\SDL_TTCN_Suite4.4\bin\wini386\DemonGame.ssy(1),174(38,55),1,9) SIGNALROUTE #SDTREF(SDL,E:\candu\SDL_TTCN_Suite4.4\bin\wini386\GameBlock.sbk(1),150(37,102),1,1) INPUT #SDTREF(SDL,E:\candu\SDL_TTCN_Suite4.4\bin\wini386\Game.spr(1),158(10,95),1,1) INPUT #SDTREF(SDL,E:\candu\SDL_TTCN_Suite4.4\bin\wini386\Game.spr(1),197(75,130),1,1) 2 SIGNAL Result #SDTREF(SDL,E:\candu\SDL_TTCN_Suite4.4\bin\wini386\DemonGame.ssy(1),146(45,25),2,17) CHANNEL #SDTREF(SDL,E:\candu\SDL_TTCN_Suite4.4\bin\wini386\DemonGame.ssy(1),174(38,55),1,15) SIGNALROUTE #SDTREF(SDL,E:\candu\SDL_TTCN_Suite4.4\bin\wini386\GameBlock.sbk(1),150(37,102),1,7) INPUT #SDTREF(SDL,E:\candu\SDL_TTCN_Suite4.4\bin\wini386\Game.spr(1),212(75,50),1,1) 2 SIGNAL EndGame #SDTREF(SDL,E:\candu\SDL_TTCN_Suite4.4\bin\wini386\DemonGame.ssy(1),146(45,25),3,1) CHANNEL #SDTREF(SDL,E:\candu\SDL_TTCN_Suite4.4\bin\wini386\DemonGame.ssy(1),174(38,55),1,22) SIGNALROUTE #SDTREF(SDL,E:\candu\SDL_TTCN_Suite4.4\bin\wini386\GameBlock.sbk(1),141(50,67),2,1) INPUT #SDTREF(SDL,E:\candu\SDL_TTCN_Suite4.4\bin\wini386\Main.spr(1),140(105,65),1,1) 2 SIGNAL Win #SDTREF(SDL,E:\candu\SDL_TTCN_Suite4.4\bin\wini386\DemonGame.ssy(1),146(45,25),3,9) CHANNEL #SDTREF(SDL,E:\candu\SDL_TTCN_Suite4.4\bin\wini386\DemonGame.ssy(1),159(48,72),1,1) SIGNALROUTE #SDTREF(SDL,E:\candu\SDL_TTCN_Suite4.4\bin\wini386\GameBlock.sbk(1),156(25,127),1,1) OUTPUT #SDTREF(SDL,E:\candu\SDL_TTCN_Suite4.4\bin\wini386\Game.spr(1),194(75,150),1,1) 2 SIGNAL Lose #SDTREF(SDL,E:\candu\SDL_TTCN_Suite4.4\bin\wini386\DemonGame.ssy(1),146(45,25),3,13) CHANNEL #SDTREF(SDL,E:\candu\SDL_TTCN_Suite4.4\bin\wini386\DemonGame.ssy(1),159(48,72),1,5) SIGNALROUTE #SDTREF(SDL,E:\candu\SDL_TTCN_Suite4.4\bin\wini386\GameBlock.sbk(1),156(25,127),1,5) OUTPUT #SDTREF(SDL,E:\candu\SDL_TTCN_Suite4.4\bin\wini386\Game.spr(1),161(10,115),1,1) 2 SIGNAL Score #SDTREF(SDL,E:\candu\SDL_TTCN_Suite4.4\bin\wini386\DemonGame.ssy(1),146(45,25),3,18) CHANNEL #SDTREF(SDL,E:\candu\SDL_TTCN_Suite4.4\bin\wini386\DemonGame.ssy(1),159(48,72),1,10) SIGNALROUTE #SDTREF(SDL,E:\candu\SDL_TTCN_Suite4.4\bin\wini386\GameBlock.sbk(1),156(25,127),1,10) OUTPUT #SDTREF(SDL,E:\candu\SDL_TTCN_Suite4.4\bin\wini386\Game.spr(1),230(75,70),1,1) 2 SIGNAL Bump #SDTREF(SDL,E:\candu\SDL_TTCN_Suite4.4\bin\wini386\DemonGame.ssy(1),146(45,25),3,34) CHANNEL #SDTREF(SDL,E:\candu\SDL_TTCN_Suite4.4\bin\wini386\DemonGame.ssy(1),150(127,88),1,1) SIGNALROUTE #SDTREF(SDL,E:\candu\SDL_TTCN_Suite4.4\bin\wini386\GameBlock.sbk(1),165(75,140),1,1) INPUT #SDTREF(SDL,E:\candu\SDL_TTCN_Suite4.4\bin\wini386\Game.spr(1),134(40,95),1,1) INPUT #SDTREF(SDL,E:\candu\SDL_TTCN_Suite4.4\bin\wini386\Game.spr(1),140(40,135),1,1) 2 CHANNEL C1 #SDTREF(SDL,E:\candu\SDL_TTCN_Suite4.4\bin\wini386\DemonGame.ssy(1),173(60,45),1,1) CONNECTION #SDTREF(SDL,E:\candu\SDL_TTCN_Suite4.4\bin\wini386\GameBlock.sbk(1),146(7,62),1,1) 2 CHANNEL C2 #SDTREF(SDL,E:\candu\SDL_TTCN_Suite4.4\bin\wini386\DemonGame.ssy(1),158(60,60),1,1) CONNECTION #SDTREF(SDL,E:\candu\SDL_TTCN_Suite4.4\bin\wini386\GameBlock.sbk(1),179(7,122),1,1) 2 CHANNEL C3 #SDTREF(SDL,E:\candu\SDL_TTCN_Suite4.4\bin\wini386\DemonGame.ssy(1),149(127,81),1,1) CONNECTION #SDTREF(SDL,E:\candu\SDL_TTCN_Suite4.4\bin\wini386\GameBlock.sbk(1),170(7,135),1,1) 2 BLOCK GameBlock #SDTREF(SDL,E:\candu\SDL_TTCN_Suite4.4\bin\wini386\GameBlock.sbk,4,1,7) CHANNEL #SDTREF(SDL,E:\candu\SDL_TTCN_Suite4.4\bin\wini386\DemonGame.ssy(1),122(100,45),1,1) CHANNEL #SDTREF(SDL,E:\candu\SDL_TTCN_Suite4.4\bin\wini386\DemonGame.ssy(1),122(100,45),1,1) CHANNEL #SDTREF(SDL,E:\candu\SDL_TTCN_Suite4.4\bin\wini386\DemonGame.ssy(1),122(100,45),1,1) REFERENCE #SDTREF(SDL,E:\candu\SDL_TTCN_Suite4.4\bin\wini386\DemonGame.ssy(1),122(100,45),1,1) 2 BLOCK DemonBlock #SDTREF(SDL,E:\candu\SDL_TTCN_Suite4.4\bin\wini386\DemonGame.ssy(1),125(100,105),1,1) CHANNEL #SDTREF(SDL,E:\candu\SDL_TTCN_Suite4.4\bin\wini386\DemonGame.ssy(1),125(100,105),1,1) *********************************************************************** ** BLOCK GameBlock ** <> ** #SDTREF(SDL,E:\candu\SDL_TTCN_Suite4.4\bin\wini386\GameBlock.sbk,4,1,7) *********************************************************************** 3 SIGNAL GameOver #SDTREF(SDL,E:\candu\SDL_TTCN_Suite4.4\bin\wini386\GameBlock.sbk(1),116(65,25),2,1) SIGNALROUTE #SDTREF(SDL,E:\candu\SDL_TTCN_Suite4.4\bin\wini386\GameBlock.sbk(1),126(102,112),1,1) OUTPUT #SDTREF(SDL,E:\candu\SDL_TTCN_Suite4.4\bin\wini386\Main.spr(1),143(105,85),1,1) INPUT #SDTREF(SDL,E:\candu\SDL_TTCN_Suite4.4\bin\wini386\Game.spr(1),215(110,50),1,1) 3 SIGNALROUTE R2 #SDTREF(SDL,E:\candu\SDL_TTCN_Suite4.4\bin\wini386\GameBlock.sbk(1),149(52,85),1,1) CONNECTION #SDTREF(SDL,E:\candu\SDL_TTCN_Suite4.4\bin\wini386\GameBlock.sbk(1),149(52,85),1,1) 3 SIGNALROUTE R1 #SDTREF(SDL,E:\candu\SDL_TTCN_Suite4.4\bin\wini386\GameBlock.sbk(1),140(50,57),1,1) CONNECTION #SDTREF(SDL,E:\candu\SDL_TTCN_Suite4.4\bin\wini386\GameBlock.sbk(1),140(50,57),1,1) 3 SIGNALROUTE R5 #SDTREF(SDL,E:\candu\SDL_TTCN_Suite4.4\bin\wini386\GameBlock.sbk(1),125(102,92),1,1) 3 SIGNALROUTE R3 #SDTREF(SDL,E:\candu\SDL_TTCN_Suite4.4\bin\wini386\GameBlock.sbk(1),155(52,117),1,1) CONNECTION #SDTREF(SDL,E:\candu\SDL_TTCN_Suite4.4\bin\wini386\GameBlock.sbk(1),155(52,117),1,1) 3 SIGNALROUTE R4 #SDTREF(SDL,E:\candu\SDL_TTCN_Suite4.4\bin\wini386\GameBlock.sbk(1),164(52,130),1,1) CONNECTION #SDTREF(SDL,E:\candu\SDL_TTCN_Suite4.4\bin\wini386\GameBlock.sbk(1),164(52,130),1,1) 3 PROCESS Main #SDTREF(SDL,E:\candu\SDL_TTCN_Suite4.4\bin\wini386\Main.spr,4,1,9) SIGNALROUTE #SDTREF(SDL,E:\candu\SDL_TTCN_Suite4.4\bin\wini386\GameBlock.sbk(1),119(80,55),1,1) SIGNALROUTE #SDTREF(SDL,E:\candu\SDL_TTCN_Suite4.4\bin\wini386\GameBlock.sbk(1),119(80,55),1,1) REFERENCE #SDTREF(SDL,E:\candu\SDL_TTCN_Suite4.4\bin\wini386\GameBlock.sbk(1),119(80,55),1,1) 3 PROCESS Game #SDTREF(SDL,E:\candu\SDL_TTCN_Suite4.4\bin\wini386\Game.spr,4,1,9) SIGNALROUTE #SDTREF(SDL,E:\candu\SDL_TTCN_Suite4.4\bin\wini386\GameBlock.sbk(1),122(85,120),1,1) SIGNALROUTE #SDTREF(SDL,E:\candu\SDL_TTCN_Suite4.4\bin\wini386\GameBlock.sbk(1),122(85,120),1,1) SIGNALROUTE #SDTREF(SDL,E:\candu\SDL_TTCN_Suite4.4\bin\wini386\GameBlock.sbk(1),122(85,120),1,1) SIGNALROUTE #SDTREF(SDL,E:\candu\SDL_TTCN_Suite4.4\bin\wini386\GameBlock.sbk(1),122(85,120),1,1) CREATE #SDTREF(SDL,E:\candu\SDL_TTCN_Suite4.4\bin\wini386\Main.spr(1),128(65,85),1,1) REFERENCE #SDTREF(SDL,E:\candu\SDL_TTCN_Suite4.4\bin\wini386\GameBlock.sbk(1),122(85,120),1,1) *********************************************************************** ** PROCESS Main ** <> ** #SDTREF(SDL,E:\candu\SDL_TTCN_Suite4.4\bin\wini386\Main.spr,4,1,9) *********************************************************************** 4 DCL GameP #SDTREF(SDL,E:\candu\SDL_TTCN_Suite4.4\bin\wini386\Main.spr(1),116(155,25),2,1) TASK #SDTREF(SDL,E:\candu\SDL_TTCN_Suite4.4\bin\wini386\Main.spr(1),179(65,105),1,1) TASK #SDTREF(SDL,E:\candu\SDL_TTCN_Suite4.4\bin\wini386\Main.spr(1),146(105,105),1,1) 4 STATE Game_off #SDTREF(SDL,E:\candu\SDL_TTCN_Suite4.4\bin\wini386\Main.spr(1),122(65,45),1,1) NEXTSTATE #SDTREF(SDL,E:\candu\SDL_TTCN_Suite4.4\bin\wini386\Main.spr(1),122(65,45),1,1) NEXTSTATE #SDTREF(SDL,E:\candu\SDL_TTCN_Suite4.4\bin\wini386\Main.spr(1),149(105,125),1,1) 4 STATE Game_on #SDTREF(SDL,E:\candu\SDL_TTCN_Suite4.4\bin\wini386\Main.spr(1),137(105,45),1,1) NEXTSTATE #SDTREF(SDL,E:\candu\SDL_TTCN_Suite4.4\bin\wini386\Main.spr(1),134(65,125),1,1) *********************************************************************** ** PROCESS Game ** <> ** #SDTREF(SDL,E:\candu\SDL_TTCN_Suite4.4\bin\wini386\Game.spr,4,1,9) *********************************************************************** 4 DCL Count #SDTREF(SDL,E:\candu\SDL_TTCN_Suite4.4\bin\wini386\Game.spr(1),116(5,30),2,1) TASK #SDTREF(SDL,E:\candu\SDL_TTCN_Suite4.4\bin\wini386\Game.spr(1),122(40,50),1,1) TASK #SDTREF(SDL,E:\candu\SDL_TTCN_Suite4.4\bin\wini386\Game.spr(1),167(10,135),1,1) TASK #SDTREF(SDL,E:\candu\SDL_TTCN_Suite4.4\bin\wini386\Game.spr(1),167(10,135),2,2) TASK #SDTREF(SDL,E:\candu\SDL_TTCN_Suite4.4\bin\wini386\Game.spr(1),191(75,170),1,1) TASK #SDTREF(SDL,E:\candu\SDL_TTCN_Suite4.4\bin\wini386\Game.spr(1),191(75,170),2,2) OUTPUT #SDTREF(SDL,E:\candu\SDL_TTCN_Suite4.4\bin\wini386\Game.spr(1),230(75,70),2,2) 4 STATE Losing #SDTREF(SDL,E:\candu\SDL_TTCN_Suite4.4\bin\wini386\Game.spr(1),131(40,75),1,1) #SDTREF(SDL,E:\candu\SDL_TTCN_Suite4.4\bin\wini386\Game.spr(1),209(75,30),1,1) NEXTSTATE #SDTREF(SDL,E:\candu\SDL_TTCN_Suite4.4\bin\wini386\Game.spr(1),131(40,75),1,1) NEXTSTATE #SDTREF(SDL,E:\candu\SDL_TTCN_Suite4.4\bin\wini386\Game.spr(1),143(40,155),1,1) 4 STATE Wining #SDTREF(SDL,E:\candu\SDL_TTCN_Suite4.4\bin\wini386\Game.spr(1),137(40,115),1,1) #SDTREF(SDL,E:\candu\SDL_TTCN_Suite4.4\bin\wini386\Game.spr(1),209(75,30),1,1) NEXTSTATE #SDTREF(SDL,E:\candu\SDL_TTCN_Suite4.4\bin\wini386\Game.spr(1),137(40,115),1,1) *********************************************************************** ** BLOCK DemonBlock ** <> ** #SDTREF(SDL,E:\candu\SDL_TTCN_Suite4.4\bin\wini386\DemonGame.ssy(1),125(100,105),1,1) ***********************************************************************