Loading ttcn3/EtsiLibrary/LibIpv6/LibCommonRfcs/LibIpv6_Interface_TypesAndValues.ttcn +1 −1 Original line number Diff line number Diff line Loading @@ -1076,7 +1076,7 @@ module LibIpv6_Interface_TypesAndValues { with { //TODO check this variant "present=(valueOf(getTag('nextHeader')) == 51);"; variant (nextHdr) "tag='nextHeader';"; variant (nextHeader) "tag='nextHeader';"; variant (payloadLen) "tag='authPayloadLen';intTag='IPv6Header_payloadLength',getIntTag('IPv6Header_payloadLength')-value*8"; variant (icv) "length=valueOf(getTag('nextHeader'))"; } Loading ttcn3/EtsiLibrary/LibIpv6/LibMobility/LibIpv6_Rfc4068FastHandovers_TypesAndValues.ttcn +2 −1 Original line number Diff line number Diff line Loading @@ -233,7 +233,8 @@ with { variant "present=bytes(1,19)"; variant (optionLength) "tag='NewLinkLayerAddress_optionLength';"; variant (data) "length=valueOf(getTag('NewLinkLayerAddress_optionLength'))*8-3;"; //TODO: FIX ME //variant (data) "length=valueOf(getTag('NewLinkLayerAddress_optionLength'))*8-3;"; } /* Loading Loading
ttcn3/EtsiLibrary/LibIpv6/LibCommonRfcs/LibIpv6_Interface_TypesAndValues.ttcn +1 −1 Original line number Diff line number Diff line Loading @@ -1076,7 +1076,7 @@ module LibIpv6_Interface_TypesAndValues { with { //TODO check this variant "present=(valueOf(getTag('nextHeader')) == 51);"; variant (nextHdr) "tag='nextHeader';"; variant (nextHeader) "tag='nextHeader';"; variant (payloadLen) "tag='authPayloadLen';intTag='IPv6Header_payloadLength',getIntTag('IPv6Header_payloadLength')-value*8"; variant (icv) "length=valueOf(getTag('nextHeader'))"; } Loading
ttcn3/EtsiLibrary/LibIpv6/LibMobility/LibIpv6_Rfc4068FastHandovers_TypesAndValues.ttcn +2 −1 Original line number Diff line number Diff line Loading @@ -233,7 +233,8 @@ with { variant "present=bytes(1,19)"; variant (optionLength) "tag='NewLinkLayerAddress_optionLength';"; variant (data) "length=valueOf(getTag('NewLinkLayerAddress_optionLength'))*8-3;"; //TODO: FIX ME //variant (data) "length=valueOf(getTag('NewLinkLayerAddress_optionLength'))*8-3;"; } /* Loading