LibIms_Templates.ttcn

		msgHeader := {
			fromField := p_from,
			pAssertedID := p_pAssertedID,
			privacy := p_privacy}
		}
			
     /*
      * 
      * @desc Await INVITE with PAsserted and Privacy
      */
     template INVITE_Request mw_INVITE_Request_Passerted_ifPrivacy (template From p_from, template PAssertedID p_pAssertedID, template Privacy p_privacy)
       modifies  mw_INVITE_Request_Base
       :=
       {
      msgHeader := {
      	  fromField := p_from,
          pAssertedID := p_pAssertedID,
          privacy := p_privacy ifpresent}
       }

     /*
      * 
      * @desc Await INVITE with PAsserted and Privacy
      */
     template INVITE_Request mw_INVITE_Request_HistoryInfo (template HistoryInfo p_historyInfo)
       modifies  mw_INVITE_Request_Base
       :=
       {
      msgHeader := {
          historyInfo := p_historyInfo}
       }
   
	template MESSAGE_Request mw_MESSAGE_Request_noPchargingFunction_UE	
		modifies mw_MESSAGE_Request_Base
		:=
		{
		  msgHeader := {  pChargingFunctionAddresses := omit,
				          pChargingVector := omit}
		}
	  
	template MESSAGE_Request mw_MESSAGE_Request_noPchargingFunction_IMS	
		modifies mw_MESSAGE_Request_Base
		:=
		{
		  msgHeader := {  pChargingFunctionAddresses := omit,
						  pChargingVector := omit}
		}	
		  
	template MESSAGE_Request mw_MESSAGE_Request_PAsserted_noPPreferred (template CallId p_callId, template PAssertedID p_pAssertedID)modifies mw_MESSAGE_Request_Base
		:=
	  	{
		  msgHeader := {pAssertedID := p_pAssertedID,
			 		    pPreferredID := omit
					   }
	    }

	template MESSAGE_Request mw_MESSAGE_Request_PchargingVector	(template charstring p_id, template charstring p_paramValue)
		modifies mw_MESSAGE_Request_Base
		:=
		{
		  msgHeader := {  pChargingVector := mw_pChargingVector(p_id,p_paramValue)}
		}
	  
	template MESSAGE_Request mw_MESSAGE_Request_noPaccessNetworkInfo	
		modifies mw_MESSAGE_Request_Base
		:=
		{
		  msgHeader := {  pAccessNetworkInfo := omit}
		}

	template MESSAGE_Request mw_MESSAGE_Request_noPMediaAuthorization	
		modifies mw_MESSAGE_Request_Base
		:=
		{
		  msgHeader := {  pMediaAuthorization := omit}
		}
		
	template PUBLISH_Request mw_PUBLISH_Request_PchargingVector(template CallId p_callId, template PChargingVector p_pChargingVector) modifies mw_PUBLISH_Request_Base :=
	{
		msgHeader := {  pChargingVector := p_pChargingVector}
	}

	template REGISTER_Request mw_REGISTER_Request_IMS	(template Path p_Path, template PChargingVector p_pChargingVector, template PVisitedNetworkID p_pVisitedNetworkID)
		modifies mw_REGISTER_Request_Base
		:=
		{
		  msgHeader := {  authorization := ?,
		  				  path := p_Path,
						  pChargingVector := p_pChargingVector, //mw_pChargingVector(p_id,p_paramValue)
						  pVisitedNetworkID := p_pVisitedNetworkID,
						  require := mw_require_path,
					      securityClient := omit,
						  securityVerify := omit
						  }
		}
	  


	template REGISTER_Request mw_REGISTER_authorizedRequest_IMS	(template Authorization p_authorization)
		modifies mw_REGISTER_Request_Base
		:=
		{
		  msgHeader := {  authorization := p_authorization
						  }
		}
		
	template REGISTER_Request mw_REGISTER_authorizedRequest_wo_securityclient_IMS	(template Authorization p_authorization)
		modifies mw_REGISTER_Request_Base
		:=
		{
		  msgHeader := {  authorization := p_authorization,
						  securityClient := omit
						  }
		}
	template REGISTER_Request mw_REGISTER_authorizedRequest_wo_securityheaders_IMS
		modifies mw_REGISTER_Request_Base
		:=
		{
		  msgHeader := {  securityVerify := omit,
						  securityClient := omit
						  }
		}
		
	template REGISTER_Request mw_REGISTER_unauthorizedRequest_IMS	
		modifies mw_REGISTER_Request_Base
		:=
		{
		  msgHeader := {  authorization := omit
						  }
		}

	template SUBSCRIBE_Request mw_SUBSCRIBE_Request_IMS (
		template From p_from, 
		To p_to, 
		template PAssertedID p_pAssertedID, 
		template PChargingVector p_pChargingVector
	)  modifies mw_SUBSCRIBE_Request_Base := {
		requestLine	:=
		{
			method := SUBSCRIBE_E
		},
		msgHeader :=
		{	fromField := p_from,
			toField := p_to,
			event	:= m_Event_reg,
			pAccessNetworkInfo := m_pAccessNetworkInfo_IEEE_11a,
			pChargingVector := p_pChargingVector
		}
	}
	
	template UPDATE_Request mw_UPDATE_Request_fromChange (template CallId p_callId, template From p_from) modifies mw_UPDATE_Request_Base :=
	{
		msgHeader :=
		{	
			fromField := p_from
		}
	}
	
	template NOTIFY_Request mw_NOTIFY_Request(
		template CallId p_callId, 
		template charstring p_state,
		template charstring p_contentType,
		template Event p_event,
		template MessageBody p_mb
	) modifies mw_NOTIFY_Request_Base := {
		msgHeader :=
		{
			subscriptionState := mw_subscriptionState(p_state),
			contentType := {fieldName := CONTENT_TYPE_E, mediaType :=  p_contentType},
			event := p_event
		},
		messageBody := p_mb
	}

}//end group request_receive
group response_send
{
	template Response m_Response_2xxonBYE_UE (StatusLine p_statusLine, CallId p_callId, CSeq p_cSeq,
			  From p_from, To p_to, Via p_via, Contact p_contact ) modifies m_Response_Base:=
		{
			msgHeader :=
			{
				contact		:= p_contact,
				maxForwards := omit
			}
		}

	template Response m_Response_onCANCEL (StatusLine p_statusLine, CallId p_callId, CSeq p_cSeq,
		From p_from, To p_to, Via p_via, Contact p_contact, template RecordRoute p_recordRoute) 
		modifies m_Response_Base:=
	{
		msgHeader :=
		{
			//contact		:= p_contact,
			maxForwards := omit//,
			//recordRoute := p_recordRoute
		}
	}	
	
	template Response m_Response_18XonINVITE (StatusLine p_statusLine, CallId p_callId, CSeq p_cSeq,
			From p_from, To p_to, Via p_via, Contact p_contact ) modifies m_Response_Base:=
	{
		msgHeader :=
		{
			//contact		:= p_contact,
			//maxForwards := omit,
			//rSeq		:= {fieldName:=RSEQ_E, responseNum:= 9999}//Ref: ES 283 003 V2.5.1 ch:A.2.1.4.7
		}
	}
	
	template Response m_Response_18XonINVITE_AlertInfo (
		StatusLine p_statusLine, 
		CallId p_callId, 
		CSeq p_cSeq,
		From p_from, 
		To p_to, 
		Via p_via, 
		AlertInfo p_alertInfo
	) modifies m_Response_Base:= {
		msgHeader :=
		{
			alertInfo	:= p_alertInfo
		}
	}
	
	template Response m_Response_18XonINVITE_sdp_require (StatusLine p_statusLine, CallId p_callId, CSeq p_cSeq,
			From p_from, To p_to, Via p_via, Contact p_contact,template MessageBody p_mb,template Require p_require ) modifies m_Response_Base:=
	{
		msgHeader :=
		{
			contact		:= p_contact,
			contentLength	:= {fieldName := CONTENT_LENGTH_E, len:= f_MessageBodyLength(valueof(p_mb))},
			contentType := {fieldName := CONTENT_TYPE_E, mediaType :=  c_sdpAplication},
			maxForwards := omit,
			require		:= p_require,
			rSeq		:= {fieldName:=RSEQ_E, responseNum:= 9999}//Ref: ES 283 003 V2.5.1 ch:A.2.1.4.7
		},
		messageBody := p_mb
	}
	
	template Response m_Response_18XonINVITE_UE (StatusLine p_statusLine, CallId p_callId, CSeq p_cSeq,
		  From p_from, To p_to, Via p_via, Contact p_contact ) modifies m_Response_Base:=
	{
		msgHeader :=
		{
			contact		:= p_contact,
			maxForwards := omit,
			rSeq		:= {fieldName:=RSEQ_E, responseNum:= 9999}//Ref: ES 283 003 V2.5.1 ch:A.2.1.4.7
		}
	}

	
     template Response m_Response_18XonINVITE_HistoryInfo_UE (StatusLine p_statusLine, CallId p_callId, CSeq p_cSeq,
        From p_from, To p_to, Via p_via, Contact p_contact, template HistoryInfo p_historyInfo) modifies m_Response_Base:=
     {
      msgHeader :=
      {
       contact		:= p_contact,
	   historyInfo	:= p_historyInfo,
       rSeq		:= {fieldName:=RSEQ_E, responseNum:= 9999}//Ref: ES 283 003 V2.5.1 ch:A.2.1.4.7
      }
     }
 
	template Response m_Response_18XonINVITE_PchargingVector (StatusLine p_statusLine, CallId p_callId, CSeq p_cSeq,
		  From p_from, To p_to, Via p_via ) modifies m_Response_Base:=
	{
		msgHeader :=
		{
			pChargingFunctionAddresses := m_pChargingFunctionAddresses_fixedValue,
			pChargingVector := m_pChargingFunctionAddresses_fixedValue

		}
	}

     template Response m_Response_18XonINVITE_pEearlyMedia (StatusLine p_statusLine, CallId p_callId, CSeq p_cSeq,
        From p_from, To p_to, Via p_via, template PEarlyMedia p_pEarlyMedia ) modifies m_Response_Base:=
     {
      msgHeader :=
      {
		pEarlyMedia := p_pEarlyMedia
      }
     }


	template Response m_Response_18XonINVITE_pPreferred_UE (StatusLine p_statusLine, CallId p_callId, CSeq p_cSeq,
		  From p_from, To p_to, Via p_via, Contact p_contact, template PPreferredID p_pPreferredID ) modifies m_Response_Base:=
	{
		msgHeader :=
		{
			contact		:= p_contact,
			maxForwards := omit,
			pPreferredID := p_pPreferredID,
			rSeq		:= {fieldName:=RSEQ_E, responseNum:= 9999}//Ref: ES 283 003 V2.5.1 ch:A.2.1.4.7
		}
	}	


	template Response m_Response_18XonINVITE_pAsserted_UE (StatusLine p_statusLine, CallId p_callId, CSeq p_cSeq,
				From p_from, To p_to, Via p_via, Contact p_contact, template PAssertedID p_pAssertedID ) modifies m_Response_Base:=
	{
		msgHeader :=
		{
			contact		:= p_contact,
			maxForwards := omit,
			pAssertedID := p_pAssertedID,
			rSeq		:= {fieldName:=RSEQ_E, responseNum:= 9999}//Ref: ES 283 003 V2.5.1 ch:A.2.1.4.7
		}
	}

	template Response m_Response_18XonINVITE_pAsserted_privacy_UE (StatusLine p_statusLine, CallId p_callId, CSeq p_cSeq,
				From p_from, To p_to, Via p_via, Contact p_contact, template PAssertedID p_pAssertedID, template Privacy p_privacy) modifies m_Response_Base:=
	{
		msgHeader :=
		{
			contact		:= p_contact,
			maxForwards := omit,
			pAssertedID := p_pAssertedID,
			privacy := p_privacy,
			rSeq		:= {fieldName:=RSEQ_E, responseNum:= 9999}//Ref: ES 283 003 V2.5.1 ch:A.2.1.4.7
		}
	}
	
	template Response m_Response_18XonINVITE_privacy_UE (StatusLine p_statusLine, CallId p_callId, CSeq p_cSeq,
				From p_from, To p_to, Via p_via, Contact p_contact, template Privacy p_privacy) modifies m_Response_Base:=
	{
		msgHeader :=
		{
			contact		:= p_contact,
			maxForwards := omit,
			privacy := p_privacy,
			rSeq		:= {fieldName:=RSEQ_E, responseNum:= 9999}//Ref: ES 283 003 V2.5.1 ch:A.2.1.4.7
		}
	}

	
	template Response m_Response_18XonINVITE_supported_privacy_UE (StatusLine p_statusLine, CallId p_callId, CSeq p_cSeq,
				From p_from, To p_to, Via p_via, Contact p_contact, template Supported p_supported, template Privacy p_privacy) modifies m_Response_Base:=
	{
		msgHeader :=
		{
			contact		:= p_contact,
			maxForwards := omit,
			supported := p_supported,
			privacy := p_privacy,
			rSeq		:= {fieldName:=RSEQ_E, responseNum:= 9999}//Ref: ES 283 003 V2.5.1 ch:A.2.1.4.7
		}
	}
			
	template Response m_Response_18XonINVITE_recordRoute_UE (StatusLine p_statusLine, CallId p_callId, CSeq p_cSeq,
		  From p_from, To p_to, Via p_via, Contact p_contact, template RecordRoute p_recordRoute) modifies m_Response_Base:=
	{
		msgHeader :=
		{
			contact		:= p_contact,
			maxForwards := omit,
			rSeq		:= {fieldName:=RSEQ_E, responseNum:= 9999},//Ref: ES 283 003 V2.5.1 ch:A.2.1.4.7
			recordRoute := p_recordRoute//for INVITE response
		}
	}
	
	template Response m_Response_18XonINVITE_Require (
		StatusLine p_statusLine, 
		CallId p_callId, 
		CSeq p_cSeq,
		From p_from, 
		To p_to, 
		Via p_via, 
		Contact p_contact,
		Require p_require
	) modifies m_Response_Base:= {
		msgHeader :=
		{
			require := p_require
		}
	}
	
	template Response m_Response_18XonINVITE_Require_ifpresent (
		StatusLine p_statusLine, 
		CallId p_callId, 
		CSeq p_cSeq,
		From p_from, 
		To p_to, 
		Via p_via, 
		Contact p_contact,
		Require p_require
	) modifies m_Response_Base:= {
		msgHeader :=
		{
			require := p_require
		}
	}	
	
	template Response m_Response_18XonINVITE_UserToUser (StatusLine p_statusLine, CallId p_callId, CSeq p_cSeq,
			From p_from, To p_to, Via p_via, template charstring p_U2UData) modifies m_Response_Base:=
	{
		msgHeader :=
		{
			userToUser := m_UserToUserData(valueof(p_U2UData))
		}
	}
	
	template Response m_Response_18XonINVITE_Xml (StatusLine p_statusLine, CallId p_callId, CSeq p_cSeq,
		  From p_from, To p_to, Via p_via, Contact p_contact,template MessageBody p_mb ) modifies m_Response_Base:=
	{
		msgHeader :=
		{
			contact		:= p_contact,
			contentLength	:= {fieldName := CONTENT_LENGTH_E, len:= f_MessageBodyLength(valueof(p_mb))},
			contentType := {fieldName := CONTENT_TYPE_E, mediaType :=  c_xmlAplication},
			maxForwards := omit,
			rSeq		:= {fieldName:=RSEQ_E, responseNum:= 9999}//Ref: ES 283 003 V2.5.1 ch:A.2.1.4.7
		},
		messageBody := p_mb
	}	
	
	template Response m_Response_18XonINVITE_sdp_UE (StatusLine p_statusLine, CallId p_callId, CSeq p_cSeq,
				From p_from, To p_to, Via p_via, Contact p_contact,template MessageBody p_mb ) modifies m_Response_Base:=
	{
		msgHeader :=
		{
			contact		:= p_contact,
			contentLength	:= {fieldName := CONTENT_LENGTH_E, len:= f_MessageBodyLength(valueof(p_mb))},
			contentType := {fieldName := CONTENT_TYPE_E, mediaType :=  c_sdpAplication},
			maxForwards := omit,
			rSeq		:= {fieldName:=RSEQ_E, responseNum:= 9999}//Ref: ES 283 003 V2.5.1 ch:A.2.1.4.7
		},
		messageBody := p_mb
	}
	
	template Response m_Response_18XonINVITE_require_sdp_UE (StatusLine p_statusLine, CallId p_callId, CSeq p_cSeq,
				From p_from, To p_to, Via p_via, Contact p_contact, Require p_require, template MessageBody p_mb ) modifies m_Response_Base:=
	{
		msgHeader :=
		{
			contact		:= p_contact,
			contentLength	:= {fieldName := CONTENT_LENGTH_E, len:= f_MessageBodyLength(valueof(p_mb))},
			contentType := {fieldName := CONTENT_TYPE_E, mediaType :=  c_sdpAplication},
			maxForwards := omit,
			require 	:= p_require,
			rSeq		:= {fieldName:=RSEQ_E, responseNum:= 9999}//Ref: ES 283 003 V2.5.1 ch:A.2.1.4.7
		},
		messageBody := p_mb
	}		
	
	template Response m_Response_2xxonINVITE (StatusLine p_statusLine, CallId p_callId, CSeq p_cSeq,
		From p_from, To p_to, Via p_via, Contact p_contact, template RecordRoute p_recordRoute, template MessageBody p_mb) 
		modifies m_Response_Base:=
	{
		msgHeader :=
		{
			contact		:= p_contact,
			contentLength	:= {fieldName := CONTENT_LENGTH_E, len:= f_MessageBodyLength(valueof(p_mb))},
			contentType := {fieldName := CONTENT_TYPE_E, mediaType :=  c_sdpAplication},
			maxForwards := omit,
			recordRoute := p_recordRoute//for INVITE response
		},
		messageBody := p_mb
	}
	
	template Response m_Response_2xxonINVITE_HistoryInfo (StatusLine p_statusLine, CallId p_callId, CSeq p_cSeq,
				From p_from, To p_to, Via p_via, Contact p_contact, template RecordRoute p_recordRoute, template HistoryInfo p_historyInfo, template MessageBody p_mb) 
				modifies m_Response_Base:=
	{
		msgHeader :=
		{
			contact		:= p_contact,
			contentLength	:= {fieldName := CONTENT_LENGTH_E, len:= f_MessageBodyLength(valueof(p_mb))},
			contentType := {fieldName := CONTENT_TYPE_E, mediaType :=  c_sdpAplication},
			historyInfo := p_historyInfo,
			maxForwards := omit,
			recordRoute := p_recordRoute//for INVITE response
		},
		messageBody := p_mb
	}
	
	template Response m_Response_2xxonINVITE_Mime (StatusLine p_statusLine, CallId p_callId, CSeq p_cSeq,
				From p_from, To p_to, Via p_via, Contact p_contact, template RecordRoute p_recordRoute, template MessageBody p_mb) 
				modifies m_Response_Base:=
	{
		msgHeader :=
		{
			contact		:= p_contact,
			contentLength	:= {fieldName := CONTENT_LENGTH_E, len:= f_MessageBodyLength(valueof(p_mb))},
			contentType := {fieldName := CONTENT_TYPE_E, mediaType :=  c_mimeMultipart},
			maxForwards := omit,
			recordRoute := p_recordRoute//for INVITE response
		},
		messageBody := p_mb
	}
	
	template Response m_Response_2xxonINVITE_UE (StatusLine p_statusLine, CallId p_callId, CSeq p_cSeq,
		  From p_from, To p_to, Via p_via, Contact p_contact, template RecordRoute p_recordRoute, template MessageBody p_mb) 
		  modifies m_Response_Base:=
	{
		msgHeader :=
		{
			contact		:= p_contact,
			contentLength	:= {fieldName := CONTENT_LENGTH_E, len:= f_MessageBodyLength(valueof(p_mb))},
			contentType := {fieldName := CONTENT_TYPE_E, mediaType :=  c_sdpAplication},
			maxForwards := omit,
			recordRoute := p_recordRoute//for INVITE response
		},
		messageBody := p_mb
	}

	template Response m_Response_2xxonINVITE_PchargingVector (StatusLine p_statusLine, CallId p_callId, CSeq p_cSeq,
		  From p_from, To p_to, Via p_via,template Route p_route, template RecordRoute p_recordroute, MessageBody p_mb ) modifies m_Response_mbody :=
	{
		msgHeader :=
		{
			pChargingFunctionAddresses := m_pChargingFunctionAddresses_fixedValue,
			pChargingVector := m_pChargingFunctionAddresses_fixedValue

		}
	}
	
	template Response m_Response_2XXonINVITE_pPreferred_UE (StatusLine p_statusLine, CallId p_callId, CSeq p_cSeq,
		  From p_from, To p_to, Via p_via, Contact p_contact, template PPreferredID p_pPreferredID, template RecordRoute p_recordRoute, template MessageBody p_mb) modifies m_Response_Base:=
	{
		msgHeader :=
		{
			contact		:= p_contact,
			contentLength	:= {fieldName := CONTENT_LENGTH_E, len:= f_MessageBodyLength(valueof(p_mb))},
			contentType := {fieldName := CONTENT_TYPE_E, mediaType :=  c_sdpAplication},
			maxForwards := omit,
			pPreferredID := p_pPreferredID,
			recordRoute := p_recordRoute//for INVITE response
		},
		messageBody := p_mb
	}	

	
	template Response m_Response_2XXonINVITE_pAsserted_UE (StatusLine p_statusLine, CallId p_callId, CSeq p_cSeq,
		  From p_from, To p_to, Via p_via, Contact p_contact, template PAssertedID p_pAssertedID, template RecordRoute p_recordRoute, template MessageBody p_mb) modifies m_Response_Base:=
	{
		msgHeader :=
		{
			contact		:= p_contact,
			contentLength	:= {fieldName := CONTENT_LENGTH_E, len:= f_MessageBodyLength(valueof(p_mb))},
			contentType := {fieldName := CONTENT_TYPE_E, mediaType :=  c_sdpAplication},
			maxForwards := omit,
			pAssertedID := p_pAssertedID,
			recordRoute := p_recordRoute//for INVITE response
		},
		messageBody := p_mb
	}	

	template Response m_Response_2XXonINVITE_pAsserted_privacy_UE (StatusLine p_statusLine, CallId p_callId, CSeq p_cSeq,
				From p_from, To p_to, Via p_via, Contact p_contact, template PAssertedID p_pAssertedID, template Privacy p_privacy, template RecordRoute p_recordRoute, template MessageBody p_mb) modifies m_Response_Base:=
	{
		msgHeader :=
		{
			contact		:= p_contact,
			contentLength	:= {fieldName := CONTENT_LENGTH_E, len:= f_MessageBodyLength(valueof(p_mb))},
			contentType := {fieldName := CONTENT_TYPE_E, mediaType :=  c_sdpAplication},
			maxForwards := omit,
			pAssertedID := p_pAssertedID,
			privacy := p_privacy,
			recordRoute := p_recordRoute//for INVITE response
		},
		messageBody := p_mb
	}	

	template Response m_Response_2XXonINVITE_supported_privacy_UE (StatusLine p_statusLine, CallId p_callId, CSeq p_cSeq,
				From p_from, To p_to, Via p_via, Contact p_contact, template Supported p_supported, template Privacy p_privacy, template RecordRoute p_recordRoute, template MessageBody p_mb) modifies m_Response_Base:=
	{
		msgHeader :=
		{
			contact		:= p_contact,
			contentLength	:= {fieldName := CONTENT_LENGTH_E, len:= f_MessageBodyLength(valueof(p_mb))},
			contentType := {fieldName := CONTENT_TYPE_E, mediaType :=  c_sdpAplication},
			maxForwards := omit,
			supported := p_supported,
			privacy := p_privacy,
			recordRoute := p_recordRoute//for INVITE response
		},
		messageBody := p_mb
	}	
		
	template Response m_Response_2XXonINVITE_privacy_UE (StatusLine p_statusLine, CallId p_callId, CSeq p_cSeq,
		  From p_from, To p_to, Via p_via, Contact p_contact, template Privacy p_privacy, template RecordRoute p_recordRoute, template MessageBody p_mb) modifies m_Response_Base:=
	{
		msgHeader :=
		{
			contact		:= p_contact,
			contentLength	:= {fieldName := CONTENT_LENGTH_E, len:= f_MessageBodyLength(valueof(p_mb))},
			contentType := {fieldName := CONTENT_TYPE_E, mediaType :=  c_sdpAplication},
			maxForwards := omit,
			privacy := p_privacy,
			recordRoute := p_recordRoute//for INVITE response
		},
		messageBody := p_mb
	}			
	
	template Response m_Response_2xxonINVITE_UserToUser (StatusLine p_statusLine, CallId p_callId, CSeq p_cSeq,
		From p_from, To p_to, Via p_via, Contact p_contact, template RecordRoute p_recordRoute, template MessageBody p_mb, template charstring p_U2UData) 
		modifies m_Response_Base:=
	{
		msgHeader :=
		{
			contact		:= p_contact,
			contentLength	:= {fieldName := CONTENT_LENGTH_E, len:= f_MessageBodyLength(valueof(p_mb))},
			contentType := {fieldName := CONTENT_TYPE_E, mediaType :=  c_sdpAplication},
			maxForwards := omit,
			recordRoute := p_recordRoute,//for INVITE response
			userToUser := m_UserToUserData(valueof(p_U2UData))
		},
		messageBody := p_mb
	}

	template Response m_Response_2xxonREGISTER_IMS (StatusLine p_statusLine, CallId p_callId, CSeq p_cSeq,
		  From p_from, To p_to, Via p_via, Contact p_contact, SipUrl p_serviceroute_sip_url) 
		  modifies m_Response_Base:=
	{
		msgHeader :=
		{
			contact		:= p_contact,
			serviceRoute := {fieldName:=SERVICE_ROUTE_E,
				routeBody:={{ nameAddr:= {displayName:=omit,addrSpec:=p_serviceroute_sip_url},rrParam:=omit}}}
		}
	}
	

	template Response m_Response_2xxonSUBSCRIBE_IMS (StatusLine p_statusLine, CallId p_callId, CSeq p_cSeq,
		  From p_from, To p_to, Via p_via, Contact p_contact) 
		  modifies m_Response_Base:=
	{
		msgHeader :=
		{
			contact		:= p_contact
		}
	}
	

	template Response m_Response_2xxonSUBSCRIBE_UE (StatusLine p_statusLine, CallId p_callId, CSeq p_cSeq,
		  From p_from, To p_to, Via p_via, Contact p_contact) 
		  modifies m_Response_Base:=
	{
		msgHeader :=
		{
			contact		:= p_contact
		}
	}

	template Response m_Response_onMESSAGE_IMS(StatusLine p_statusLine, CallId p_callId, CSeq p_cSeq,
	From p_from, To p_to, Via p_via, Contact p_contact) modifies m_Response_Base:=
	{
		msgHeader :=
		{
			contact		:= p_contact
	  	}
	}

	template Response m_Response_2xxonMESSAGE_PAccessNetwInfo_UE(StatusLine p_statusLine, CallId p_callId, CSeq p_cSeq,
	From p_from, To p_to, Via p_via) modifies m_Response_Base:=
	{
		msgHeader :=
		{
			pAccessNetworkInfo := m_pAccessNetworkInfo_IEEE_11a
	  	}
	}

	template Response m_Response_2xxonMESSAGE_PCharging_UE(StatusLine p_statusLine, CallId p_callId, CSeq p_cSeq,
	From p_from, To p_to, Via p_via, template PChargingVector p_pChargingVector) modifies m_Response_Base:=
	{
		msgHeader :=
		{
			pChargingFunctionAddresses := m_pChargingFunctionAddresses_fixedValue,
			pChargingVector := m_pChargingFunctionAddresses_fixedValue
	  	}
	}


	template Response m_Response_2xxonMESSAGE_PCharging_IMS(StatusLine p_statusLine, CallId p_callId, CSeq p_cSeq,
	From p_from, To p_to, Via p_via, template PChargingVector p_pChargingVector) modifies m_Response_Base:=
	{
		msgHeader :=
		{
			pChargingFunctionAddresses := m_pChargingFunctionAddresses_fixedValue,
			pChargingVector := p_pChargingVector
	  	}
	}
	
	template Response m_Response_2xxonMESSAGE_PMediaAuth_UE(StatusLine p_statusLine, CallId p_callId, CSeq p_cSeq,
	From p_from, To p_to, Via p_via) modifies m_Response_Base:=
	{
		msgHeader :=
		{
			pMediaAuthorization := m_pMediaAuthorization_fixedValue
	  	}
	}
	
	template Response m_Response_2xxonMESSAGE_pPreferredID_UE(StatusLine p_statusLine, CallId p_callId, CSeq p_cSeq,
	From p_from, To p_to, Via p_via, template PPreferredID p_pPreferredID) modifies m_Response_Base:=
	{
		msgHeader :=
		{
			pPreferredID := p_pPreferredID
		}
	}
	
	template Response m_Response_2xxonUPDATE (StatusLine p_statusLine, CallId p_callId, CSeq p_cSeq,
	From p_from, To p_to, Via p_via, Contact p_contact, template RecordRoute p_recordRoute, template MessageBody p_mb) 
	modifies m_Response_Base:=
	{
		msgHeader :=
		{
			contact		:= p_contact,
			contentLength	:= {fieldName := CONTENT_LENGTH_E, len:= f_MessageBodyLength(valueof(p_mb))},
			contentType := {fieldName := CONTENT_TYPE_E, mediaType :=  c_sdpAplication},
			maxForwards := omit,
			recordRoute := p_recordRoute
		},
		messageBody := p_mb
	}

	
	template Response m_Response_3XXonINVITE (StatusLine p_statusLine, CallId p_callId, CSeq p_cSeq,
			From p_from, To p_to, Via p_via, Contact p_contact ) modifies m_Response_Base:=
	{
		msgHeader :=
		{
			contact		:= p_contact,
			maxForwards := omit
		}
	}
		
	
	template Response m_Response_4XXonINVITE (StatusLine p_statusLine, CallId p_callId, CSeq p_cSeq,
			From p_from, To p_to, Via p_via, Contact p_contact ) modifies m_Response_Base:=
	{
		msgHeader :=
		{
			contact		:= p_contact,
			maxForwards := omit
		}
	}
		
	template Response m_Response_4XXonINVITE_UE (StatusLine p_statusLine, CallId p_callId, CSeq p_cSeq,
			  From p_from, To p_to, Via p_via, Contact p_contact ) modifies m_Response_Base:=
	{
		msgHeader :=
		{
			contact		:= p_contact,
			maxForwards := omit
		}
	}
	
	template Response m_Response_onINVITE (StatusLine p_statusLine, CallId p_callId, CSeq p_cSeq,
				From p_from, To p_to, Via p_via, Contact p_contact, template RecordRoute p_recordRoute) modifies m_Response_Base:=
	{
		msgHeader :=
		{
			contact		:= p_contact,
			maxForwards := omit
		}
	}
	
	template Response m_Response_onINVITE_Reason (StatusLine p_statusLine, CallId p_callId, CSeq p_cSeq,
				From p_from, To p_to, Via p_via, Contact p_contact, template RecordRoute p_recordRoute, integer p_cause) modifies m_Response_Base:=
	{
		msgHeader :=
		{
			contact		:= p_contact,
			maxForwards := omit,
			reason := mw_Reason(p_cause)
		}
	}
			
	template Response m_Response_WWWauthenticate_IMS(StatusLine p_statusLine, CallId p_callId, CSeq p_cSeq,
	From p_from, To p_to, Via p_via, template WwwAuthenticate p_wwwAuthenticate) modifies m_Response_Base:=
	{
		msgHeader :=
		{
			wwwAuthenticate := p_wwwAuthenticate
		}
	}	
	
}//end group response_send

