*********************************************************************** ** 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) 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) CONNECTION #SDTREF(SDL,"C:\\Documents and Settings\\student\\Рабочий стол\\Задание 2\\Var.22\\CardReader.sbk"(1),167(7,47),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\\CardReader.sbk"(1),179(7,57),1,1) 2 CHANNEL C4 #SDTREF(SDL,"C:\\Documents and Settings\\student\\Рабочий стол\\Задание 2\\Var.22\\ControlSystem.ssy"(1),134(130,60),1,1) 2 CHANNEL C3 #SDTREF(SDL,"C:\\Documents and Settings\\student\\Рабочий стол\\Задание 2\\Var.22\\ControlSystem.ssy"(1),164(65,72),1,1) 2 CHANNEL C6 #SDTREF(SDL,"C:\\Documents and Settings\\student\\Рабочий стол\\Задание 2\\Var.22\\ControlSystem.ssy"(1),437(55,97),1,1) 2 CHANNEL C5 #SDTREF(SDL,"C:\\Documents and Settings\\student\\Рабочий стол\\Задание 2\\Var.22\\ControlSystem.ssy"(1),152(103,81),1,1) 2 BLOCK CardReader #SDTREF(SDL,"C:\\Documents and Settings\\student\\Рабочий стол\\Задание 2\\Var.22\\CardReader.sbk",4,1,7) 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) REFERENCE #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\\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) CHANNEL #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\\CardReader.sbk",4,1,7) *********************************************************************** 3 SIGNAL InCard #SDTREF(SDL,"C:\\Documents and Settings\\student\\Рабочий стол\\Задание 2\\Var.22\\CardReader.sbk"(1),119(65,25),1,8) SIGNALROUTE #SDTREF(SDL,"C:\\Documents and Settings\\student\\Рабочий стол\\Задание 2\\Var.22\\CardReader.sbk"(1),123(20,45),1,1) INPUT #SDTREF(SDL,"C:\\Documents and Settings\\student\\Рабочий стол\\Задание 2\\Var.22\\CardReader.spr"(1),185(35,55),1,1) 3 SIGNAL InCode #SDTREF(SDL,"C:\\Documents and Settings\\student\\Рабочий стол\\Задание 2\\Var.22\\CardReader.sbk"(1),119(65,25),1,16) SIGNALROUTE #SDTREF(SDL,"C:\\Documents and Settings\\student\\Рабочий стол\\Задание 2\\Var.22\\CardReader.sbk"(1),132(20,62),1,1) OUTPUT #SDTREF(SDL,"C:\\Documents and Settings\\student\\Рабочий стол\\Задание 2\\Var.22\\CardReader.spr"(1),164(35,75),1,1) 3 SIGNALROUTE K1 #SDTREF(SDL,"C:\\Documents and Settings\\student\\Рабочий стол\\Задание 2\\Var.22\\CardReader.sbk"(1),122(54,43),1,1) CONNECTION #SDTREF(SDL,"C:\\Documents and Settings\\student\\Рабочий стол\\Задание 2\\Var.22\\CardReader.sbk"(1),122(54,43),1,1) 3 SIGNALROUTE K2 #SDTREF(SDL,"C:\\Documents and Settings\\student\\Рабочий стол\\Задание 2\\Var.22\\CardReader.sbk"(1),131(55,62),1,1) CONNECTION #SDTREF(SDL,"C:\\Documents and Settings\\student\\Рабочий стол\\Задание 2\\Var.22\\CardReader.sbk"(1),131(55,62),1,1) 3 PROCESS CardReader #SDTREF(SDL,"C:\\Documents and Settings\\student\\Рабочий стол\\Задание 2\\Var.22\\CardReader.spr",4,1,9) SIGNALROUTE #SDTREF(SDL,"C:\\Documents and Settings\\student\\Рабочий стол\\Задание 2\\Var.22\\CardReader.sbk"(1),116(65,45),1,1) SIGNALROUTE #SDTREF(SDL,"C:\\Documents and Settings\\student\\Рабочий стол\\Задание 2\\Var.22\\CardReader.sbk"(1),116(65,45),1,1) REFERENCE #SDTREF(SDL,"C:\\Documents and Settings\\student\\Рабочий стол\\Задание 2\\Var.22\\CardReader.sbk"(1),116(65,45),1,1) *********************************************************************** ** PROCESS CardReader ** <> ** #SDTREF(SDL,"C:\\Documents and Settings\\student\\Рабочий стол\\Задание 2\\Var.22\\CardReader.spr",4,1,9) *********************************************************************** 4 DCL param #SDTREF(SDL,"C:\\Documents and Settings\\student\\Рабочий стол\\Задание 2\\Var.22\\CardReader.spr"(1),206(80,35),1,5) 4 STATE Generate #SDTREF(SDL,"C:\\Documents and Settings\\student\\Рабочий стол\\Задание 2\\Var.22\\CardReader.spr"(1),218(40,35),1,1) NEXTSTATE #SDTREF(SDL,"C:\\Documents and Settings\\student\\Рабочий стол\\Задание 2\\Var.22\\CardReader.spr"(1),212(10,55),1,1) *********************************************************************** ** BLOCK CheckPoint ** <> ** #SDTREF(SDL,"C:\\Documents and Settings\\student\\Рабочий стол\\Задание 2\\Var.22\\ControlSystem.ssy"(1),119(90,60),1,1) *********************************************************************** *********************************************************************** ** BLOCK Processor ** <> ** #SDTREF(SDL,"C:\\Documents and Settings\\student\\Рабочий стол\\Задание 2\\Var.22\\ControlSystem.ssy"(1),122(125,95),1,1) ***********************************************************************