*********************************************************************** ** PACKAGE Predefined ** #SDTREF(TEXT,C:\SDL_TTCN_Suite4.4\sdt\sdtdir\wini386\predef.sdl,20,9) *********************************************************************** 2 NEWTYPE Boolean #SDTREF(TEXT,C:\SDL_TTCN_Suite4.4\sdt\sdtdir\wini386\predef.sdl,22,10) 2 NEWTYPE Character #SDTREF(TEXT,C:\SDL_TTCN_Suite4.4\sdt\sdtdir\wini386\predef.sdl,33,9) 2 NEWTYPE Charstring #SDTREF(TEXT,C:\SDL_TTCN_Suite4.4\sdt\sdtdir\wini386\predef.sdl,91,9) 2 NEWTYPE Integer #SDTREF(TEXT,C:\SDL_TTCN_Suite4.4\sdt\sdtdir\wini386\predef.sdl,125,9) 2 NEWTYPE Real #SDTREF(TEXT,C:\SDL_TTCN_Suite4.4\sdt\sdtdir\wini386\predef.sdl,146,9) 2 NEWTYPE Pid #SDTREF(TEXT,C:\SDL_TTCN_Suite4.4\sdt\sdtdir\wini386\predef.sdl,214,9) 2 NEWTYPE Duration #SDTREF(TEXT,C:\SDL_TTCN_Suite4.4\sdt\sdtdir\wini386\predef.sdl,220,9) 2 NEWTYPE Time #SDTREF(TEXT,C:\SDL_TTCN_Suite4.4\sdt\sdtdir\wini386\predef.sdl,236,9) 2 NEWTYPE Bit #SDTREF(TEXT,C:\SDL_TTCN_Suite4.4\sdt\sdtdir\wini386\predef.sdl,250,9) 2 NEWTYPE Bit_string #SDTREF(TEXT,C:\SDL_TTCN_Suite4.4\sdt\sdtdir\wini386\predef.sdl,260,9) 2 NEWTYPE Octet #SDTREF(TEXT,C:\SDL_TTCN_Suite4.4\sdt\sdtdir\wini386\predef.sdl,281,9) 2 NEWTYPE Octet_string #SDTREF(TEXT,C:\SDL_TTCN_Suite4.4\sdt\sdtdir\wini386\predef.sdl,312,9) 2 NEWTYPE NULL #SDTREF(TEXT,C:\SDL_TTCN_Suite4.4\sdt\sdtdir\wini386\predef.sdl,330,9) 2 NEWTYPE Object_identifier #SDTREF(TEXT,C:\SDL_TTCN_Suite4.4\sdt\sdtdir\wini386\predef.sdl,334,9) 2 NEWTYPE Any_type #SDTREF(TEXT,C:\SDL_TTCN_Suite4.4\sdt\sdtdir\wini386\predef.sdl,349,9) 2 SYNTYPE IA5String #SDTREF(TEXT,C:\SDL_TTCN_Suite4.4\sdt\sdtdir\wini386\predef.sdl,106,3) 2 SYNTYPE NumericString #SDTREF(TEXT,C:\SDL_TTCN_Suite4.4\sdt\sdtdir\wini386\predef.sdl,111,3) 2 SYNTYPE PrintableString #SDTREF(TEXT,C:\SDL_TTCN_Suite4.4\sdt\sdtdir\wini386\predef.sdl,116,3) 2 SYNTYPE VisibleString #SDTREF(TEXT,C:\SDL_TTCN_Suite4.4\sdt\sdtdir\wini386\predef.sdl,121,3) 2 SYNTYPE Natural #SDTREF(TEXT,C:\SDL_TTCN_Suite4.4\sdt\sdtdir\wini386\predef.sdl,144,9) 2 GENERATOR String #SDTREF(TEXT,C:\SDL_TTCN_Suite4.4\sdt\sdtdir\wini386\predef.sdl,76,11) 2 GENERATOR Array #SDTREF(TEXT,C:\SDL_TTCN_Suite4.4\sdt\sdtdir\wini386\predef.sdl,164,11) 2 GENERATOR Powerset #SDTREF(TEXT,C:\SDL_TTCN_Suite4.4\sdt\sdtdir\wini386\predef.sdl,171,11) 2 GENERATOR Bag #SDTREF(TEXT,C:\SDL_TTCN_Suite4.4\sdt\sdtdir\wini386\predef.sdl,192,11) 2 GENERATOR Own #SDTREF(TEXT,C:\SDL_TTCN_Suite4.4\sdt\sdtdir\wini386\predef.sdl,352,11) 2 GENERATOR Oref #SDTREF(TEXT,C:\SDL_TTCN_Suite4.4\sdt\sdtdir\wini386\predef.sdl,362,11) 2 SYNONYM PLUS_INFINITY #SDTREF(TEXT,C:\SDL_TTCN_Suite4.4\sdt\sdtdir\wini386\predef.sdl,161,9) 2 SYNONYM MINUS_INFINITY #SDTREF(TEXT,C:\SDL_TTCN_Suite4.4\sdt\sdtdir\wini386\predef.sdl,162,9) *********************************************************************** ** SYSTEM ABP ** #SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\ABP.ssy,4,1,8) *********************************************************************** 2 SIGNAL FromPhysicalLayer1 #SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\ABP.ssy(2),173(105,40),2,3) SIGNALROUTE #SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\ABP.sbk(1),138(97,92),1,1) INPUT #SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\DataLayer1.spr(1),170(55,25),1,1) OUTPUT #SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\PhysicalLayer.spr(1),164(80,100),1,1) 2 SIGNAL FromPhysicalLayer2 #SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\ABP.ssy(2),173(105,40),3,3) SIGNALROUTE #SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\ABP.sbk(1),148(155,92),1,1) INPUT #SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\DataLayer2.spr(1),296(80,55),1,1) OUTPUT #SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\PhysicalLayer.spr(1),191(30,100),1,1) 2 SIGNAL ToPhysicalLayer1 #SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\ABP.ssy(2),173(105,40),5,3) SIGNALROUTE #SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\ABP.sbk(1),139(97,110),1,1) OUTPUT #SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\DataLayer1.spr(1),131(55,160),1,1) INPUT #SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\PhysicalLayer.spr(1),185(30,70),1,1) 2 SIGNAL ToPhysicalLayer2 #SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\ABP.ssy(2),173(105,40),6,3) SIGNALROUTE #SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\ABP.sbk(1),147(155,107),1,1) OUTPUT #SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\DataLayer2.spr(1),257(80,190),1,1) INPUT #SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\PhysicalLayer.spr(1),134(80,70),1,1) 2 SIGNAL FromNetworkLayer1 #SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\ABP.ssy(2),173(105,40),8,3) CHANNEL #SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\ABP.ssy(1),129(45,77),1,1) SIGNALROUTE #SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\ABP.sbk(1),166(97,65),1,1) INPUT #SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\DataLayer1.spr(1),158(55,115),1,1) INPUT #SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\DataLayer1.spr(1),125(5,130),1,1) 2 SIGNAL FromNetworkLayer2 #SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\ABP.ssy(2),173(105,40),9,3) SIGNALROUTE #SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\ABP.sbk(1),156(155,65),1,1) OUTPUT #SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\NetworkLayer2.spr(1),128(80,70),1,1) INPUT #SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\DataLayer2.spr(1),284(80,145),1,1) 2 SIGNAL ToNetworkLayer1 #SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\ABP.ssy(2),173(105,40),11,3) CHANNEL #SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\ABP.ssy(1),130(17,77),1,1) SIGNALROUTE #SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\ABP.sbk(1),165(17,52),1,1) OUTPUT #SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\DataLayer1.spr(1),146(55,55),1,1) 2 SIGNAL ToNetworkLayer2 #SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\ABP.ssy(2),173(105,40),12,3) SIGNALROUTE #SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\ABP.sbk(1),157(155,47),1,1) INPUT #SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\NetworkLayer2.spr(1),125(80,55),1,1) OUTPUT #SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\DataLayer2.spr(1),272(80,85),1,1) 2 SIGNAL LoseNextFrame #SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\ABP.ssy(2),173(105,40),14,3) CHANNEL #SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\ABP.ssy(1),138(50,120),1,1) SIGNALROUTE #SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\ABP.sbk(1),174(50,122),1,1) INPUT #SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\PhysicalLayer.spr(1),140(105,70),1,1) 2 NEWTYPE Packet #SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\ABP.ssy(2),167(50,40),1,9) VARIABLE #SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\NetworkLayer2.spr(1),116(155,10),2,8) VARIABLE #SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\DataLayer1.spr(1),164(130,10),4,10) VARIABLE #SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\DataLayer2.spr(1),290(130,10),4,10) SORT #SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\ABP.ssy(2),167(50,40),7,8) SIGNAL #SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\ABP.ssy(2),173(105,40),8,21) SIGNAL #SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\ABP.ssy(2),173(105,40),9,21) SIGNAL #SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\ABP.ssy(2),173(105,40),11,19) SIGNAL #SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\ABP.ssy(2),173(105,40),12,19) 3 FIELD info #SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\ABP.ssy(2),167(50,40),2,3) 3 FIELD data #SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\ABP.ssy(2),167(50,40),3,3) 3 OPERATOR = 3 OPERATOR /= 3 OPERATOR #code 3 OPERATOR copy 2 NEWTYPE Frame #SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\ABP.ssy(2),167(50,40),6,9) VARIABLE #SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\DataLayer1.spr(1),164(130,10),3,8) VARIABLE #SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\DataLayer2.spr(1),290(130,10),3,8) VARIABLE #SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\PhysicalLayer.spr(1),122(130,10),3,8) SIGNAL #SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\ABP.ssy(2),173(105,40),2,22) SIGNAL #SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\ABP.ssy(2),173(105,40),3,22) SIGNAL #SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\ABP.ssy(2),173(105,40),5,20) SIGNAL #SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\ABP.ssy(2),173(105,40),6,20) 3 FIELD info #SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\ABP.ssy(2),167(50,40),7,3) OUTPUT #SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\DataLayer1.spr(1),146(55,55),2,4) TASK #SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\DataLayer1.spr(1),128(55,145),1,3) OUTPUT #SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\DataLayer2.spr(1),272(80,85),2,4) TASK #SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\DataLayer2.spr(1),254(80,175),1,3) 3 FIELD seq #SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\ABP.ssy(2),167(50,40),8,3) DECISION #SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\DataLayer1.spr(1),143(55,40),1,3) TASK #SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\DataLayer1.spr(1),128(55,145),2,3) DECISION #SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\DataLayer2.spr(1),269(80,70),1,3) TASK #SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\DataLayer2.spr(1),254(80,175),2,3) 3 FIELD ack #SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\ABP.ssy(2),167(50,40),9,3) DECISION #SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\DataLayer1.spr(1),152(55,85),1,3) TASK #SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\DataLayer1.spr(1),128(55,145),3,3) DECISION #SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\DataLayer2.spr(1),278(80,115),1,3) TASK #SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\DataLayer2.spr(1),254(80,175),3,3) 3 OPERATOR = 3 OPERATOR /= 3 OPERATOR #code 3 OPERATOR copy 2 CHANNEL C1 #SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\ABP.ssy(1),128(47,70),1,1) CONNECTION #SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\ABP.sbk(1),170(7,47),1,1) 2 CHANNEL C2 #SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\ABP.ssy(1),137(47,112),1,1) CONNECTION #SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\ABP.sbk(1),200(7,117),1,1) 2 BLOCK OSI_Stack #SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\ABP.sbk,4,1,7) CHANNEL #SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\ABP.ssy(1),125(75,70),1,1) CHANNEL #SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\ABP.ssy(1),125(75,70),1,1) CHANNEL #SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\ABP.ssy(1),125(75,70),1,1) REFERENCE #SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\ABP.ssy(1),125(75,70),1,1) *********************************************************************** ** BLOCK OSI_Stack ** <> ** #SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\ABP.sbk,4,1,7) *********************************************************************** 3 SIGNALROUTE C3 #SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\ABP.sbk(1),155(145,55),1,1) 3 SIGNALROUTE C4 #SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\ABP.sbk(1),164(50,45),1,1) CONNECTION #SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\ABP.sbk(1),164(50,45),1,1) 3 SIGNALROUTE C2 #SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\ABP.sbk(1),146(145,100),1,1) 3 SIGNALROUTE C1 #SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\ABP.sbk(1),137(87,98),1,1) 3 SIGNALROUTE C5 #SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\ABP.sbk(1),173(47,115),1,1) CONNECTION #SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\ABP.sbk(1),173(47,115),1,1) 3 PROCESS NetworkLayer2 #SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\NetworkLayer2.spr,4,1,9) SIGNALROUTE #SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\ABP.sbk(1),245(130,25),1,1) SIGNALROUTE #SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\ABP.sbk(1),245(130,25),1,1) REFERENCE #SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\ABP.sbk(1),245(130,25),1,1) 3 PROCESS DataLayer1 #SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\DataLayer1.spr,4,1,9) SIGNALROUTE #SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\ABP.sbk(1),212(75,70),1,1) SIGNALROUTE #SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\ABP.sbk(1),212(75,70),1,1) SIGNALROUTE #SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\ABP.sbk(1),212(75,70),1,1) SIGNALROUTE #SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\ABP.sbk(1),212(75,70),1,1) REFERENCE #SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\ABP.sbk(1),212(75,70),1,1) 3 PROCESS DataLayer2 #SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\DataLayer2.spr,4,1,9) SIGNALROUTE #SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\ABP.sbk(1),221(130,70),1,1) SIGNALROUTE #SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\ABP.sbk(1),221(130,70),1,1) SIGNALROUTE #SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\ABP.sbk(1),221(130,70),1,1) SIGNALROUTE #SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\ABP.sbk(1),221(130,70),1,1) REFERENCE #SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\ABP.sbk(1),221(130,70),1,1) 3 PROCESS PhysicalLayer #SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\PhysicalLayer.spr,4,1,9) SIGNALROUTE #SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\ABP.sbk(1),125(75,115),1,1) SIGNALROUTE #SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\ABP.sbk(1),125(75,115),1,1) SIGNALROUTE #SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\ABP.sbk(1),125(75,115),1,1) SIGNALROUTE #SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\ABP.sbk(1),125(75,115),1,1) SIGNALROUTE #SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\ABP.sbk(1),125(75,115),1,1) REFERENCE #SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\ABP.sbk(1),125(75,115),1,1) *********************************************************************** ** PROCESS NetworkLayer2 ** <> ** #SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\NetworkLayer2.spr,4,1,9) *********************************************************************** 4 DCL data #SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\NetworkLayer2.spr(1),116(155,10),2,3) INPUT #SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\NetworkLayer2.spr(1),125(80,55),2,2) OUTPUT #SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\NetworkLayer2.spr(1),128(80,70),2,2) 4 STATE Idle #SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\NetworkLayer2.spr(1),122(80,40),1,1) NEXTSTATE #SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\NetworkLayer2.spr(1),122(80,40),1,1) NEXTSTATE #SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\NetworkLayer2.spr(1),131(80,85),1,1) *********************************************************************** ** PROCESS DataLayer1 ** <> ** #SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\DataLayer1.spr,4,1,9) *********************************************************************** 4 TIMER T1 #SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\DataLayer1.spr(1),164(130,10),6,7) SET #SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\DataLayer1.spr(1),134(55,175),2,9) INPUT #SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\DataLayer1.spr(1),173(80,25),1,1) INPUT #SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\DataLayer1.spr(1),245(30,115),1,1) 4 DCL next #SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\DataLayer1.spr(1),164(130,10),2,3) TASK #SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\DataLayer1.spr(1),119(5,100),1,1) DECISION #SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\DataLayer1.spr(1),152(55,85),1,7) TASK #SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\DataLayer1.spr(1),128(55,145),2,8) TASK #SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\DataLayer1.spr(1),161(55,130),1,1) TASK #SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\DataLayer1.spr(1),161(55,130),1,9) 4 DCL expected #SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\DataLayer1.spr(1),164(130,10),2,9) TASK #SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\DataLayer1.spr(1),119(5,100),2,1) DECISION #SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\DataLayer1.spr(1),143(55,40),1,7) ASSIGNMENT #SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\DataLayer1.spr(1),149(55,70),1,1) ASSIGNMENT #SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\DataLayer1.spr(1),149(55,70),1,13) TASK #SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\DataLayer1.spr(1),128(55,145),3,10) 4 DCL s #SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\DataLayer1.spr(1),164(130,10),3,3) TASK #SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\DataLayer1.spr(1),128(55,145),1,1) TASK #SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\DataLayer1.spr(1),128(55,145),2,1) TASK #SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\DataLayer1.spr(1),128(55,145),3,1) OUTPUT #SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\DataLayer1.spr(1),131(55,160),2,2) 4 DCL r #SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\DataLayer1.spr(1),164(130,10),3,6) INPUT #SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\DataLayer1.spr(1),170(55,25),2,2) DECISION #SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\DataLayer1.spr(1),143(55,40),1,1) OUTPUT #SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\DataLayer1.spr(1),146(55,55),2,2) DECISION #SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\DataLayer1.spr(1),152(55,85),1,1) 4 DCL buffer #SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\DataLayer1.spr(1),164(130,10),4,3) TASK #SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\DataLayer1.spr(1),128(55,145),1,9) INPUT #SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\DataLayer1.spr(1),158(55,115),2,2) INPUT #SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\DataLayer1.spr(1),125(5,130),2,2) 4 LABEL grst1 #SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\DataLayer1.spr(1),152(55,85),2,1) JOIN #SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\DataLayer1.spr(1),224(80,145),0,0) JOIN #SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\DataLayer1.spr(1),128(55,145),1,1) JOIN #SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\DataLayer1.spr(1),128(55,145),1,1) JOIN #SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\DataLayer1.spr(1),128(55,145),1,1) 4 STATE Idle #SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\DataLayer1.spr(1),167(55,10),1,1) NEXTSTATE #SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\DataLayer1.spr(1),137(55,190),1,1) 4 STATE Wait #SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\DataLayer1.spr(1),155(55,100),1,1) NEXTSTATE #SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\DataLayer1.spr(1),155(55,100),1,1) NEXTSTATE #SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\DataLayer1.spr(1),251(30,130),1,1) 4 STATE Init #SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\DataLayer1.spr(1),122(5,115),1,1) NEXTSTATE #SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\DataLayer1.spr(1),122(5,115),1,1) *********************************************************************** ** PROCESS DataLayer2 ** <> ** #SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\DataLayer2.spr,4,1,9) *********************************************************************** 4 TIMER T1 #SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\DataLayer2.spr(1),290(130,10),6,7) SET #SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\DataLayer2.spr(1),260(80,205),2,14) INPUT #SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\DataLayer2.spr(1),299(105,55),1,1) INPUT #SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\DataLayer2.spr(1),371(55,145),1,1) 4 DCL next #SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\DataLayer2.spr(1),290(130,10),2,3) TASK #SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\DataLayer2.spr(1),245(80,25),1,1) DECISION #SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\DataLayer2.spr(1),278(80,115),1,7) TASK #SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\DataLayer2.spr(1),254(80,175),2,8) TASK #SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\DataLayer2.spr(1),287(80,160),1,1) TASK #SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\DataLayer2.spr(1),287(80,160),1,9) 4 DCL expected #SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\DataLayer2.spr(1),290(130,10),2,9) TASK #SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\DataLayer2.spr(1),245(80,25),2,1) DECISION #SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\DataLayer2.spr(1),269(80,70),1,7) ASSIGNMENT #SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\DataLayer2.spr(1),275(80,100),1,1) ASSIGNMENT #SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\DataLayer2.spr(1),275(80,100),1,13) TASK #SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\DataLayer2.spr(1),254(80,175),3,10) 4 DCL s #SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\DataLayer2.spr(1),290(130,10),3,3) TASK #SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\DataLayer2.spr(1),254(80,175),1,1) TASK #SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\DataLayer2.spr(1),254(80,175),2,1) TASK #SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\DataLayer2.spr(1),254(80,175),3,1) OUTPUT #SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\DataLayer2.spr(1),257(80,190),2,2) 4 DCL r #SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\DataLayer2.spr(1),290(130,10),3,6) INPUT #SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\DataLayer2.spr(1),296(80,55),2,2) DECISION #SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\DataLayer2.spr(1),269(80,70),1,1) OUTPUT #SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\DataLayer2.spr(1),272(80,85),2,2) DECISION #SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\DataLayer2.spr(1),278(80,115),1,1) 4 DCL buffer #SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\DataLayer2.spr(1),290(130,10),4,3) TASK #SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\DataLayer2.spr(1),254(80,175),1,9) INPUT #SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\DataLayer2.spr(1),284(80,145),2,2) 4 LABEL grst2 #SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\DataLayer2.spr(1),278(80,115),2,1) JOIN #SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\DataLayer2.spr(1),350(107,122),0,0) JOIN #SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\DataLayer2.spr(1),254(80,175),1,1) JOIN #SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\DataLayer2.spr(1),254(80,175),1,1) 4 STATE Idle #SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\DataLayer2.spr(1),293(80,40),1,1) NEXTSTATE #SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\DataLayer2.spr(1),293(80,40),1,1) NEXTSTATE #SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\DataLayer2.spr(1),263(80,220),1,1) 4 STATE Wait #SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\DataLayer2.spr(1),281(80,130),1,1) NEXTSTATE #SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\DataLayer2.spr(1),281(80,130),1,1) NEXTSTATE #SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\DataLayer2.spr(1),374(55,160),1,1) *********************************************************************** ** PROCESS PhysicalLayer ** <> ** #SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\PhysicalLayer.spr,4,1,9) *********************************************************************** 4 DCL lose_next #SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\PhysicalLayer.spr(1),122(130,10),2,3) ASSIGNMENT #SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\PhysicalLayer.spr(1),119(55,40),1,1) DECISION #SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\PhysicalLayer.spr(1),188(30,85),1,1) TASK #SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\PhysicalLayer.spr(1),173(55,100),1,1) TASK #SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\PhysicalLayer.spr(1),146(105,85),1,1) 4 DCL data #SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\PhysicalLayer.spr(1),122(130,10),3,3) INPUT #SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\PhysicalLayer.spr(1),185(30,70),2,2) OUTPUT #SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\PhysicalLayer.spr(1),191(30,100),2,2) INPUT #SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\PhysicalLayer.spr(1),134(80,70),2,2) OUTPUT #SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\PhysicalLayer.spr(1),164(80,100),2,2) 4 LABEL grst0 #SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\PhysicalLayer.spr(1),188(30,85),2,1) JOIN #SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\PhysicalLayer.spr(1),191(30,100),0,0) JOIN #SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\PhysicalLayer.spr(1),173(55,100),0,0) JOIN #SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\PhysicalLayer.spr(1),152(55,115),1,1) JOIN #SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\PhysicalLayer.spr(1),152(55,115),1,1) 4 STATE Idle #SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\PhysicalLayer.spr(1),128(55,55),1,1) NEXTSTATE #SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\PhysicalLayer.spr(1),128(55,55),1,1) NEXTSTATE #SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\PhysicalLayer.spr(1),152(55,115),1,1)