*********************************************************************** ** PACKAGE Predefined ** #SDTREF(TEXT,C:\Telelogic\SDL_TTCN_Suite4.4\sdt\sdtdir\wini386\predef.sdl,20,9) *********************************************************************** 2 NEWTYPE Boolean #SDTREF(TEXT,C:\Telelogic\SDL_TTCN_Suite4.4\sdt\sdtdir\wini386\predef.sdl,22,10) 2 NEWTYPE Character #SDTREF(TEXT,C:\Telelogic\SDL_TTCN_Suite4.4\sdt\sdtdir\wini386\predef.sdl,33,9) 2 NEWTYPE Charstring #SDTREF(TEXT,C:\Telelogic\SDL_TTCN_Suite4.4\sdt\sdtdir\wini386\predef.sdl,91,9) 2 NEWTYPE Integer #SDTREF(TEXT,C:\Telelogic\SDL_TTCN_Suite4.4\sdt\sdtdir\wini386\predef.sdl,125,9) 2 NEWTYPE Real #SDTREF(TEXT,C:\Telelogic\SDL_TTCN_Suite4.4\sdt\sdtdir\wini386\predef.sdl,146,9) 2 NEWTYPE Pid #SDTREF(TEXT,C:\Telelogic\SDL_TTCN_Suite4.4\sdt\sdtdir\wini386\predef.sdl,214,9) 2 NEWTYPE Duration #SDTREF(TEXT,C:\Telelogic\SDL_TTCN_Suite4.4\sdt\sdtdir\wini386\predef.sdl,220,9) 2 NEWTYPE Time #SDTREF(TEXT,C:\Telelogic\SDL_TTCN_Suite4.4\sdt\sdtdir\wini386\predef.sdl,236,9) 2 NEWTYPE Bit #SDTREF(TEXT,C:\Telelogic\SDL_TTCN_Suite4.4\sdt\sdtdir\wini386\predef.sdl,250,9) 2 NEWTYPE Bit_string #SDTREF(TEXT,C:\Telelogic\SDL_TTCN_Suite4.4\sdt\sdtdir\wini386\predef.sdl,260,9) 2 NEWTYPE Octet #SDTREF(TEXT,C:\Telelogic\SDL_TTCN_Suite4.4\sdt\sdtdir\wini386\predef.sdl,281,9) 2 NEWTYPE Octet_string #SDTREF(TEXT,C:\Telelogic\SDL_TTCN_Suite4.4\sdt\sdtdir\wini386\predef.sdl,312,9) 2 NEWTYPE NULL #SDTREF(TEXT,C:\Telelogic\SDL_TTCN_Suite4.4\sdt\sdtdir\wini386\predef.sdl,330,9) 2 NEWTYPE Object_identifier #SDTREF(TEXT,C:\Telelogic\SDL_TTCN_Suite4.4\sdt\sdtdir\wini386\predef.sdl,334,9) 2 NEWTYPE Any_type #SDTREF(TEXT,C:\Telelogic\SDL_TTCN_Suite4.4\sdt\sdtdir\wini386\predef.sdl,349,9) 2 SYNTYPE IA5String #SDTREF(TEXT,C:\Telelogic\SDL_TTCN_Suite4.4\sdt\sdtdir\wini386\predef.sdl,106,3) 2 SYNTYPE NumericString #SDTREF(TEXT,C:\Telelogic\SDL_TTCN_Suite4.4\sdt\sdtdir\wini386\predef.sdl,111,3) 2 SYNTYPE PrintableString #SDTREF(TEXT,C:\Telelogic\SDL_TTCN_Suite4.4\sdt\sdtdir\wini386\predef.sdl,116,3) 2 SYNTYPE VisibleString #SDTREF(TEXT,C:\Telelogic\SDL_TTCN_Suite4.4\sdt\sdtdir\wini386\predef.sdl,121,3) 2 SYNTYPE Natural #SDTREF(TEXT,C:\Telelogic\SDL_TTCN_Suite4.4\sdt\sdtdir\wini386\predef.sdl,144,9) 2 GENERATOR String #SDTREF(TEXT,C:\Telelogic\SDL_TTCN_Suite4.4\sdt\sdtdir\wini386\predef.sdl,76,11) 2 GENERATOR Array #SDTREF(TEXT,C:\Telelogic\SDL_TTCN_Suite4.4\sdt\sdtdir\wini386\predef.sdl,164,11) 2 GENERATOR Powerset #SDTREF(TEXT,C:\Telelogic\SDL_TTCN_Suite4.4\sdt\sdtdir\wini386\predef.sdl,171,11) 2 GENERATOR Bag #SDTREF(TEXT,C:\Telelogic\SDL_TTCN_Suite4.4\sdt\sdtdir\wini386\predef.sdl,192,11) 2 GENERATOR Own #SDTREF(TEXT,C:\Telelogic\SDL_TTCN_Suite4.4\sdt\sdtdir\wini386\predef.sdl,352,11) 2 GENERATOR Oref #SDTREF(TEXT,C:\Telelogic\SDL_TTCN_Suite4.4\sdt\sdtdir\wini386\predef.sdl,362,11) 2 SYNONYM PLUS_INFINITY #SDTREF(TEXT,C:\Telelogic\SDL_TTCN_Suite4.4\sdt\sdtdir\wini386\predef.sdl,161,9) 2 SYNONYM MINUS_INFINITY #SDTREF(TEXT,C:\Telelogic\SDL_TTCN_Suite4.4\sdt\sdtdir\wini386\predef.sdl,162,9) *********************************************************************** ** SYSTEM ControlSystem ** #SDTREF(SDL,"C:\\Documents and Settings\\student\\Рабочий стол\\Задание 2\\Var.22\\ControlSystem.ssy",4,1,8) *********************************************************************** 2 SIGNAL InCard #SDTREF(SDL,"C:\\Documents and Settings\\student\\Рабочий стол\\Задание 2\\Var.22\\ControlSystem.ssy"(1),209(55,25),1,8) CHANNEL #SDTREF(SDL,"C:\\Documents and Settings\\student\\Рабочий стол\\Задание 2\\Var.22\\ControlSystem.ssy"(1),126(25,50),1,1) 2 SIGNAL InCode #SDTREF(SDL,"C:\\Documents and Settings\\student\\Рабочий стол\\Задание 2\\Var.22\\ControlSystem.ssy"(1),209(55,25),1,16) CHANNEL #SDTREF(SDL,"C:\\Documents and Settings\\student\\Рабочий стол\\Задание 2\\Var.22\\ControlSystem.ssy"(1),258(112,47),1,1) 2 SIGNAL Ask #SDTREF(SDL,"C:\\Documents and Settings\\student\\Рабочий стол\\Задание 2\\Var.22\\ControlSystem.ssy"(1),209(55,25),1,24) CHANNEL #SDTREF(SDL,"C:\\Documents and Settings\\student\\Рабочий стол\\Задание 2\\Var.22\\ControlSystem.ssy"(1),135(147,87),1,1) 2 SIGNAL Answer #SDTREF(SDL,"C:\\Documents and Settings\\student\\Рабочий стол\\Задание 2\\Var.22\\ControlSystem.ssy"(1),209(55,25),1,29) CHANNEL #SDTREF(SDL,"C:\\Documents and Settings\\student\\Рабочий стол\\Задание 2\\Var.22\\ControlSystem.ssy"(1),153(113,93),1,1) SIGNALROUTE #SDTREF(SDL,"C:\\Documents and Settings\\student\\Рабочий стол\\Задание 2\\Var.22\\CheckPoint1.sbk"(1),168(60,100),1,1) 2 SIGNAL GateStatus #SDTREF(SDL,"C:\\Documents and Settings\\student\\Рабочий стол\\Задание 2\\Var.22\\ControlSystem.ssy"(1),209(55,25),1,37) CHANNEL #SDTREF(SDL,"C:\\Documents and Settings\\student\\Рабочий стол\\Задание 2\\Var.22\\ControlSystem.ssy"(1),165(36,80),1,1) 2 SIGNAL NewUser #SDTREF(SDL,"C:\\Documents and Settings\\student\\Рабочий стол\\Задание 2\\Var.22\\ControlSystem.ssy"(1),209(55,25),1,49) CHANNEL #SDTREF(SDL,"C:\\Documents and Settings\\student\\Рабочий стол\\Задание 2\\Var.22\\ControlSystem.ssy"(1),438(35,97),1,1) 2 CHANNEL C1 #SDTREF(SDL,"C:\\Documents and Settings\\student\\Рабочий стол\\Задание 2\\Var.22\\ControlSystem.ssy"(1),125(40,42),1,1) 2 CHANNEL C2 #SDTREF(SDL,"C:\\Documents and Settings\\student\\Рабочий стол\\Задание 2\\Var.22\\ControlSystem.ssy"(1),257(90,42),1,1) CONNECTION #SDTREF(SDL,"C:\\Documents and Settings\\student\\Рабочий стол\\Задание 2\\Var.22\\CheckPoint1.sbk"(1),128(7,52),1,1) 2 CHANNEL C4 #SDTREF(SDL,"C:\\Documents and Settings\\student\\Рабочий стол\\Задание 2\\Var.22\\ControlSystem.ssy"(1),134(130,60),1,1) CONNECTION #SDTREF(SDL,"C:\\Documents and Settings\\student\\Рабочий стол\\Задание 2\\Var.22\\CheckPoint1.sbk"(1),152(7,80),1,1) 2 CHANNEL C3 #SDTREF(SDL,"C:\\Documents and Settings\\student\\Рабочий стол\\Задание 2\\Var.22\\ControlSystem.ssy"(1),164(65,72),1,1) CONNECTION #SDTREF(SDL,"C:\\Documents and Settings\\student\\Рабочий стол\\Задание 2\\Var.22\\CheckPoint1.sbk"(1),245(7,62),1,1) 2 CHANNEL C6 #SDTREF(SDL,"C:\\Documents and Settings\\student\\Рабочий стол\\Задание 2\\Var.22\\ControlSystem.ssy"(1),437(55,97),1,1) CONNECTION #SDTREF(SDL,"C:\\Documents and Settings\\student\\Рабочий стол\\Задание 2\\Var.22\\CheckPoint1.sbk"(1),311(7,107),1,1) 2 CHANNEL C5 #SDTREF(SDL,"C:\\Documents and Settings\\student\\Рабочий стол\\Задание 2\\Var.22\\ControlSystem.ssy"(1),152(103,81),1,1) CONNECTION #SDTREF(SDL,"C:\\Documents and Settings\\student\\Рабочий стол\\Задание 2\\Var.22\\CheckPoint1.sbk"(1),347(7,102),1,1) 2 BLOCK CardReader #SDTREF(SDL,"C:\\Documents and Settings\\student\\Рабочий стол\\Задание 2\\Var.22\\ControlSystem.ssy"(1),251(50,40),1,1) CHANNEL #SDTREF(SDL,"C:\\Documents and Settings\\student\\Рабочий стол\\Задание 2\\Var.22\\ControlSystem.ssy"(1),251(50,40),1,1) CHANNEL #SDTREF(SDL,"C:\\Documents and Settings\\student\\Рабочий стол\\Задание 2\\Var.22\\ControlSystem.ssy"(1),251(50,40),1,1) 2 BLOCK CheckPoint #SDTREF(SDL,"C:\\Documents and Settings\\student\\Рабочий стол\\Задание 2\\Var.22\\CheckPoint1.sbk",4,1,7) CHANNEL #SDTREF(SDL,"C:\\Documents and Settings\\student\\Рабочий стол\\Задание 2\\Var.22\\ControlSystem.ssy"(1),119(90,60),1,1) CHANNEL #SDTREF(SDL,"C:\\Documents and Settings\\student\\Рабочий стол\\Задание 2\\Var.22\\ControlSystem.ssy"(1),119(90,60),1,1) CHANNEL #SDTREF(SDL,"C:\\Documents and Settings\\student\\Рабочий стол\\Задание 2\\Var.22\\ControlSystem.ssy"(1),119(90,60),1,1) CHANNEL #SDTREF(SDL,"C:\\Documents and Settings\\student\\Рабочий стол\\Задание 2\\Var.22\\ControlSystem.ssy"(1),119(90,60),1,1) CHANNEL #SDTREF(SDL,"C:\\Documents and Settings\\student\\Рабочий стол\\Задание 2\\Var.22\\ControlSystem.ssy"(1),119(90,60),1,1) REFERENCE #SDTREF(SDL,"C:\\Documents and Settings\\student\\Рабочий стол\\Задание 2\\Var.22\\ControlSystem.ssy"(1),119(90,60),1,1) 2 BLOCK Processor #SDTREF(SDL,"C:\\Documents and Settings\\student\\Рабочий стол\\Задание 2\\Var.22\\ControlSystem.ssy"(1),122(125,95),1,1) CHANNEL #SDTREF(SDL,"C:\\Documents and Settings\\student\\Рабочий стол\\Задание 2\\Var.22\\ControlSystem.ssy"(1),122(125,95),1,1) CHANNEL #SDTREF(SDL,"C:\\Documents and Settings\\student\\Рабочий стол\\Задание 2\\Var.22\\ControlSystem.ssy"(1),122(125,95),1,1) *********************************************************************** ** BLOCK CardReader ** <> ** #SDTREF(SDL,"C:\\Documents and Settings\\student\\Рабочий стол\\Задание 2\\Var.22\\ControlSystem.ssy"(1),251(50,40),1,1) *********************************************************************** *********************************************************************** ** BLOCK CheckPoint ** <> ** #SDTREF(SDL,"C:\\Documents and Settings\\student\\Рабочий стол\\Задание 2\\Var.22\\CheckPoint1.sbk",4,1,7) *********************************************************************** 3 SIGNAL Incode #SDTREF(SDL,"C:\\Documents and Settings\\student\\Рабочий стол\\Задание 2\\Var.22\\CheckPoint1.sbk"(1),218(80,25),1,8) SIGNALROUTE #SDTREF(SDL,"C:\\Documents and Settings\\student\\Рабочий стол\\Задание 2\\Var.22\\CheckPoint1.sbk"(1),123(60,50),1,1) INPUT #SDTREF(SDL,"C:\\Documents and Settings\\student\\Рабочий стол\\Задание 2\\Var.22\\CheckPoint.spr"(1),416(90,35),1,1) 3 SIGNAL Result #SDTREF(SDL,"C:\\Documents and Settings\\student\\Рабочий стол\\Задание 2\\Var.22\\CheckPoint1.sbk"(1),218(80,25),1,16) 3 SIGNAL Ask #SDTREF(SDL,"C:\\Documents and Settings\\student\\Рабочий стол\\Задание 2\\Var.22\\CheckPoint1.sbk"(1),218(80,25),1,24) SIGNALROUTE #SDTREF(SDL,"C:\\Documents and Settings\\student\\Рабочий стол\\Задание 2\\Var.22\\CheckPoint1.sbk"(1),147(17,85),1,1) OUTPUT #SDTREF(SDL,"C:\\Documents and Settings\\student\\Рабочий стол\\Задание 2\\Var.22\\CheckPoint.spr"(1),482(90,55),1,1) 3 SIGNAL GateStatus #SDTREF(SDL,"C:\\Documents and Settings\\student\\Рабочий стол\\Задание 2\\Var.22\\CheckPoint1.sbk"(1),218(80,25),1,29) SIGNALROUTE #SDTREF(SDL,"C:\\Documents and Settings\\student\\Рабочий стол\\Задание 2\\Var.22\\CheckPoint1.sbk"(1),138(17,67),1,1) 3 SIGNAL NewUser #SDTREF(SDL,"C:\\Documents and Settings\\student\\Рабочий стол\\Задание 2\\Var.22\\CheckPoint1.sbk"(1),218(80,25),1,41) SIGNALROUTE #SDTREF(SDL,"C:\\Documents and Settings\\student\\Рабочий стол\\Задание 2\\Var.22\\CheckPoint1.sbk"(1),297(17,112),1,1) 3 SIGNALROUTE K1 #SDTREF(SDL,"C:\\Documents and Settings\\student\\Рабочий стол\\Задание 2\\Var.22\\CheckPoint1.sbk"(1),122(47,50),1,1) CONNECTION #SDTREF(SDL,"C:\\Documents and Settings\\student\\Рабочий стол\\Задание 2\\Var.22\\CheckPoint1.sbk"(1),122(47,50),1,1) 3 SIGNALROUTE K2 #SDTREF(SDL,"C:\\Documents and Settings\\student\\Рабочий стол\\Задание 2\\Var.22\\CheckPoint1.sbk"(1),137(47,60),1,1) CONNECTION #SDTREF(SDL,"C:\\Documents and Settings\\student\\Рабочий стол\\Задание 2\\Var.22\\CheckPoint1.sbk"(1),137(47,60),1,1) 3 SIGNALROUTE K3 #SDTREF(SDL,"C:\\Documents and Settings\\student\\Рабочий стол\\Задание 2\\Var.22\\CheckPoint1.sbk"(1),146(30,85),1,1) CONNECTION #SDTREF(SDL,"C:\\Documents and Settings\\student\\Рабочий стол\\Задание 2\\Var.22\\CheckPoint1.sbk"(1),146(30,85),1,1) 3 SIGNALROUTE K5 #SDTREF(SDL,"C:\\Documents and Settings\\student\\Рабочий стол\\Задание 2\\Var.22\\CheckPoint1.sbk"(1),296(102,85),1,1) CONNECTION #SDTREF(SDL,"C:\\Documents and Settings\\student\\Рабочий стол\\Задание 2\\Var.22\\CheckPoint1.sbk"(1),296(102,85),1,1) 3 SIGNALROUTE K4 #SDTREF(SDL,"C:\\Documents and Settings\\student\\Рабочий стол\\Задание 2\\Var.22\\CheckPoint1.sbk"(1),167(47,100),1,1) CONNECTION #SDTREF(SDL,"C:\\Documents and Settings\\student\\Рабочий стол\\Задание 2\\Var.22\\CheckPoint1.sbk"(1),167(47,100),1,1) 3 PROCESS CheckPoint #SDTREF(SDL,"C:\\Documents and Settings\\student\\Рабочий стол\\Задание 2\\Var.22\\CheckPoint.spr",4,1,9) SIGNALROUTE #SDTREF(SDL,"C:\\Documents and Settings\\student\\Рабочий стол\\Задание 2\\Var.22\\CheckPoint1.sbk"(1),116(75,50),1,1) SIGNALROUTE #SDTREF(SDL,"C:\\Documents and Settings\\student\\Рабочий стол\\Задание 2\\Var.22\\CheckPoint1.sbk"(1),116(75,50),1,1) SIGNALROUTE #SDTREF(SDL,"C:\\Documents and Settings\\student\\Рабочий стол\\Задание 2\\Var.22\\CheckPoint1.sbk"(1),116(75,50),1,1) SIGNALROUTE #SDTREF(SDL,"C:\\Documents and Settings\\student\\Рабочий стол\\Задание 2\\Var.22\\CheckPoint1.sbk"(1),116(75,50),1,1) SIGNALROUTE #SDTREF(SDL,"C:\\Documents and Settings\\student\\Рабочий стол\\Задание 2\\Var.22\\CheckPoint1.sbk"(1),116(75,50),1,1) REFERENCE #SDTREF(SDL,"C:\\Documents and Settings\\student\\Рабочий стол\\Задание 2\\Var.22\\CheckPoint1.sbk"(1),116(75,50),1,1) *********************************************************************** ** PROCESS CheckPoint ** <> ** #SDTREF(SDL,"C:\\Documents and Settings\\student\\Рабочий стол\\Задание 2\\Var.22\\CheckPoint.spr",4,1,9) *********************************************************************** 4 DCL i #SDTREF(SDL,"C:\\Documents and Settings\\student\\Рабочий стол\\Задание 2\\Var.22\\CheckPoint.spr"(1),302(140,25),1,5) DECISION #SDTREF(SDL,"C:\\Documents and Settings\\student\\Рабочий стол\\Задание 2\\Var.22\\CheckPoint.spr"(1),155(80,75),1,1) 4 DCL j #SDTREF(SDL,"C:\\Documents and Settings\\student\\Рабочий стол\\Задание 2\\Var.22\\CheckPoint.spr"(1),302(140,25),1,16) 4 STATE NewUser #SDTREF(SDL,"C:\\Documents and Settings\\student\\Рабочий стол\\Задание 2\\Var.22\\CheckPoint.spr"(1),407(90,15),1,1) NEXTSTATE #SDTREF(SDL,"C:\\Documents and Settings\\student\\Рабочий стол\\Задание 2\\Var.22\\CheckPoint.spr"(1),401(45,55),1,1) *********************************************************************** ** BLOCK Processor ** <> ** #SDTREF(SDL,"C:\\Documents and Settings\\student\\Рабочий стол\\Задание 2\\Var.22\\ControlSystem.ssy"(1),122(125,95),1,1) ***********************************************************************