LibS1AP_Templates.ttcn 420 KB
Newer Older
1
/**
garciay's avatar
garciay committed
2
3
4
5
6
7
8
9
10
 *    @author   ETSI / STF519
 *    @version  $URL:$
 *              $Id:$
 *    @desc     This module provides Lib S1AP Templates used by the test component for S1AP tests.
 *    @copyright   ETSI Copyright Notification
 *                 No part may be reproduced except as authorized by written permission.
 *                 The copyright and the foregoing restriction extend to reproduction in all media.
 *                 All rights reserved.
 *    @see      ETSI TS 136 413 / 3GPP TS 36.413 version 13.4.0 Release 13
11
 */
garciay's avatar
garciay committed
12
module LibS1AP_Templates {
13
    
14
15
16
17
    // LibCommon
    import from LibCommon_BasicTypesAndValues all;
    import from LibCommon_DataStrings all;
    
garciay's avatar
garciay committed
18
19
20
21
22
23
    // LibS1AP
    import from S1AP_Constants language "ASN.1:1997" all;
    import from S1AP_CommonDataTypes language "ASN.1:1997" all;
    import from S1AP_IEs language "ASN.1:1997" all;
    import from S1AP_PDU_Contents language "ASN.1:1997" all;
    import from S1AP_PDU_Descriptions language "ASN.1:1997" all;
24
    
garciay's avatar
garciay committed
25
    import from LibS1AP_TypesAndValues all;
garciay's avatar
garciay committed
26
    import from LibS1AP_Pixits all;
garciay's avatar
garciay committed
27
28
29
30
31
32
    
