Newer
Older
Yann Garcia
committed
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
/*
* @author STF 574
* @version $Id$
* @desc This module provides TP related templates used at MM interface
*/
module AtsImsIot_Templates_MX {
// LibCommon
//import from LibCommon_BasicTypesAndValues all;
//import from LibCommon_VerdictControl all;
// libSip
import from LibSip_SIPTypesAndValues all;
import from LibSip_MessageBodyTypes all;
import from LibSip_Templates all;
import from LibSip_Common all;
// LibIms
import from LibIms_Templates all;
//import from LibMsrp_TypesAndValues all;
// LibIot
//import from LibIot_TypesAndValues all;
import from LibIot_PIXITS all;
// AtsImsIot
//import from AtsImsIot_TypesAndValues all;
import from AtsImsIot_PIXITS all;
import from AtsImsIot_Templates all;
/**
* @desc INVITE Request checking TP_MX_ECSCF_INVITE_01
*/
template(present) INVITE_Request mw_TP_MX_ECSCF_INVITE_01 (template (present) SipUrl p_invite_uri := ?,
template (present) From p_from := ?,
template (present) To p_to := ?,
template (present) Contact p_contact := ?,
template (present) MessageBody p_messageBody := ?,
template (present) PAssertedID p_pAssertedID := ?
)
modifies mw_INVITE_Request_Base := {
msgHeader := {
fromField := p_from,
toField := p_to,
route := ({
fieldName := ROUTE_E,
routeBody := {
*,
complement(mw_routeBody(p_invite_uri)),
*
}
}, omit),
recordRoute := {
fieldName := RECORD_ROUTE_E,
routeBody := {mw_routeBody(p_invite_uri), *}
},
contact := p_contact,
pAssertedID := p_pAssertedID
},
messageBody := p_messageBody
}
template(present) INVITE_Request mw_TP_MX_ECSCF_INVITE_02 (template (present) SipUrl p_invite_uri := ?,
template (present) From p_from := ?,
template (present) To p_to := ?,
template (present) Contact p_contact := ?,
template (present) MessageBody p_messageBody := ?,
template (present) PAssertedID p_pAssertedID := ?
)
modifies mw_TP_MX_ECSCF_INVITE_01 := {
msgHeader := {
pChargingFunctionAddresses := omit
}
}
template(present) INVITE_Request mw_TP_MX_ECSCF_INVITE_03 (template (present) SipUrl p_invite_uri := ?,
template (present) From p_from := ?,
template (present) To p_to := ?,
template (present) Contact p_contact := ?,
template (present) MessageBody p_messageBody := ?,
template (present) PAssertedID p_pAssertedID := ?
)
modifies mw_TP_MX_ECSCF_INVITE_02 := {
}
template(present) INVITE_Request mw_TP_MX_PCSCF_NGC_INVITE_01 (template (present) SipUrl p_invite_uri := ?,
template (present) From p_from := ?,
template (present) To p_to := ?,
template (present) Contact p_contact := ?,
template (present) MessageBody p_messageBody := ?,
template (present) PAssertedID p_pAssertedID := ?
)
modifies mw_TP_MX_ECSCF_INVITE_02 := {
}
template(present) INFO_Request mw_TP_MX_ECSCF_NGC_INFO_01 (
template CallId p_callId := omit,
template (present) SipUrl p_invite_uri := ?,
template (present) From p_from := ?,
template (present) To p_to := ?,
template (present) Contact p_contact := ?,
template (present) MessageBody p_messageBody := ?,
template (present) PPreferredID p_pPreferredID := ?,
template (present) Accept p_accept := ?,
template (present) RecvInfo p_recvInfo := ?
)
modifies mw_TP_MX_ECSCF_INFO_01 := {
}
Yann Garcia
committed
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
template (present) Response mw_TP_MX_ECSCF_100Trying_01(
template (present) CSeq p_cSeq := ?,
template (present) From p_from := ?,
template (present) To p_to := ?
) modifies mw_100Trying_Base := {
msgHeader := {
cSeq := p_cSeq,
fromField := p_from,
toField := p_to
}
} // End of template mw_TP_MX_ECSCF_100Trying_01
template (present) Response mw_TP_MX_ECSCF_180Ringing_01(
template (present) CSeq p_cSeq := ?,
template (present) From p_from := ?,
template (present) To p_to := ?
) modifies mw_180Ringing_Base := {
msgHeader := {
cSeq := p_cSeq,
fromField := p_from,
toField := p_to
}
} // End of template mw_TP_MX_ECSCF_180Ringing_01
template (present) Response mw_TP_MX_ECSCF_183SessionProgress_01(
template (present) CSeq p_cSeq := ?,
template (present) From p_from := ?,
template (present) To p_to := ?
) modifies mw_183SessionProgress_Base := {
msgHeader := {
cSeq := p_cSeq,
fromField := p_from,
toField := p_to
}
} // End of template mw_TP_MX_ECSCF_183SessionProgress_01
template (present) ACK_Request mw_TP_MX_ECSCF_ACK_01( // TODO To be enforced
template (present) CallId p_callId := ?,
template (present) CSeq p_cSeq := ?,
template (present) SipUrl p_ack_uri := ?,
template (present) From p_from := ?,
template (present) To p_to := ?
) modifies mw_ACK_Request_Base := {
requestLine := {
method := ACK_E,
requestUri := p_ack_uri, // @TODO
sipVersion := c_sipNameVersion
},
msgHeader := {
callId := p_callId,
fromField := p_from,
toField := p_to,
route := {
fieldName := ROUTE_E,
routeBody := {
*,
?,
*
}
}
}
} // End of template mw_TP_MX_ECSCF_ACK_01
template(present) INFO_Request mw_TP_MX_ECSCF_INFO_01 (
template CallId p_callId := omit,
template (present) SipUrl p_invite_uri := ?,
template (present) From p_from := ?,
template (present) To p_to := ?
)modifies mw_INFO_Request_Base := {
msgHeader := {
fromField := p_from,
toField := p_to,
callId := p_callId
Yann Garcia
committed
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
template (present) BYE_Request mw_TP_MX_ECSCF_BYE_01( // TODO To be enforced
template (present) CallId p_callId := ?,
template (present) CSeq p_cSeq := ?,
template (present) SipUrl p_bye_uri := ?,
template (present) From p_from := ?,
template (present) To p_to := ?
) modifies mw_BYE_Request_Base := {
requestLine := {
method := BYE_E,
requestUri := p_bye_uri, // @TODO
sipVersion := c_sipNameVersion
},
msgHeader := {
callId := p_callId,
fromField := p_from,
toField := p_to,
route := {
fieldName := ROUTE_E,
routeBody := {
*,
?,
*
}
}
}
} // End of template mw_TP_MX_ECSCF_BYE_01
template (present) BYE_Request mw_TP_MX_ECSCF_BYE_02( // TODO To be enforced
template (present) CallId p_callId := ?,
template (present) CSeq p_cSeq := ?,
template (present) SipUrl p_bye_uri := ?,
template (present) From p_from := ?,
template (present) To p_to := ?
) modifies mw_TP_MX_ECSCF_BYE_01 := {
msgHeader := {
route := *
}
} // End of template mw_TP_MX_ECSCF_BYE_02
template (present) CANCEL_Request mw_TP_MX_ECSCF_CANCEL_01( // TODO To be enforced
template (present) CallId p_callId := ?,
template (present) CSeq p_cSeq := ?,
template (present) SipUrl p_bye_uri := ?,
template (present) From p_from := ?,
template (present) To p_to := ?
) modifies mw_CANCEL_Request_Base := {
requestLine := {
method := CANCEL_E,
requestUri := p_bye_uri, // @TODO
sipVersion := c_sipNameVersion
},
msgHeader := {
callId := p_callId,
fromField := p_from,
toField := p_to,
route := {
fieldName := ROUTE_E,
routeBody := {
*,
?,
*
}
}
}
} // End of template mw_TP_MX_ECSCF_CANCEL_01
template (present) Response mw_3xxContact(
template (present) CSeq p_cSeq := ?,
Accept p_accept) modifies mdw_3XX_Base := {
msgHeader := {
cSeq := p_cSeq,
accept := p_accept
}
} // End of template mw_3xxContact
} // End of module AtsImsIot_Templates_MX