/*#SDTREF(SDL,E:\candu\SDL_TTCN_Suite4.4\bin\wini386\DemonGame.ssy,4)*/
system DemonGame;
/*#SDTREF(SDL,E:\candu\SDL_TTCN_Suite4.4\bin\wini386\DemonGame.ssy(1),146(45,25))*/
SIGNAL
NewGame, Probe, Result,
EndGame,Win,Lose,Score(Integer), Bump;
/*#SDTREF(SDL,E:\candu\SDL_TTCN_Suite4.4\bin\wini386\DemonGame.ssy(1),173(60,45))*/
channel /*#E*/ 
C1 from 
/*#SDTREF(SDL,E:\candu\SDL_TTCN_Suite4.4\bin\wini386\DemonGame.ssy(1),104(15,15))*/
env to 
/*#SDTREF(SDL,E:\candu\SDL_TTCN_Suite4.4\bin\wini386\DemonGame.ssy(1),122(100,45))*/
GameBlock with 
/*#SDTREF(SDL,E:\candu\SDL_TTCN_Suite4.4\bin\wini386\DemonGame.ssy(1),174(38,55))*/
NewGame,Probe,Result,EndGame;
endchannel C1;
/*#SDTREF(SDL,E:\candu\SDL_TTCN_Suite4.4\bin\wini386\DemonGame.ssy(1),158(60,60))*/
channel /*#E*/ 
C2 from 
/*#SDTREF(SDL,E:\candu\SDL_TTCN_Suite4.4\bin\wini386\DemonGame.ssy(1),122(100,45))*/
GameBlock to 
/*#SDTREF(SDL,E:\candu\SDL_TTCN_Suite4.4\bin\wini386\DemonGame.ssy(1),104(15,15))*/
env with 
/*#SDTREF(SDL,E:\candu\SDL_TTCN_Suite4.4\bin\wini386\DemonGame.ssy(1),159(48,72))*/
Win,Lose,Score;
endchannel C2;
/*#SDTREF(SDL,E:\candu\SDL_TTCN_Suite4.4\bin\wini386\DemonGame.ssy(1),149(127,81))*/
channel /*#E*/ 
C3 from 
/*#SDTREF(SDL,E:\candu\SDL_TTCN_Suite4.4\bin\wini386\DemonGame.ssy(1),125(100,105))*/
DemonBlock to 
/*#SDTREF(SDL,E:\candu\SDL_TTCN_Suite4.4\bin\wini386\DemonGame.ssy(1),122(100,45))*/
GameBlock with 
/*#SDTREF(SDL,E:\candu\SDL_TTCN_Suite4.4\bin\wini386\DemonGame.ssy(1),150(127,88))*/
Bump;
endchannel C3;
/*#SDTREF(SDL,E:\candu\SDL_TTCN_Suite4.4\bin\wini386\DemonGame.ssy(1),122(100,45))*/
block /*#E*/ 
GameBlock referenced;
/*#SDTREF(SDL,E:\candu\SDL_TTCN_Suite4.4\bin\wini386\DemonGame.ssy(1),125(100,105))*/
block /*#E*/ 
DemonBlock referenced;
/*#SDTREF(SDL,E:\candu\SDL_TTCN_Suite4.4\bin\wini386\DemonGame.ssy,4)*/
endsystem DemonGame;
/*#SDTREF(SDL,E:\candu\SDL_TTCN_Suite4.4\bin\wini386\GameBlock.sbk,4)*/
block GameBlock;
/*#SDTREF(SDL,E:\candu\SDL_TTCN_Suite4.4\bin\wini386\GameBlock.sbk(1),116(65,25))*/
SIGNAL
GameOver;
/*#SDTREF(SDL,E:\candu\SDL_TTCN_Suite4.4\bin\wini386\GameBlock.sbk(1),149(52,85))*/
signalroute /*#E*/ 
R2 from 
/*#SDTREF(SDL,E:\candu\SDL_TTCN_Suite4.4\bin\wini386\GameBlock.sbk(1),104(15,15))*/
env to 
/*#SDTREF(SDL,E:\candu\SDL_TTCN_Suite4.4\bin\wini386\GameBlock.sbk(1),122(85,120))*/
Game with 
/*#SDTREF(SDL,E:\candu\SDL_TTCN_Suite4.4\bin\wini386\GameBlock.sbk(1),150(37,102))*/
Probe,Result;
/*#SDTREF(SDL,E:\candu\SDL_TTCN_Suite4.4\bin\wini386\GameBlock.sbk(1),140(50,57))*/
signalroute /*#E*/ 
R1 from 
/*#SDTREF(SDL,E:\candu\SDL_TTCN_Suite4.4\bin\wini386\GameBlock.sbk(1),104(15,15))*/
env to 
/*#SDTREF(SDL,E:\candu\SDL_TTCN_Suite4.4\bin\wini386\GameBlock.sbk(1),119(80,55))*/
Main with 
/*#SDTREF(SDL,E:\candu\SDL_TTCN_Suite4.4\bin\wini386\GameBlock.sbk(1),141(50,67))*/
NewGame,
EndGame;
/*#SDTREF(SDL,E:\candu\SDL_TTCN_Suite4.4\bin\wini386\GameBlock.sbk(1),125(102,92))*/
signalroute /*#E*/ 
R5 from 
/*#SDTREF(SDL,E:\candu\SDL_TTCN_Suite4.4\bin\wini386\GameBlock.sbk(1),119(80,55))*/
Main to 
/*#SDTREF(SDL,E:\candu\SDL_TTCN_Suite4.4\bin\wini386\GameBlock.sbk(1),122(85,120))*/
Game with 
/*#SDTREF(SDL,E:\candu\SDL_TTCN_Suite4.4\bin\wini386\GameBlock.sbk(1),126(102,112))*/
GameOver;
/*#SDTREF(SDL,E:\candu\SDL_TTCN_Suite4.4\bin\wini386\GameBlock.sbk(1),155(52,117))*/
signalroute /*#E*/ 
R3 from 
/*#SDTREF(SDL,E:\candu\SDL_TTCN_Suite4.4\bin\wini386\GameBlock.sbk(1),122(85,120))*/
Game to 
/*#SDTREF(SDL,E:\candu\SDL_TTCN_Suite4.4\bin\wini386\GameBlock.sbk(1),104(15,15))*/
env with 
/*#SDTREF(SDL,E:\candu\SDL_TTCN_Suite4.4\bin\wini386\GameBlock.sbk(1),156(25,127))*/
Win,Lose,Score;
/*#SDTREF(SDL,E:\candu\SDL_TTCN_Suite4.4\bin\wini386\GameBlock.sbk(1),164(52,130))*/
signalroute /*#E*/ 
R4 from 
/*#SDTREF(SDL,E:\candu\SDL_TTCN_Suite4.4\bin\wini386\GameBlock.sbk(1),104(15,15))*/
env to 
/*#SDTREF(SDL,E:\candu\SDL_TTCN_Suite4.4\bin\wini386\GameBlock.sbk(1),122(85,120))*/
Game with 
/*#SDTREF(SDL,E:\candu\SDL_TTCN_Suite4.4\bin\wini386\GameBlock.sbk(1),165(75,140))*/
Bump;
/*#SDTREF(SDL,E:\candu\SDL_TTCN_Suite4.4\bin\wini386\GameBlock.sbk(1),119(80,55))*/
process /*#E*/ 
Main(1,1) referenced;
/*#SDTREF(SDL,E:\candu\SDL_TTCN_Suite4.4\bin\wini386\GameBlock.sbk(1),122(85,120))*/
process /*#E*/ 
Game(0,1) referenced;
/*#SDTREF(SDL,E:\candu\SDL_TTCN_Suite4.4\bin\wini386\GameBlock.sbk(1),146(7,62))*/
connect /*#E*/ 
C1 and 
/*#SDTREF(SDL,E:\candu\SDL_TTCN_Suite4.4\bin\wini386\GameBlock.sbk(1),149(52,85))*/
R2, 
/*#SDTREF(SDL,E:\candu\SDL_TTCN_Suite4.4\bin\wini386\GameBlock.sbk(1),140(50,57))*/
R1;
/*#SDTREF(SDL,E:\candu\SDL_TTCN_Suite4.4\bin\wini386\GameBlock.sbk(1),179(7,122))*/
connect /*#E*/ 
C2 and 
/*#SDTREF(SDL,E:\candu\SDL_TTCN_Suite4.4\bin\wini386\GameBlock.sbk(1),155(52,117))*/
R3;
/*#SDTREF(SDL,E:\candu\SDL_TTCN_Suite4.4\bin\wini386\GameBlock.sbk(1),170(7,135))*/
connect /*#E*/ 
C3 and 
/*#SDTREF(SDL,E:\candu\SDL_TTCN_Suite4.4\bin\wini386\GameBlock.sbk(1),164(52,130))*/
R4;
/*#SDTREF(SDL,E:\candu\SDL_TTCN_Suite4.4\bin\wini386\GameBlock.sbk,4)*/
endblock GameBlock;
/*#SDTREF(SDL,E:\candu\SDL_TTCN_Suite4.4\bin\wini386\Main.spr,4)*/
process Main;
/*#SDTREF(SDL,E:\candu\SDL_TTCN_Suite4.4\bin\wini386\Main.spr(1),116(155,25))*/
DCL
GameP Pid;
/*#SDTREF(SDL,E:\candu\SDL_TTCN_Suite4.4\bin\wini386\Main.spr(1),119(65,25))*/
start /*#E*/ 
;
/*#SDTREF(SDL,E:\candu\SDL_TTCN_Suite4.4\bin\wini386\Main.spr(1),122(65,45))*/
nextstate /*#E*/ 
Game_off;
/*#SDTREF(SDL,E:\candu\SDL_TTCN_Suite4.4\bin\wini386\Main.spr(1),122(65,45))*/
state /*#E*/ 
Game_off;
/*#SDTREF(SDL,E:\candu\SDL_TTCN_Suite4.4\bin\wini386\Main.spr(1),125(65,65))*/
input /*#E*/ 
NewGame;
/*#SDTREF(SDL,E:\candu\SDL_TTCN_Suite4.4\bin\wini386\Main.spr(1),128(65,85))*/
create /*#E*/ 
Game;
/*#SDTREF(SDL,E:\candu\SDL_TTCN_Suite4.4\bin\wini386\Main.spr(1),179(65,105))*/
task /*#E*/ 
GameP:=
offspring;
/*#SDTREF(SDL,E:\candu\SDL_TTCN_Suite4.4\bin\wini386\Main.spr(1),134(65,125))*/
nextstate /*#E*/ 
Game_on;
/*#SDTREF(SDL,E:\candu\SDL_TTCN_Suite4.4\bin\wini386\Main.spr(1),122(65,45))*/
endstate;
/*#SDTREF(SDL,E:\candu\SDL_TTCN_Suite4.4\bin\wini386\Main.spr(1),137(105,45))*/
state /*#E*/ 
Game_on;
/*#SDTREF(SDL,E:\candu\SDL_TTCN_Suite4.4\bin\wini386\Main.spr(1),140(105,65))*/
input /*#E*/ 
EndGame;
/*#SDTREF(SDL,E:\candu\SDL_TTCN_Suite4.4\bin\wini386\Main.spr(1),143(105,85))*/
output /*#E*/ 
GameOver;
/*#SDTREF(SDL,E:\candu\SDL_TTCN_Suite4.4\bin\wini386\Main.spr(1),146(105,105))*/
task /*#E*/ 
GameP :=
null;
/*#SDTREF(SDL,E:\candu\SDL_TTCN_Suite4.4\bin\wini386\Main.spr(1),149(105,125))*/
nextstate /*#E*/ 
Game_off;
/*#SDTREF(SDL,E:\candu\SDL_TTCN_Suite4.4\bin\wini386\Main.spr(1),137(105,45))*/
endstate;
/*#SDTREF(SDL,E:\candu\SDL_TTCN_Suite4.4\bin\wini386\Main.spr,4)*/
endprocess Main;
/*#SDTREF(SDL,E:\candu\SDL_TTCN_Suite4.4\bin\wini386\Game.spr,4)*/
process Game;
/*#SDTREF(SDL,E:\candu\SDL_TTCN_Suite4.4\bin\wini386\Game.spr(1),116(5,30))*/
DCL
Count Integer;
/*#SDTREF(SDL,E:\candu\SDL_TTCN_Suite4.4\bin\wini386\Game.spr(1),119(40,30))*/
start /*#E*/ 
;
/*#SDTREF(SDL,E:\candu\SDL_TTCN_Suite4.4\bin\wini386\Game.spr(1),122(40,50))*/
task /*#E*/ 
Count := 0;
/*#SDTREF(SDL,E:\candu\SDL_TTCN_Suite4.4\bin\wini386\Game.spr(1),131(40,75))*/
nextstate /*#E*/ 
Losing;
/*#SDTREF(SDL,E:\candu\SDL_TTCN_Suite4.4\bin\wini386\Game.spr(1),131(40,75))*/
state /*#E*/ 
Losing;
/*#SDTREF(SDL,E:\candu\SDL_TTCN_Suite4.4\bin\wini386\Game.spr(1),158(10,95))*/
input /*#E*/ 
Probe;
/*#SDTREF(SDL,E:\candu\SDL_TTCN_Suite4.4\bin\wini386\Game.spr(1),161(10,115))*/
output /*#E*/ 
Lose;
/*#SDTREF(SDL,E:\candu\SDL_TTCN_Suite4.4\bin\wini386\Game.spr(1),167(10,135))*/
task /*#E*/ 
Count :=
 Count -1;
