Reviewed TC_DSLITE_B4_FRAG_BV_002. (2619644a) · Commits · CABLE - Integrated broadband cable telecommunication networks / CableIPv6

ttcn/AtsDSlite/AtsDSLite_Templates.ttcn3

+23 −3

Original line number	Diff line number	Diff line
		@@ -6,9 +6,7 @@
		module AtsDSLite_Templates {

		// LibCommon
		import from LibCommon_BasicTypesAndValues {
		type UInt8
		};
		import from LibCommon_BasicTypesAndValues all;

		// LibIPv6
		import from LibIpv6_Interface_TypesAndValues all;
		@@ -132,6 +130,28 @@ module AtsDSLite_Templates {
		ipv6Payload := { octetstringMsg := p_data }
		}

		/**
		* @param p_nextHeader Next header identifier value to be used
		* @param p_fragmentOffset The offset, in 8-octet units, of the
		* data following this header, relative to the start
		* of the Fragmentable Part of the original packet.
		* @param p_moreFlag indicates whether there are more segment or not
		* @param p_identification Id of the actual fragment
		*/
		template (present) ExtensionHeader mw_extHdr_fragmentHeader_nh(
		template(present) UInt8 p_nextHeader,
		template(present) UInt13 p_fragmentOffset,
		template(present) UInt1 p_moreFlag,
		template(present) UInt32 p_identification) := {
		fragmentHeader := {
		nextHeader := p_nextHeader,
		reserved1 := c_uInt8Zero,
		fragmentOffset := p_fragmentOffset,
		reserved2 := c_uInt2Zero,
		moreFlag := p_moreFlag,
		identification := p_identification }
		}

		} // End of group ipv6RecvMessages

		group dnsMessageTemplates {

+8 −8

Original line number	Diff line number	Diff line
		@@ -982,12 +982,12 @@ module AtsDSLite_TestCases {
		mdw_generalIpv6_extHdr_dst_ipv4Payload(
		c_fragHdr,
		PX_AFTR_GW_ADDRESS, // containing destination address indicating IPv6 AFTR GW address
		m_extHdrList_1Elem (
		m_extHdr_fragmentHeader (
		c_icmpHdr,
		mw_extHdrList_1Elem_superSet (
		mw_extHdr_fragmentHeader_nh (
		c_ipv4Hdr,
		c_fragOffset0,
		c_moreFragments,
		c_fragmentId1
		?
		)
		),
		v_firstFragment // containing first fragment
		@@ -1006,12 +1006,12 @@ module AtsDSLite_TestCases {
		c_fragHdr,
		?,
		PX_AFTR_GW_ADDRESS, // containing destination address indicating IPv6 AFTR GW address
		m_extHdrList_1Elem (
		m_extHdr_fragmentHeader (
		mw_extHdrList_1Elem_superSet (
		mw_extHdr_fragmentHeader_nh (
		c_noNextHdr,
		c_fragOffset2,
		?,
		c_noMoreFragments,
		c_fragmentId1
		?
		)
		),
		? // containing last fragment