No commit message (88fc0b37) · Commits · TTCN-3 Libraries / LibIPv6

ttcn3/EtsiLibrary/LibIpv6/LibCore/LibIpv6_Rfc2461NeighborDiscovery_Templates_PK.ttcn

+80 −0

Original line number	Diff line number	Diff line
		@@ -44,6 +44,86 @@
		rtSolOptions := p_rtSolOptions
		}

		/*
		* @param p_src Binary IPv6 address associated with the
		* test component.
		* @param p_dst Binary IPv6 address associated with NUT.
		* @param p_rtSolOptions Router Solicitation options.
		*/
		template RouterSolicitation m_rtSol_noExtHdr_nonEmptyreserved (Ipv6Address p_src,
		Ipv6Address p_dst,
		template RtSolOptions p_rtSolOptions ) := {
		ipv6Hdr := m_ipHdr(c_icmpHdr, p_src, p_dst),
		extHdrList := omit,
		icmpType:= c_rtSol,
		icmpCode:= c_icmpCode0,
		checksum:= c_2ZeroBytes,
		reserved:= c_uInt31Max,
		rtSolOptions := p_rtSolOptions
		}

		/*
		* @param p_src Binary IPv6 address associated with the
		* test component.
		* @param p_dst Binary IPv6 address associated with NUT.
		* @param p_hopLimit HopLimit field value to be used in IPv6 Header.
		* @param p_rtSolOptions Router Solicitation options.
		*/
		template RouterSolicitation m_rtSol_noExtHdr_hopLimit (Ipv6Address p_src,
		Ipv6Address p_dst,
		UInt8 p_hopLimit,
		template RtSolOptions p_rtSolOptions ) := {
		ipv6Hdr := m_ipHdr_hop(c_icmpHdr, p_hopLimit, p_src, p_dst),
		extHdrList := omit,
		icmpType:= c_rtSol,
		icmpCode:= c_icmpCode0,
		checksum:= c_2ZeroBytes,
		reserved:=0,
		rtSolOptions := p_rtSolOptions
		}

		/*
		* @param p_src Binary IPv6 address associated with the
		* test component.
		* @param p_dst Binary IPv6 address associated with NUT.
		* @param p_icmpCode
		* @param p_rtSolOptions Router Solicitation options.
		*/
		template RouterSolicitation m_rtSol_noExtHdr_icmpCode (Ipv6Address p_src,
		Ipv6Address p_dst,
		UInt8 p_icmpCode,
		template RtSolOptions p_rtSolOptions ) := {
		ipv6Hdr := m_ipHdr(c_icmpHdr, p_src, p_dst),
		extHdrList := omit,
		icmpType:= c_rtSol,
		icmpCode:= p_icmpCode,
		checksum:= c_2ZeroBytes,
		reserved:=0,
		rtSolOptions := p_rtSolOptions
		}

		/*
		* @param p_src Binary IPv6 address associated with the
		* test component.
		* @param p_dst Binary IPv6 address associated with NUT.
		*/
		template RouterAdvertisement mw_rtAdv_srcDstAddr ( template Ipv6Address p_src,
		template Ipv6Address p_dst ) := {
		ipv6Hdr := m_ipHdr(c_icmpHdr, p_src, p_dst),
		extHdrList := *,
		icmpType:= c_rtAdv,
		icmpCode:= ?,
		checksum:= ?,
		curHopLimit:= ?,
		managedConfigFlag:=?,
		otherConfigFlag:=?,
		reserved:=0,
		routerLifetime:=?,
		reachableTime:=?,
		retransTimer:=?,
		rtAdvOptions:=?
		}

		/*
		* @param p_src Binary IPv6 address associated with the
		* test component.

ttcn3/EtsiLibrary/LibIpv6/LibCore/LibIpv6_Rfc2461NeighborDiscovery_TypesAndValues_PK.ttcn

+3 −0

Original line number	Diff line number	Diff line
		@@ -37,6 +37,9 @@
		const UInt8 c_mtuOptLen := 1;
		const UInt8 c_optLen1 := 1;
		const UInt8 c_optLen6 := 6;
		const float c_maxRtrAdvInterval := 600.0;
		const float c_maxRaDelayTime := 0.5;
		const float c_minDelayBetweenRas := 3.0;

		} // end group nd_constants