/*#SDTREF(SDL,E:\candu\SDL_TTCN_Suite4.4\bin\wini386\Game.spr(1),170(10,155))*/
nextstate /*#E*/ 
-;
/*#SDTREF(SDL,E:\candu\SDL_TTCN_Suite4.4\bin\wini386\Game.spr(1),134(40,95))*/
input /*#E*/ 
Bump;
/*#SDTREF(SDL,E:\candu\SDL_TTCN_Suite4.4\bin\wini386\Game.spr(1),137(40,115))*/
nextstate /*#E*/ 
Wining;
/*#SDTREF(SDL,E:\candu\SDL_TTCN_Suite4.4\bin\wini386\Game.spr(1),131(40,75))*/
endstate;
/*#SDTREF(SDL,E:\candu\SDL_TTCN_Suite4.4\bin\wini386\Game.spr(1),137(40,115))*/
state /*#E*/ 
Wining;
/*#SDTREF(SDL,E:\candu\SDL_TTCN_Suite4.4\bin\wini386\Game.spr(1),197(75,130))*/
input /*#E*/ 
Probe;
/*#SDTREF(SDL,E:\candu\SDL_TTCN_Suite4.4\bin\wini386\Game.spr(1),194(75,150))*/
output /*#E*/ 
Win;
/*#SDTREF(SDL,E:\candu\SDL_TTCN_Suite4.4\bin\wini386\Game.spr(1),191(75,170))*/
task /*#E*/ 
Count :=
 Count +1;
