Commit 4356c9d3 authored by seb's avatar seb
Browse files

syncSendPort added + clean up of all TCs

parent 18ff6e78
Loading
Loading
Loading
Loading
+38 −0
Original line number Diff line number Diff line
@@ -140,6 +140,44 @@ module LibIpv6_Rfc2461NeighborDiscovery_Functions {
				return v_ret ;
		}

		/*
		 * @desc  	This functions sends a router advertisement with the specified
		 *			prefix, so that NUT adds the test component as its RT to its
		 *          default router list
		 * @param 	p_llaAddrTn Local link address of testing node which calls this function
		 * @param 	p_dstAddr Local link address of node under test
		 * @param 	p_prefixLength Router advertisement option prefix length value
		 * @param 	p_glaAddrTn Global address of testing node which calls this function
		*/
		function f_sendMipRtAdvWithPrefix( in template Ipv6Address 	p_llaAddrTn,
										in template Ipv6Address 	p_dstAddr,
										in template PrefixLength p_prefixLength,
										in template Ipv6Address 	p_glaAddrTn)
		runs on LibIpv6Node
		return FncRetCode {

				var FncRetCode v_ret;

				v_ret := f_sendRtAdv( m_mipRtAdv_noExtHdr( p_llaAddrTn,
														p_dstAddr,
														c_mFlag0,
														c_oFlag0,
														c_haFlag1,
														c_infiniteLifetime,
														c_unspecifiedReachTime,
														c_unspecifiedRetransTime,
														m_mipRtAdvOpt_prefixOpt (	p_prefixLength,
																					c_lFlag1,
																					c_aFlag1,
																					c_validLifetime30s,
																					c_preferredLifetime10s,
																					p_glaAddrTn,
																					m_advInterval(c_3000ms),
																					m_homeAgentInfo(c_haPref0,
																									c_haLifetime600s)) ) ) ;
				return v_ret ;
		}//end f_sendMipRtAdvWithPrefix

	} // end group routerDiscovery

	group neighborDiscovery {
+65 −0
Original line number Diff line number Diff line
@@ -567,6 +567,42 @@
			rtAdvOptions:=p_options
		}

		/*
		 *	@param  p_src Binary IPv6 address associated with the
		 *          test component.
		 *	@param  p_dst Binary IPv6 address associated with NUT.
		 *	@param  p_mFlag Managed configuration flag value.
		 *	@param  p_oFlag Other configuration flag value.
		 *	@param  p_lifetime Life time flag value.
		 *	@param  p_reachTime Reach flag value.
		 *	@param  p_retransTimer Retransmit flag value.
		 *	@param  p_options Router advertisement options value or template.
	    */
		template RouterAdvertisement m_mipRtAdv_noExtHdr (		template Ipv6Address p_src,
															template Ipv6Address p_dst,
															UInt1 p_mFlag,
															UInt1 p_oFlag,
															UInt1 p_haFlag,
															UInt16 p_lifetime,
															UInt32 p_reachTime,
															UInt32 p_retransTimer,
															template RtAdvOptions p_options) := {
			ipv6Hdr := m_ipHdr_nextHdr_srcDst(c_icmpHdr, p_src, p_dst),
			extHdrList := omit,
			icmpType:= c_rtAdv,
			icmpCode:= c_icmpCode0,
			checksum:= c_2ZeroBytes,
			curHopLimit:= c_hopLimit255,
			managedConfigFlag:=p_mFlag,
			otherConfigFlag:=p_oFlag,
			homeAgentFlag := p_haFlag,
			reserved:=0,
			routerLifetime:=p_lifetime,
			reachableTime:=p_reachTime,
			retransTimer:=p_retransTimer,
			rtAdvOptions:=p_options
		}

		/*
		 *	@param  p_src Binary IPv6 address associated with the
		 *          test component.
@@ -1146,6 +1182,35 @@
			otherOption := omit
		}

		/*
		 *	@param  p_prefixLength Length of the prefix.
		 *	@param  p_lFlag Value for link flag.
		 *	@param  p_aFlag Value for autoconfiguration flag.
		 *	@param  p_validLifetime Value for valid life time duration.
		 *	@param  p_preferredLifetime Value for preffered life time duration.
		 *	@param  p_prefix Address prefix to be used
	    */
		template RtAdvOptions m_mipRtAdvOpt_prefixOpt (		template UInt8 p_prefixLength,
														UInt1 p_lFlag,
														UInt1 p_aFlag,
														UInt32 p_validLifetime,
														UInt32 p_preferredLifetime,
														template Ipv6Address p_prefix,
														template AdvertisementInterval p_advertisementInterval,
														template HomeAgentInfo p_homeAgentInfo):={
			srcLinkLayerAddr := omit,
			mtuOption:= omit,
			prefixInfoList := {  m_prefixInfo(	p_prefixLength,
												p_lFlag,
												p_aFlag,
												p_validLifetime,
												p_preferredLifetime,
												p_prefix) },
			advertisementInterval := p_advertisementInterval,
			homeAgentInfo := p_homeAgentInfo,
			otherOption := omit
		}

		/*
		 *	@param  p_prefixLength Length of the prefix.
		 *	@param  p_lFlag Value for link flag.
+1 −0
Original line number Diff line number Diff line
@@ -42,6 +42,7 @@
		const UInt8 c_maxPrefixLength := 128;
		
		const UInt1 c_haFlag0 := 0;
		const UInt1 c_haFlag1 := 0;
		const UInt1 c_rtAddrFlag0 := 0;		
		const UInt32 c_validLifetime0s := 0;
		const UInt32 c_validLifetime30s := 30;
+21 −0
Original line number Diff line number Diff line
@@ -141,6 +141,27 @@ module LibIpv6_MultiRfcs_Templates {

	} // end group destination_Options

	group nbrDiscOptions {
		
		template AdvertisementInterval m_advInterval(UInt32 p_advInterval) := {
			icmpType := c_advertisementInterval,
			optionLength := 1,
			reserved := c_uInt16Zero,
			advInterval := p_advInterval
		}

		template HomeAgentInfo m_homeAgentInfo(	UInt16 p_homeAgentPreference,
												UInt16 p_homeAgentLifetime) := {
			icmpType := c_homeAgentInfo,
			optionLength := 1,
			reserved := c_uInt16Zero,
			homeAgentPreference := p_homeAgentPreference,
			homeAgentLifetime := p_homeAgentLifetime
		}


	}//end group nbrDiscOptions

	group mobilityHdrMessageTemplates {
		
		
+4 −0
Original line number Diff line number Diff line
@@ -44,6 +44,9 @@ module LibIpv6_MultiRfcs_TypesAndValues {
			const UInt16 c_unspecifiedReachTime := 0;
			const UInt16 c_unspecifiedRetransTime := 0;

			const UInt16 c_haPref0 :=0;
			const UInt16 c_haLifetime600s := 600; 

			const UInt16 c_infiniteLifetime := c_uInt16Max ;
			const UInt16 c_zeroLifetime := 0 ;
			const UInt32 c_retrans10s := 10000 ;
@@ -51,6 +54,7 @@ module LibIpv6_MultiRfcs_TypesAndValues {
			
			const UInt32 c_jumboLen8 := 8;
			const UInt32 c_jumboLen128K := 131072;
			const UInt32 c_3000ms := 3000;
		}