*********************************************************************** ** 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 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) 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\\Processor.sbk"(1),128(7,57),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 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\\Processor.sbk"(1),137(7,67),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\\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\\Processor.sbk",4,1,7) 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) REFERENCE #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\\ControlSystem.ssy"(1),119(90,60),1,1) *********************************************************************** *********************************************************************** ** BLOCK Processor ** <> ** #SDTREF(SDL,"C:\\Documents and Settings\\student\\Рабочий стол\\Задание 2\\Var.22\\Processor.sbk",4,1,7) *********************************************************************** 3 SIGNAL Ask #SDTREF(SDL,"C:\\Documents and Settings\\student\\Рабочий стол\\Задание 2\\Var.22\\Processor.sbk"(1),146(75,25),1,8) SIGNALROUTE #SDTREF(SDL,"C:\\Documents and Settings\\student\\Рабочий стол\\Задание 2\\Var.22\\Processor.sbk"(1),123(67,52),1,1) 3 SIGNAL Answer #SDTREF(SDL,"C:\\Documents and Settings\\student\\Рабочий стол\\Задание 2\\Var.22\\Processor.sbk"(1),146(75,25),1,13) SIGNALROUTE #SDTREF(SDL,"C:\\Documents and Settings\\student\\Рабочий стол\\Задание 2\\Var.22\\Processor.sbk"(1),132(17,72),1,1) OUTPUT #SDTREF(SDL,"C:\\Documents and Settings\\student\\Рабочий стол\\Задание 2\\Var.22\\Processor.spr"(1),146(85,95),1,1) OUTPUT #SDTREF(SDL,"C:\\Documents and Settings\\student\\Рабочий стол\\Задание 2\\Var.22\\Processor.spr"(1),149(130,95),1,1) 3 SIGNALROUTE K1 #SDTREF(SDL,"C:\\Documents and Settings\\student\\Рабочий стол\\Задание 2\\Var.22\\Processor.sbk"(1),122(47,52),1,1) CONNECTION #SDTREF(SDL,"C:\\Documents and Settings\\student\\Рабочий стол\\Задание 2\\Var.22\\Processor.sbk"(1),122(47,52),1,1) 3 SIGNALROUTE K2 #SDTREF(SDL,"C:\\Documents and Settings\\student\\Рабочий стол\\Задание 2\\Var.22\\Processor.sbk"(1),131(47,62),1,1) CONNECTION #SDTREF(SDL,"C:\\Documents and Settings\\student\\Рабочий стол\\Задание 2\\Var.22\\Processor.sbk"(1),131(47,62),1,1) 3 PROCESS Processor #SDTREF(SDL,"C:\\Documents and Settings\\student\\Рабочий стол\\Задание 2\\Var.22\\Processor.spr",4,1,9) SIGNALROUTE #SDTREF(SDL,"C:\\Documents and Settings\\student\\Рабочий стол\\Задание 2\\Var.22\\Processor.sbk"(1),116(75,55),1,1) SIGNALROUTE #SDTREF(SDL,"C:\\Documents and Settings\\student\\Рабочий стол\\Задание 2\\Var.22\\Processor.sbk"(1),116(75,55),1,1) REFERENCE #SDTREF(SDL,"C:\\Documents and Settings\\student\\Рабочий стол\\Задание 2\\Var.22\\Processor.sbk"(1),116(75,55),1,1) *********************************************************************** ** PROCESS Processor ** <> ** #SDTREF(SDL,"C:\\Documents and Settings\\student\\Рабочий стол\\Задание 2\\Var.22\\Processor.spr",4,1,9) *********************************************************************** 4 DCL code1 #SDTREF(SDL,"C:\\Documents and Settings\\student\\Рабочий стол\\Задание 2\\Var.22\\Processor.spr"(1),170(125,45),1,5) DECISION #SDTREF(SDL,"C:\\Documents and Settings\\student\\Рабочий стол\\Задание 2\\Var.22\\Processor.spr"(1),137(75,65),1,1) 4 DCL code2 #SDTREF(SDL,"C:\\Documents and Settings\\student\\Рабочий стол\\Задание 2\\Var.22\\Processor.spr"(1),170(125,45),1,20) DECISION #SDTREF(SDL,"C:\\Documents and Settings\\student\\Рабочий стол\\Задание 2\\Var.22\\Processor.spr"(1),137(75,65),1,7) 4 STATE Generate #SDTREF(SDL,"C:\\Documents and Settings\\student\\Рабочий стол\\Задание 2\\Var.22\\Processor.spr"(1),125(90,25),1,1) NEXTSTATE #SDTREF(SDL,"C:\\Documents and Settings\\student\\Рабочий стол\\Задание 2\\Var.22\\Processor.spr"(1),119(40,45),1,1)