Loading ttcn3/EtsiLibrary/LibIpv6/LibMobility/LibIpv6_Rfc3775Mipv6_Functions.ttcn +7 −5 Original line number Diff line number Diff line Loading @@ -665,11 +665,13 @@ module LibIpv6_Rfc3775Mipv6_Functions { /* * @desc Sends RtAdvertisements and waits for Binding Update while the MN is away from home * @param p_paramsRt All IPv6 parameters of Test Node * @param p_paramsHa All IPv6 parameters of MN's Home Agent * @param p_paramsIut All IPv6 parameters of Node Under Test * @param p_nrOfRtAdv Nr of RTadv to be sent by the Test Node */ function f_sendRtAdvAndReplyToBindUpOffHome( template Ipv6NodeParams p_paramsRt, template Ipv6NodeParams p_paramsIut, template Ipv6NodeParams p_paramsHa, UInt8 p_nrOfRtAdv) runs on Ipv6Node return FncRetCode { Loading Loading @@ -697,7 +699,7 @@ module LibIpv6_Rfc3775Mipv6_Functions { [] ipPort.receive ( mw_bindingUpdate_dst ( c_dstHdr, p_paramsRt.haGlas[0], p_paramsHa.gla, m_extHdrList_2Elem ( m_extHdr_dstOptHeader ( c_mobileHdr, Loading Loading @@ -729,7 +731,7 @@ module LibIpv6_Rfc3775Mipv6_Functions { v_ret := f_sendBA ( m_bindingAck ( c_routeHdr, p_paramsRt.haGlas[0], p_paramsHa.gla, v_mnCareOfAddr, m_extHdrList_2Elem ( m_extHdr_routingHeader ( Loading @@ -751,7 +753,7 @@ module LibIpv6_Rfc3775Mipv6_Functions { [] ipPort.receive ( mw_bindingUpdate_dst ( c_dstHdr, p_paramsRt.haGlas[0], p_paramsHa.gla, m_extHdrList_2Elem ( m_extHdr_dstOptHeader ( c_mobileHdr, Loading Loading @@ -782,7 +784,7 @@ module LibIpv6_Rfc3775Mipv6_Functions { v_ret := f_sendBA ( m_bindingAck ( c_routeHdr, p_paramsRt.haGlas[0], p_paramsHa.gla, v_mnCareOfAddr, m_extHdrList_2Elem ( m_extHdr_routingHeader ( Loading Loading
ttcn3/EtsiLibrary/LibIpv6/LibMobility/LibIpv6_Rfc3775Mipv6_Functions.ttcn +7 −5 Original line number Diff line number Diff line Loading @@ -665,11 +665,13 @@ module LibIpv6_Rfc3775Mipv6_Functions { /* * @desc Sends RtAdvertisements and waits for Binding Update while the MN is away from home * @param p_paramsRt All IPv6 parameters of Test Node * @param p_paramsHa All IPv6 parameters of MN's Home Agent * @param p_paramsIut All IPv6 parameters of Node Under Test * @param p_nrOfRtAdv Nr of RTadv to be sent by the Test Node */ function f_sendRtAdvAndReplyToBindUpOffHome( template Ipv6NodeParams p_paramsRt, template Ipv6NodeParams p_paramsIut, template Ipv6NodeParams p_paramsHa, UInt8 p_nrOfRtAdv) runs on Ipv6Node return FncRetCode { Loading Loading @@ -697,7 +699,7 @@ module LibIpv6_Rfc3775Mipv6_Functions { [] ipPort.receive ( mw_bindingUpdate_dst ( c_dstHdr, p_paramsRt.haGlas[0], p_paramsHa.gla, m_extHdrList_2Elem ( m_extHdr_dstOptHeader ( c_mobileHdr, Loading Loading @@ -729,7 +731,7 @@ module LibIpv6_Rfc3775Mipv6_Functions { v_ret := f_sendBA ( m_bindingAck ( c_routeHdr, p_paramsRt.haGlas[0], p_paramsHa.gla, v_mnCareOfAddr, m_extHdrList_2Elem ( m_extHdr_routingHeader ( Loading @@ -751,7 +753,7 @@ module LibIpv6_Rfc3775Mipv6_Functions { [] ipPort.receive ( mw_bindingUpdate_dst ( c_dstHdr, p_paramsRt.haGlas[0], p_paramsHa.gla, m_extHdrList_2Elem ( m_extHdr_dstOptHeader ( c_mobileHdr, Loading Loading @@ -782,7 +784,7 @@ module LibIpv6_Rfc3775Mipv6_Functions { v_ret := f_sendBA ( m_bindingAck ( c_routeHdr, p_paramsRt.haGlas[0], p_paramsHa.gla, v_mnCareOfAddr, m_extHdrList_2Elem ( m_extHdr_routingHeader ( Loading