Newer
Older
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
2072
2073
2074
2075
2076
2077
2078
2079
2080
2081
2082
2083
2084
2085
2086
2087
2088
2089
2090
2091
2092
2093
2094
2095
2096
2097
2098
2099
2100
2101
2102
2103
2104
2105
2106
2107
2108
2109
2110
2111
2112
2113
2114
2115
2116
2117
2118
2119
2120
2121
2122
2123
2124
2125
2126
2127
2128
2129
2130
2131
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
}
2174
2175
2176
2177
2178
2179
2180
2181
2182
2183
2184
2185
2186
2187
2188
2189
2190
2191
2192
2193
2194
2195
2196
2197
2198
2199
2200
2201
2202
2203
2204
2205
2206
2207
2208
2209
2210
}//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
}
}
2226
2227
2228
2229
2230
2231
2232
2233
2234
2235
2236
2237
2238
2239
2240
2241
2242
2243
2244
2245
2246
2247
2248
2249
2250
2251
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
}
}
2264
2265
2266
2267
2268
2269
2270
2271
2272
2273
2274
2275
2276
2277
2278
2279
2280
2281
2282
2283
2284
2285
2286
2287
2288
2289
2290
2291
2292
2293
2294
2295
2296
2297
2298
2299
2300
2301
2302
2303
2304
2305
2306
2307
2308
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))
}
2402
2403
2404
2405
2406
2407
2408
2409
2410
2411
2412
2413
2414
2415
2416
2417
2418
2419
2420
2421
2422
2423
2424
2425
2426
2427
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
}
2475
2476
2477
2478
2479
2480
2481
2482
2483
2484
2485
2486
2487
2488
2489
2490
2491
2492
2493
2494
2495
2496
2497
2498
2499
2500
2501
2502
2503
2504
2505
2506
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 :=
2508
2509
2510
2511
2512
2513
2514
2515
2516
2517
2518
2519
2520
2521
2522
2523
2524
2525
2526
2527
2528
2529
2530
2531
2532
2533
2534
2535
2536
2537
2538
2539
2540
2541
2542
2543
2544
2545
2546
2547
{
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
}
2548
2549
2550
2551
2552
2553
2554
2555
2556
2557
2558
2559
2560
2561
2562
2563
2564
2565
2566
2567
2568
2569
2570
2571
2572
2573
2574
2575
2576
2577
2578
2579
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
}
2611
2612
2613
2614
2615
2616
2617
2618
2619
2620
2621
2622
2623
2624
2625
2626
2627
2628
2629
2630
2631
2632
2633
2634
2635
2636
2637
2638
2639
2640
2641
2642
2643
2644
2645
2646
2647
2648
2649
2650
2651
2652
2653
2654
2655
2656
2657
2658
2659
2660
2661
2662
2663
2664
2665
2666
2667
2668
2669
2670
2671
2672
2673
2674
2675
2676
2677
2678
2679
2680
2681
2682
2683
2684
2685
2686
2687
2688
2689
2690
2691
2692
2693
2694
2695
2696
2697
2698
2699
2700
2701
2702
2703
2704
2705
2706
2707
2708
2709
2710
2711
2712
2713
2714
2715
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
}
}
2728
2729
2730
2731
2732
2733
2734
2735
2736
2737
2738
2739
2740
2741
2742
2743
2744
2745
2746
2747
2748
2749
2750
2751
2752
2753
2754
2755
2756
2757
2758
2759
2760
2761
2762
2763
2764
2765
2766
2767
2768
2769
2770
2771
2772
2773
2774
2775
2776
2777
2778
2779
2780
2781
2782
2783
2784
2785
2786
2787
2788
2789
2790
2791
2792
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 := ?
}
}
2802
2803
2804
2805
2806
2807
2808
2809
2810
2811
2812
2813
2814
2815
2816
2817
2818
2819
2820
2821
2822
2823
2824
2825
2826
2827
2828
2829
2830
2831
2832
2833
2834
2835
2836
2837
2838
2839
2840
2841
2842
2843
2844
2845
2846
2847
2848
2849
2850
2851
2852
2853
2854
2855
2856
2857
2858
2859
2860
2861
2862
2863
2864
2865
2866
2867
2868
2869
2870
2871
2872
2873
2874
2875
2876
2877
2878
2879
2880
2881
2882
2883
2884
2885
2886
2887
2888
2889
2890
2891
2892
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