Commit 158037cd authored by Yann Garcia's avatar Yann Garcia
Browse files

Terminate group Paging

parent af0eebd5
Loading
Loading
Loading
Loading
Changes for titan-test-system-framework: 1 added line, 1 removed line.
Original line number Diff line number Diff line
Subproject commit 7d4fc3323e831d6d07fcf8cd2cf2c5303384a6c6
Subproject commit 6959b8be419f3755de6f888e24bfdc8de07383a7
+64 −1
Changes for ttcn/LibNGAP/lib/LibNGAP_Templates.ttcn: 64 added lines, 1 removed line.
Original line number Diff line number Diff line
@@ -3792,15 +3792,78 @@ module LibNGAP_Templates {
            } // End of group UE_Mobility_Management_Messages
            //9.2.4
            /**
             * @see ETSI TS 138 413 V16.12.0 (2023-05) Clause 9.2.4 Paging Messages
             */
            group Paging_Messages{
                //9.2.4.1
                group PAGING {
                    group Send {
                        /**
                         * @see ETSI TS 138 413 V16.12.0 (2023-05) Clause 9.2.4.1 PAGING
                         */
                        template (value) InitiatingMessage m_n2_Paging(
                                                                       in template (value) UEPagingIdentity p_uEPagingIdentity,
                                                                       in template (value) TAIListForPaging p_tAIListForPaging
                                                                       ) := {
                            procedureCode := id_Paging,
                            criticality   := reject,
                            value_        := {
                                              Paging := {
                                                         protocolIEs := {
                                                                         {
                                                                             id := id_UEPagingIdentity,
                                                                             criticality := ignore,
                                                                             value_ := { UEPagingIdentity := p_uEPagingIdentity }
                                                                         },
                                                                         {
                                                                             id := id_TAIListForPaging,
                                                                             criticality := ignore,
                                                                             value_ := { TAIListForPaging := p_tAIListForPaging }
                                                                         }
                                                                        }
                                                        }
                                            }
                        } // End of template m_n2_Paging
                    } // End of group Send
                    group Receive {
                        /**
                         * @see ETSI TS 138 413 V16.12.0 (2023-05) Clause 9.2.4.1 PAGING
                         */
                        template (present) InitiatingMessage mw_n2_Paging(
                                                                          template (present) UEPagingIdentity p_uEPagingIdentity := ?,
                                                                          template (present) TAIListForPaging p_tAIListForPaging := ?
                                                                          ) := {
                            procedureCode := id_Paging,
                            criticality   := reject,
                            value_        := {
                                              Paging := {
                                                         protocolIEs := {
                                                                         {
                                                                             id := id_UEPagingIdentity,
                                                                             criticality := ignore,
                                                                             value_ := { UEPagingIdentity := p_uEPagingIdentity }
                                                                         },
                                                                         {
                                                                             id := id_TAIListForPaging,
                                                                             criticality := ignore,
                                                                             value_ := { TAIListForPaging := p_tAIListForPaging }
                                                                         }
                                                                        }
                                                        }
                                            }
                        } // End of template mw_n2_Paging
                    } // End of group Receive
                } // End of group PAGING
            } // End of group Paging_Messages
            group NAS_Transport_Messages{