Commit dff0ebd2 authored by tepelmann's avatar tepelmann
Browse files

Further reduction of warnings.

parent 7fd9482e
Loading
Loading
Loading
Loading
+9 −4
Original line number Original line Diff line number Diff line
@@ -1667,6 +1667,7 @@ module LibIms_Steps
        {
        {
            var Response v_response;
            var Response v_response;
            var Request v_request;
            var Request v_request;
            var CSeq v_cSeq;
		 
		 
            [] any timer.timeout 
            [] any timer.timeout 
            {
            {
@@ -1703,7 +1704,8 @@ module LibIms_Steps
            //	ignore 181 if flag is set (following TS 183004 §4.5.2.1)		  
            //	ignore 181 if flag is set (following TS 183004 §4.5.2.1)		  
            [vc_ignore181] SIPP.receive(mw_Response_Base(c_statusLine181,vc_callId, vc_cSeq))-> value v_response sender vc_sent_label
            [vc_ignore181] SIPP.receive(mw_Response_Base(c_statusLine181,vc_callId, vc_cSeq))-> value v_response sender vc_sent_label
              { 
              { 
                f_setHeadersOnReceiptOfResponse(v_response.msgHeader.cSeq, v_response); 
                v_cSeq := valueof(v_response.msgHeader.cSeq);
                f_setHeadersOnReceiptOfResponse(v_cSeq, v_response); 
                repeat;
                repeat;
              } 
              } 
	  
	  
@@ -1721,7 +1723,8 @@ module LibIms_Steps
		
		
            [vc_ignore4xx] SIPP.receive(mw_Response_Base(mw_statusLine4xx,vc_callId, ?))-> value v_response sender vc_sent_label
            [vc_ignore4xx] SIPP.receive(mw_Response_Base(mw_statusLine4xx,vc_callId, ?))-> value v_response sender vc_sent_label
              { 
              { 
                f_setHeadersOnReceiptOfResponse(v_response.msgHeader.cSeq, v_response); 
                v_cSeq := valueof(v_response.msgHeader.cSeq);
                f_setHeadersOnReceiptOfResponse(v_cSeq, v_response); 
                f_SendACK(m_ACK_Request_route(vc_requestUri, vc_callId, v_response.msgHeader.cSeq, vc_from, vc_to, vc_via, vc_route));
                f_SendACK(m_ACK_Request_route(vc_requestUri, vc_callId, v_response.msgHeader.cSeq, vc_from, vc_to, vc_via, vc_route));
                repeat
                repeat
              }			
              }			
@@ -1791,7 +1794,8 @@ module LibIms_Steps
            [] SIPP.receive(mw_Response_Base(mw_statusLine4xx, vc_callId, ?))-> value v_response sender vc_sent_label
            [] SIPP.receive(mw_Response_Base(mw_statusLine4xx, vc_callId, ?))-> value v_response sender vc_sent_label
            { 
            { 
                setverdict(fail);
                setverdict(fail);
                f_setHeadersOnReceiptOfResponse(v_response.msgHeader.cSeq, v_response); 
                v_cSeq := valueof(v_response.msgHeader.cSeq);
                f_setHeadersOnReceiptOfResponse(v_cSeq, v_response); 
                LibSip_Steps.f_setHeadersACK();
                LibSip_Steps.f_setHeadersACK();
                f_SendACK(m_ACK_Request_route(vc_requestUri, vc_callId, v_response.msgHeader.cSeq, vc_from, vc_to, vc_via, vc_route));
                f_SendACK(m_ACK_Request_route(vc_requestUri, vc_callId, v_response.msgHeader.cSeq, vc_from, vc_to, vc_via, vc_route));
                action("Please de-register");          
                action("Please de-register");          
@@ -1802,7 +1806,8 @@ module LibIms_Steps
            [] SIPP.receive(mw_Response_Base(mw_statusLine5xx, vc_callId, ?))-> value v_response sender vc_sent_label
            [] SIPP.receive(mw_Response_Base(mw_statusLine5xx, vc_callId, ?))-> value v_response sender vc_sent_label
            { 
            { 
                setverdict(fail);
                setverdict(fail);
                f_setHeadersOnReceiptOfResponse(v_response.msgHeader.cSeq, v_response); 
                v_cSeq := valueof(v_response.msgHeader.cSeq);
                f_setHeadersOnReceiptOfResponse(v_cSeq, v_response); 
                LibSip_Steps.f_setHeadersACK();
                LibSip_Steps.f_setHeadersACK();
                f_SendACK(m_ACK_Request_route(vc_requestUri, vc_callId, v_response.msgHeader.cSeq, vc_from, vc_to, vc_via, vc_route));
                f_SendACK(m_ACK_Request_route(vc_requestUri, vc_callId, v_response.msgHeader.cSeq, vc_from, vc_to, vc_via, vc_route));
                action("Please de-register");          
                action("Please de-register");          
+5 −5
Original line number Original line Diff line number Diff line
@@ -1340,7 +1340,7 @@ group request_send {
                                                             template(value) To p_to,
                                                             template(value) To p_to,
                                                             template(value) Via p_via,
                                                             template(value) Via p_via,
                                                             template(omit)  Route p_route,
                                                             template(omit)  Route p_route,
                                                             template(value) charstring p_U2UData)
                                                             template(value) UserToUser.uuiData p_U2UData)
    modifies m_BYE_Request_Base := {
    modifies m_BYE_Request_Base := {
        msgHeader := {
        msgHeader := {
            route := p_route, userToUser := m_UserToUserData(p_U2UData)
            route := p_route, userToUser := m_UserToUserData(p_U2UData)
@@ -1906,7 +1906,7 @@ group request_send {
                                                                      template(omit)  Supported p_supported,
                                                                      template(omit)  Supported p_supported,
                                                                      template(omit)  PChargingVector p_pChargingVector,
                                                                      template(omit)  PChargingVector p_pChargingVector,
                                                                      template(value) MessageBody p_mb,
                                                                      template(value) MessageBody p_mb,
                                                                      template(value) charstring p_U2UData)
                                                                      template(value) UserToUser.uuiData p_U2UData)
    modifies m_INVITE_Request_IMS := {
    modifies m_INVITE_Request_IMS := {
        msgHeader := {userToUser := m_UserToUserData(p_U2UData)}
        msgHeader := {userToUser := m_UserToUserData(p_U2UData)}
    }
    }
@@ -2478,7 +2478,7 @@ group request_receive {
        msgHeader := {sessionExpires := p_sessionExpires}
        msgHeader := {sessionExpires := p_sessionExpires}
      }
      }
      
      
    template(present) INVITE_Request mw_INVITE_Request_User2UserData (template(present) charstring p_U2UData) modifies  mw_INVITE_Request_Base
    template(present) INVITE_Request mw_INVITE_Request_User2UserData (template(present) UserToUser.uuiData p_U2UData) modifies  mw_INVITE_Request_Base
    :=
    :=
    {
    {
        msgHeader := {userToUser := mw_UserToUserData(p_U2UData)}
        msgHeader := {userToUser := mw_UserToUserData(p_U2UData)}
@@ -3054,7 +3054,7 @@ group response_send
    }   
    }   
    
    
    template(value) Response m_Response_18XonINVITE_UserToUser (template(value) StatusLine p_statusLine, template(value) CallId p_callId, template(value) CSeq p_cSeq,
    template(value) Response m_Response_18XonINVITE_UserToUser (template(value) StatusLine p_statusLine, template(value) CallId p_callId, template(value) CSeq p_cSeq,
            template(value) From p_from, template(value) To p_to, template(value) Via p_via, template(value) charstring p_U2UData) modifies m_Response_Base:=
            template(value) From p_from, template(value) To p_to, template(value) Via p_via, template(value) UserToUser.uuiData p_U2UData) modifies m_Response_Base:=
    {
    {
        msgHeader :=
        msgHeader :=
        {
        {
@@ -3258,7 +3258,7 @@ group response_send
    }           
    }           
    
    
    template(value) Response m_Response_2xxonINVITE_UserToUser (template(value) StatusLine p_statusLine, template(value) CallId p_callId, template(value) CSeq p_cSeq,
    template(value) Response m_Response_2xxonINVITE_UserToUser (template(value) StatusLine p_statusLine, template(value) CallId p_callId, template(value) CSeq p_cSeq,
        template(value) From p_from, template(value) To p_to, template(value) Via p_via, template(value) Contact p_contact, template(omit) RecordRoute p_recordRoute, template(value) MessageBody p_mb, template(value) charstring p_U2UData) 
        template(value) From p_from, template(value) To p_to, template(value) Via p_via, template(value) Contact p_contact, template(omit) RecordRoute p_recordRoute, template(value) MessageBody p_mb, template(value) UserToUser.uuiData p_U2UData) 
        modifies m_Response_Base:=
        modifies m_Response_Base:=
    {
    {
        msgHeader :=
        msgHeader :=