Commit eb0dd2af authored by berge's avatar berge
Browse files

Fixed MN TC TC_MOB_1063_01. This TC still need to be cleaned (CN Binding is... 

Fixed MN TC TC_MOB_1063_01. This TC still need to be cleaned (CN Binding is not deleted in postamble)
parent d60a900c

ttcn3/EtsiLibrary/LibIpv6/LibMobility/LibIpv6_Rfc3775Mipv6_Functions.ttcn

+33 −1
Original line number Diff line number Diff line
@@ -845,6 +845,9 @@ module LibIpv6_Rfc3775Mipv6_Functions { 
		var Ipv6Packet v_ipv6Packet;

		var UInt16 v_seqNr := 0;

		var UInt16 v_lifetime := 0;		

		var Ipv6Address	v_receivedTargetAddr := c_16ZeroBytes;

		var Ipv6Address	v_receivedSrcAddr := c_16ZeroBytes;

		var NeighborSolicitation v_nbrSol ;

		//var default localDef := activate(a_receiveBindingUpdateAndReplyAtHome(p_paramsHa, p_paramsIut));



		tc_loop.start;
@@ -971,6 +974,35 @@ module LibIpv6_Rfc3775Mipv6_Functions { 
					repeat;

				}

				

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

						v_receivedSrcAddr := v_nbrSol.ipv6Hdr.sourceAddress ;

						v_receivedTargetAddr := v_nbrSol.ipv6Payload.nbrSolMsg.targetAddr ;

						if (	v_receivedTargetAddr == p_paramsIut.mnHoa

							or 	v_receivedTargetAddr == p_paramsIut.lla) {	

							f_sendNbrAdv (m_nbrAdv_noExtHdr( 	p_paramsHa.lla,

																c_allNodesMca,

																c_rFlag0,

																c_sFlag0,

																c_oFlag0,

																v_receivedTargetAddr,

																m_nbrAdvOpt_tllaOpt(p_paramsHa.macUca)  )) ;

						}

						else {

							if (	v_receivedTargetAddr == p_paramsHa.gla

								or	v_receivedTargetAddr == p_paramsHa.lla) {

								f_sendNbrAdv (m_nbrAdv_noExtHdr( 	p_paramsHa.lla,

																	c_allNodesMca,

																	c_rFlag1,

																	c_sFlag0,

																	c_oFlag0,

																	v_receivedTargetAddr,

																	m_nbrAdvOpt_tllaOpt(p_paramsHa.macUca)  )) ;																

							}

						}

																

					repeat;																			

				}

			

//				TODO DTE add when TT compiler fix

//						[] a_receiveBindingUpdateAndReply(p_paramsHa.gla);

//						[] tc_ac.timeout {//Guard timer