    group g_S1AP {
        
        group  g_S1AP_PDU {
            
            /**
garciay's avatar
garciay committed
33
34
35
             * @desc Send template for S1AP PDU with InitiatingMessage payload
             * @param p_procedureCode   Procedure code
             * @param p_value           Message value according to the Procedure code
garciay's avatar
garciay committed
36
             * @see ETSI TS 136 413 V13.4.0 Clause 9.1 Message Functional Definition and Content
garciay's avatar
garciay committed
37
38
39
40
             */
            template (value) S1AP_PDU m_initiatingMessage(
                                                          in ProcedureCode p_procedureCode, 
                                                          in anytype p_value
41
            ) := {
garciay's avatar
garciay committed
42
43
44
45
46
                initiatingMessage := {
                    procedureCode := p_procedureCode,
                    criticality := reject,
                    value_ := p_value
                }
47
            } // End of template m_HandoverPreparation
garciay's avatar
garciay committed
48
49
50
            
        } // End of group g_S1AP_PDU
        
garciay's avatar
garciay committed
51
52
53
54
        /**
         * @desc List of S1AP Elementary procedures
         * @see ETSI TS 136 413 Table 1: Class 1 procedures
         */
garciay's avatar
garciay committed
55
        group class1 {
garciay's avatar
garciay committed
56
            
garciay's avatar
garciay committed
57
            group sendClass1 {
ulrichst's avatar
ulrichst committed
58
            
59
                group HandoverPreparation { 
garciay's avatar
garciay committed
60
                    
61
                    /**
62
                     * @desc Send template for InitiatingMessage message with Handover Required payload
garciay's avatar
garciay committed
63
                     * @param p_value           The protocol information elements.
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
                     */
                    template (value) InitiatingMessage m_HandoverRequired(
                                                                           template (value) RecordOf_ProtocolIE p_value) := {
                        procedureCode := id_HandoverPreparation,
                        criticality := reject,
                        value_ := {RecordOf_ProtocolIE := p_value}
                    } // End of template m_HandoverRequired
                    
                    template (value) RecordOf_ProtocolIE m_HandoverRequiredIEs(
                        in template (value) MME_UE_S1AP_ID p_MME_value,
                        in template (value) ENB_UE_S1AP_ID p_eNB_value,
                        in template (value) HandoverType p_handoverType,
                        in template (value) Cause p_cause,
                        in template (value) TargetID p_targetId_value,
                        in template (value) Source_ToTarget_TransparentContainer p_Source_ToTarget_TransparentContainer_value
                       ) := {
                            m_MME_UE_S1AP_ID(p_MME_value),
                            m_eNB_UE_S1AP_ID(p_eNB_value),
                            m_handoverType_IE(p_handoverType),
                            m_cause_IE(p_cause),
                            m_targetID_IE(p_targetId_value),
                            m_source_ToTarget_TransparentContainer_IE(p_Source_ToTarget_TransparentContainer_value)
                       } // End of template mw_HandoverCommandIEs
87
                     
88
89
90
91
92
93
94
95
96
97
98
99
                    template (value) RecordOf_ProtocolIE m_HandoverRequiredIEs_CSGID(
                        in template (value) MME_UE_S1AP_ID p_MME_value,
                        in template (value) ENB_UE_S1AP_ID p_eNB_value,
                        in template (value) HandoverType p_handoverType,
                        in template (value) Cause p_cause,
                        in template (value) TargetID p_targetId_value,
                        in template (value) Source_ToTarget_TransparentContainer p_Source_ToTarget_TransparentContainer_value,
                        in template (value) CSG_Id p_CSG_Id_value
                       ) modifies m_HandoverRequiredIEs := {
                            m_CSG_Id_IE(p_CSG_Id_value)
                       } // End of template m_HandoverCommandIEs_CSGID
                     
100
101
102
103
104
105
106
107
108
109
110
111
                    template (value) RecordOf_ProtocolIE m_HandoverRequiredIEs_CSGID_CellAccessMode(
                        in template (value) MME_UE_S1AP_ID p_MME_value,
                        in template (value) ENB_UE_S1AP_ID p_eNB_value,
                        in template (value) HandoverType p_handoverType,
                        in template (value) Cause p_cause,
                        in template (value) TargetID p_targetId_value,
                        in template (value) Source_ToTarget_TransparentContainer p_Source_ToTarget_TransparentContainer_value,
                        in template (value) CSG_Id p_CSG_Id_value,
                        in template (value) CellAccessMode p_CellAccessMode_value
                       ) modifies m_HandoverRequiredIEs := {
                            m_CSG_Id_IE(p_CSG_Id_value),
                            m_CellAccessMode_IE(p_CellAccessMode_value)                            
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
                       } // End of template m_HandoverRequiredIEs_CSGID_CellAccessMode
                        
                    template (value) RecordOf_ProtocolIE m_HandoverRequiredIEs_SRVCCHOIndication(
                        in template (value) MME_UE_S1AP_ID p_MME_value,
                        in template (value) ENB_UE_S1AP_ID p_eNB_value,
                        in template (value) HandoverType p_handoverType,
                        in template (value) Cause p_cause,
                        in template (value) TargetID p_targetId_value,
                        in template (value) Source_ToTarget_TransparentContainer p_Source_ToTarget_TransparentContainer_value,
                        in template (value) SRVCCHOIndication p_SRVCC_HO_Indication_value
                       ) modifies m_HandoverRequiredIEs := {
                           m_SRVCCHOIndication_IE(p_SRVCC_HO_Indication_value)                           
                       } // End of template m_HandoverRequiredIEs_SRVCCHOIndication
                        
                    template (value) RecordOf_ProtocolIE m_HandoverRequiredIEs_SRVCCHOInd_S2TTransCont2nd_MSClassmark23(
                        in template (value) MME_UE_S1AP_ID p_MME_value,
                        in template (value) ENB_UE_S1AP_ID p_eNB_value,
                        in template (value) HandoverType p_handoverType,
                        in template (value) Cause p_cause,
                        in template (value) TargetID p_targetId_value,
                        in template (value) Source_ToTarget_TransparentContainer p_Source_ToTarget_TransparentContainer_value,
                        in template (value) Source_ToTarget_TransparentContainer p_Source_ToTarget_TransparentContainer2_value,
                        in template (value) SRVCCHOIndication p_SRVCC_HO_Indication_value,
                        in template (value) MSClassmark2 p_MSClassMark2_value,
                        in template (value) MSClassmark3 p_MSClassMark3_value
                       ) modifies m_HandoverRequiredIEs := {
                           m_source_ToTarget_TransparentContainer_2nd_IE(p_Source_ToTarget_TransparentContainer2_value),
                           m_SRVCCHOIndication_IE(p_SRVCC_HO_Indication_value),   
                           m_MSClassmark2_IE(p_MSClassMark2_value),
                           m_MSClassmark3_IE(p_MSClassMark3_value)
                       } // End of template m_HandoverRequiredIEs_SRVCCHOIndication
143
                                             
144
                    /**
145
                     * @desc Send template for SuccessfulOutcome message with Handover Command payload
garciay's avatar
garciay committed
146
                     * @param p_value           The protocol information elements.
147
148
149
                     */
                    template (value) SuccessfulOutcome m_HandoverCommand(
                                                                           template (value) RecordOf_ProtocolIE p_value) := {
150
                        procedureCode := id_HandoverPreparation,
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
                        criticality := reject,
                        value_ := {RecordOf_ProtocolIE := p_value}
                    } // End of template m_HandoverCommand
                    
                    template (value) RecordOf_ProtocolIE m_HandoverCommandIEs(
                        in template (value) MME_UE_S1AP_ID p_MME_value,
                        in template (value) ENB_UE_S1AP_ID p_eNB_value,
                        in template (value) HandoverType p_handoverType,
                        in template (value) Target_ToSource_TransparentContainer p_Target_ToSource_TransparentContainer_value
                       ) := {
                            m_MME_UE_S1AP_ID(p_MME_value),
                            m_eNB_UE_S1AP_ID(p_eNB_value),
                            m_handoverType_IE(p_handoverType),
                            m_target_ToSource_TransparentContainer_IE(p_Target_ToSource_TransparentContainer_value)
                       } // End of template mw_HandoverCommandIEs
garciay's avatar
garciay committed
166
167
168
169
170
                    
                } // End of group HandoverPreparation
                
                group HandoverResourceAllocation {
                    
171
172
                    /**
                     * @desc Send template for InitiatingMessage message with Handover Request payload
garciay's avatar
garciay committed
173
                     * @param p_value           The protocol information elements.
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
                     */
                    template (value) InitiatingMessage m_HandoverRequest(
                                                                           in template (value) RecordOf_ProtocolIE p_value) := {
                        procedureCode := id_HandoverResourceAllocation,
                        criticality := reject,
                        value_ := {RecordOf_ProtocolIE := valueof(p_value)}
                    } // End of template m_HandoverRequest
    
                    template (value) RecordOf_ProtocolIE m_HandoverReqIEs(
                            in template (value) MME_UE_S1AP_ID p_MME_value,
                            in template (value) HandoverType p_handoverType,
                            in template (value) Cause p_cause,
                            in template (value) UEAggregateMaximumBitrate p_uEAggregateMaximumBitrate,
                            in template (value) RecordOf_E_RABToBeSetupItemHOReq p_RecordOf_E_RABToBeSetupItemHOR,
                            in template (value) Source_ToTarget_TransparentContainer p_source_ToTarget_TransparentContainer,
                            in template (value) UESecurityCapabilities p_uESecurityCapabilities,
                            in template (value) SecurityContext p_securityContext
                    ) := {
                        m_MME_UE_S1AP_ID(p_MME_value),
                        m_handoverType_IE(p_handoverType),
                        m_cause_IE(p_cause),
                        m_UE_aggregate_maximum_bitrate_IE(p_uEAggregateMaximumBitrate),
                        m_E_RABToBeSetupListHOReq(p_RecordOf_E_RABToBeSetupItemHOR),
                        m_source_ToTarget_TransparentContainer_IE(p_source_ToTarget_TransparentContainer),
                        m_UE_securityCapabilities_IE(p_uESecurityCapabilities),
                        m_securityContext_IE(p_securityContext)
                    } // End of template m_HandoverReqIEs
    
202
                    template (value) RecordOf_ProtocolIE m_HandoverReqIEs_nASSecParToEUTRAN (
203
204
205
206
207
208
209
210
211
                            in template (value) MME_UE_S1AP_ID p_MME_value,
                            in template (value) HandoverType p_handoverType,
                            in template (value) Cause p_cause,
                            in template (value) UEAggregateMaximumBitrate p_uEAggregateMaximumBitrate,
                            in template (value) RecordOf_E_RABToBeSetupItemHOReq p_RecordOf_E_RABToBeSetupItemHOR,
                            in template (value) Source_ToTarget_TransparentContainer p_source_ToTarget_TransparentContainer,
                            in template (value) UESecurityCapabilities p_uESecurityCapabilities,
                            in template (value) SecurityContext p_securityContext,
                            in template (value) NASSecurityParameterstoE_UTRAN p_nasSecurityParametersToEutran_value
212
                    ) modifies m_HandoverReqIEs := {
213
                        m_nasSecurityParametersToEutran_IE(p_nasSecurityParametersToEutran_value)
214
                    } // End of template m_HandoverReqIEs_nASSecParToEUTRAN
215
216
217
218
219
220
221
222
223
224
225
    
                    template (value) RecordOf_ProtocolIE m_HandoverReqIEs_cSGMembershipStatus(
                            in template (value) MME_UE_S1AP_ID p_MME_value,
                            in template (value) HandoverType p_handoverType,
                            in template (value) Cause p_cause,
                            in template (value) UEAggregateMaximumBitrate p_uEAggregateMaximumBitrate,
                            in template (value) RecordOf_E_RABToBeSetupItemHOReq p_RecordOf_E_RABToBeSetupItemHOR,
                            in template (value) Source_ToTarget_TransparentContainer p_source_ToTarget_TransparentContainer,
                            in template (value) UESecurityCapabilities p_uESecurityCapabilities,
                            in template (value) SecurityContext p_securityContext,
                            in template (value) CSGMembershipStatus p_cSGMembershipStatu_value
226
                    ) modifies m_HandoverReqIEs := {
227
                        m_cSGMembershipStatus_IE(p_cSGMembershipStatu_value)
228
                    } // End of template m_HandoverReqIEs_cSGMembershipStatus
229
                    
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
                    /**
                     * @desc Send template for SuccessfulOutcome message with Handover Request Acknowledge payload
                     * @param p_value           The protocol information elements.
                     */
                    template (value) SuccessfulOutcome m_HandoverRequestAcknowledge(
                                                                           in template (value) RecordOf_ProtocolIE p_value) := {
                        procedureCode := id_HandoverResourceAllocation,
                        criticality := reject,
                        value_ := {RecordOf_ProtocolIE := valueof(p_value)}
                    } // End of template m_HandoverRequestAcknowledge
    
                    template (value) RecordOf_ProtocolIE m_HandoverReqAckIEs(
                            in template (value) MME_UE_S1AP_ID p_MME_value,
                            in template (value) ENB_UE_S1AP_ID p_eNB_value,
                            in template (value) E_RABAdmittedList p_E_RABAdmittedList,
                            in template (value) Target_ToSource_TransparentContainer p_target_ToSource_TransparentContainer
                            
                    ) := {
                        m_MME_UE_S1AP_ID(p_MME_value),
                        m_eNB_UE_S1AP_ID(p_eNB_value),
                        m_E_RABTAdmitedItemIEs(p_E_RABAdmittedList),
                        m_target_ToSource_TransparentContainer_IE(p_target_ToSource_TransparentContainer)
                    } // End of template m_HandoverReqIEs
253
                    
garciay's avatar
garciay committed
254
255
                }// End of group HandoverResourceAllocation
                
256
                group HandoverCancelation{
257
258
259
260
261
262
263
264
265
266
267

                    /**
                     * @desc Send template for InitiatingMessage message with Handover Cancel payload
                     * @param p_value           The protocol information elements.
                     */
                    template (value) InitiatingMessage m_HandoverCancel(
                                                                           template (value) RecordOf_ProtocolIE p_value) := {
                        procedureCode := id_HandoverCancel,
                        criticality := reject,
                        value_ := {RecordOf_ProtocolIE := p_value}
                    } // End of template m_HandoverCancel
268
                    
269
270
271
272
273
274
275
276
277
278
                    template (value) RecordOf_ProtocolIE m_HandoverCancelIEs(
                        in template (value) MME_UE_S1AP_ID p_MME_value,
                        in template (value) ENB_UE_S1AP_ID p_eNB_value,
                        in template (value) Cause p_cause_value
                       ) := {
                            m_MME_UE_S1AP_ID(p_MME_value),
                            m_eNB_UE_S1AP_ID(p_eNB_value),
                            m_cause_IE(p_cause_value)
                       } // End of template m_HandoverCancelIEs
                       
279
                    /**
280
                     * @desc Send template for SuccessfulOutcome message with Handover Cancel Acknowledge payload
garciay's avatar
garciay committed
281
                     * @param p_value           The protocol information elements.
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
                     */
                    template (value) SuccessfulOutcome m_HandoverCancelAck(
                                                                           template (value) RecordOf_ProtocolIE p_value) := {
                        procedureCode := id_HandoverCancel,
                        criticality := reject,
                        value_ := {RecordOf_ProtocolIE := p_value}
                    } // End of template m_HandoverCancelAck
                    
                    template (value) RecordOf_ProtocolIE m_HandoverCancelAckIEs(
                        template (value) MME_UE_S1AP_ID p_MME_value,
                        template (value) ENB_UE_S1AP_ID p_eNB_value
                       ) := {
                            m_MME_UE_S1AP_ID(p_MME_value),
                            m_eNB_UE_S1AP_ID(p_eNB_value)
                       } // End of template m_HandoverCancelAckIEs
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
                    
                    /**
                     * @desc Send template for InitiatingMessage message with eNB_Status_Transfer payload
                     * @param p_value           The protocol information elements.
                     */
                    template (value) InitiatingMessage m_eNB_Status_Transfer(
                                                                           template (value) RecordOf_ProtocolIE p_value) := {
                        procedureCode := id_eNBStatusTransfer,
                        criticality := ignore,
                        value_ := {RecordOf_ProtocolIE := p_value}
                    } // End of template m_eNB_Status_Transfer

                    template (value) RecordOf_ProtocolIE m_eNB_Status_TransferIEs(
                        in template (value) MME_UE_S1AP_ID p_MME_value,
                        in template (value) ENB_UE_S1AP_ID p_eNB_value,
                        in template (value) ENB_StatusTransfer_TransparentContainer p_enb_stc_value
                       ) := {
                            m_MME_UE_S1AP_ID(p_MME_value),
                            m_eNB_UE_S1AP_ID(p_eNB_value),
                            m_eNBStatusTransferTransparentContainer_IE(p_enb_stc_value)
                       } // End of template m_eNB_Status_TransferIEs
318
319
                       
                }// End of group HandoverCancelation
320
                
321
                group PathSwitchRequest_send {
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348

                    /**
                     * @desc Send template for InitiatingMessage message with Path Switch Request payload
                     * @param p_value           The procedure code value
                     */
                    template (value) InitiatingMessage m_PathSwitchRequest(
                                                                           in template (value) RecordOf_ProtocolIE p_value) := {
                        procedureCode := id_PathSwitchRequest,
                        criticality := reject,
                        value_ := {RecordOf_ProtocolIE := valueof(p_value)}
                    } // End of template m_PathSwitchRequest

                    template (value) RecordOf_ProtocolIE m_PathSwitchRequestIEs(
	                    in template (value) ENB_UE_S1AP_ID p_eNB_value,
		                in template (value) RecordOf_E_RABToBeSwitchedDLItem p_RecordOf_E_RABToBeSwitchedDLItem_value,
		                in template (value) MME_UE_S1AP_ID p_MME_value,
		                in template (value) EUTRAN_CGI p_eUtranCgi,
		                in template (value) TAI p_tai,
		                in template (value) UESecurityCapabilities p_UESecurityCapabilities
                    ) := {
                        m_eNB_UE_S1AP_ID(p_eNB_value),
                        m_E_RABToBeSwitchedDLList(p_RecordOf_E_RABToBeSwitchedDLItem_value),
                        m_sourceMmeUeS1apId(p_MME_value),
                        m_eUTRAN_CGI_IE(p_eUtranCgi),
                        m_tAI_IE(p_tai),
                        m_UE_securityCapabilities_IE(p_UESecurityCapabilities, ignore)
                    } // End of template m_PathSwitchRequestIEs
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
                    
                    /**
                     * @desc Send template for SuccessfulOutcome message with Path Switch Request Ack payload
                     * @param p_value           The procedure code value
                     */
                    template (value) SuccessfulOutcome m_PathSwitchRequestAck(
                                                                           in template (value) RecordOf_ProtocolIE p_value) := {
                        procedureCode := id_PathSwitchRequest,
                        criticality := reject,
                        value_ := {RecordOf_ProtocolIE := valueof(p_value)}
                    } // End of template m_PathSwitchRequestAck
    
                    template (value) RecordOf_ProtocolIE m_PathSwitchRequestAckIEs(
                            in template (value) MME_UE_S1AP_ID p_MME_value,
                            in template (value) ENB_UE_S1AP_ID p_eNB_value,
                            in template (value) SecurityContext p_securityContext
                    ) := {
                        m_MME_UE_S1AP_ID(p_MME_value),
                        m_eNB_UE_S1AP_ID(p_eNB_value),
                        m_securityContext_IE(p_securityContext)
                    } // End of template m_PathSwitchRequestAckIEs
                    
                }// End of group PathSwitchRequest_send
garciay's avatar
garciay committed
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
                
                
                group ERAB_management_group {
                
                    group ERABSetup{
                    
                        template (value) RecordOf_ProtocolIE m_E_RABSetupReqIEs(
                                                                                in template (value) MME_UE_S1AP_ID p_MME_value,
                                                                                in template (value) ENB_UE_S1AP_ID p_eNB_value,
                                                                                in template (value) RecordOf_E_RABToBeSetupItemBearerSUReq p_RecordOf_E_RABToBeSetupItem_value
                        ) := {
                            m_MME_UE_S1AP_ID(p_MME_value),
                            m_eNB_UE_S1AP_ID(p_eNB_value),
                            m_E_RABToBeSetupList(p_RecordOf_E_RABToBeSetupItem_value)
                        } // End of template m_E_RABSetupReqIEs
387
    
garciay's avatar
garciay committed
388
                        template (value) RecordOf_ProtocolIE m_E_RABSetupReqIEs_no_eNB(
garciay's avatar
garciay committed
389
390
391
392
393
                                                                                      in template (value) MME_UE_S1AP_ID p_MME_value,
                                                                                      in template (value) RecordOf_E_RABToBeSetupItemBearerSUReq p_RecordOf_E_RABToBeSetupItem_value
                        ) := {
                            m_MME_UE_S1AP_ID(p_MME_value),
                            m_E_RABToBeSetupList(p_RecordOf_E_RABToBeSetupItem_value)
garciay's avatar
garciay committed
394
                        } // End of template m_E_RABSetupReqIEs_no_eNB
garciay's avatar
garciay committed
395
396
397
398
399
400
401
402
403
    
                        template (value) RecordOf_ProtocolIE m_E_RABSetupReqIEs_duplicate_ENB(
                                                                                              in template (value) MME_UE_S1AP_ID p_MME_value,
                                                                                              in template (value) ENB_UE_S1AP_ID p_eNB_value,
                                                                                              in template (value) RecordOf_E_RABToBeSetupItemBearerSUReq p_RecordOf_E_RABToBeSetupItem_value
                        ) := {
                            m_eNB_UE_S1AP_ID(p_eNB_value)
                        } // End of template m_E_RABSetupReqIEs_duplicate_ENB
    
garciay's avatar
garciay committed
404
405
406
407
408
409
410
411
412
413
414
                        template (value) RecordOf_ProtocolIE m_E_RABSetupReqIEs_UeAggregateMaxBitRate(
                                                                                in template (value) MME_UE_S1AP_ID p_MME_value,
                                                                                in template (value) ENB_UE_S1AP_ID p_eNB_value,
                                                                                in template (value) UEAggregateMaximumBitrate p_uEAggregateMaximumBitrate,
                                                                                in template (value) RecordOf_E_RABToBeSetupItemBearerSUReq p_RecordOf_E_RABToBeSetupItem_value
                        ) := {
                            m_MME_UE_S1AP_ID(p_MME_value),
                            m_eNB_UE_S1AP_ID(p_eNB_value),
                            m_UE_aggregate_maximum_bitrate_IE(p_uEAggregateMaximumBitrate),
                            m_E_RABToBeSetupList(p_RecordOf_E_RABToBeSetupItem_value)
                        } // End of template m_E_RABSetupReqIEs
garciay's avatar
garciay committed
415
    
416
417
418
419
420
421
422
423
424
425
                        template (value) RecordOf_ProtocolIE m_E_RABSetupResIEs(
                                                                                in template (value) MME_UE_S1AP_ID p_MME_value,
                                                                                in template (value) ENB_UE_S1AP_ID p_eNB_value,
                                                                                in template (value) RecordOf_E_RABSetupItemBearerSURes p_RecordOf_E_RABSetupItem_value
                        ) := {
                            m_MME_UE_S1AP_ID(p_MME_value),
                            m_eNB_UE_S1AP_ID(p_eNB_value),
                            m_E_RABSetupList(p_RecordOf_E_RABSetupItem_value)
                        } // End of template m_E_RABSetupResIEs

426
    
garciay's avatar
garciay committed
427
                    } // End of group ERABSetup
428

garciay's avatar
garciay committed
429
430
                    group ERABModifyRequest { 
                        
431

ulrichst's avatar
ulrichst committed
432

garciay's avatar
garciay committed
433
434
435
436
437
438
439
440
441
                        template (value) RecordOf_ProtocolIE m_E_RABModifiedReqIEs(
                                    in template (value) MME_UE_S1AP_ID p_MME_value,
                                    in template (value) ENB_UE_S1AP_ID p_eNB_value,
                                    in template (value) RecordOf_E_RABToBeModifiedItemBearerModReq p_RecordOf_E_RABToBeModifiedItem_value
                        ) := {
                            m_MME_UE_S1AP_ID(p_MME_value),
                            m_eNB_UE_S1AP_ID(p_eNB_value),
                            m_E_RABToBeModifiedList(p_RecordOf_E_RABToBeModifiedItem_value)
                        } // End of template m_E_RABSetupReqIEs
garciay's avatar
garciay committed
442
443
444
445
446
447
448
449
450
451
452
453
454
455
                        
                    } // End of group ERABModifyRequest
                    
                    group ERABModifyInd {
                        template (value) RecordOf_ProtocolIE m_E_RABModifiedIndIEs(
                                                                                   in template (value) MME_UE_S1AP_ID p_MME_value,
                                                                                   in template (value) ENB_UE_S1AP_ID p_eNB_value,
                                                                                   in template (value) RecordOf_E_RABToBeModifiedItemBearerModInd p_RecordOf_E_RABToBeModifiedItemBearerModInd_value
                        ) := {
                            m_MME_UE_S1AP_ID(p_MME_value),
                            m_eNB_UE_S1AP_ID(p_eNB_value),
                            m_E_RABToBeModifiedItemBearerModIndList(p_RecordOf_E_RABToBeModifiedItemBearerModInd_value)
                        } // End of template m_E_RABModifiedIndIEs
                        
garciay's avatar
garciay committed
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
                        template (value) RecordOf_ProtocolIE m_E_RABModifiedIndIEs_Unknown_ID(
                                                                                              in template (value) MME_UE_S1AP_ID p_MME_value,
                                                                                              in template (value) ENB_UE_S1AP_ID p_eNB_value,
                                                                                              in template (value) RecordOf_E_RABToBeModifiedItemBearerModInd p_RecordOf_E_RABToBeModifiedItemBearerModInd_value
                        ) modifies m_E_RABModifiedIndIEs := {
                            m_Unknown_ID_IE
                        } // End of template m_E_RABModifiedIndIEs_Unknown_ID
                        
                        template (value) RecordOf_ProtocolIE m_E_RABModifiedIndIEs_duplicate_eNB(
                                                                                              in template (value) MME_UE_S1AP_ID p_MME_value,
                                                                                              in template (value) ENB_UE_S1AP_ID p_eNB_value,
                                                                                              in template (value) RecordOf_E_RABToBeModifiedItemBearerModInd p_RecordOf_E_RABToBeModifiedItemBearerModInd_value
                        ) modifies m_E_RABModifiedIndIEs := {
                            m_eNB_UE_S1AP_ID(p_eNB_value)
                        } // End of template m_E_RABModifiedIndIEs_duplicate_eNB
                        
                        template (value) RecordOf_ProtocolIE m_E_RABModifiedIndIEs_no_eNB(
                                                                                          in template (value) MME_UE_S1AP_ID p_MME_value,
                                                                                          in template (value) RecordOf_E_RABToBeModifiedItemBearerModInd p_RecordOf_E_RABToBeModifiedItemBearerModInd_value
                        ) := {
                            m_MME_UE_S1AP_ID(p_MME_value),
                            m_E_RABToBeModifiedItemBearerModIndList(p_RecordOf_E_RABToBeModifiedItemBearerModInd_value)
                        } // End of template m_E_RABModifiedIndIEs_no_eNB
rennoch's avatar
rennoch committed
479
480
481
482
483
484
485
486
487

                        template (value) RecordOf_ProtocolIE m_E_RABModifiedIndIEs_CSG(
                                                                                              in template (value) MME_UE_S1AP_ID p_MME_value,
                                                                                              in template (value) ENB_UE_S1AP_ID p_eNB_value,
                                                                                              in template (value) RecordOf_E_RABToBeModifiedItemBearerModInd p_RecordOf_E_RABToBeModifiedItemBearerModInd_value,
                                                                                              in template (value) CSGMembershipInfo p_cSGMembershipInfo_value                                                                         
                        ) modifies m_E_RABModifiedIndIEs := {
                            m_cSGMembershipInfo_IE(p_cSGMembershipInfo_value)
                        } // End of template m_E_RABModifiedIndIEs_CSG
garciay's avatar
garciay committed
488
                        
garciay's avatar
garciay committed
489
490
                    } // End of group ERABModifyInd
                    
garciay's avatar
garciay committed
491
                    group ERABRelease {
492

garciay's avatar
garciay committed
493
494
495
496
497
498
499
500
501
502
503
                        template (value) RecordOf_ProtocolIE m_E_RABReleaseReqIEs(
                                    in template (value) MME_UE_S1AP_ID p_MME_value,
                                    in template (value) ENB_UE_S1AP_ID p_eNB_value,
                                    in template (value) RecordOf_E_RABItem p_RecordOf_E_RABItem_value
                        ) := {
                            m_MME_UE_S1AP_ID(p_MME_value),
                            m_eNB_UE_S1AP_ID(p_eNB_value),
                            m_E_RABReleaseList(p_RecordOf_E_RABItem_value)
                        } // End of template m_E_RABReleaseReqIEs
                    }
                }
garciay's avatar
garciay committed
504
                
505
506
507
508
                /**
                 * @desc Send messages for Context Management procedures
                 */
                group Context_management_group {
rennoch's avatar
rennoch committed
509

510
511
                    /**
                     * @desc Send template for InitiatingMessage message with InitialContextSetup payload
garciay's avatar
garciay committed
512
                     * @param p_value           The protocol information elements.
513
514
                     */
                    template (value) InitiatingMessage m_InitialContextSetupRequest(
garciay's avatar
garciay committed
515
516
517
                                                                                    in template (value) RecordOf_ProtocolIE p_value,
                                                                                    in template (value) Criticality p_criticality := reject
                    ) := {
518
                        procedureCode := id_InitialContextSetup,
garciay's avatar
garciay committed
519
                        criticality := p_criticality,
520
521
522
                        value_ := {RecordOf_ProtocolIE := valueof(p_value)}
                    } // End of template m_InitialContextSetupRequest
                    
garciay's avatar
garciay committed
523
524
525
526
527
528
529
530
531
                    /**
                     * @desc Send template for InitialContextSetupReq message
                     * @param p_eNB_value                               The eNB UE S1AP ID value.
                     * @param p_MME_value                               The MME UE S1AP ID value.
                     * @param p_uEAggregateMaximumBitrate               The UE Aggregate Maximum Bit rate value.
                     * @param p_RecordOf_E_RABToBeSetupItemCtxt_value   The list og E-RAB To Be Setup Item Ctxt values.
                     * @param @param p_uESecurityCapabilities           The UE Security Capabilities value.
                     * @param p_SecurityKey                             The security key value.
                     */
532
                    template (value) RecordOf_ProtocolIE m_InitialContextSetupReqIEs(
garciay's avatar
garciay committed
533
534
535
536
537
538
                                                                                     in template (value) MME_UE_S1AP_ID p_MME_value,
                                                                                     in template (value) ENB_UE_S1AP_ID p_eNB_value,
                                                                                     in template (value) UEAggregateMaximumBitrate p_uEAggregateMaximumBitrate,
                                                                                     in template (value) RecordOf_E_RABToBeSetupItemCtxtSUReq p_RecordOf_E_RABToBeSetupItemCtxt_value,
                                                                                     in template (value) UESecurityCapabilities p_uESecurityCapabilities,
                                                                                     in template (value) SecurityKey p_SecurityKey
539
540
541
542
                    ) := {
                        m_MME_UE_S1AP_ID(p_MME_value),
                        m_eNB_UE_S1AP_ID(p_eNB_value),
                        m_UE_aggregate_maximum_bitrate_IE(p_uEAggregateMaximumBitrate),
543
                        m_E_RABToBeSetupListCtxt(p_RecordOf_E_RABToBeSetupItemCtxt_value),
544
545
                        m_UE_securityCapabilities_IE(p_uESecurityCapabilities),
                        m_securityKey_IE(p_SecurityKey)
garciay's avatar
garciay committed
546
547
                    } // End of templaunknown_IDunknown_IDte m_InitialContextSetupReqIEs
                    
garciay's avatar
garciay committed
548
549
550
551
552
553
554
555
556
                    /**
                     * @desc Send template for InitialContextSetupReq message, with no eNB ID
                     * @param p_eNB_value                               The eNB UE S1AP ID value.
                     * @param p_MME_value                               The MME UE S1AP ID value.
                     * @param p_uEAggregateMaximumBitrate               The UE Aggregate Maximum Bit rate value.
                     * @param p_RecordOf_E_RABToBeSetupItemCtxt_value   The list og E-RAB To Be Setup Item Ctxt values.
                     * @param @param p_uESecurityCapabilities           The UE Security Capabilities value.
                     * @param p_SecurityKey                             The security key value.
                     */
garciay's avatar
garciay committed
557
558
559
560
561
562
563
564
565
566
567
568
569
570
                    template (value) RecordOf_ProtocolIE m_InitialContextSetupReqIEs_noENB(
                                                                                           in template (value) MME_UE_S1AP_ID p_MME_value,
                                                                                           in template (value) UEAggregateMaximumBitrate p_uEAggregateMaximumBitrate,
                                                                                           in template (value) RecordOf_E_RABToBeSetupItemCtxtSUReq p_RecordOf_E_RABToBeSetupItemCtxt_value,
                                                                                           in template (value) UESecurityCapabilities p_uESecurityCapabilities,
                                                                                           in template (value) SecurityKey p_SecurityKey
                    ) := {
                        m_MME_UE_S1AP_ID(p_MME_value),
                        m_UE_aggregate_maximum_bitrate_IE(p_uEAggregateMaximumBitrate),
                        m_E_RABToBeSetupListCtxt(p_RecordOf_E_RABToBeSetupItemCtxt_value),
                        m_UE_securityCapabilities_IE(p_uESecurityCapabilities),
                        m_securityKey_IE(p_SecurityKey)
                    } // End of templaunknown_IDunknown_IDte m_InitialContextSetupReqIEs_noENB
                    
garciay's avatar
garciay committed
571
572
573
574
575
576
577
578
579
580
                    /**
                     * @desc Send template for InitialContextSetupReq message, with duplicated eNB ID
                     * @param p_eNB_value                               The eNB UE S1AP ID value.
                     * @param p_MME_value                               The expted MME UE S1AP ID value.
                     * @param p_uEAggregateMaximumBitrate               The UE Aggregate Maximum Bit rate value.
                     * @param p_RecordOf_E_RABToBeSetupItemCtxt_value   The list og E-RAB To Be Setup Item Ctxt values.
                     * @param @param p_uESecurityCapabilities           The UE Security Capabilities value.
                     * @param p_SecurityKey                             The security key value.
                     */
                    template (value) RecordOf_ProtocolIE m_InitialContextSetupReqIEs_duplicate_eNB(
garciay's avatar
garciay committed
581
582
583
584
585
586
587
588
                                                                                                   in template (value) MME_UE_S1AP_ID p_MME_value,
                                                                                                   in template (value) ENB_UE_S1AP_ID p_eNB_value,
                                                                                                   in template (value) UEAggregateMaximumBitrate p_uEAggregateMaximumBitrate,
                                                                                                   in template (value) RecordOf_E_RABToBeSetupItemCtxtSUReq p_RecordOf_E_RABToBeSetupItemCtxt_value,
                                                                                                   in template (value) UESecurityCapabilities p_uESecurityCapabilities,
                                                                                                   in template (value) SecurityKey p_SecurityKey
                    ) modifies m_InitialContextSetupReqIEs := {
                        m_eNB_UE_S1AP_ID(p_eNB_value)
garciay's avatar
garciay committed
589
                    } // End of template m_InitialContextSetupReqIEs_duplicate_eNB
garciay's avatar
garciay committed
590
                    
garciay's avatar
garciay committed
591
592
593
594
595
596
597
598
599
                    /**
                     * @desc Send template for InitialContextSetupReq message, with some unknown IE
                     * @param p_eNB_value                               The eNB UE S1AP ID value.
                     * @param p_MME_value                               The MME UE S1AP ID value.
                     * @param p_uEAggregateMaximumBitrate               The UE Aggregate Maximum Bit rate value.
                     * @param p_RecordOf_E_RABToBeSetupItemCtxt_value   The list og E-RAB To Be Setup Item Ctxt values.
                     * @param @param p_uESecurityCapabilities           The UE Security Capabilities value.
                     * @param p_SecurityKey                             The security key value.
                     */
garciay's avatar
garciay committed
600
601
602
603
604
605
606
607
608
                    template (value) RecordOf_ProtocolIE m_InitialContextSetupReqIEs_unknown_ID(
                                                                                                in template (value) MME_UE_S1AP_ID p_MME_value,
                                                                                                in template (value) ENB_UE_S1AP_ID p_eNB_value,
                                                                                                in template (value) UEAggregateMaximumBitrate p_uEAggregateMaximumBitrate,
                                                                                                in template (value) RecordOf_E_RABToBeSetupItemCtxtSUReq p_RecordOf_E_RABToBeSetupItemCtxt_value,
                                                                                                in template (value) UESecurityCapabilities p_uESecurityCapabilities,
                                                                                                in template (value) SecurityKey p_SecurityKey
                    ) modifies m_InitialContextSetupReqIEs := {
                        m_Unknown_ID_IE
609
                    } // End of template m_InitialContextSetupReqIEs
garciay's avatar
garciay committed
610
                    
garciay's avatar
garciay committed
611
612
                    /**
                     * @desc Send template for InitiatingMessage message with UeContextReleaseRequest payload
garciay's avatar
garciay committed
613
                     * @param p_value           The protocol information elements.
garciay's avatar
garciay committed
614
615
616
617
618
619
620
                     */
                    template (value) InitiatingMessage m_UeContextReleaseRequest(
                                                                           in template (value) RecordOf_ProtocolIE p_value) := {
                        procedureCode := id_UEContextReleaseRequest,
                        criticality := reject,
                        value_ := {RecordOf_ProtocolIE := valueof(p_value)}
                    } // End of template m_UeContextReleaseRequest
garciay's avatar
garciay committed
621
                    
garciay's avatar
garciay committed
622
623
                    template (value) RecordOf_ProtocolIE m_UeContextReleaseRequestIEs(
                                                                            in template (value) MME_UE_S1AP_ID p_MME_value,
rennoch's avatar
rennoch committed
624
                                                                            in template (value) ENB_UE_S1AP_ID p_eNB_value,
garciay's avatar
garciay committed
625
626
627
                                                                            in template (value) Cause p_cause
                    ) := {
                        m_MME_UE_S1AP_ID(p_MME_value),
rennoch's avatar
rennoch committed
628
                        m_eNB_UE_S1AP_ID(p_eNB_value),
garciay's avatar
garciay committed
629
630
                        m_cause_IE(p_cause)
                    } // End of template m_UeContextReleaseRequestIEs_MME
rennoch's avatar
rennoch committed
631
632


633
                    /**
rennoch's avatar
rennoch committed
634
                     * @desc Send template for InitiatingMessage message with UEContextRelease payload
garciay's avatar
garciay committed
635
                     * @param p_value           The protocol information elements.
636
637
638
639
640
641
642
                     */
                    template (value) InitiatingMessage m_UeContextReleaseCommand(
                                                                           in template (value) RecordOf_ProtocolIE p_value) := {
                        procedureCode := id_UEContextRelease,
                        criticality := reject,
                        value_ := {RecordOf_ProtocolIE := valueof(p_value)}
                    } // End of template m_UeContextReleaseCommand
rennoch's avatar
rennoch committed
643

644
645
646
647
648
649
650
                    template (value) RecordOf_ProtocolIE m_UeContextReleaseCommandIEs_MME(
                                                                            in template (value) MME_UE_S1AP_ID p_MME_value,
                                                                            in template (value) Cause p_cause
                    ) := {
                        m_MME_UE_S1AP_ID(p_MME_value),
                        m_cause_IE(p_cause)
                    } // End of template m_UeContextReleaseCommandIEs_MME
rennoch's avatar
rennoch committed
651

652
653
654
655
656
657
658
                    template (value) RecordOf_ProtocolIE m_UeContextReleaseCommandIEs_ENB(
                                                                            in template (value) ENB_UE_S1AP_ID p_eNB_value,
                                                                            in template (value) Cause p_cause
                    ) := {
                        m_eNB_UE_S1AP_ID(p_eNB_value),
                        m_cause_IE(p_cause)
                    } // End of template m_UeContextReleaseCommandIEs_ENB
garciay's avatar
garciay committed
659
660
661
                    
                    /**
                     * @desc Send template for InitiatingMessage message with UEContextReleaseComplete payload
garciay's avatar
garciay committed
662
                     * @param p_value           The protocol information elements.
garciay's avatar
garciay committed
663
664
665
666
667
668
669
                     */
                    template (value) InitiatingMessage m_UeContextReleaseComplete(
                                                                           in template (value) RecordOf_ProtocolIE p_value) := {
                        procedureCode := id_UEContextRelease,
                        criticality := reject,
                        value_ := {RecordOf_ProtocolIE := valueof(p_value)}
                    } // End of template m_UeContextReleaseComplete                    
rennoch's avatar
rennoch committed
670

garciay's avatar
garciay committed
671
672
673
674
675
676
677
                    template (value) RecordOf_ProtocolIE m_UeContextReleaseCompleteIEs(
                                                                            in template (value) MME_UE_S1AP_ID p_MME_value,
                                                                            in template (value) ENB_UE_S1AP_ID p_eNB_value
                    ) := {
                        m_MME_UE_S1AP_ID(p_MME_value),
                        m_eNB_UE_S1AP_ID(p_eNB_value)
                    } // End of template m_UeContextReleaseCompleteIEs
rennoch's avatar
rennoch committed
678

rennoch's avatar
rennoch committed
679
680
681
                    
                    /**
                     * @desc Send template for InitiatingMessage message with UEContextSuspendRequest payload
garciay's avatar
garciay committed
682
                     * @param p_value           The protocol information elements.
rennoch's avatar
rennoch committed
683
684
685
686
687
688
689
690
691
692
693
694
695
696
697
698
                     */
                    template (value) InitiatingMessage m_UeContextSuspendRequest(
                                                                           in template (value) RecordOf_ProtocolIE p_value) := {
                        procedureCode := id_UEContextSuspend,
                        criticality := reject,
                        value_ := {RecordOf_ProtocolIE := valueof(p_value)}
                    } // End of template m_UeContextSuspendRequest                    

                    template (value) RecordOf_ProtocolIE m_UeContextSuspendRequestIEs(
                                                                            in template (value) MME_UE_S1AP_ID p_MME_value,
                                                                            in template (value) ENB_UE_S1AP_ID p_eNB_value
                    ) := {
                        m_MME_UE_S1AP_ID(p_MME_value),
                        m_eNB_UE_S1AP_ID(p_eNB_value)
                    } // End of template m_UeContextSuspendRequestIEs

rennoch's avatar
rennoch committed
699
700
                    /**
                     * @desc Send template for InitiatingMessage message with UEContextResumeRequest payload
garciay's avatar
garciay committed
701
702
                     * @param p_value           The protocol information elements.
                     * @param p_criticality     The Criticality value. defaulf: reject
rennoch's avatar
rennoch committed
703
704
                     */
                    template (value) InitiatingMessage m_UeContextResumeRequest(
garciay's avatar
garciay committed
705
706
707
                                                                                in template (value) RecordOf_ProtocolIE p_value,
                                                                                in template (value) Criticality p_criticality := reject
                    ) := {
rennoch's avatar
rennoch committed
708
                        procedureCode := id_UEContextResume,
garciay's avatar
garciay committed
709
                        criticality := p_criticality,
rennoch's avatar
rennoch committed
710
                        value_ := {RecordOf_ProtocolIE := valueof(p_value)}
garciay's avatar
garciay committed
711
                    } // End of template m_UeContextResumeRequest
rennoch's avatar
rennoch committed
712
713

                    template (value) RecordOf_ProtocolIE m_UeContextResumeRequestIEs(
garciay's avatar
garciay committed
714
715
                                                                                     in template (value) MME_UE_S1AP_ID p_MME_value,
                                                                                     in template (value) ENB_UE_S1AP_ID p_eNB_value
rennoch's avatar
rennoch committed
716
                    ) := {
garciay's avatar
garciay committed
717
718
                        m_MME_UE_S1AP_ID(p_MME_value, ignore),
                        m_eNB_UE_S1AP_ID(p_eNB_value, ignore)
garciay's avatar
garciay committed
719
720
721
722
723
                    } // End of template m_UeContextResumeRequestIEs 
                    
                    template (value) RecordOf_ProtocolIE m_UeContextResumeRequestIEs_RABFailedToResumeItem(
                                                                                                           in template (value) MME_UE_S1AP_ID p_MME_value,
                                                                                                           in template (value) ENB_UE_S1AP_ID p_eNB_value,
garciay's avatar
garciay committed
724
                                                                                                           in template (value) RecordOf_E_RABFailedToResumeItemResumeReq p_RecordOf_E_RABFailedToResumeItemResumeReq_value
garciay's avatar
garciay committed
725
                    ) modifies m_UeContextResumeRequestIEs := {
garciay's avatar
garciay committed
726
                        m_E_RABFailedToResumeItemResumeReqList(p_RecordOf_E_RABFailedToResumeItemResumeReq_value)
garciay's avatar
garciay committed
727
                    } // End of template m_UeContextResumeRequestIEs_RABFailedToResumeItem 
rennoch's avatar
rennoch committed
728
                    
garciay's avatar
garciay committed
729
730
731
732
733
734
735
736
                    template (value) RecordOf_ProtocolIE m_UeContextResumeRequestIEs_Unknown_ID(
                                                                                                in template (value) MME_UE_S1AP_ID p_MME_value,
                                                                                                in template (value) ENB_UE_S1AP_ID p_eNB_value,
                                                                                                in template (value) RecordOf_E_RABFailedToResumeItemResumeReq p_RecordOf_E_RABFailedToResumeItemResumeReq_value
                    ) modifies m_UeContextResumeRequestIEs_RABFailedToResumeItem := {
                        m_Unknown_ID_IE(-, reject)
                    } // End of template m_UeContextResumeRequestIEs_Unknown_ID 
                    
garciay's avatar
garciay committed
737
738
739
740
741
742
743
744
                    template (value) RecordOf_ProtocolIE m_UeContextResumeRequestIEs_duplicate_ENB(
                                                                                                in template (value) MME_UE_S1AP_ID p_MME_value,
                                                                                                in template (value) ENB_UE_S1AP_ID p_eNB_value,
                                                                                                in template (value) RecordOf_E_RABFailedToResumeItemResumeReq p_RecordOf_E_RABFailedToResumeItemResumeReq_value
                    ) modifies m_UeContextResumeRequestIEs_RABFailedToResumeItem := {
                        m_eNB_UE_S1AP_ID(p_eNB_value, ignore)
                    } // End of template m_UeContextResumeRequestIEs_duplicate_ENB 
                    
garciay's avatar
garciay committed
745
746
747
748
749
750
751
752
                    template (value) RecordOf_ProtocolIE m_UeContextResumeRequestIEs_no_eNB(
                                                                                            in template (value) MME_UE_S1AP_ID p_MME_value,
                                                                                            in template (value) RecordOf_E_RABFailedToResumeItemResumeReq p_RecordOf_E_RABFailedToResumeItemResumeReq_value
                    ) := {
                        m_MME_UE_S1AP_ID(p_MME_value, ignore),
                        m_E_RABFailedToResumeItemResumeReqList(p_RecordOf_E_RABFailedToResumeItemResumeReq_value)
                    } // End of template m_UeContextResumeRequestIEs_no_eNB 
                    
753
754
                    /**
                     * @desc Send template for InitiatingMessage message with m_UeContextModificationRequest payload
garciay's avatar
garciay committed
755
                     * @param p_value           The protocol information elements.
756
757
758
759
760
761
762
                     */
                    template (value) InitiatingMessage m_UeContextModificationRequest(
                                                                           in template (value) RecordOf_ProtocolIE p_value) := {
                        procedureCode := id_UEContextModification,
                        criticality := reject,
                        value_ := {RecordOf_ProtocolIE := valueof(p_value)}
                    } // End of template m_UeContextModificationRequest
763

764
765
766
767
768
769
770
771
772
773
774
775
776
777
778
779
780
781
782
783
784
                    template (value) RecordOf_ProtocolIE m_ContextModificationReqIEsUEAgg(
                                                                            in template (value) MME_UE_S1AP_ID p_MME_value,
                                                                            in template (value) ENB_UE_S1AP_ID p_eNB_value,
                                                                            in template (value) UEAggregateMaximumBitrate p_uEAggregateMaximumBitrate
                    ) := {
                        m_MME_UE_S1AP_ID(p_MME_value),
                        m_eNB_UE_S1AP_ID(p_eNB_value),
                        m_UE_aggregate_maximum_bitrate_IE(p_uEAggregateMaximumBitrate)
                    } // End of template m_ContextModificationReqIEs
                    
                    template (value) RecordOf_ProtocolIE m_ContextModificationReqIEsSecKey(
                                                                            in template (value) MME_UE_S1AP_ID p_MME_value,
                                                                            in template (value) ENB_UE_S1AP_ID p_eNB_value,
                                                                            in template (value) CSFallbackIndicator p_CSFallbackIndicator,
                                                                            in template (value) SecurityKey p_SecurityKey
                    ) := {
                        m_MME_UE_S1AP_ID(p_MME_value),
                        m_eNB_UE_S1AP_ID(p_eNB_value),
                        m_CS_Fallback_indicator_IE(p_CSFallbackIndicator),
                        m_securityKey_IE(p_SecurityKey)
                    } // End of template m_ContextModificationReqIEsSecKey
785

786
787
788
789
790
791
792
793
794
795
796
                    template (value) RecordOf_ProtocolIE m_ContextModificationReqIEsSecCap(
                                                                            in template (value) MME_UE_S1AP_ID p_MME_value,
                                                                            in template (value) ENB_UE_S1AP_ID p_eNB_value,
                                                                            in template (value) CSFallbackIndicator p_CSFallbackIndicator,
                                                                            in template (value) UESecurityCapabilities p_UeSecurityCapabilities
                    ) := {
                        m_MME_UE_S1AP_ID(p_MME_value),
                        m_eNB_UE_S1AP_ID(p_eNB_value),
                        m_CS_Fallback_indicator_IE(p_CSFallbackIndicator),
                        m_UE_securityCapabilities_IE(p_UeSecurityCapabilities)
                    } // End of template m_ContextModificationReqIEsSecCap
rennoch's avatar
rennoch committed
797

garciay's avatar
garciay committed
798
799
                    /**
                     * @desc Send template for InitiatingMessage message with m_UeContextModificationIndication payload
garciay's avatar
garciay committed
800
                     * @param p_value           The protocol information elements.
garciay's avatar
garciay committed
801
802
803
804
805
806
807
                     */
                    template (value) InitiatingMessage m_UeContextModificationIndication(
                                                                           in template (value) RecordOf_ProtocolIE p_value) := {
                        procedureCode := id_UEContextModification,
                        criticality := reject,
                        value_ := {RecordOf_ProtocolIE := valueof(p_value)}
                    } // End of template m_UeContextModificationIndication
rennoch's avatar
rennoch committed
808

garciay's avatar
garciay committed
809
810
811
812
813
814
815
816
817
818
819
820
821
822
823
824
825
                    template (value) RecordOf_ProtocolIE m_UeContextModificationIndicationIEs(
                                                                            in template (value) MME_UE_S1AP_ID p_MME_value,
                                                                            in template (value) ENB_UE_S1AP_ID p_eNB_value
                    ) := {
                        m_MME_UE_S1AP_ID(p_MME_value),
                        m_eNB_UE_S1AP_ID(p_eNB_value)
                    } // End of template m_UeContextModificationIndicationIEs
                    
                    template (value) RecordOf_ProtocolIE m_UeContextModificationIndicationIEsCSG(
                                                                            in template (value) MME_UE_S1AP_ID p_MME_value,
                                                                            in template (value) ENB_UE_S1AP_ID p_eNB_value,
                                                                            in template (value) CSGMembershipInfo p_cSGMembershipInfo_value                                                                         
                    ) := {
                        m_MME_UE_S1AP_ID(p_MME_value),
                        m_eNB_UE_S1AP_ID(p_eNB_value),
                        m_cSGMembershipInfo_IE(p_cSGMembershipInfo_value)
                    } // End of template m_UeContextModificationIndicationIEsCSG
826
827
828
                    
                    /**
                     * @desc Send template for InitiatingMessage message with m_UeRadioCapabilityMatchRequest payload
garciay's avatar
garciay committed
829
                     * @param p_value           The protocol information elements.
830
831
832
833
834
835
836
                     */
                    template (value) InitiatingMessage m_UeRadioCapabilityMatchRequest(
                                                                           in template (value) RecordOf_ProtocolIE p_value) := {
                        procedureCode := id_UERadioCapabilityMatch,
                        criticality := reject,
                        value_ := {RecordOf_ProtocolIE := valueof(p_value)}
                    } // End of template m_UeRadioCapabilityMatchRequest
rennoch's avatar
rennoch committed
837

838
839
840
841
842
843
844
845
846
                    template (value) RecordOf_ProtocolIE m_UeRadioCapabilityMatchReqIEs(
                                                                            in template (value) MME_UE_S1AP_ID p_MME_value,
                                                                            in template (value) ENB_UE_S1AP_ID p_eNB_value,
                                                                            in template (value) octetstring p_UeRadioCapabilities
                    ) := {
                        m_MME_UE_S1AP_ID(p_MME_value),
                        m_eNB_UE_S1AP_ID(p_eNB_value),
                        m_UE_Radio_capability_IE(p_UeRadioCapabilities)
                    } // End of template m_ContextModificationReqIEsSecCap
847
                    
rennoch's avatar
rennoch committed
848
                }// End of group Context_management_group
garciay's avatar
garciay committed
849
                
garciay's avatar
garciay committed
850
851
852
853
854
855
856
                /**
                 * @desc Send messages for Management procedures
                 */
                group Management_group {
                    
                    /**
                     * @desc Send template for InitiatingMessage message with S1_SETUP_REQUEST payload
857
                     * @param p_value           The protocol information elements.
garciay's avatar
garciay committed
858
859
                     */
                    template (value) InitiatingMessage m_s1_Setup_Request(
garciay's avatar
garciay committed
860
                                                                          in template (value) RecordOf_ProtocolIE p_value
garciay's avatar
garciay committed
861
862
863
864
865
866
867
868
                    ) := {
                        procedureCode := id_S1Setup,
                        criticality := reject,
                        value_ := {RecordOf_ProtocolIE := p_value}
                    } // End of template m_s1_Setup_Request
                    
                    /**
                     * @desc Send template for S1_SETUP_REQUEST message
869
870
871
                     * @param p_global_ENB_ID   The Global eNB ID value
                     * @param p_supportedTAs    The list of SupportedTAs-Item protocol IE
                     * @param p_pagingDRXs      The Paging DRX as defined in TS 36.304
garciay's avatar
garciay committed
872
873
874
875
876
877
878
879
880
881
882
883
884
                     */
                    template (value) RecordOf_ProtocolIE m_s1_Setup_RequestIEs(
                                                                               in template (value) Global_ENB_ID p_global_ENB_ID,
                                                                               in template (value) SupportedTAs p_supportedTAs,
                                                                               in template (value) PagingDRX p_pagingDRXs
                    ) := {
                        m_global_eNB_ID_IE(p_global_ENB_ID),
                        m_supportedTAs_IE(p_supportedTAs),
                        m_pagingDRX_IE(p_pagingDRXs)
                    } // End of template m_s1_Setup_RequestIEs
                    
                    /**
                     * @desc Send template for InitiatingMessage message with S1_SETUP_RESPONSE payload
885
                     * @param p_value           The protocol information elements.
garciay's avatar
garciay committed
886
887
888
889
890
891
892
893
894
895
896
                     */
                    template (value) SuccessfulOutcome m_s1_Setup_Response(
                                                                           in template (value) RecordOf_ProtocolIE p_value
                    ) := {
                        procedureCode := id_S1Setup,
                        criticality := reject,
                        value_ := {RecordOf_ProtocolIE := p_value}
                    } // End of template m_s1_Setup_Response
                    
                    /**
                     * @desc Send template for S1_SETUP_RESPONSE message
897
898
                     * @param p_global_ENB_ID       The Global eNB ID value.
                     * @param p_relativeMMECapacity The relative MME capacity value.
garciay's avatar
garciay committed
899
900
901
902
903
904
905
906
907
                     */
                    template (value) RecordOf_ProtocolIE m_s1_Setup_ResponseIEs(
                                                                                in template (value) ServedGUMMEIs p_servedGUMMEIs,
                                                                                in template (value) RelativeMMECapacity p_relativeMMECapacity
                    ) := {
                        m_servedGUMMEIs_IE(p_servedGUMMEIs),
                        m_relativeMMECapacity_IE(p_relativeMMECapacity)
                    } // End of template m_s1_Setup_ResponseIEs
                    
908
909
                    /**
                     * @desc Send template for InitiatingMessage message with ENB CONFIGURATION UPDATE payload
garciay's avatar
garciay committed
910
                     * @param p_value           The protocol information elements.
911
912
913
914
915
916
917
918
919
920
921
922
923
924
925
926
927
928
929
930
931
932
933
934
                     */
                    template (value) InitiatingMessage m_eNB_Configuration_Update(
                                                                                  in template (value) RecordOf_ProtocolIE p_value
                    ) := {
                        procedureCode := id_ENBConfigurationUpdate,
                        criticality := reject,
                        value_ := {RecordOf_ProtocolIE := p_value}
                    } // End of template m_eNB_Configuration_Update
                    
                    /**
                     * @desc Send template for ENB CONFIGURATION UPDATE message
                     * @param p_global_ENB_ID   The Global eNB ID value. Default: ?
                     * @param p_supportedTAs    The list of SupportedTAs-Item protocol IE. Default: ?
                     */
                    template (value) RecordOf_ProtocolIE m_eNB_Configuration_UpdateIEs(
                                                                                       in template (value) Global_ENB_ID p_global_ENB_ID,
                                                                                       in template (value) SupportedTAs p_supportedTAs
                    ) := {
                        m_global_eNB_ID_IE(p_global_ENB_ID),
                        m_supportedTAs_IE(p_supportedTAs)
                    } // End of template m_eNB_Configuration_UpdateIEs
                    
                    /**
                     * @desc Send template for InitiatingMessage message with ENB CONFIGURATION UPDATE ACKNOWLEDGE payload
garciay's avatar
garciay committed
935
                     * @param p_value           The protocol information elements.
936
937
938
939
940
941
942
943
944
945
946
947
948
949
950
951
952
953
                     */
                    template (value) SuccessfulOutcome m_eNB_Configuration_Update_Acknowledge(
                                                                                              in template (value) RecordOf_ProtocolIE p_value
                    ) := {
                        procedureCode := id_ENBConfigurationUpdate,
                        criticality := reject,
                        value_ := {RecordOf_ProtocolIE := p_value}
                    } // End of template m_eNB_Configuration_Update_Acknowledge
                    
                    /**
                     * @desc Send template for ENB CONFIGURATION UPDATE ACKNOWLEDGE message
                     * 
                     */
                    template (value) RecordOf_ProtocolIE m_eNB_Configuration_Update_AcknowledgeIEs := {
                    } // End of template m_eNB_Configuration_Update_AcknowledgeIEs
                    
                    /**
                     * @desc Send template for InitiatingMessage message with MME CONFIGURATION UPDATE payload
garciay's avatar
garciay committed
954
                     * @param p_value           The protocol information elements.
955
956
957
958
959
960
961
962
963
964
965
966
967
968
969
970
971
972
973
974
975
976
                     */
                    template (value) InitiatingMessage m_mME_Configuration_Update(
                                                                                  in template (value) RecordOf_ProtocolIE p_value
                    ) := {
                        procedureCode := id_MMEConfigurationUpdate,
                        criticality := reject,
                        value_ := {RecordOf_ProtocolIE := p_value}
                    } // End of template m_mME_Configuration_Update
                    
                    /**
                     * @desc Send template for MME CONFIGURATION UPDATE message
                     * @param p_global_MME_ID   The Global mME ID value. Default: ?
                     * @param p_supportedTAs    The list of SupportedTAs-Item protocol IE. Default: ?
                     */
                    template (value) RecordOf_ProtocolIE m_mME_Configuration_UpdateIEs(
                                                                                       in template (value) ServedGUMMEIs p_servedGUMMEIs
                    ) := {
                        m_servedGUMMEIs_IE(p_servedGUMMEIs)
                    } // End of template m_mME_Configuration_UpdateIEs
                    
                    /**
                     * @desc Send template for InitiatingMessage message with MME CONFIGURATION UPDATE ACKNOWLEDGE payload
garciay's avatar
garciay committed
977
                     * @param p_value           The protocol information elements.
978
979
980
981
982
983
984
985
986
987
988
989
990
991
992
993
                     */
                    template (value) SuccessfulOutcome m_mME_Configuration_Update_Acknowledge(
                                                                                              in template (value) RecordOf_ProtocolIE p_value
                    ) := {
                        procedureCode := id_MMEConfigurationUpdate,
                        criticality := reject,
                        value_ := {RecordOf_ProtocolIE := p_value}
                    } // End of template m_mME_Configuration_Update_Acknowledge
                    
                    /**
                     * @desc Send template for MME CONFIGURATION UPDATE ACKNOWLEDGE message
                     * 
                     */
                    template (value) RecordOf_ProtocolIE m_mME_Configuration_Update_AcknowledgeIEs := {
                    } // End of template m_mME_Configuration_Update_AcknowledgeIEs
                    
garciay's avatar
garciay committed
994
995
                } // End of group Management_group
                
996
997
998
                /**
                 * @desc Send messages for Reset Procedures
                 */
999
                group Reset {
1000
                    
For faster browsing, not all history is shown. View entire blame