LibS1AP_Templates.ttcn 381 KB
Newer Older
garciay's avatar
garciay committed
                }// End of group Warning_Message_Transmission_send
                
garciay's avatar
garciay committed
            } // End of group sendClass1 
garciay's avatar
garciay committed
            
garciay's avatar
garciay committed
            group receiveClass1 {
                
                group HandoverRequired{
                    
                    /**
                     * @desc Receive template for InitiatingMessage message with Handover Required payload
garciay's avatar
garciay committed
                     * @param p_value           The expected protocol information elements. Default: ?
                     */
                    template (present) InitiatingMessage mw_HandoverRequired(
                                                                           template (present) RecordOf_ProtocolIE p_value) := {
                        procedureCode := id_HandoverPreparation,
                        criticality := reject,
                        value_ := {RecordOf_ProtocolIE := p_value}
                    } // End of template mw_HandoverRequired
                    
                    template (present) RecordOf_ProtocolIE mw_HandoverRequiredIEs(
                        template (present) MME_UE_S1AP_ID p_MME_value := ?,
                        template (present) ENB_UE_S1AP_ID p_eNB_value := ?,
                        template (present) HandoverType p_HandoverType_value := ?,
                        template (present) Cause p_Cause_value := ?,
                        template (present) TargetID p_TargetId_value := ?,
                        template (present) Source_ToTarget_TransparentContainer p_Source_ToTarget_TransparentContainer_value := ?
                       ) := {
                            mw_MME_UE_S1AP_ID(p_MME_value),
                            mw_eNB_UE_S1AP_ID(p_eNB_value),
                            mw_handoverType_IE(p_HandoverType_value),
ulrichst's avatar
ulrichst committed
                            mw_cause_IE(p_Cause_value),
                            mw_source_ToTarget_TransparentContainer_IE(p_Source_ToTarget_TransparentContainer_value)
                }// End of group HandoverPreparation
garciay's avatar
garciay committed
                group HandoverPreparation{
                     
                     /**
                     * @desc Receive template for SuccessfulOutcome message with Handover Command payload
garciay's avatar
garciay committed
                     * @param p_value           The expected protocol information elements. Default: ?
                     */
                    template (present) SuccessfulOutcome mw_HandoverCommand(
                                                                           template (present) RecordOf_ProtocolIE p_value) := {
                        procedureCode := id_HandoverPreparation,
                        criticality := reject,
                        value_ := {RecordOf_ProtocolIE := p_value}
                    } // End of template mw_HandoverCommand
                    
                    template (present) RecordOf_ProtocolIE mw_HandoverCommandIEs(
                        template (present) MME_UE_S1AP_ID p_MME_value := ?,
                        template (present) ENB_UE_S1AP_ID p_eNB_value := ?,
                        template (present) HandoverType p_HandoverType_value := ?,
                        template (present) Target_ToSource_TransparentContainer p_Target_ToSource_TransparentContainer_value := ?
                       ) := {
                            mw_MME_UE_S1AP_ID(p_MME_value),
                            mw_eNB_UE_S1AP_ID(p_eNB_value),
                            mw_handoverType_IE(p_HandoverType_value),
                            mw_target_ToSource_TransparentContainer_IE(p_Target_ToSource_TransparentContainer_value)
                    } // End of template mw_HandoverRequiredIEs
                    
                    template (present) RecordOf_ProtocolIE mw_HandoverCommandIEs_NASSecurity(
                        template (present) MME_UE_S1AP_ID p_MME_value := ?,
                        template (present) ENB_UE_S1AP_ID p_eNB_value := ?,
                        template (present) HandoverType p_HandoverType_value := ?,
                        template (present) Target_ToSource_TransparentContainer p_Target_ToSource_TransparentContainer_value := ?,
                        template (present) NASSecurityParameterstoE_UTRAN p_nasSecurityParametersToEutran_value := ?
                       ) modifies mw_HandoverCommandIEs:= {
                           mw_nasSecurityParametersToEutran_IE(p_nasSecurityParametersToEutran_value)
                    } // End of template mw_HandoverRequiredIEs
garciay's avatar
garciay committed
                    
                }// End of group HandoverPreparation
                    
                group HandoverResourceAllocation{
                    
                    /**
                    * @desc Receive template for InitiatingMessage message with Handover Request payload
                    * @param p_value           The list of Protocol IE values
                    */
                    template (present) InitiatingMessage mw_HandoverRequest(
                                                                          template (present) RecordOf_ProtocolIE p_value) := {
                        procedureCode := id_HandoverResourceAllocation,
                        criticality := reject,
                        value_ := {RecordOf_ProtocolIE := p_value}
                    } // End of template mw_HandoverRequest
            
                    template (present) RecordOf_ProtocolIE mw_HandoverRequestIEs(
                        template (present) MME_UE_S1AP_ID p_MME_value := ?,
                        template (present) HandoverType p_HandoverType_value := ?,
                        template (present) Cause p_Cause_value := ?,
                        template (present) UEAggregateMaximumBitrate p_UEAggregateMaximumBitrate := ?,
                        template (present) RecordOf_E_RABToBeSetupItemHOReq p_RecordOf_E_RABToBeSetupItem_value := ?,
                        template (present) Source_ToTarget_TransparentContainer p_Source_ToTarget_TransparentContainer_value := ?,
                        template (present) UESecurityCapabilities p_UESecurityCapabilities := ?,
                        template (present) SecurityContext p_SecurityContext := ?
                    ) := {
                          mw_MME_UE_S1AP_ID(p_MME_value),
                          mw_handoverType_IE(p_HandoverType_value),
                          mw_cause_IE(p_Cause_value),
                          mw_UE_aggregate_maximum_bitrate_IE(p_UEAggregateMaximumBitrate),
                          mw_E_RABToBeSetupListHOReq(p_RecordOf_E_RABToBeSetupItem_value),
                          mw_source_ToTarget_TransparentContainer_IE(p_Source_ToTarget_TransparentContainer_value),
                          mw_UE_securityCapabilities_IE(p_UESecurityCapabilities, ignore),
                          mw_securityContext_IE(p_SecurityContext)
                    } // End of template mw_HandoverRequestIEs
   
                    template (present) RecordOf_ProtocolIE mw_HandoverRequestIEs_CSGID_CellAccessMode(
                        template (present) MME_UE_S1AP_ID p_MME_value := ?,
                        template (present) HandoverType p_HandoverType_value := ?,
                        template (present) Cause p_Cause_value := ?,
                        template (present) UEAggregateMaximumBitrate p_UEAggregateMaximumBitrate := ?,
                        template (present) RecordOf_E_RABToBeSetupItemHOReq p_RecordOf_E_RABToBeSetupItem_value := ?,
                        template (present) Source_ToTarget_TransparentContainer p_Source_ToTarget_TransparentContainer_value := ?,
                        template (present) UESecurityCapabilities p_UESecurityCapabilities := ?,
                        template (present) SecurityContext p_SecurityContext := ?,
                        template (present) CSG_Id p_CSG_Id_value := ?,
                        template (present) CellAccessMode p_CellAccessMode_value := ?    
                    ) modifies mw_HandoverRequestIEs := {
                        mw_CSG_Id_IE(p_CSG_Id_value),
                        mw_CellAccessMode_IE(p_CellAccessMode_value)   
                    } // End of template mw_HandoverRequestIEs         

                    /**
                     * @desc Receive template for SuccessfulOutcome message with Handover Cancel payload
garciay's avatar
garciay committed
                     * @param p_value           The expected protocol information elements. Default: ?
                     */
                    template (present) SuccessfulOutcome mw_HandoverRequestAck(
                                                                           template (present) RecordOf_ProtocolIE p_value) := {
                        procedureCode := id_HandoverResourceAllocation,
                        criticality := reject,
                        value_ := {RecordOf_ProtocolIE := p_value}
                    } // End of template mw_HandoverRequestAck
                    
                    template (present) RecordOf_ProtocolIE mw_HandoverRequestAckIEs(
                        template (present) MME_UE_S1AP_ID p_MME_value := ?,
                        template (present) ENB_UE_S1AP_ID p_eNB_value := ?,
                        template (present) RecordOf_E_RABAdmittedItem p_RecordOf_E_RABAdmittedItem_value := ?,
                        template (present) Target_ToSource_TransparentContainer p_Target_ToSource_TransparentContainer_value := ?
                       ) := {
                            mw_MME_UE_S1AP_ID(p_MME_value),
                            mw_eNB_UE_S1AP_ID(p_eNB_value),
                            mw_E_RABAdmittedList(p_RecordOf_E_RABAdmittedItem_value),
                            mw_target_ToSource_TransparentContainer_IE(p_Target_ToSource_TransparentContainer_value)
                       } // End of template mw_HandoverRequestAckIEs
                    
                    /**
                     * @desc Receive template for UnsuccessfulOutcome message with Handover Failure payload
garciay's avatar
garciay committed
                     * @param p_value           The expected protocol information elements. Default: ?
                     */
                    template (present) UnsuccessfulOutcome mw_HandoverFailure(
                                                                           template (present) RecordOf_ProtocolIE p_value) := {
                        procedureCode := id_HandoverResourceAllocation,
                        criticality := reject,
                        value_ := {RecordOf_ProtocolIE := p_value}
                    } // End of template mw_HandoverFailure
                    
                    template (present) RecordOf_ProtocolIE mw_HandoverFailureIEs(
                        template (present) MME_UE_S1AP_ID p_MME_value := ?,
                        template (present) ENB_UE_S1AP_ID p_eNB_value := ?,
                        template (present) Cause p_Cause_value := ?
                       ) := {
                            mw_MME_UE_S1AP_ID(p_MME_value),
                            mw_eNB_UE_S1AP_ID(p_eNB_value),
                            mw_cause_IE(p_Cause_value)
                       } // End of template mw_HandoverFailureIEs
                
                    
garciay's avatar
garciay committed
                }// End of group HandoverResourceAllocation
                
                group HandoverCancelation{
                    
                    /**
                     * @desc Receive template for InitiatingMessage message with Handover Cancel payload
garciay's avatar
garciay committed
                     * @param p_value           The expected protocol information elements. Default: ?
                     */
                    template (present) InitiatingMessage mw_HandoverCancel(
                                                                           template (present) RecordOf_ProtocolIE p_value) := {
                        procedureCode := id_HandoverCancel,
                        criticality := reject,
                        value_ := {RecordOf_ProtocolIE := p_value}
                    } // End of template mw_HandoverCancel
                    
                    template (present) RecordOf_ProtocolIE mw_HandoverCancelIEs(
                        template (present) MME_UE_S1AP_ID p_MME_value := ?,
                        template (present) ENB_UE_S1AP_ID p_eNB_value := ?,
                        template (present) Cause p_Cause_value := ?
                       ) := {
                            mw_MME_UE_S1AP_ID(p_MME_value),
                            mw_eNB_UE_S1AP_ID(p_eNB_value),
                            mw_cause_IE(p_Cause_value)
                       } // End of template mw_HandoverCancelIEs
                       
                }// End of group HandoverCancelation
                    
                group PathSwitchRequest{
                    
                    /**
                     * @desc Receive template for InitiatingMessage message with Path Switch Request payload
garciay's avatar
garciay committed
                     * @param p_value           The expected protocol information elements. Default: ?
                     */
                    template (present) InitiatingMessage mw_PathSwitchRequest(
                                                                           template (present) RecordOf_ProtocolIE p_value) := {
                        procedureCode := id_PathSwitchRequest,
                        criticality := reject,
                        value_ := {RecordOf_ProtocolIE := p_value}
                    } // End of template mw_PathSwitchRequest

                    
                    /**
                     * @desc Receive template for PATH_SWITCH_REQUEST message
                     * @param p_eNB_value               The expected eNB UE S1AP ID value. Default: ?
                     * @param p_RecordOf_E_RABToBeSwitchedDLItem_value               The expected RecordOf_E_RABToBeSwitchedDLItem_value value. Default: ?
                     * @param p_MME_value               The expected MME UE S1AP ID value. Default: ?
                     * @param p_eUtranCgi               The expected E-UTRAN CGI value.    Default: ?
                     * @param p_tai                     The expected TAI value.            Default: ?
                     * @param p_UESecurityCapabilities  The expected UE Security Capabilities value.    Default: ?
                     */
                    template (present) RecordOf_ProtocolIE mw_PathSwitchRequestIEs(
                        template (present) ENB_UE_S1AP_ID p_eNB_value := ?,
                        template (present) RecordOf_E_RABToBeSwitchedDLItem p_RecordOf_E_RABToBeSwitchedDLItem_value := ?,
                        template (present) MME_UE_S1AP_ID p_MME_value := ?,
                        template (present) EUTRAN_CGI p_eUtranCgi := ?,
                        template (present) TAI p_tai := ?,
                        template (present) UESecurityCapabilities p_UESecurityCapabilities := ?
                       ) := {
                            mw_eNB_UE_S1AP_ID(p_eNB_value),
                            mw_E_RABToBeSwitchedDLList(p_RecordOf_E_RABToBeSwitchedDLItem_value),
                            mw_sourceMmeUeS1apId(p_MME_value),
                            mw_eUTRAN_CGI_IE(p_eUtranCgi),
                            mw_tAI_IE(p_tai),
                            mw_UE_securityCapabilities_IE(p_UESecurityCapabilities, ignore)
                       } // End of template mw_PathSwitchRequestIEs
                    
                }// End of group PathSwitchRequest
                
                group ERAB_management_group {
                    group ERABModify{
rennoch's avatar
rennoch committed
                        /**
                         * @desc Receive template for SuccessfulOutcome/R-RAB_Modify request message
                         * @param p_value   The expected protocol information elements. Default: ?
                         */
                        template (present) SuccessfulOutcome mw_E_RABModifiedRequest(
                                                                                   template (present) RecordOf_ProtocolIE p_value := ?
                        ) := {
                            procedureCode := id_E_RABModify,
                            criticality := reject,
                            value_ := {RecordOf_ProtocolIE := p_value}
                        } // End of template mw_E_RABModifiedRequest

                        template (present) RecordOf_ProtocolIE mw_E_RABModifiedReqIEs(
                                                                                   template (present) MME_UE_S1AP_ID p_MME_value := ?,
                                                                                   template (present) ENB_UE_S1AP_ID p_eNB_value := ?,
                                                                                   template (present) RecordOf_E_RABToBeModifiedItemBearerModReq p_RecordOf_E_RABToBeModifyItem_value := {?}
                        ) := { 
                            mw_MME_UE_S1AP_ID(p_MME_value, ignore),
                            mw_eNB_UE_S1AP_ID(p_eNB_value, ignore),
                            mw_E_RABToBeModifiedList(p_RecordOf_E_RABToBeModifyItem_value)
                        } // End of template mw_E_RABSetupReqIEs
                        template (present) RecordOf_ProtocolIE mw_E_RABModificationIndicationIEs(
                           template (present) MME_UE_S1AP_ID p_MME_value := ?,
                           template (present) ENB_UE_S1AP_ID p_eNB_value := ?,
                           template RecordOf_E_RABToBeModifiedItemBearerModInd p_RecordOf_E_RABModifyItem_value := omit
                        ) := { 
                            mw_MME_UE_S1AP_ID(p_MME_value, ignore),
                            mw_eNB_UE_S1AP_ID(p_eNB_value, ignore),
                            mw_E_RABModifiedListModIndIE(p_RecordOf_E_RABModifyItem_value)
                        }                    
                        
                          

                        template (present) E_RABToBeModifiedItemBearerModInd mw_E_RABToBeModifiedItemBearerModInd(
                             in E_RAB_ID p_e_RAB_ID := 0,
                             in template (value) TransportLayerAddress p_transportLayerAddress := '0'B,
                             in template (value) GTP_TEID p_dL_GTP_TEID := '00000000'O
                        ) := {
                            e_RAB_ID := p_e_RAB_ID,
                            transportLayerAddress := p_transportLayerAddress,
                            dL_GTP_TEID := p_dL_GTP_TEID
                        } 
                        template (present) RecordOf_ProtocolIE mw_E_RABModifiedResIEs(
                                                                                   template (present) MME_UE_S1AP_ID p_MME_value := ?,
                                                                                   template (present) ENB_UE_S1AP_ID p_eNB_value := ?,
                                                                                   template (present) RecordOf_E_RABModifyItemBearerModRes p_RecordOf_E_RABModifyItem_value := ?
                        ) := { 
                            mw_MME_UE_S1AP_ID(p_MME_value, ignore),
                            mw_eNB_UE_S1AP_ID(p_eNB_value, ignore),
                            mw_E_RABModifiedList(p_RecordOf_E_RABModifyItem_value)
                        } // End of template mw_E_RABSetupResIEs
                                       
                        template (present) RecordOf_ProtocolIE mw_E_RABModifiedResIEs_FailedToModifyList(
                             template (present) MME_UE_S1AP_ID p_MME_value := ?,
                             template (present) ENB_UE_S1AP_ID p_eNB_value := ?,
                             template RecordOf_E_RABModifyItemBearerModRes p_RecordOf_E_RABModifyItem_value := omit,
                             template (present) RecordOf_E_RABItem p_E_RABItem_value := ?
                        ) := {
                            mw_MME_UE_S1AP_ID(p_MME_value, ignore),
                            mw_eNB_UE_S1AP_ID(p_eNB_value, ignore),
                            mw_E_RABModifiedList(p_RecordOf_E_RABModifyItem_value) ifpresent,
                            mw_E_RABFailedToSetupList(p_E_RABItem_value)
                        } // End of template mw_E_RABSetupResIEs
                        
                                                            
                    }
                    
                    group ERABSetup{
                        
                        /**
                         * @desc Receive template for InitiatingMessage message with E-RABSetup payload
garciay's avatar
garciay committed
                         * @param p_value           The expected protocol information elements. Default: ?
                         */
                        template (present) InitiatingMessage mw_E_RABSetupRequest(
                                                                               template (present) RecordOf_ProtocolIE p_value) := {
                            procedureCode := id_E_RABSetup,
                            criticality := reject,
                            value_ := {RecordOf_ProtocolIE := p_value}
                        } // End of template mw_E_RABSetupRequest
                        
                        template (present) RecordOf_ProtocolIE mw_E_RABSetupReqIEs(
                                                                                template (present) MME_UE_S1AP_ID p_MME_value,
                                                                                template (present) ENB_UE_S1AP_ID p_eNB_value,
                                                                                template (present) RecordOf_E_RABToBeSetupItemBearerSUReq p_RecordOf_E_RABToBeSetupItem_value
                        ) := {
                            mw_MME_UE_S1AP_ID(p_MME_value),
                            mw_eNB_UE_S1AP_ID(p_eNB_value),
                            mw_E_RABToBeSetupList(p_RecordOf_E_RABToBeSetupItem_value)
                        } // End of template mw_E_RABSetupReqIEs
                        
                        template (present) RecordOf_ProtocolIE mw_E_RABSetupResIEs(
                                                                                   template (present) MME_UE_S1AP_ID p_MME_value := ?,
                                                                                   template (present) ENB_UE_S1AP_ID p_eNB_value := ?,
                                                                                   template (present) RecordOf_E_RABSetupItemBearerSURes p_RecordOf_E_RABSetupItem_value := ?
                        ) := { 
                            mw_MME_UE_S1AP_ID(p_MME_value, ignore),
                            mw_eNB_UE_S1AP_ID(p_eNB_value, ignore),
                            mw_E_RABSetupList(p_RecordOf_E_RABSetupItem_value)
                        } // End of template mw_E_RABSetupResIEs
    
          
                        template (present) RecordOf_ProtocolIE mw_E_RABSetupResIEs_FailedToSetupList(
                                                                                                     template (present) MME_UE_S1AP_ID p_MME_value := ?,
                                                                                                     template (present) ENB_UE_S1AP_ID p_eNB_value := ?,
                                                                                                     template RecordOf_E_RABSetupItemBearerSURes p_RecordOf_E_RABSetupItem_value := omit,
                                                                                                     template (present) RecordOf_E_RABItem p_E_RABItem_value := ?
                        ) := {
                            mw_MME_UE_S1AP_ID(p_MME_value, ignore),
                            mw_eNB_UE_S1AP_ID(p_eNB_value, ignore),
                            mw_E_RABSetupList(p_RecordOf_E_RABSetupItem_value) ifpresent,
                            mw_E_RABFailedToSetupList(p_E_RABItem_value)
                        } // End of template mw_E_RABSetupResIEs
                        
                    } // End of group ERABSetup
        
                    group ERABRelease{
                        template (present) RecordOf_ProtocolIE mw_E_RABReleaseResIEs(
                                                                                         template (present) MME_UE_S1AP_ID p_MME_value := ?,
                                                                                         template (present) ENB_UE_S1AP_ID p_eNB_value := ?,
                                                                                         template (present) RecordOf_E_RABItem p_RecordOf_E_RABItem_value := ?,
                                                                                         template (present) UserLocationInformation p_UserLocationInformation := ?
                         ) := { 
                              mw_MME_UE_S1AP_ID(p_MME_value, ignore),
                              mw_eNB_UE_S1AP_ID(p_eNB_value, ignore),
                              mw_E_RABReleaseList(p_RecordOf_E_RABItem_value),
garciay's avatar
garciay committed
                              mw_UserLocationInformation_IE(p_UserLocationInformation)
                         } // End of template mw_E_RABReleaseResIEs
                    
garciay's avatar
garciay committed
                        template (present) UserLocationInformation mw_UserLocationInformation(
                                     template (present) EUTRAN_CGI p_EUTRAN_CGI := ?,
                                     template (present) TAI p_TAI := ?
                         ) := { 
                              eutran_cgi := p_EUTRAN_CGI, //mw_eUTRAN_CGI_IE(p_EUTRAN_CGI_value),
                              tai := p_TAI,//mw_tAI_IE(p_TAI_value)
                              iE_Extensions := *
                              
                              
                         } // End of template mw_UserLocationInformation
                                                
                        template (present) RecordOf_ProtocolIE mw_E_RABReleaseIndicationIEs(
                             template (present) MME_UE_S1AP_ID p_MME_value := ?,
                             template (present) ENB_UE_S1AP_ID p_eNB_value := ?,
                             template (present) RecordOf_E_RABItem p_RecordOf_E_RABItem_value := ?,
                             template (present) UserLocationInformation p_UserLocationInformation := ?
                        ) := {
                              mw_MME_UE_S1AP_ID(p_MME_value, ignore),
                              mw_eNB_UE_S1AP_ID(p_eNB_value, ignore),
                              mw_E_RABReleaseList(p_RecordOf_E_RABItem_value),
                              mw_UserLocationInformation_IE(p_UserLocationInformation)
                        }
garciay's avatar
garciay committed
                    
                         /**
                          * @desc Receive template for UserLocationInformation message
                          * @param p_tAI                 The expected TAI value. Default: ?
                          * @param p_eUTRAN_CGI          The expected Type Request value. Default: ?
                          */
                         template (present) ProtocolIE mw_UserLocationInformation_IE(
                            template (present) UserLocationInformation p_UserLocationInformation_value                                                                                        
                         ) := {
                            id := S1AP_Constants.id_UserLocationInformation,
                               criticality := ignore,
                               value_ := {UserLocationInformation := p_UserLocationInformation_value}
                         } // End of template mw_UserLocationInformation
                        * @desc Receive template for InitiatingMessage message with Release Command payload
                        * @param p_value           The list of Protocol IE values
                        */
                        template (present) InitiatingMessage mw_E_RABReleaseCommand(
                                                                              template (present) RecordOf_ProtocolIE p_value) := {
                            procedureCode := id_E_RABRelease,
                            criticality := reject,
                            value_ := {RecordOf_ProtocolIE := p_value}
                        } // End of template mw_E_RABReleaseCommand

                        template (present) RecordOf_ProtocolIE mw_E_RABReleaseCmdIEs(
                                                                                   template (present) MME_UE_S1AP_ID p_MME_value := ?,
                                                                                   template (present) ENB_UE_S1AP_ID p_eNB_value := ?,
                                                                                   template (present) RecordOf_E_RABItem p_RecordOf_E_RABReleaseListItem_value := {?}
                        ) := { 
                            mw_MME_UE_S1AP_ID(p_MME_value, ignore),
                            mw_eNB_UE_S1AP_ID(p_eNB_value, ignore),
                            mw_E_RABReleaseList(p_RecordOf_E_RABReleaseListItem_value)
                        } // End of template mw_E_RABReleaseCmdIEs

                        /**
                        * @desc Receive template for InitiatingMessage message with Modification confirm payload
                        * @param p_value           The list of Protocol IE values
                        */
                        template (present) InitiatingMessage mw_E_RABModificationConfirm(
                                                                              template (present) RecordOf_ProtocolIE p_value) := {
                            procedureCode := id_E_RABRelease,
                            criticality := reject,
                            value_ := {RecordOf_ProtocolIE := p_value}
                        } // End of template mw_E_RABModificationConfirm

                        template (present) RecordOf_ProtocolIE mw_E_RABModificationConfirmIEs(
                                                                                   template (present) MME_UE_S1AP_ID p_MME_value := ?,
                                                                                   template (present) ENB_UE_S1AP_ID p_eNB_value := ?,
                                                                                   template (present) RecordOf_E_RABItem p_RecordOf_E_RABModifyListItem_value := {?}
                        ) := { 
                            mw_MME_UE_S1AP_ID(p_MME_value, ignore),
                            mw_eNB_UE_S1AP_ID(p_eNB_value, ignore),
                            mw_E_RABModifyList(p_RecordOf_E_RABModifyListItem_value)
                        } // End of template mw_E_RABModificationConfirmIEs

                        template (present) RecordOf_ProtocolIE mw_E_RABModificationConfirmIEsCSG(
                                                                                   template (present) MME_UE_S1AP_ID p_MME_value := ?,
                                                                                   template (present) ENB_UE_S1AP_ID p_eNB_value := ?,
                                                                                   template (present) RecordOf_E_RABItem p_RecordOf_E_RABModifyListItem_value := {?},
                                                                                   template (present) CSGMembershipInfo p_CSGMembershipInfo:=?
                        ) := { 
                            mw_MME_UE_S1AP_ID(p_MME_value, ignore),
                            mw_eNB_UE_S1AP_ID(p_eNB_value, ignore),
                            mw_E_RABModifyList(p_RecordOf_E_RABModifyListItem_value),
                            mw_cSGMembershipInfo_IE(p_CSGMembershipInfo)
                        } // End of template mw_E_RABModificationConfirmIEs
                group Context_management_group{
garciay's avatar
garciay committed
                     * @desc Receive template for InitialContextSetup payload message
                     * @param p_value           The expected protocol information elements. Default: ?
                     */
                    template (present) SuccessfulOutcome mw_InitialContextSetupResponse(
                                                                               template (present) RecordOf_ProtocolIE p_value := ?
                    ) := {
                        procedureCode := id_InitialContextSetup,
                        criticality := reject,
                        value_ := {RecordOf_ProtocolIE := p_value}
                    } // End of template mw_InitialContextSetupResponse
                    
garciay's avatar
garciay committed
                    /**
                     * @desc Receive template for InitialContextSetup message
                     * @param p_MME_value                       The expected MME UE S1AP ID value. Default: ?
                     * @param p_eNB_value                       The expected eNB UE S1AP ID value. Default: ?
                     * @param p_RecordOf_E_RABSetupItem_value   The expected list of E-_RAB Setup Item value. Default: omit
                     * @param p_E_RABItem_value                 The expected E-RABItem value. Default: ?
                     */
                    template (present) RecordOf_ProtocolIE mw_InitialContextSetupResIEs(
                                                                               template (present) MME_UE_S1AP_ID p_MME_value := ?,
                                                                               template (present) ENB_UE_S1AP_ID p_eNB_value := ?,
ulrichst's avatar
ulrichst committed
                                                                               template RecordOf_E_RABSetupItemBearerSURes p_RecordOf_E_RABSetupItem_value := omit,
                                                                               template (present) RecordOf_E_RABItem p_E_RABItem_value := ?
                        mw_MME_UE_S1AP_ID(p_MME_value, ignore),
                        mw_eNB_UE_S1AP_ID(p_eNB_value, ignore),
                        mw_E_RABSetupList(p_RecordOf_E_RABSetupItem_value) ifpresent,
                        mw_E_RABFailedToSetupList(p_E_RABItem_value)
                    } // End of template mw_InitialContextSetupResIEs
garciay's avatar
garciay committed
                    /**
                     * @desc Receive template for InitialContextSetupFailure message
                     * @param p_MME_value   The expected MME UE S1AP ID value. Default: ?
                     * @param p_eNB_value   The expected eNB UE S1AP ID value. Default: ?
                     * @param p_cause       The expected cause value. Default: ?
                     */
                    template (present) RecordOf_ProtocolIE mw_InitialContextSetupFailureIEs(
garciay's avatar
garciay committed
                                                                                            template (present) MME_UE_S1AP_ID p_MME_value := ?,
                                                                                            template (present) ENB_UE_S1AP_ID p_eNB_value := ?,
                                                                                            template (present) Cause p_cause := ?
                    ) := {
                        mw_MME_UE_S1AP_ID(p_MME_value, ignore),
                        mw_eNB_UE_S1AP_ID(p_eNB_value, ignore),
                        mw_cause_IE(p_cause)
garciay's avatar
garciay committed
                    } // End of template mw_InitialContextSetupResIEs
                    
garciay's avatar
garciay committed
                    /**
                     * @desc Receive template for InitialContextSetupFailure message with Criticaly Diagnostic IE
                     * @param p_MME_value           The expected MME UE S1AP ID value. Default: ?
                     * @param p_eNB_value           The expected eNB UE S1AP ID value. Default: ?
                     * @param p_cause               The expected cause value. Default: ?
                     * @param p_criticalyDiagnostic The expected criticaly diagnostic value. Default: ?
                     */
garciay's avatar
garciay committed
                    template (present) RecordOf_ProtocolIE mw_InitialContextSetupFailureIEs_CriticalyDiagnostic(
                                                                                                                template (present) MME_UE_S1AP_ID p_MME_value := ?,
                                                                                                                template (present) ENB_UE_S1AP_ID p_eNB_value := ?,
                                                                                                                template (present) Cause p_cause := ?,
                                                                                                                template (present) CriticalityDiagnostics p_criticalyDiagnostic := ?
                    ) modifies mw_InitialContextSetupFailureIEs := {
                        mw_MME_UE_S1AP_ID(p_MME_value, ignore),
                        mw_eNB_UE_S1AP_ID(p_eNB_value, ignore),
                        mw_cause_IE(p_cause),
                        mw_criticalityDiagnostics_IE(p_criticalyDiagnostic)
                    } // End of template mw_InitialContextSetupFailureIEs_CriticalyDiagnostic
                    
                    /**
                     * @desc Receive template for InitialContextSetup message
garciay's avatar
garciay committed
                     * @param p_value           The expected protocol information elements. Default: ?
                     * @param p_criticality     The expected criticality value. Default: reject
                     */
                    template (present) SuccessfulOutcome mw_InitialContextSetupRequest(
garciay's avatar
garciay committed
                                                                                       template (present) RecordOf_ProtocolIE p_value := ?,
                                                                                       template (present) Criticality p_criticality := reject
                        procedureCode := id_InitialContextSetup,
                        criticality := reject,
                        value_ := {RecordOf_ProtocolIE := p_value}
                    } // End of template mw_InitialContextSetupRequest
                    template (present) RecordOf_ProtocolIE mw_InitialContextSetupRequestIEs(
                                                                               template (present) MME_UE_S1AP_ID p_MME_value := ?,
                                                                               template (present) ENB_UE_S1AP_ID p_eNB_value := ?,
                                                                               template (present) UEAggregateMaximumBitrate p_UEAggregateMaximumBitrate := ?,
                                                                               template (present) RecordOf_E_RABToBeSetupItemCtxtSUReq p_RecordOf_E_RABSetupItemCtxt_value,
                                                                               template (present) UESecurityCapabilities p_UESecurityCapabilities:=?,
                                                                               template (present) SecurityKey p_SecurityKey:=?
                    ) := {
                        mw_MME_UE_S1AP_ID(p_MME_value, ignore),
                        mw_eNB_UE_S1AP_ID(p_eNB_value, ignore),
                        mw_UE_aggregate_maximum_bitrate_IE(p_UEAggregateMaximumBitrate),
                        mw_E_RABToBeSetupCtxtList(p_RecordOf_E_RABSetupItemCtxt_value),
                        mw_UE_securityCapabilities_IE(p_UESecurityCapabilities),                       
                        mw_securityKey_IE(p_SecurityKey)
                    } // End of template mw_InitialContextSetupRequestIEs
                    /**
                     * @desc Receive template for UeContextReleaseRequest message
garciay's avatar
garciay committed
                     * @param p_value           The expected protocol information elements. Default: ?
                     */
                    template (present) SuccessfulOutcome mw_UeContextReleaseRequest(
                                                                               template (present) RecordOf_ProtocolIE p_value := ?
                    ) := {
                        procedureCode := id_UEContextReleaseRequest,
                        criticality := reject,
                        value_ := {RecordOf_ProtocolIE := p_value}
                    } // End of template mw_UeContextReleaseRequest
                    template (present) RecordOf_ProtocolIE mw_UeContextReleaseRequestIEs(
                                                                               template (present) MME_UE_S1AP_ID p_MME_value := ?,
                                                                               template (present) ENB_UE_S1AP_ID p_eNB_value := ?,
                                                                               template (present) Cause p_cause := ?
                    ) := {
                        mw_MME_UE_S1AP_ID(p_MME_value, ignore),
                        mw_eNB_UE_S1AP_ID(p_eNB_value, ignore),
                        mw_cause_IE(p_cause)
                    } // End of template mw_UeContextReleaseRequestIEs
                    /**
                     * @desc Receive template for UeContextReleaseCommand message
garciay's avatar
garciay committed
                     * @param p_value           The expected protocol information elements. Default: ?
                     */
                    template (present) SuccessfulOutcome mw_UeContextReleaseCommand(
                                                                               template (present) RecordOf_ProtocolIE p_value := ?
                    ) := {
                        procedureCode := id_UEContextRelease,
                        criticality := reject,
                        value_ := {RecordOf_ProtocolIE := p_value}
                    } // End of template mw_UeContextReleaseCommand
                    template (present) RecordOf_ProtocolIE mw_UeContextReleaseCommandIEs_MME(
                                                                               template (present) MME_UE_S1AP_ID p_MME_value := ?,
                                                                               template (present) Cause p_cause := ?
                    ) := {
                        mw_MME_UE_S1AP_ID(p_MME_value, ignore),
                        mw_cause_IE(p_cause)
                    } // End of template mw_UeContextReleaseCommandIEs
                    template (present) RecordOf_ProtocolIE mw_UeContextReleaseCommandIEs_ENB(
                                                                               template (present) ENB_UE_S1AP_ID p_eNB_value := ?,
                                                                               template (present) Cause p_cause := ?
                    ) := {
                        mw_eNB_UE_S1AP_ID(p_eNB_value, ignore),
                        mw_cause_IE(p_cause)
                    } // End of template mw_UeContextReleaseCommandIEs
                    /**
                     * @desc Receive template for UeContextReleaseComplete message
garciay's avatar
garciay committed
                     * @param p_value           The expected protocol information elements. Default: ?
                     */
                    template (present) SuccessfulOutcome mw_UeContextReleaseComplete(
                                                                               template (present) RecordOf_ProtocolIE p_value := ?
                    ) := {
                        procedureCode := id_UEContextRelease,
                        criticality := reject,
                        value_ := {RecordOf_ProtocolIE := p_value}
                    } // End of template mw_UeContextReleaseComplete
                    template (present) RecordOf_ProtocolIE mw_UeContextReleaseCompleteIEs(
                                                                               template (present) MME_UE_S1AP_ID p_MME_value := ?,
                                                                               template (present) ENB_UE_S1AP_ID p_eNB_value := ?,
                                                                               template (present) Cause p_cause := ?
                    ) := {
                        mw_MME_UE_S1AP_ID(p_MME_value, ignore),
                        mw_eNB_UE_S1AP_ID(p_eNB_value, ignore),
                        mw_cause_IE(p_cause)
                    } // End of template mw_UeContextReleaseCompleteIEs
                    
                    /**
                     * @desc Receive template for mw_UeContextModificationResponse message
garciay's avatar
garciay committed
                     * @param p_value           The expected protocol information elements. Default: ?
                     */
                    template (present) SuccessfulOutcome mw_UeContextModificationResponse(
                                                                               template (present) RecordOf_ProtocolIE p_value := ?
                    ) := {
                        procedureCode := id_UEContextModification,
                        criticality := reject,
                        value_ := {RecordOf_ProtocolIE := p_value}
                    } // End of template mw_UeContextReleaseComplete
                    
                    template (present) RecordOf_ProtocolIE mw_UeContextModificationResponseIEs(
                                                                               template (present) MME_UE_S1AP_ID p_MME_value := ?,
                                                                               template (present) ENB_UE_S1AP_ID p_eNB_value := ?
                    ) := {
                        mw_MME_UE_S1AP_ID(p_MME_value, ignore),
                        mw_eNB_UE_S1AP_ID(p_eNB_value, ignore)
                    } // End of template mw_UeContextReleaseCompleteIEs
                    
                    /**
                     * @desc Receive template for mw_UeContextModificationFailure message
garciay's avatar
garciay committed
                     * @param p_value           The expected protocol information elements. Default: ?
                     */
                    template (present) SuccessfulOutcome mw_UeContextModificationFailure(
                                                                               template (present) RecordOf_ProtocolIE p_value := ?
                    ) := {
                        procedureCode := id_UEContextModification,
                        criticality := reject,
                        value_ := {RecordOf_ProtocolIE := p_value}
                    } // End of template mw_UeContextModificationFailure
                    
                    template (present) RecordOf_ProtocolIE mw_UeContextModificationFailureIEs(
                                                                               template (present) MME_UE_S1AP_ID p_MME_value := ?,
                                                                               template (present) ENB_UE_S1AP_ID p_eNB_value := ?,
                                                                               template (present) Cause p_cause := ?
                    ) := {
                        mw_MME_UE_S1AP_ID(p_MME_value, ignore),
                        mw_eNB_UE_S1AP_ID(p_eNB_value, ignore),
                        mw_cause_IE(p_cause)
                    } // End of template mw_UeContextModificationFailureIEs
rennoch's avatar
rennoch committed

                    
garciay's avatar
garciay committed
                    /**
                     * @desc Receive template for mw_UeContextModificationRequest message
garciay's avatar
garciay committed
                     * @param p_value           The expected protocol information elements. Default: ?
garciay's avatar
garciay committed
                     */
                    template (present) SuccessfulOutcome mw_UeContextModificationRequest(
                                                                               template (present) RecordOf_ProtocolIE p_value := ?
                    ) := {
                        procedureCode := id_UEContextModification,
                        criticality := reject,
                        value_ := {RecordOf_ProtocolIE := p_value}
                    } // End of template mw_UeContextModificationRequest
                    
                    template (present) RecordOf_ProtocolIE mw_UeContextModificationRequestIEs(
                                                                               template (present) MME_UE_S1AP_ID p_MME_value := ?,
                                                                               template (present) ENB_UE_S1AP_ID p_eNB_value := ?,
rennoch's avatar
rennoch committed
                                                                               template (present) UEAggregateMaximumBitrate p_UEAggregateMaximumBitrate := ?
garciay's avatar
garciay committed
                    ) := {
                        mw_MME_UE_S1AP_ID(p_MME_value, ignore),
                        mw_eNB_UE_S1AP_ID(p_eNB_value, ignore),
                        mw_UE_aggregate_maximum_bitrate_IE(p_UEAggregateMaximumBitrate)
                    } // End of template mw_UeContextModificationRequestIEs
                    
                    
                    /**
                     * @desc Receive template for mw_UeContextModificationIndication message
garciay's avatar
garciay committed
                     * @param p_value           The expected protocol information elements. Default: ?
                     */
                    template (present) SuccessfulOutcome mw_UeContextModificationIndication(
                                                                               template (present) RecordOf_ProtocolIE p_value := ?
                    ) := {
                        procedureCode := id_UEContextModification,
                        criticality := reject,
                        value_ := {RecordOf_ProtocolIE := p_value}
                    } // End of template mw_UeContextModificationIndication
                    
                    template (present) RecordOf_ProtocolIE mw_UeContextModificationIndicationIEs(
                                                                               template (present) MME_UE_S1AP_ID p_MME_value := ?,
                                                                               template (present) ENB_UE_S1AP_ID p_eNB_value := ?
                    ) := {
                        mw_MME_UE_S1AP_ID(p_MME_value, ignore),
                        mw_eNB_UE_S1AP_ID(p_eNB_value, ignore)
                    } // End of template mw_UeContextModificationIndicationIEs
rennoch's avatar
rennoch committed

                    /**
                     * @desc Receive template for mw_UeContextModificationConfirm message
garciay's avatar
garciay committed
                     * @param p_value           The expected protocol information elements. Default: ?
rennoch's avatar
rennoch committed
                     */
                    template (present) SuccessfulOutcome mw_UeContextModificationConfirm(
                                                                               template (present) RecordOf_ProtocolIE p_value := ?
                    ) := {
                        procedureCode := id_UEContextModification,
                        criticality := reject,
                        value_ := {RecordOf_ProtocolIE := p_value}
                    } // End of template mw_UeContextModificationConfirm
                    
                    template (present) RecordOf_ProtocolIE mw_UeContextModificationConfirmIEs(
                                                                               template (present) MME_UE_S1AP_ID p_MME_value := ?,
                                                                               template (present) ENB_UE_S1AP_ID p_eNB_value := ?
                    ) := {
                        mw_MME_UE_S1AP_ID(p_MME_value, ignore),
                        mw_eNB_UE_S1AP_ID(p_eNB_value, ignore)
                    } // End of template mw_UeContextModificationConfirmIEs

                    template (present) RecordOf_ProtocolIE mw_UeContextModificationConfirmIEsCSG(
                                                                               template (present) MME_UE_S1AP_ID p_MME_value := ?,
                                                                               template (present) ENB_UE_S1AP_ID p_eNB_value := ?
                    ) := {
                        mw_MME_UE_S1AP_ID(p_MME_value, ignore),
                        mw_eNB_UE_S1AP_ID(p_eNB_value, ignore),
                        mw_cSGMembershipInfo_IE
                    } // End of template mw_UeContextModificationConfirmIEsCSG
                    
                    /**
                     * @desc Receive template for mw_UeContextSuspendRequest message
garciay's avatar
garciay committed
                     * @param p_value           The expected protocol information elements. Default: ?
                     */
                    template (present) SuccessfulOutcome mw_UeContextSuspendRequest(
                                                                               template (present) RecordOf_ProtocolIE p_value := ?
                    ) := {
                        procedureCode := id_UEContextSuspend,
                        criticality := reject,
                        value_ := {RecordOf_ProtocolIE := p_value}
                    } // End of template mw_UeContextSuspendRequest
                    
                    template (present) RecordOf_ProtocolIE mw_UeContextSuspendRequestIEs(
                                                                               template (present) MME_UE_S1AP_ID p_MME_value := ?,
                                                                               template (present) ENB_UE_S1AP_ID p_eNB_value := ?
                    ) := {
                        mw_MME_UE_S1AP_ID(p_MME_value, ignore),
                        mw_eNB_UE_S1AP_ID(p_eNB_value, ignore)
                    } // End of template mw_UeContextSuspendRequestIEs

garciay's avatar
garciay committed
                     * @desc Receive template for mw_UeContextResumeRequest message
garciay's avatar
garciay committed
                     * @param p_value           The expected protocol information elements. Default: ?
                     */
                    template (present) SuccessfulOutcome mw_UeContextSuspendResponse(
                                                                               template (present) RecordOf_ProtocolIE p_value := ?
                    ) := {
                        procedureCode := id_UEContextSuspend,
                        criticality := reject,
                        value_ := {RecordOf_ProtocolIE := p_value}
                    } // End of template mw_UeContextSuspendResponse
                    
                    template (present) RecordOf_ProtocolIE mw_UeContextSuspendResponseIEs(
                                                                               template (present) MME_UE_S1AP_ID p_MME_value := ?,
                                                                               template (present) ENB_UE_S1AP_ID p_eNB_value := ?
                    ) := {
                        mw_MME_UE_S1AP_ID(p_MME_value, ignore),
                        mw_eNB_UE_S1AP_ID(p_eNB_value, ignore)
                    } // End of template mw_UeContextSuspendResponseIEs

garciay's avatar
garciay committed
                     * @desc Receive template for mw_UeContextResumeFailure message
garciay's avatar
garciay committed
                     * @param p_value           The expected protocol information elements. Default: ?
                     */
                    template (present) SuccessfulOutcome mw_UeContextResumeRequest(
garciay's avatar
garciay committed
                                                                                   template (present) RecordOf_ProtocolIE p_value := ?
                    ) := {
                        procedureCode := id_UEContextResume,
                        criticality := reject,
                        value_ := {RecordOf_ProtocolIE := p_value}
                    } // End of template mw_UeContextResumeRequest
                    
                    template (present) RecordOf_ProtocolIE mw_UeContextResumeRequestIEs(
garciay's avatar
garciay committed
                                                                                        template (present) MME_UE_S1AP_ID p_MME_value := ?,
                                                                                        template (present) ENB_UE_S1AP_ID p_eNB_value := ?,
                                                                                        template (present) Cause p_cause := ?,
                                                                                        template (present) CriticalityDiagnostics p_criticalyDiagnostic := ?
                    ) := {
                        mw_MME_UE_S1AP_ID(p_MME_value, ignore),
garciay's avatar
garciay committed
                        mw_eNB_UE_S1AP_ID(p_eNB_value, ignore),
                        mw_cause_IE(p_cause),
                        mw_criticalityDiagnostics_IE(p_criticalyDiagnostic)
                    } // End of template mw_UeContextResumeRequestIEs
garciay's avatar
garciay committed
                    
                    /**
                     * @desc Receive template for mw_UeContextResumeResponse message
garciay's avatar
garciay committed
                     * @param p_value           The expected protocol information elements. Default: ?
                     */
                    template (present) SuccessfulOutcome mw_UeContextResumeResponse(
                                                                               template (present) RecordOf_ProtocolIE p_value := ?
                    ) := {
                        procedureCode := id_UEContextResume,
                        criticality := reject,
                        value_ := {RecordOf_ProtocolIE := p_value}
                    } // End of template mw_UeContextResumeResponse
                    
                    template (present) RecordOf_ProtocolIE mw_UeContextResumeResponseIEs(
                                                                               template (present) MME_UE_S1AP_ID p_MME_value := ?,
                                                                               template (present) ENB_UE_S1AP_ID p_eNB_value := ?
                    ) := {
                        mw_MME_UE_S1AP_ID(p_MME_value, ignore),
                        mw_eNB_UE_S1AP_ID(p_eNB_value, ignore)
                    } // End of template mw_UeContextResumeResponseIEs
rennoch's avatar
rennoch committed
                    /**
                     * @desc Receive template for mw_UeContextResumeFailure message
garciay's avatar
garciay committed
                     * @param p_value           The expected protocol information elements. Default: ?
rennoch's avatar
rennoch committed
                     */
                    template (present) SuccessfulOutcome mw_UeContextResumeFailure(
garciay's avatar
garciay committed
                                                                                   template (present) RecordOf_ProtocolIE p_value := ?
rennoch's avatar
rennoch committed
                    ) := {
                        procedureCode := id_UEContextResume,
                        criticality := reject,
                        value_ := {RecordOf_ProtocolIE := p_value}
                    } // End of template mw_UeContextResumeFailure
                    
                    template (present) RecordOf_ProtocolIE mw_UeContextResumeFailureIEs(
garciay's avatar
garciay committed
                                                                                        template (present) MME_UE_S1AP_ID p_MME_value := ?,
                                                                                        template (present) ENB_UE_S1AP_ID p_eNB_value := ?,
                                                                                        template (present) Cause p_cause := ?,
                                                                                        template (present) CriticalityDiagnostics p_criticalyDiagnostic := ?
rennoch's avatar
rennoch committed
                    ) := {
                        mw_MME_UE_S1AP_ID(p_MME_value, ignore),
                        mw_eNB_UE_S1AP_ID(p_eNB_value, ignore),
garciay's avatar
garciay committed
                        mw_cause_IE(p_cause),
                        mw_criticalityDiagnostics_IE(p_criticalyDiagnostic)
rennoch's avatar
rennoch committed
                    } // End of template mw_UeContextResumeFailureIEs
garciay's avatar
garciay committed
                    
                    /**
                     * @desc Receive template for mw_UeRadioCapabilityMatchResponse message
garciay's avatar
garciay committed
                     * @param p_value           The expected protocol information elements. Default: ?
                     */
                    template (present) SuccessfulOutcome mw_UeRadioCapabilityMatchResponse(
                                                                               template (present) RecordOf_ProtocolIE p_value := ?
                    ) := {
                        procedureCode := id_UERadioCapabilityMatch,
                        criticality := reject,
                        value_ := {RecordOf_ProtocolIE := p_value}
                    } // End of template mw_UeRadioCapabilityMatchResponse
                    
                    template (present) RecordOf_ProtocolIE mw_UeRadioCapabilityMatchResponseIEs(
                                                                               template (present) MME_UE_S1AP_ID p_MME_value := ?,
                                                                               template (present) ENB_UE_S1AP_ID p_eNB_value := ?,
                                                                               template (present) VoiceSupportMatchIndicator p_voice_support_match_indicator := ?
                    ) := {
                        mw_MME_UE_S1AP_ID(p_MME_value, ignore),
                        mw_eNB_UE_S1AP_ID(p_eNB_value, ignore),
                        mw_voice_support_match_indicator_IE(p_voice_support_match_indicator)
                    } // End of template mw_UeRadioCapabilityMatchResponseIEs

rennoch's avatar
rennoch committed
                    
garciay's avatar
garciay committed
                    /**
                     * @desc Receive template for mw_UeRadioCapabilityMatchRequest message
garciay's avatar
garciay committed
                     * @param p_value           The expected protocol information elements. Default: ?
garciay's avatar
garciay committed
                     */
                    template (present) SuccessfulOutcome mw_UeRadioCapabilityMatchRequest(
                                                                               template (present) RecordOf_ProtocolIE p_value := ?
                    ) := {
                        procedureCode := id_UERadioCapabilityMatch,
                        criticality := reject,
                        value_ := {RecordOf_ProtocolIE := p_value}
                    } // End of template mw_UeRadioCapabilityMatchRequest
                    
                    template (present) RecordOf_ProtocolIE mw_UeRadioCapabilityMatchRequestIEs(
                                                                               template (present) MME_UE_S1AP_ID p_MME_value := ?,
                                                                               template (present) ENB_UE_S1AP_ID p_eNB_value := ?
                    ) := {
                        mw_MME_UE_S1AP_ID(p_MME_value, ignore),
                        mw_eNB_UE_S1AP_ID(p_eNB_value, ignore)
                    } // End of template mw_UeRadioCapabilityMatchRequestIEs
garciay's avatar
garciay committed
                    
                    /**
                     * @desc Receive template for mw_ConnectionEstablishmentIndication message
garciay's avatar
garciay committed
                     * @param p_value           The expected protocol information elements. Default: ?
                     */
                    template (present) SuccessfulOutcome mw_ConnectionEstablishmentIndication(
                                                                               template (present) RecordOf_ProtocolIE p_value := ?
                    ) := {
                        procedureCode := id_ConnectionEstablishmentIndication,
                        criticality := reject,
                        value_ := {RecordOf_ProtocolIE := p_value}
                    } // End of template mw_ConnectionEstablishmentIndication
                    
                    template (present) RecordOf_ProtocolIE mw_ConnectionEstablishmentIndicationIEs(
                                                                               template (present) MME_UE_S1AP_ID p_MME_value := ?,
                                                                               template (present) ENB_UE_S1AP_ID p_eNB_value := ?
                    ) := {
                        mw_MME_UE_S1AP_ID(p_MME_value, ignore),
                        mw_eNB_UE_S1AP_ID(p_eNB_value, ignore)
                    } // End of template mw_ConnectionEstablishmentIndicationIEs
garciay's avatar
garciay committed
                    
                } // End of group Context_management_group
garciay's avatar
garciay committed
                
garciay's avatar
garciay committed
                /**
                 * @desc Receive messages for Management procedures
                 */
                group Management_group {
                    
                    /**
                     * @desc Receive template for InitiatingMessage message with S1_SETUP_REQUEST payload
                     * @param p_value           Expected protocol information elements. Default: ?
                     */
                    template (present) InitiatingMessage mw_s1_Setup_Request(
                                                                             template (present) RecordOf_ProtocolIE p_value := ?
                    ) := {
                        procedureCode := id_S1Setup,
                        criticality := reject,
                        value_ := {RecordOf_ProtocolIE := p_value}
                    } // End of template mw_s1_Setup_Request
                    
                    /**
                     * @desc Receive template for S1_SETUP_REQUEST message
                     * @param p_global_ENB_ID   The expected Global eNB ID value. Default: ?
                     * @param p_supportedTAs    The expected list of SupportedTAs-Item protocol IE. Default: ?
                     * @param p_pagingDRXs      The expected Paging DRX as defined in TS 36.304. Default: ?
                     */
                    template (present) RecordOf_ProtocolIE mw_s1_Setup_RequestIEs(
                                                                                  template (present) Global_ENB_ID p_global_ENB_ID := ?,
                                                                                  template (present) SupportedTAs p_supportedTAs := ?,
                                                                                  template (present) PagingDRX p_pagingDRXs := ?
                    ) := {
                        mw_global_eNB_ID_IE(p_global_ENB_ID),
                        mw_supportedTAs_IE(p_supportedTAs),
                        mw_pagingDRX_IE(p_pagingDRXs)
                    } // End of template mw_s1_Setup_RequestIEs
                    
                    /**
                     * @desc Receive template for InitiatingMessage message with S1_SETUP_RESPONSE payload
                     * @param p_value           Expected protocol information elements. Default: ?
                     */
                    template (present) SuccessfulOutcome mw_s1_Setup_Response(
                                                                              template (present) RecordOf_ProtocolIE p_value := ?
                    ) := {
                        procedureCode := id_S1Setup,
                        criticality := reject,
                        value_ := {RecordOf_ProtocolIE := p_value}
                    } // End of template mw_s1_Setup_Response
                    
                    /**
                     * @desc Receive template for S1_SETUP_RESPONSE message
                     * @param p_global_ENB_ID   The expected Global eNB ID value. Default: ?
                     * @param p_supportedTAs    The expected list of SupportedTAs-Item protocol IE. Default: ?
                     * @param p_pagingDRXs      The expected Paging DRX as defined in TS 36.304. Default: ?
                     */
                    template (present) RecordOf_ProtocolIE mw_s1_Setup_ResponseIEs(
                                                                                   template (present) ServedGUMMEIs p_servedGUMMEIs := ?,
                                                                                   template (present) RelativeMMECapacity p_relativeMMECapacity := ?
                    ) := {
                        mw_servedGUMMEIs_IE(p_servedGUMMEIs),
                        mw_relativeMMECapacity_IE(p_relativeMMECapacity)
                    } // End of template mw_s1_Setup_ResponseIEs
                    
                    /**
                     * @desc Receive template for InitiatingMessage message with S1_SETUP_RESPONSE payload
                     * @param p_value           Expected protocol information elements. Default: ?
                     */
                    template (present) SuccessfulOutcome mw_s1_Setup_Failure(
                                                                             template (present) RecordOf_ProtocolIE p_value := ?
                    ) := {
                        procedureCode := id_S1Setup,
                        criticality := reject,
                        value_ := {RecordOf_ProtocolIE := p_value}
                    } // End of template mw_s1_Setup_Failure