/*#SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\ABP.ssy,4)*/ system ABP; /*#SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\ABP.ssy(1),128(47,70))*/ channel /*#E*/ C1 nodelay from /*#SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\ABP.ssy(1),104(15,15))*/ env to /*#SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\ABP.ssy(1),125(75,70))*/ OSI_Stack with /*#SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\ABP.ssy(1),129(45,77))*/ FromNetworkLayer1; from /*#SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\ABP.ssy(1),125(75,70))*/ OSI_Stack to /*#SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\ABP.ssy(1),104(15,15))*/ env with /*#SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\ABP.ssy(1),130(17,77))*/ ToNetworkLayer1; endchannel C1; /*#SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\ABP.ssy(1),137(47,112))*/ channel /*#E*/ C2 nodelay from /*#SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\ABP.ssy(1),104(15,15))*/ env to /*#SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\ABP.ssy(1),125(75,70))*/ OSI_Stack with /*#SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\ABP.ssy(1),138(50,120))*/ LoseNextFrame; endchannel C2; /*#SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\ABP.ssy(1),125(75,70))*/ block /*#E*/ OSI_Stack referenced; /*#SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\ABP.ssy(2),167(50,40))*/ NEWTYPE Packet STRUCT info Integer; data IA5String; ENDNEWTYPE; NEWTYPE Frame STRUCT info Packet; seq Integer; ack Integer; ENDNEWTYPE; /*#SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\ABP.ssy(2),173(105,40))*/ SIGNAL FromPhysicalLayer1(Frame), FromPhysicalLayer2(Frame), ToPhysicalLayer1(Frame), ToPhysicalLayer2(Frame), FromNetworkLayer1(Packet), FromNetworkLayer2(Packet), ToNetworkLayer1(Packet), ToNetworkLayer2(Packet), LoseNextFrame; /*#SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\ABP.ssy,4)*/ endsystem ABP; /*#SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\ABP.sbk,4)*/ block OSI_Stack; /*#SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\ABP.sbk(1),155(145,55))*/ signalroute /*#E*/ C3 from /*#SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\ABP.sbk(1),245(130,25))*/ NetworkLayer2 to /*#SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\ABP.sbk(1),221(130,70))*/ DataLayer2 with /*#SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\ABP.sbk(1),156(155,65))*/ FromNetworkLayer2; from /*#SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\ABP.sbk(1),221(130,70))*/ DataLayer2 to /*#SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\ABP.sbk(1),245(130,25))*/ NetworkLayer2 with /*#SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\ABP.sbk(1),157(155,47))*/ ToNetworkLayer2; /*#SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\ABP.sbk(1),164(50,45))*/ signalroute /*#E*/ C4 from /*#SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\ABP.sbk(1),212(75,70))*/ DataLayer1 to /*#SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\ABP.sbk(1),104(15,0))*/ env with /*#SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\ABP.sbk(1),165(17,52))*/ ToNetworkLayer1; from /*#SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\ABP.sbk(1),104(15,0))*/ env to /*#SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\ABP.sbk(1),212(75,70))*/ DataLayer1 with /*#SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\ABP.sbk(1),166(97,65))*/ FromNetworkLayer1; /*#SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\ABP.sbk(1),146(145,100))*/ signalroute /*#E*/ C2 from /*#SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\ABP.sbk(1),221(130,70))*/ DataLayer2 to /*#SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\ABP.sbk(1),125(75,115))*/ PhysicalLayer with /*#SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\ABP.sbk(1),147(155,107))*/ ToPhysicalLayer2; from /*#SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\ABP.sbk(1),125(75,115))*/ PhysicalLayer to /*#SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\ABP.sbk(1),221(130,70))*/ DataLayer2 with /*#SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\ABP.sbk(1),148(155,92))*/ FromPhysicalLayer2; /*#SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\ABP.sbk(1),137(87,98))*/ signalroute /*#E*/ C1 from /*#SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\ABP.sbk(1),125(75,115))*/ PhysicalLayer to /*#SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\ABP.sbk(1),212(75,70))*/ DataLayer1 with /*#SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\ABP.sbk(1),138(97,92))*/ FromPhysicalLayer1; from /*#SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\ABP.sbk(1),212(75,70))*/ DataLayer1 to /*#SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\ABP.sbk(1),125(75,115))*/ PhysicalLayer with /*#SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\ABP.sbk(1),139(97,110))*/ ToPhysicalLayer1; /*#SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\ABP.sbk(1),173(47,115))*/ signalroute /*#E*/ C5 from /*#SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\ABP.sbk(1),104(15,0))*/ env to /*#SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\ABP.sbk(1),125(75,115))*/ PhysicalLayer with /*#SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\ABP.sbk(1),174(50,122))*/ LoseNextFrame; /*#SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\ABP.sbk(1),245(130,25))*/ process /*#E*/ NetworkLayer2 referenced; /*#SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\ABP.sbk(1),212(75,70))*/ process /*#E*/ DataLayer1 referenced; /*#SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\ABP.sbk(1),221(130,70))*/ process /*#E*/ DataLayer2 referenced; /*#SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\ABP.sbk(1),125(75,115))*/ process /*#E*/ PhysicalLayer referenced; /*#SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\ABP.sbk(1),170(7,47))*/ connect /*#E*/ C1 and /*#SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\ABP.sbk(1),164(50,45))*/ C4; /*#SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\ABP.sbk(1),200(7,117))*/ connect /*#E*/ C2 and /*#SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\ABP.sbk(1),173(47,115))*/ C5; /*#SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\ABP.sbk,4)*/ endblock OSI_Stack; /*#SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\PhysicalLayer.spr,4)*/ process PhysicalLayer; /*#SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\PhysicalLayer.spr(1),122(130,10))*/ DCL lose_next Boolean, data Frame; /*#SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\PhysicalLayer.spr(1),116(55,25))*/ start /*#E*/ ; /*#SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\PhysicalLayer.spr(1),119(55,40))*/ task {/*#E*/ lose_next:=false;}; /*#SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\PhysicalLayer.spr(1),128(55,55))*/ nextstate /*#E*/ Idle; /*#SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\PhysicalLayer.spr(1),128(55,55))*/ state /*#E*/ Idle; /*#SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\PhysicalLayer.spr(1),185(30,70))*/ input /*#E*/ ToPhysicalLayer1 (data) ; /*#SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\PhysicalLayer.spr(1),188(30,85))*/ decision /*#E*/ lose_next; /*#SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\PhysicalLayer.spr(1),200(42,95))*/ (false): /*#SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\PhysicalLayer.spr(1),191(30,100))*/ output /*#E*/ FromPhysicalLayer2 (data); /*#SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\PhysicalLayer.spr(1),206(50,85))*/ (true): /*#SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\PhysicalLayer.spr(1),173(55,100))*/ task /*#E*/ lose_next:=false; /*#SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\PhysicalLayer.spr(1),188(30,85))*/ enddecision; grst0: /*#SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\PhysicalLayer.spr(1),152(55,115))*/ nextstate /*#E*/ Idle; /*#SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\PhysicalLayer.spr(1),134(80,70))*/ input /*#E*/ ToPhysicalLayer2 (data); /*#SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\PhysicalLayer.spr(1),164(80,100))*/ output /*#E*/ FromPhysicalLayer1 (data); /*#SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\PhysicalLayer.spr(1),152(55,115))*/ join /*#E*/ grst0; /*#SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\PhysicalLayer.spr(1),140(105,70))*/ input /*#E*/ LoseNextFrame; /*#SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\PhysicalLayer.spr(1),146(105,85))*/ task /*#E*/ lose_next:=true; /*#SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\PhysicalLayer.spr(1),152(55,115))*/ join /*#E*/ grst0; /*#SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\PhysicalLayer.spr(1),128(55,55))*/ endstate; /*#SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\PhysicalLayer.spr,4)*/ endprocess PhysicalLayer; /*#SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\DataLayer1.spr,4)*/ process DataLayer1; /*#SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\DataLayer1.spr(1),164(130,10))*/ DCL next, expected Integer, s, r Frame, buffer Packet; timer T1; /*#SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\DataLayer1.spr(1),116(5,85))*/ start /*#E*/ ; /*#SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\DataLayer1.spr(1),119(5,100))*/ task /*#E*/ next:=0, expected:=0; /*#SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\DataLayer1.spr(1),122(5,115))*/ nextstate /*#E*/ Init; /*#SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\DataLayer1.spr(1),167(55,10))*/ state /*#E*/ Idle; /*#SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\DataLayer1.spr(1),170(55,25))*/ input /*#E*/ FromPhysicalLayer1 (r); /*#SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\DataLayer1.spr(1),143(55,40))*/ decision /*#E*/ r!seq=expected; /*#SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\DataLayer1.spr(1),203(67,50))*/ (true): /*#SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\DataLayer1.spr(1),146(55,55))*/ output /*#E*/ ToNetworkLayer1 (r!info); /*#SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\DataLayer1.spr(1),149(55,70))*/ task {/*#E*/ expected:=1-expected;}; /*#SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\DataLayer1.spr(1),227(80,45))*/ (false): /*#SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\DataLayer1.spr(1),143(55,40))*/ enddecision; /*#SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\DataLayer1.spr(1),152(55,85))*/ decision /*#E*/ r!ack=next; /*#SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\DataLayer1.spr(1),212(67,97))*/ (true): /*#SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\DataLayer1.spr(1),155(55,100))*/ nextstate /*#E*/ Wait; /*#SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\DataLayer1.spr(1),224(80,145))*/ (false): /*#SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\DataLayer1.spr(1),152(55,85))*/ enddecision; grst1: /*#SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\DataLayer1.spr(1),128(55,145))*/ task /*#E*/ s!info:=buffer, s!seq:=next, s!ack:=1-expected; /*#SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\DataLayer1.spr(1),131(55,160))*/ output /*#E*/ ToPhysicalLayer1 (s); /*#SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\DataLayer1.spr(1),134(55,175))*/ /*#E*/ SET (NOW+1, T1); /*#SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\DataLayer1.spr(1),137(55,190))*/ nextstate /*#E*/ Idle; /*#SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\DataLayer1.spr(1),173(80,25))*/ input /*#E*/ T1; /*#SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\DataLayer1.spr(1),128(55,145))*/ join /*#E*/ grst1; /*#SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\DataLayer1.spr(1),167(55,10))*/ endstate; /*#SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\DataLayer1.spr(1),155(55,100))*/ state /*#E*/ Wait; /*#SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\DataLayer1.spr(1),245(30,115))*/ input /*#E*/ T1; /*#SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\DataLayer1.spr(1),251(30,130))*/ nextstate /*#E*/ Wait; /*#SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\DataLayer1.spr(1),158(55,115))*/ input /*#E*/ FromNetworkLayer1 (buffer); /*#SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\DataLayer1.spr(1),161(55,130))*/ task /*#E*/ next:=1-next; /*#SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\DataLayer1.spr(1),128(55,145))*/ join /*#E*/ grst1; /*#SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\DataLayer1.spr(1),155(55,100))*/ endstate; /*#SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\DataLayer1.spr(1),122(5,115))*/ state /*#E*/ Init; /*#SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\DataLayer1.spr(1),125(5,130))*/ input /*#E*/ FromNetworkLayer1 (buffer); /*#SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\DataLayer1.spr(1),128(55,145))*/ join /*#E*/ grst1; /*#SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\DataLayer1.spr(1),122(5,115))*/ endstate; /*#SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\DataLayer1.spr,4)*/ endprocess DataLayer1; /*#SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\NetworkLayer2.spr,4)*/ process NetworkLayer2; /*#SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\NetworkLayer2.spr(1),116(155,10))*/ DCL data Packet; /*#SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\NetworkLayer2.spr(1),119(80,25))*/ start /*#E*/ ; /*#SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\NetworkLayer2.spr(1),122(80,40))*/ nextstate /*#E*/ Idle; /*#SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\NetworkLayer2.spr(1),122(80,40))*/ state /*#E*/ Idle; /*#SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\NetworkLayer2.spr(1),125(80,55))*/ input /*#E*/ ToNetworkLayer2 (data); /*#SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\NetworkLayer2.spr(1),128(80,70))*/ output /*#E*/ FromNetworkLayer2 (data); /*#SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\NetworkLayer2.spr(1),131(80,85))*/ nextstate /*#E*/ Idle; /*#SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\NetworkLayer2.spr(1),122(80,40))*/ endstate; /*#SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\NetworkLayer2.spr,4)*/ endprocess NetworkLayer2; /*#SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\DataLayer2.spr,4)*/ process DataLayer2; /*#SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\DataLayer2.spr(1),290(130,10))*/ DCL next, expected Integer, s, r Frame, buffer Packet; timer T1; /*#SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\DataLayer2.spr(1),242(80,10))*/ start /*#E*/ ; /*#SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\DataLayer2.spr(1),245(80,25))*/ task /*#E*/ next:=1, expected:=0; /*#SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\DataLayer2.spr(1),293(80,40))*/ nextstate /*#E*/ Idle; /*#SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\DataLayer2.spr(1),293(80,40))*/ state /*#E*/ Idle; /*#SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\DataLayer2.spr(1),296(80,55))*/ input /*#E*/ FromPhysicalLayer2 (r); /*#SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\DataLayer2.spr(1),269(80,70))*/ decision /*#E*/ r!seq=expected; /*#SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\DataLayer2.spr(1),329(92,80))*/ (true): /*#SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\DataLayer2.spr(1),272(80,85))*/ output /*#E*/ ToNetworkLayer2 (r!info); /*#SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\DataLayer2.spr(1),275(80,100))*/ task {/*#E*/ expected:=1-expected;}; /*#SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\DataLayer2.spr(1),353(105,75))*/ (false): /*#SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\DataLayer2.spr(1),269(80,70))*/ enddecision; /*#SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\DataLayer2.spr(1),278(80,115))*/ decision /*#E*/ r!ack=next; /*#SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\DataLayer2.spr(1),338(92,125))*/ (true): /*#SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\DataLayer2.spr(1),281(80,130))*/ nextstate /*#E*/ Wait; /*#SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\DataLayer2.spr(1),350(107,122))*/ (false): /*#SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\DataLayer2.spr(1),278(80,115))*/ enddecision; grst2: /*#SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\DataLayer2.spr(1),254(80,175))*/ task /*#E*/ s!info:=buffer, s!seq:=next, s!ack:=1-expected; /*#SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\DataLayer2.spr(1),257(80,190))*/ output /*#E*/ ToPhysicalLayer2 (s); /*#SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\DataLayer2.spr(1),260(80,205))*/ /*#E*/ SET (NOW+100000, T1); /*#SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\DataLayer2.spr(1),263(80,220))*/ nextstate /*#E*/ Idle; /*#SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\DataLayer2.spr(1),299(105,55))*/ input /*#E*/ T1; /*#SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\DataLayer2.spr(1),254(80,175))*/ join /*#E*/ grst2; /*#SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\DataLayer2.spr(1),293(80,40))*/ endstate; /*#SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\DataLayer2.spr(1),281(80,130))*/ state /*#E*/ Wait; /*#SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\DataLayer2.spr(1),371(55,145))*/ input /*#E*/ T1; /*#SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\DataLayer2.spr(1),374(55,160))*/ nextstate /*#E*/ Wait; /*#SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\DataLayer2.spr(1),284(80,145))*/ input /*#E*/ FromNetworkLayer2 (buffer); /*#SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\DataLayer2.spr(1),287(80,160))*/ task /*#E*/ next:=1-next; /*#SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\DataLayer2.spr(1),254(80,175))*/ join /*#E*/ grst2; /*#SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\DataLayer2.spr(1),281(80,130))*/ endstate; /*#SDTREF(SDL,C:\SDL_TTCN_Suite4.4\examples\bitprotocol\DataLayer2.spr,4)*/ endprocess DataLayer2;