group response_receive
{

	template Response mw_Response_200onINVITE_noPChargingVector_UE(template StatusLine p_statusLine, template CallId p_callId,
		template CSeq p_cSeq) modifies mw_Response_Base:=
	{
		statusLine := {sipVersion := c_sipNameVersion, statusCode := p_statusLine.statusCode, reasonPhrase := ?},
		msgHeader :=
		{
			pChargingVector := omit
	  }
	}
	
	template Response mw_Response_200onINVITE_SDP_UE(template StatusLine p_statusLine, template CallId p_callId,
		template CSeq p_cSeq) modifies mw_Response_Base:=
	{
		statusLine := {sipVersion := c_sipNameVersion, statusCode := p_statusLine.statusCode, reasonPhrase := ?},
		messageBody := {
			sdpMessageBody := ?
		}
	}

	template Response mw_Response_2xxonMESSAGE_noPCharging_UE(template StatusLine p_statusLine, template CallId p_callId,
		template CSeq p_cSeq) modifies mw_Response_Base:=
	{
		statusLine := {sipVersion := c_sipNameVersion, statusCode := p_statusLine.statusCode, reasonPhrase := ?},
		msgHeader :=
		{
			pChargingFunctionAddresses := omit,
			pChargingVector := omit
	  }
	}

	template Response mw_Response_2xxonMESSAGE_noPCharging_IMS(template StatusLine p_statusLine, template CallId p_callId,
		template CSeq p_cSeq) modifies mw_Response_Base:=
	{
		statusLine := {sipVersion := c_sipNameVersion, statusCode := p_statusLine.statusCode, reasonPhrase := ?},
		msgHeader :=
		{
			pChargingFunctionAddresses := omit,
			pChargingVector := omit
	  }
	}


	template Response mw_Response_2xxonMESSAGE_noPAccessNetworkInfo_IMS(template StatusLine p_statusLine, template CallId p_callId,
		template CSeq p_cSeq) modifies mw_Response_Base:=
	{
		statusLine := {sipVersion := c_sipNameVersion, statusCode := p_statusLine.statusCode, reasonPhrase := ?},
		msgHeader :=
		{
			pAccessNetworkInfo := omit
	  }
	}

	template Response mw_Response_2xxonMESSAGE_noPMediaAuthorization_IMS(template StatusLine p_statusLine, template CallId p_callId,
		template CSeq p_cSeq) modifies mw_Response_Base:=
	{
		statusLine := {sipVersion := c_sipNameVersion, statusCode := p_statusLine.statusCode, reasonPhrase := ?},
		msgHeader :=
		{
			pMediaAuthorization := omit
	  }
	}

	template Response mw_Response_401onREGISTER_securityServer_UE(template StatusLine p_statusLine, template CallId p_callId,
		template CSeq p_cSeq) modifies mw_Response_Base:=
	{
		statusLine := {sipVersion := c_sipNameVersion, statusCode := p_statusLine.statusCode, reasonPhrase := ?},
		msgHeader :=
		{
			securityServer := ?,
			wwwAuthenticate := ?
	  }
	}

	template Response mw_Response_401onREGISTER_WWWauthenticate_IMS(template StatusLine p_statusLine, template CallId p_callId,
		template CSeq p_cSeq, template WwwAuthenticate p_wwwAuthenticate) modifies mw_Response_Base:=
	{
		statusLine := {sipVersion := c_sipNameVersion, statusCode := p_statusLine.statusCode, reasonPhrase := ?},
		msgHeader :=
		{
			wwwAuthenticate := p_wwwAuthenticate
	  }
	}

	template Response mw_Response_200onREGISTER_IMS(template StatusLine p_statusLine, template CallId p_callId,
		template CSeq p_cSeq, template SipUrl p_ue_uri, template Contact p_contact, template SipUrl p_sut_scscf_uri) modifies mw_Response_Base:=
	{
		statusLine := {sipVersion := c_sipNameVersion, statusCode := p_statusLine.statusCode, reasonPhrase := ?},
		msgHeader :=
		{
			pAssociatedURI := {fieldName := P_ASSOCIATED_URI_E, nameAddrList:={*,{nameAddr:={displayName:=*,addrSpec:=p_ue_uri},genericParams:=*},*}},
			path := ?,
			serviceRoute := {fieldName := SERVICE_ROUTE_E, routeBody := {{nameAddr:={displayName:=*,addrSpec:=p_sut_scscf_uri},rrParam:=*}}},
			pChargingFunctionAddresses := ?,
			pChargingVector := ?,
			contact := p_contact
	  }
	}
	
	template Response mw_Response_PpreferredID_PassertedID(template StatusLine p_statusLine, template CallId p_callId,
		template CSeq p_cSeq, template PPreferredID p_pPreferredID, template PAssertedID p_pAssertedID) modifies mw_Response_Base:=
	{
		statusLine := {sipVersion := c_sipNameVersion, statusCode := p_statusLine.statusCode, reasonPhrase := ?},
		msgHeader :=
		{
		  pAssertedID := p_pAssertedID,
		  pPreferredID := p_pPreferredID
	  }
	}

	template Response mw_Response_PAsserted_Privacy_History (template StatusLine p_statusLine, template CallId p_callId,
		template CSeq p_cSeq, template PAssertedID p_pAssertedID, template Privacy p_privacy, template HistoryInfo p_historyInfo) modifies mw_Response_Base:=
	{
		statusLine := {sipVersion := c_sipNameVersion, statusCode := p_statusLine.statusCode, reasonPhrase := ?},
		msgHeader :=
		{
			pAssertedID := p_pAssertedID,
			privacy := p_privacy,
			historyInfo := p_historyInfo
		}
	}

	template Response mw_Response_PchargingVector(template StatusLine p_statusLine, template CallId p_callId,
		template CSeq p_cSeq, template PChargingVector p_chargingVector) modifies mw_Response_Base:=
	{
		statusLine := {sipVersion := c_sipNameVersion, statusCode := p_statusLine.statusCode, reasonPhrase := ?},
		msgHeader :=
		{
		  pChargingVector := p_chargingVector // mw_pChargingVector(p_id,p_paramValue)
	  }
	}

} // end response_receive

}//end modified_templates

}//end Message_templates

} // end module LibIms_Templates