*********************************************************************** ** PACKAGE Predefined ** #SDTREF(TEXT,C:\TEMP\SDL_TTCN_Suite4.4\sdt\sdtdir\wini386\predef.sdl,20,9) *********************************************************************** 2 NEWTYPE Boolean #SDTREF(TEXT,C:\TEMP\SDL_TTCN_Suite4.4\sdt\sdtdir\wini386\predef.sdl,22,10) 2 NEWTYPE Character #SDTREF(TEXT,C:\TEMP\SDL_TTCN_Suite4.4\sdt\sdtdir\wini386\predef.sdl,33,9) 2 NEWTYPE Charstring #SDTREF(TEXT,C:\TEMP\SDL_TTCN_Suite4.4\sdt\sdtdir\wini386\predef.sdl,91,9) 2 NEWTYPE Integer #SDTREF(TEXT,C:\TEMP\SDL_TTCN_Suite4.4\sdt\sdtdir\wini386\predef.sdl,125,9) 2 NEWTYPE Real #SDTREF(TEXT,C:\TEMP\SDL_TTCN_Suite4.4\sdt\sdtdir\wini386\predef.sdl,146,9) 2 NEWTYPE Pid #SDTREF(TEXT,C:\TEMP\SDL_TTCN_Suite4.4\sdt\sdtdir\wini386\predef.sdl,214,9) 2 NEWTYPE Duration #SDTREF(TEXT,C:\TEMP\SDL_TTCN_Suite4.4\sdt\sdtdir\wini386\predef.sdl,220,9) 2 NEWTYPE Time #SDTREF(TEXT,C:\TEMP\SDL_TTCN_Suite4.4\sdt\sdtdir\wini386\predef.sdl,236,9) 2 NEWTYPE Bit #SDTREF(TEXT,C:\TEMP\SDL_TTCN_Suite4.4\sdt\sdtdir\wini386\predef.sdl,250,9) 2 NEWTYPE Bit_string #SDTREF(TEXT,C:\TEMP\SDL_TTCN_Suite4.4\sdt\sdtdir\wini386\predef.sdl,260,9) 2 NEWTYPE Octet #SDTREF(TEXT,C:\TEMP\SDL_TTCN_Suite4.4\sdt\sdtdir\wini386\predef.sdl,281,9) 2 NEWTYPE Octet_string #SDTREF(TEXT,C:\TEMP\SDL_TTCN_Suite4.4\sdt\sdtdir\wini386\predef.sdl,312,9) 2 NEWTYPE NULL #SDTREF(TEXT,C:\TEMP\SDL_TTCN_Suite4.4\sdt\sdtdir\wini386\predef.sdl,330,9) 2 NEWTYPE Object_identifier #SDTREF(TEXT,C:\TEMP\SDL_TTCN_Suite4.4\sdt\sdtdir\wini386\predef.sdl,334,9) 2 NEWTYPE Any_type #SDTREF(TEXT,C:\TEMP\SDL_TTCN_Suite4.4\sdt\sdtdir\wini386\predef.sdl,349,9) 2 SYNTYPE IA5String #SDTREF(TEXT,C:\TEMP\SDL_TTCN_Suite4.4\sdt\sdtdir\wini386\predef.sdl,106,3) 2 SYNTYPE NumericString #SDTREF(TEXT,C:\TEMP\SDL_TTCN_Suite4.4\sdt\sdtdir\wini386\predef.sdl,111,3) 2 SYNTYPE PrintableString #SDTREF(TEXT,C:\TEMP\SDL_TTCN_Suite4.4\sdt\sdtdir\wini386\predef.sdl,116,3) 2 SYNTYPE VisibleString #SDTREF(TEXT,C:\TEMP\SDL_TTCN_Suite4.4\sdt\sdtdir\wini386\predef.sdl,121,3) 2 SYNTYPE Natural #SDTREF(TEXT,C:\TEMP\SDL_TTCN_Suite4.4\sdt\sdtdir\wini386\predef.sdl,144,9) 2 GENERATOR String #SDTREF(TEXT,C:\TEMP\SDL_TTCN_Suite4.4\sdt\sdtdir\wini386\predef.sdl,76,11) 2 GENERATOR Array #SDTREF(TEXT,C:\TEMP\SDL_TTCN_Suite4.4\sdt\sdtdir\wini386\predef.sdl,164,11) 2 GENERATOR Powerset #SDTREF(TEXT,C:\TEMP\SDL_TTCN_Suite4.4\sdt\sdtdir\wini386\predef.sdl,171,11) 2 GENERATOR Bag #SDTREF(TEXT,C:\TEMP\SDL_TTCN_Suite4.4\sdt\sdtdir\wini386\predef.sdl,192,11) 2 GENERATOR Own #SDTREF(TEXT,C:\TEMP\SDL_TTCN_Suite4.4\sdt\sdtdir\wini386\predef.sdl,352,11) 2 GENERATOR Oref #SDTREF(TEXT,C:\TEMP\SDL_TTCN_Suite4.4\sdt\sdtdir\wini386\predef.sdl,362,11) 2 SYNONYM PLUS_INFINITY #SDTREF(TEXT,C:\TEMP\SDL_TTCN_Suite4.4\sdt\sdtdir\wini386\predef.sdl,161,9) 2 SYNONYM MINUS_INFINITY #SDTREF(TEXT,C:\TEMP\SDL_TTCN_Suite4.4\sdt\sdtdir\wini386\predef.sdl,162,9) *********************************************************************** ** SYSTEM DemonGame ** #SDTREF(SDL,C:\TEMP\SDL_TTCN_Suite4.4\sdt\examples\demongame\DemonGame.ssy,4,1,8) *********************************************************************** 2 SIGNAL Newgame #SDTREF(SDL,C:\TEMP\SDL_TTCN_Suite4.4\sdt\examples\demongame\DemonGame.ssy(1),170(60,25),2,1) CHANNEL #SDTREF(SDL,C:\TEMP\SDL_TTCN_Suite4.4\sdt\examples\demongame\DemonGame.ssy(1),150(27,50),1,1) SIGNALROUTE #SDTREF(SDL,C:\TEMP\SDL_TTCN_Suite4.4\sdt\examples\demongame\GameBlock.sbk(1),120(40,52),1,1) INPUT #SDTREF(SDL,C:\TEMP\SDL_TTCN_Suite4.4\sdt\examples\demongame\Main.spr(1),137(30,55),1,1) 2 SIGNAL Probe #SDTREF(SDL,C:\TEMP\SDL_TTCN_Suite4.4\sdt\examples\demongame\DemonGame.ssy(1),170(60,25),2,10) CHANNEL #SDTREF(SDL,C:\TEMP\SDL_TTCN_Suite4.4\sdt\examples\demongame\DemonGame.ssy(1),150(27,50),1,10) SIGNALROUTE #SDTREF(SDL,C:\TEMP\SDL_TTCN_Suite4.4\sdt\examples\demongame\GameBlock.sbk(1),150(30,72),1,1) INPUT #SDTREF(SDL,C:\TEMP\SDL_TTCN_Suite4.4\sdt\examples\demongame\Game.spr(1),143(30,70),1,1) INPUT #SDTREF(SDL,C:\TEMP\SDL_TTCN_Suite4.4\sdt\examples\demongame\Game.spr(1),161(80,100),1,1) 2 SIGNAL Result #SDTREF(SDL,C:\TEMP\SDL_TTCN_Suite4.4\sdt\examples\demongame\DemonGame.ssy(1),170(60,25),2,17) CHANNEL #SDTREF(SDL,C:\TEMP\SDL_TTCN_Suite4.4\sdt\examples\demongame\DemonGame.ssy(1),150(27,50),2,1) SIGNALROUTE #SDTREF(SDL,C:\TEMP\SDL_TTCN_Suite4.4\sdt\examples\demongame\GameBlock.sbk(1),150(30,72),2,1) INPUT #SDTREF(SDL,C:\TEMP\SDL_TTCN_Suite4.4\sdt\examples\demongame\Game.spr(1),125(80,40),1,1) 2 SIGNAL Endgame #SDTREF(SDL,C:\TEMP\SDL_TTCN_Suite4.4\sdt\examples\demongame\DemonGame.ssy(1),170(60,25),2,25) CHANNEL #SDTREF(SDL,C:\TEMP\SDL_TTCN_Suite4.4\sdt\examples\demongame\DemonGame.ssy(1),150(27,50),2,9) SIGNALROUTE #SDTREF(SDL,C:\TEMP\SDL_TTCN_Suite4.4\sdt\examples\demongame\GameBlock.sbk(1),120(40,52),2,1) INPUT #SDTREF(SDL,C:\TEMP\SDL_TTCN_Suite4.4\sdt\examples\demongame\Main.spr(1),119(55,55),1,1) 2 SIGNAL Win #SDTREF(SDL,C:\TEMP\SDL_TTCN_Suite4.4\sdt\examples\demongame\DemonGame.ssy(1),170(60,25),3,1) CHANNEL #SDTREF(SDL,C:\TEMP\SDL_TTCN_Suite4.4\sdt\examples\demongame\DemonGame.ssy(1),141(27,65),1,1) SIGNALROUTE #SDTREF(SDL,C:\TEMP\SDL_TTCN_Suite4.4\sdt\examples\demongame\GameBlock.sbk(1),132(20,92),1,1) OUTPUT #SDTREF(SDL,C:\TEMP\SDL_TTCN_Suite4.4\sdt\examples\demongame\Game.spr(1),164(80,115),1,1) 2 SIGNAL Lose #SDTREF(SDL,C:\TEMP\SDL_TTCN_Suite4.4\sdt\examples\demongame\DemonGame.ssy(1),170(60,25),3,6) CHANNEL #SDTREF(SDL,C:\TEMP\SDL_TTCN_Suite4.4\sdt\examples\demongame\DemonGame.ssy(1),141(27,65),1,6) SIGNALROUTE #SDTREF(SDL,C:\TEMP\SDL_TTCN_Suite4.4\sdt\examples\demongame\GameBlock.sbk(1),132(20,92),1,6) OUTPUT #SDTREF(SDL,C:\TEMP\SDL_TTCN_Suite4.4\sdt\examples\demongame\Game.spr(1),146(30,85),1,1) 2 SIGNAL Score #SDTREF(SDL,C:\TEMP\SDL_TTCN_Suite4.4\sdt\examples\demongame\DemonGame.ssy(1),170(60,25),3,12) CHANNEL #SDTREF(SDL,C:\TEMP\SDL_TTCN_Suite4.4\sdt\examples\demongame\DemonGame.ssy(1),141(27,65),1,12) SIGNALROUTE #SDTREF(SDL,C:\TEMP\SDL_TTCN_Suite4.4\sdt\examples\demongame\GameBlock.sbk(1),132(20,92),1,12) OUTPUT #SDTREF(SDL,C:\TEMP\SDL_TTCN_Suite4.4\sdt\examples\demongame\Game.spr(1),128(80,55),1,1) 2 SIGNAL Bump #SDTREF(SDL,C:\TEMP\SDL_TTCN_Suite4.4\sdt\examples\demongame\DemonGame.ssy(1),170(60,25),3,28) CHANNEL #SDTREF(SDL,C:\TEMP\SDL_TTCN_Suite4.4\sdt\examples\demongame\DemonGame.ssy(1),126(77,73),1,1) SIGNALROUTE #SDTREF(SDL,C:\TEMP\SDL_TTCN_Suite4.4\sdt\examples\demongame\GameBlock.sbk(1),141(47,102),1,1) INPUT #SDTREF(SDL,C:\TEMP\SDL_TTCN_Suite4.4\sdt\examples\demongame\Game.spr(1),155(55,70),1,1) INPUT #SDTREF(SDL,C:\TEMP\SDL_TTCN_Suite4.4\sdt\examples\demongame\Game.spr(1),173(55,100),1,1) 2 CHANNEL C1 #SDTREF(SDL,C:\TEMP\SDL_TTCN_Suite4.4\sdt\examples\demongame\DemonGame.ssy(1),149(52,42),1,1) CONNECTION #SDTREF(SDL,C:\TEMP\SDL_TTCN_Suite4.4\sdt\examples\demongame\GameBlock.sbk(1),125(7,47),1,1) 2 CHANNEL C2 #SDTREF(SDL,C:\TEMP\SDL_TTCN_Suite4.4\sdt\examples\demongame\DemonGame.ssy(1),140(52,57),1,1) CONNECTION #SDTREF(SDL,C:\TEMP\SDL_TTCN_Suite4.4\sdt\examples\demongame\GameBlock.sbk(1),137(7,87),1,1) 2 CHANNEL C3 #SDTREF(SDL,C:\TEMP\SDL_TTCN_Suite4.4\sdt\examples\demongame\DemonGame.ssy(1),125(69,78),1,1) CONNECTION #SDTREF(SDL,C:\TEMP\SDL_TTCN_Suite4.4\sdt\examples\demongame\GameBlock.sbk(1),146(7,97),1,1) 2 BLOCK GameBlock #SDTREF(SDL,C:\TEMP\SDL_TTCN_Suite4.4\sdt\examples\demongame\GameBlock.sbk,4,1,7) CHANNEL #SDTREF(SDL,C:\TEMP\SDL_TTCN_Suite4.4\sdt\examples\demongame\DemonGame.ssy(1),119(60,45),1,1) CHANNEL #SDTREF(SDL,C:\TEMP\SDL_TTCN_Suite4.4\sdt\examples\demongame\DemonGame.ssy(1),119(60,45),1,1) CHANNEL #SDTREF(SDL,C:\TEMP\SDL_TTCN_Suite4.4\sdt\examples\demongame\DemonGame.ssy(1),119(60,45),1,1) REFERENCE #SDTREF(SDL,C:\TEMP\SDL_TTCN_Suite4.4\sdt\examples\demongame\DemonGame.ssy(1),119(60,45),1,1) 2 BLOCK DemonBlock #SDTREF(SDL,C:\TEMP\SDL_TTCN_Suite4.4\sdt\examples\demongame\DemonGame.ssy(1),122(60,90),1,1) CHANNEL #SDTREF(SDL,C:\TEMP\SDL_TTCN_Suite4.4\sdt\examples\demongame\DemonGame.ssy(1),122(60,90),1,1) *********************************************************************** ** BLOCK GameBlock ** <> ** #SDTREF(SDL,C:\TEMP\SDL_TTCN_Suite4.4\sdt\examples\demongame\GameBlock.sbk,4,1,7) *********************************************************************** 3 SIGNAL GameOver #SDTREF(SDL,C:\TEMP\SDL_TTCN_Suite4.4\sdt\examples\demongame\GameBlock.sbk(1),164(60,25),2,1) SIGNALROUTE #SDTREF(SDL,C:\TEMP\SDL_TTCN_Suite4.4\sdt\examples\demongame\GameBlock.sbk(1),156(77,75),1,1) OUTPUT #SDTREF(SDL,C:\TEMP\SDL_TTCN_Suite4.4\sdt\examples\demongame\Main.spr(1),122(55,70),1,1) INPUT #SDTREF(SDL,C:\TEMP\SDL_TTCN_Suite4.4\sdt\examples\demongame\Game.spr(1),119(105,40),1,1) 3 SIGNALROUTE R2 #SDTREF(SDL,C:\TEMP\SDL_TTCN_Suite4.4\sdt\examples\demongame\GameBlock.sbk(1),149(45,67),1,1) CONNECTION #SDTREF(SDL,C:\TEMP\SDL_TTCN_Suite4.4\sdt\examples\demongame\GameBlock.sbk(1),149(45,67),1,1) 3 SIGNALROUTE R1 #SDTREF(SDL,C:\TEMP\SDL_TTCN_Suite4.4\sdt\examples\demongame\GameBlock.sbk(1),119(40,42),1,1) CONNECTION #SDTREF(SDL,C:\TEMP\SDL_TTCN_Suite4.4\sdt\examples\demongame\GameBlock.sbk(1),119(40,42),1,1) 3 SIGNALROUTE R5 #SDTREF(SDL,C:\TEMP\SDL_TTCN_Suite4.4\sdt\examples\demongame\GameBlock.sbk(1),155(77,67),1,1) 3 SIGNALROUTE R3 #SDTREF(SDL,C:\TEMP\SDL_TTCN_Suite4.4\sdt\examples\demongame\GameBlock.sbk(1),131(27,85),1,1) CONNECTION #SDTREF(SDL,C:\TEMP\SDL_TTCN_Suite4.4\sdt\examples\demongame\GameBlock.sbk(1),131(27,85),1,1) 3 SIGNALROUTE R4 #SDTREF(SDL,C:\TEMP\SDL_TTCN_Suite4.4\sdt\examples\demongame\GameBlock.sbk(1),140(50,95),1,1) CONNECTION #SDTREF(SDL,C:\TEMP\SDL_TTCN_Suite4.4\sdt\examples\demongame\GameBlock.sbk(1),140(50,95),1,1) 3 PROCESS Main #SDTREF(SDL,C:\TEMP\SDL_TTCN_Suite4.4\sdt\examples\demongame\Main.spr,4,1,9) SIGNALROUTE #SDTREF(SDL,C:\TEMP\SDL_TTCN_Suite4.4\sdt\examples\demongame\GameBlock.sbk(1),116(60,45),1,1) SIGNALROUTE #SDTREF(SDL,C:\TEMP\SDL_TTCN_Suite4.4\sdt\examples\demongame\GameBlock.sbk(1),116(60,45),1,1) REFERENCE #SDTREF(SDL,C:\TEMP\SDL_TTCN_Suite4.4\sdt\examples\demongame\GameBlock.sbk(1),116(60,45),1,1) 3 PROCESS Game #SDTREF(SDL,C:\TEMP\SDL_TTCN_Suite4.4\sdt\examples\demongame\Game.spr,4,1,9) SIGNALROUTE #SDTREF(SDL,C:\TEMP\SDL_TTCN_Suite4.4\sdt\examples\demongame\GameBlock.sbk(1),128(60,85),1,1) SIGNALROUTE #SDTREF(SDL,C:\TEMP\SDL_TTCN_Suite4.4\sdt\examples\demongame\GameBlock.sbk(1),128(60,85),1,1) SIGNALROUTE #SDTREF(SDL,C:\TEMP\SDL_TTCN_Suite4.4\sdt\examples\demongame\GameBlock.sbk(1),128(60,85),1,1) SIGNALROUTE #SDTREF(SDL,C:\TEMP\SDL_TTCN_Suite4.4\sdt\examples\demongame\GameBlock.sbk(1),128(60,85),1,1) CREATE #SDTREF(SDL,C:\TEMP\SDL_TTCN_Suite4.4\sdt\examples\demongame\Main.spr(1),140(30,70),1,1) REFERENCE #SDTREF(SDL,C:\TEMP\SDL_TTCN_Suite4.4\sdt\examples\demongame\GameBlock.sbk(1),128(60,85),1,1) *********************************************************************** ** PROCESS Main ** <> ** #SDTREF(SDL,C:\TEMP\SDL_TTCN_Suite4.4\sdt\examples\demongame\Main.spr,4,1,9) *********************************************************************** 4 DCL GameP #SDTREF(SDL,C:\TEMP\SDL_TTCN_Suite4.4\sdt\examples\demongame\Main.spr(1),149(80,25),2,1) TASK #SDTREF(SDL,C:\TEMP\SDL_TTCN_Suite4.4\sdt\examples\demongame\Main.spr(1),143(30,85),1,1) TASK #SDTREF(SDL,C:\TEMP\SDL_TTCN_Suite4.4\sdt\examples\demongame\Main.spr(1),125(55,85),1,1) 4 STATE Game_Off #SDTREF(SDL,C:\TEMP\SDL_TTCN_Suite4.4\sdt\examples\demongame\Main.spr(1),134(30,40),1,1) NEXTSTATE #SDTREF(SDL,C:\TEMP\SDL_TTCN_Suite4.4\sdt\examples\demongame\Main.spr(1),134(30,40),1,1) NEXTSTATE #SDTREF(SDL,C:\TEMP\SDL_TTCN_Suite4.4\sdt\examples\demongame\Main.spr(1),128(55,100),1,1) 4 STATE Game_On #SDTREF(SDL,C:\TEMP\SDL_TTCN_Suite4.4\sdt\examples\demongame\Main.spr(1),116(55,40),1,1) NEXTSTATE #SDTREF(SDL,C:\TEMP\SDL_TTCN_Suite4.4\sdt\examples\demongame\Main.spr(1),146(30,100),1,1) *********************************************************************** ** PROCESS Game ** <> ** #SDTREF(SDL,C:\TEMP\SDL_TTCN_Suite4.4\sdt\examples\demongame\Game.spr,4,1,9) *********************************************************************** 4 DCL Count #SDTREF(SDL,C:\TEMP\SDL_TTCN_Suite4.4\sdt\examples\demongame\Game.spr(1),179(30,10),2,1) TASK #SDTREF(SDL,C:\TEMP\SDL_TTCN_Suite4.4\sdt\examples\demongame\Game.spr(1),137(30,40),1,1) TASK #SDTREF(SDL,C:\TEMP\SDL_TTCN_Suite4.4\sdt\examples\demongame\Game.spr(1),149(30,100),1,1) TASK #SDTREF(SDL,C:\TEMP\SDL_TTCN_Suite4.4\sdt\examples\demongame\Game.spr(1),149(30,100),2,1) TASK #SDTREF(SDL,C:\TEMP\SDL_TTCN_Suite4.4\sdt\examples\demongame\Game.spr(1),167(80,130),1,1) TASK #SDTREF(SDL,C:\TEMP\SDL_TTCN_Suite4.4\sdt\examples\demongame\Game.spr(1),167(80,130),2,1) OUTPUT #SDTREF(SDL,C:\TEMP\SDL_TTCN_Suite4.4\sdt\examples\demongame\Game.spr(1),128(80,55),2,2) 4 STATE Losing #SDTREF(SDL,C:\TEMP\SDL_TTCN_Suite4.4\sdt\examples\demongame\Game.spr(1),140(30,55),1,1) #SDTREF(SDL,C:\TEMP\SDL_TTCN_Suite4.4\sdt\examples\demongame\Game.spr(1),116(80,25),1,1) NEXTSTATE #SDTREF(SDL,C:\TEMP\SDL_TTCN_Suite4.4\sdt\examples\demongame\Game.spr(1),140(30,55),1,1) NEXTSTATE #SDTREF(SDL,C:\TEMP\SDL_TTCN_Suite4.4\sdt\examples\demongame\Game.spr(1),176(55,115),1,1) 4 STATE Winning #SDTREF(SDL,C:\TEMP\SDL_TTCN_Suite4.4\sdt\examples\demongame\Game.spr(1),158(55,85),1,1) #SDTREF(SDL,C:\TEMP\SDL_TTCN_Suite4.4\sdt\examples\demongame\Game.spr(1),116(80,25),1,1) NEXTSTATE #SDTREF(SDL,C:\TEMP\SDL_TTCN_Suite4.4\sdt\examples\demongame\Game.spr(1),158(55,85),1,1) *********************************************************************** ** BLOCK DemonBlock ** <> ** #SDTREF(SDL,C:\TEMP\SDL_TTCN_Suite4.4\sdt\examples\demongame\DemonGame.ssy(1),122(60,90),1,1) ***********************************************************************