------------------------SDT2 inres----------------------------------------------------ObjectName----------------------------------------ObjectType----------------------------------------!%&()LinkEndpoints--------------------------------!%()HeadingText----------------------------------- ˙˙˙˙˙˙˙˙˙˙˙˙˙˙˙˙˙˙˙˙˙˙˙˙inres----------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------˙˙˙˙1--------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------˙˙˙˙()[(! Ü! 22!(P)[z(! Ü)[}(! 6)[€(! 6d! )]][Bƒ(! 6ƒ˙˙˙! )][ †(! 6›)][›(! 6^)][§(! 6—)][‰(! 6Ȋ! ,Č)[(! 6áŐ! Station_Ini)][(!^Š^!8)[(! 6Č! ISAP1)][.(! )[8(! 6}! ICONconf, IDISind)]][(! 6^†!Ś˙˙˙)][.‘(! )[8(! 6˘! ICONreq, IDATreq, IDISreq)]][(! 6^‰!Z)][)›()]][’(!^R^~!8)[(! 6–ś! MSAP1)][.“(! )[8(! 6w(! MDATreq)]][(! 6^*!Z)][.”(! )[8(! 6w‰! MDATind)]][(! ()[8(! system inres)]}w((! MDATreq)]][U^*(!Z)][.V(! )[8Ww‰(! MDATind)]][X^Ž(!Ś˙)][) Č~()]]]]]}dd(! )[82,Č(!Á signal ICONreq, IDATreq( $˙˙˙˙()[(! lü! 22!(d)[h(! lü)[k(! 6)[n(! 6d! )]][Bq(! 6ƒ˙˙˙! )][ t(! 65)][9w(! 6d ! !S)[8(!‘ signal ICONreq, IDATreq( ISDUType), ICONconf, IDISind, IDISreq, CC, AK( Sequencenumber), DR, CR, DT( Sequencenumber, ISDUType), MDATreq( MSDUType), MDATind( MSDUTy pe); newtype Sequencenumber literals zero, one; operators succ : Sequencenumber -> Sequencenumber; axioms succ( zero) == one; succ( one) == zero; /*#ADT(B) #BODY #ifndef XNOPROTO extern #(Sequencenumber) #(succ) ( # (Sequencenumber) yParam1 ) #else extern #(Sequencenumber) #(succ) ( yParam1 ) #(Sequencenumber) yParam1; #endif { if (yParam1 == #(zero)) return #(one); return #(zero); } */ endnewtype Sequencenumber; syntype ISDUType = Integer endsyntype; newtyp(! 1.0)[* (! Medium! )[* (! Station_Ini! )]]} (! Station_Res! )]]]}-----------------------------------------------------------------------------------------------------------------------------Z˙˙˙˙(!4ł!5!7)[!(! Declarations!)[!(! 1!)]]}-----------------------------------------------------------------------------------------------------------------------------------------------q˙˙˙˙1-------------------------------------------------Declarations--------------------------------------Declarations--------------------------------------Declarations-------------------------------------- ˙˙˙˙˙˙˙˙˙˙˙˙˙˙˙˙˙˙˙˙˙˙˙˙!%()PageOrder---------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- ------------ ------------------------˙˙˙˙e IPDUType literals CR, CC, DR, DT, AK; endnewtype IPDUType; newtype MSDUType struct id IPDUType; num Sequencenumber; data ISDUType; endnewtype MSDUType;)]]]]}----------------------------------------------------------------Ŕ˙˙˙˙6^Ž!Ś˙˙˙)][Œ(! 6Č~! FČ)[(! 6ŰÉ! Medium)][•(!—~—!8)[(! 6Ď ! MSAP2)][.–(! )[8(! 6°,! ()[w(!GSDL)]} inres_11!)[\(! timertest!)[\(! timer!)[\(! test_4!)[\(! inres_3!)[\(! test_1!)[\(! inres_2!˙˙˙˙ MDATind)]][(! 6—!Ś˙˙˙)][.—(! )[8(! 6°j! MDATreq)]][(! 6—]!Z)][)§()]]]]]]]}]]]]]]]]]]]]}--------------------------------------------------------ť˙˙˙˙