Commit fcc1b7a0 authored by validator's avatar validator
Browse files

""

parent 8471f242

ttcn3/EtsiLibrary/LibIpv6/LibMultiRfcs/LibIpv6_MultiRfcs_Functions.ttcn

+38 −2
Original line number Diff line number Diff line
@@ -188,7 +188,7 @@ 
	** @param 	p_echoRequest template of an Echo Request that is sent by NUT

	** @return 	execution status

	*/

	function f_reveiceEchoRequest_withNbrDetection (

	function f_receiveEchoRequest_withNbrDetection (

		in template NeighborSolicitation p_nbrSol,

		in template NeighborAdvertisement p_nbrAdv,

		in template EchoRequest p_echoRequest )
@@ -229,7 +229,43 @@ 


		return v_ret;



	} // end f_reveiceEchoRequest_withNbrDetection

	} // end f_receiveEchoRequest_withNbrDetection



	/*

		** @desc 	This function receives an EchoRequest and fails if NS message is received

		** @remark  Time limit is defined by module parameter PX_TAC (see comp type)

		** @param 	p_echoRequest Echo Request to be sent

		** @param 	p_nbrSol template of an NS that is sent by NUT

		** @param 	p_echoRequest template of an Echo Request that is sent by NUT

		** @return 	execution status

		*/

		function f_receiveEchoRequest_withoutNbrDetection (

			in template NeighborSolicitation p_nbrSol,

			in template EchoRequest p_echoRequest )

		runs on LibIpv6Node

		return FncRetCode {



			var FncRetCode v_ret;



			tc_ac.start;

			alt {

				[]	ipPort.receive ( p_nbrSol ) {

						tc_ac.stop;

						v_ret := e_error;

					}

				[]	ipPort.receive ( p_echoRequest ) {

						tc_ac.stop;	

						v_ret := e_success;

					}

				[]	tc_ac.timeout{

						v_ret := e_timeout;

					}		

			} // end alt



			return v_ret;



		} // end f_receiveEchoRequest_withoutNbrDetection





	/*

	** @desc 	This sends an ICMPv6 echo request from an IPv6 node to any