/*#SDTREF(SDL,E:\candu\SDL_TTCN_Suite4.4\bin\wini386\Game.spr(1),188(75,190))*/
nextstate /*#E*/ 
-;
/*#SDTREF(SDL,E:\candu\SDL_TTCN_Suite4.4\bin\wini386\Game.spr(1),140(40,135))*/
input /*#E*/ 
Bump;
/*#SDTREF(SDL,E:\candu\SDL_TTCN_Suite4.4\bin\wini386\Game.spr(1),143(40,155))*/
nextstate /*#E*/ 
Losing;
/*#SDTREF(SDL,E:\candu\SDL_TTCN_Suite4.4\bin\wini386\Game.spr(1),137(40,115))*/
endstate;
/*#SDTREF(SDL,E:\candu\SDL_TTCN_Suite4.4\bin\wini386\Game.spr(1),209(75,30))*/
state /*#E*/ 
*;
/*#SDTREF(SDL,E:\candu\SDL_TTCN_Suite4.4\bin\wini386\Game.spr(1),212(75,50))*/
input /*#E*/ 
Result;
/*#SDTREF(SDL,E:\candu\SDL_TTCN_Suite4.4\bin\wini386\Game.spr(1),230(75,70))*/
output /*#E*/ 
Score
(Count);
/*#SDTREF(SDL,E:\candu\SDL_TTCN_Suite4.4\bin\wini386\Game.spr(1),233(75,90))*/
nextstate /*#E*/ 
-;
/*#SDTREF(SDL,E:\candu\SDL_TTCN_Suite4.4\bin\wini386\Game.spr(1),215(110,50))*/
input /*#E*/ 
GameOver;
/*#SDTREF(SDL,E:\candu\SDL_TTCN_Suite4.4\bin\wini386\Game.spr(1),218(120,70))*/
stop /*#E*/ 
;
/*#SDTREF(SDL,E:\candu\SDL_TTCN_Suite4.4\bin\wini386\Game.spr(1),209(75,30))*/
endstate;
/*#SDTREF(SDL,E:\candu\SDL_TTCN_Suite4.4\bin\wini386\Game.spr,4)*/
endprocess Game;
/*#SDTREF(SDL,E:\candu\SDL_TTCN_Suite4.4\bin\wini386\DemonBlock.sbk,4)*/
block DemonBlock;
/*#SDTREF(SDL,E:\candu\SDL_TTCN_Suite4.4\bin\wini386\DemonBlock.sbk(1),119(47,65))*/
signalroute /*#E*/ 
R1 from 
/*#SDTREF(SDL,E:\candu\SDL_TTCN_Suite4.4\bin\wini386\DemonBlock.sbk(1),116(75,60))*/
Demon to 
/*#SDTREF(SDL,E:\candu\SDL_TTCN_Suite4.4\bin\wini386\DemonBlock.sbk(1),104(15,15))*/
env with 
/*#SDTREF(SDL,E:\candu\SDL_TTCN_Suite4.4\bin\wini386\DemonBlock.sbk(1),120(42,75))*/
Bump;
/*#SDTREF(SDL,E:\candu\SDL_TTCN_Suite4.4\bin\wini386\DemonBlock.sbk(1),116(75,60))*/
process /*#E*/ 
Demon(1,1) referenced;
/*#SDTREF(SDL,E:\candu\SDL_TTCN_Suite4.4\bin\wini386\DemonBlock.sbk(1),125(7,70))*/
connect /*#E*/ 
C3 and 
/*#SDTREF(SDL,E:\candu\SDL_TTCN_Suite4.4\bin\wini386\DemonBlock.sbk(1),119(47,65))*/
R1;
/*#SDTREF(SDL,E:\candu\SDL_TTCN_Suite4.4\bin\wini386\DemonBlock.sbk,4)*/
endblock DemonBlock;
/*#SDTREF(SDL,E:\candu\SDL_TTCN_Suite4.4\bin\wini386\Demon.spr,4)*/
process Demon;
/*#SDTREF(SDL,E:\candu\SDL_TTCN_Suite4.4\bin\wini386\Demon.spr(1),137(100,30))*/
Timer T;
/*#SDTREF(SDL,E:\candu\SDL_TTCN_Suite4.4\bin\wini386\Demon.spr(1),116(10,30))*/
start /*#E*/ 
;
/*#SDTREF(SDL,E:\candu\SDL_TTCN_Suite4.4\bin\wini386\Demon.spr(1),122(10,55))*/
/*#E*/ 
Set
(Now+1,T);
/*#SDTREF(SDL,E:\candu\SDL_TTCN_Suite4.4\bin\wini386\Demon.spr(1),128(10,80))*/
nextstate /*#E*/ 
Generate;
/*#SDTREF(SDL,E:\candu\SDL_TTCN_Suite4.4\bin\wini386\Demon.spr(1),134(60,30))*/
state /*#E*/ 
Generate;
/*#SDTREF(SDL,E:\candu\SDL_TTCN_Suite4.4\bin\wini386\Demon.spr(1),149(60,50))*/
input /*#E*/ 
T;
/*#SDTREF(SDL,E:\candu\SDL_TTCN_Suite4.4\bin\wini386\Demon.spr(1),155(60,70))*/
output /*#E*/ 
Bump;
/*#SDTREF(SDL,E:\candu\SDL_TTCN_Suite4.4\bin\wini386\Demon.spr(1),161(60,95))*/
/*#E*/ 
Set
(Now+1,T);
/*#SDTREF(SDL,E:\candu\SDL_TTCN_Suite4.4\bin\wini386\Demon.spr(1),167(60,120))*/
nextstate /*#E*/ 
-
;
/*#SDTREF(SDL,E:\candu\SDL_TTCN_Suite4.4\bin\wini386\Demon.spr(1),134(60,30))*/
endstate;
/*#SDTREF(SDL,E:\candu\SDL_TTCN_Suite4.4\bin\wini386\Demon.spr,4)*/
endprocess Demon;