| 165,7 → 165,7 |
|---|
| hostPort := { |
| PX_IMS_TS_PCSCF_HOME_DOMAIN, PX_IMS_TS_PCSCF_PORT |
| }, |
| urlParameters := omit, |
| urlParameters := { { id := "lr", paramValue := omit}}, |
| headers := omit |
| } |
| }, |
| 577,7 → 577,7 |
|---|
| |
| template Registration m_registration (template XSDAUX.anyURI p_user):= { |
| p_user, // XSDAUX.anyURI aor |
| "", // XSDAUX.string id |
| "a7", // XSDAUX.string id |
| init, //enumerated {active,init,terminated} state, |
| omit, // record of Contact contact_list optional, |
| omit // record of anytype elem_list optional |
| 1516,15 → 1516,22 |
|---|
| * @desc INVITE message exchanged at Mw |
| * |
| */ |
| template INVITE_Request m_INVITE_Request_IMS |
| (SipUrl p_requestUri, CallId p_callId, CSeq p_cSeq, From p_from, To p_to, |
| Via p_via, Contact p_contact, template Require p_require, |
| template Route p_route, template RecordRoute p_recordRoute, template Supported p_supported, template PChargingVector p_pChargingVector, template MessageBody p_mb ) |
| modifies m_INVITE_Request_Base |
| := |
| { |
| msgHeader := |
| { |
| template INVITE_Request m_INVITE_Request_IMS ( |
| SipUrl p_requestUri, |
| CallId p_callId, |
| CSeq p_cSeq, |
| From p_from, |
| To p_to, |
| Via p_via, |
| Contact p_contact, |
| template Require p_require, |
| template Route p_route, |
| template RecordRoute p_recordRoute, |
| template Supported p_supported, |
| template PChargingVector p_pChargingVector, |
| template MessageBody p_mb |
| ) modifies m_INVITE_Request_Base := { |
| msgHeader := { |
| contentLength := {fieldName := CONTENT_LENGTH_E, len:= f_MessageBodyLength(valueof(p_mb))}, |
| contentType := {fieldName := CONTENT_TYPE_E, mediaType := c_sdpAplication}, |
| require := p_require, |
| 2171,6 → 2178,26 |
|---|
| |
| } |
| } |
| |
| template REGISTER_Request m_REGISTER_Request_IMS_3party ( |
| SipUrl p_requestUri, |
| CallId p_callId, |
| CSeq p_cSeq, |
| From p_from, |
| To p_to, |
| Via p_via, |
| Contact p_contact, |
| template Authorization p_authorization, |
| template Path p_path |
| ) modifies m_REGISTER_Request_IMS := |
| { |
| msgHeader := |
| { |
| path := p_path |
| |
| } |
| } |
| |
| template REGISTER_Request m_REGISTER_Request_expires_IMS (SipUrl p_requestUri, CallId p_callId, CSeq p_cSeq, |
| From p_from, To p_to, Via p_via, Contact p_contact, template Authorization p_authorization, template DeltaSec p_deltaSec) |
| modifies m_REGISTER_Request_IMS := |
| 2644,7 → 2671,7 |
|---|
| modifies mw_REGISTER_Request_Base |
| := |
| { |
| msgHeader := { authorization := ? |
| msgHeader := { authorization := * |
| } |
| } |
| |
