Commit f22a8046 authored by validator's avatar validator
Browse files

Updated common postamble

parent 19ebb9ee

ttcn3/EtsiLibrary/LibIpv6/LibMobility/LibIpv6_Rfc3775Mipv6_Functions.ttcn

+27 −14
Original line number Diff line number Diff line
@@ -86,23 +86,25 @@ module LibIpv6_Rfc3775Mipv6_Functions { 


	/*

	 * @desc  Test Node is At Home and sends BindUpdate and waits for Binding Ack

 	 * @param p_mnCoaTn Mobile Node Care Of Address of test node

	 * @param p_mnHoaTn Mobile Node Home Address of test node

	 * @param p_haGlaNut Home Agent Address of node under test

	 * @param p_paramsMn Config parameters for Mn01	 

	 * @param p_seqNr Seq Nr of Binding Update

	 * @param p_timeUnits Lifetiem of Binding Update

	 * @param p_timeUnits Lifetime of Binding Update

	*/

	function f_sendBindUpAndWaitForBindAckAtHome(	in template Ipv6Address p_mnCoaTn,

													in template Ipv6Address p_mnHoaTn,

	function f_sendBindUpAndWaitForBindAckAtHome(	in template Ipv6Address p_mnHoaTn,

													in template Ipv6Address p_haGlaNut,

													in template Ipv6NodeParams p_paramsMn,

													in UInt16 p_seqNr,

													in UInt16 p_timeUnits)

													in UInt16 p_timeUnits

													)

	runs on Ipv6Node

	return FncRetCode {

		var FncRetCode v_ret;

		var NeighborSolicitation v_nbrSol;

			

		v_ret := f_sendGeneralIpv6(m_generalIpv6_srcDst(c_mipHdr,

														p_mnCoaTn,

														p_mnHoaTn,

														p_haGlaNut,

														m_extHdrList_1Elem(

															m_extHdr_mipHeader (c_noNextHdr,
@@ -115,13 +117,13 @@ module LibIpv6_Rfc3775Mipv6_Functions { 
																								p_timeUnits,

																								m_mipOptList_2Elem(

																									m_mipOpt_padN(m_optPad2),

																									m_mipOpt_altCoa(m_mipOptAltCoA(p_mnCoaTn))))))));

																									m_mipOpt_altCoa(m_mipOptAltCoA(p_mnHoaTn))))))));

		if ( v_ret != e_success ) {return v_ret;}

		tc_ac.start;

		alt {

			[]	ipPort.receive(mw_generalIpv6_srcDst(	c_mipHdr,

													p_haGlaNut,

													p_mnCoaTn,

													p_mnHoaTn,

													m_extHdrList_1Elem(

													mw_extHdr_mipHeader (	c_noNextHdr,

																			c_bindingAck,
@@ -129,6 +131,16 @@ module LibIpv6_Rfc3775Mipv6_Functions { 
					tc_ac.stop;	

					v_ret := e_success ;

				}

				

			[]	ipPort.receive(mw_nbrSol) -> value v_nbrSol{

					f_sendNbrAdv (m_nbrAdv_noExtHdr( 	p_paramsMn.lla,

														v_nbrSol.ipv6Hdr.sourceAddress,

														c_rFlag0,

														c_sFlag1,

														c_oFlag0,

														v_nbrSol.targetAddr,

														m_nbrAdvOpt_tllaOpt(p_paramsMn.macUca)  )) ;	

				}				

			[]	tc_ac.timeout{

					v_ret :=  e_timeout;

					log("**** f_sendBindUpAndWaitForBindAckAtHome: ERROR: tc_ac.timeout **** ");
@@ -790,10 +802,11 @@ module LibIpv6_Rfc3775Mipv6_Functions { 


	//Defaults are only used on testcase level.

	//The collection of altstepd below is used locally in functions

	//Altsteps stay in MipFns module, otherwise MipFns cannot use altsteps (cyclic import) 

	group mipAltsteps {

		

	/*

	 * @desc  a_receiveBindingUpdateAndReplyAtHome

	 * @desc  receive Binding Update And Reply At Home

 	 * @param p_paramsTn All IP params of test node

	 * @param p_paramsIut All IP params of node under test

	*/
@@ -895,7 +908,7 @@ module LibIpv6_Rfc3775Mipv6_Functions { 
	}//end a_receiveBindingUpdateAndReplyAtHome

		

	/*

	 * @desc  primaryCareOfAddressRegistration

	 * @desc  receive Binding Update And Reply Off Home

	 * @param p_paramsTn All IP params of test node

	 * @param p_paramsIut All IP params of node under test

	*/