Added further AH Testcases (72a7be02) · Commits · TTCN-3 Libraries / LibIPv6

ttcn3/EtsiLibrary/LibIpv6/LibCommonRfcs/LibIpv6_Interface_TypesAndValues.ttcn

+6 −0

Original line number	Diff line number	Diff line
		@@ -103,6 +103,7 @@ module LibIpv6_Interface_TypesAndValues {
		//Ah
		EchoRequestWithAh,
		EchoReplyWithAh,
		NeighborSolicitationWithAh,
		//MetaPdu
		Ipv6Packet
		//General IPv6 packet
		@@ -365,6 +366,11 @@ module LibIpv6_Interface_TypesAndValues {
		variant "DT TODO";
		}

		type Ipv6Packet NeighborSolicitationWithAh
		with {
		variant "DT TODO";
		}

		//General IPv6 packet
		// type octetstring Ipv6Packet;//TODO SMU+DTE check this

+42 −0

Original line number	Diff line number	Diff line
		@@ -417,6 +417,48 @@
		}}
		}

		group NeighborDiscovery_Ah {
		/*
		* @param p_nextHeader Next header identifier value to be used.
		* @param p_src Binary IPv6 address associated with the
		* test component.
		* @param p_dst Binary IPv6 address associated with NUT.
		* @param p_extHdrList List of extension header in the packet.
		*/
		template NeighborSolicitationWithAh m_nbrSol_ah(
		UInt8 p_nextHeader,
		template Ipv6Address p_src,
		template Ipv6Address p_dst,
		template ExtensionHeaderList p_extHdrList) := {
		ipv6Hdr := m_ipHdr_nextHdr_srcDst(p_nextHeader, p_src, p_dst),
		extHdrList := p_extHdrList,
		ipv6Payload := omit
		}

		/*
		* @param p_src Binary IPv6 address associated with the
		* test component.
		* @param p_dst Binary IPv6 address associated with NUT.
		*/
		template NeighborSolicitationWithAh mw_nbrSol_ah(
		template Ipv6Address p_src,
		template Ipv6Address p_dst) := {
		ipv6Hdr := mw_ipHdr_nextHdr_srcDst(c_icmpHdr, p_src, p_dst),
		extHdrList := ?,
		ipv6Payload := {
		nbrSolMsg := {
		icmpType := c_nbrSolMsg,
		icmpCode := c_icmpCode0,
		checksum := ?,
		reserved := ?,
		targetAddr := ?,
		nbrSolOptions := * }
		}
		}

		} //end group NeighborDiscovery_Ah


		}//end group neighborDiscovery

		group redirect {