Commit b13cce64 authored by juvancic's avatar juvancic
Browse files

updated TPs amf_imp_03-04

parent 94daec90
Loading
Loading
Loading
Loading
+55 −59
Original line number Original line Diff line number Diff line
@@ -5656,29 +5656,27 @@ module NGAP_TCFunctions {
                            )
                            )
                          ),
                          ),
                          {
                          {
                            m_ie_supportedTAItem(
                            m_supportedTAItem(
                                m_ie_tAC('000000'O),
                              PX_TACode,
                                m_ie_broadcastPLMNList(
                              {
                              {
                                m_ie_broadcastPLMNItem(
                                m_ie_broadcastPLMNItem(
                                            m_ie_pLMNIdentity('00f110'O),
                                  PX_PLMN_IDENTITY,//m_ie_pLMNIdentity('00f110'O),
                                            m_ie_sliceSupportList(
                                  {
                                  {
                                                    m_ie_sliceSupportItem(
                                    m_sliceSupportItem(
                                                        m_ie_sNSSAI(
                                      m_s_NSSAI(
                                                            m_ie_sST('00'O),
                                        PX_SST,
                                                            m_ie_sD('000000'O)
                                        -,//      in template (omit) SD p_sD := omit,
                                                        )
                                        -//      in template (omit) S_NSSAI.iE_Extensions p_iE_Extensions := omit
                                                    )
                                      ),
                                                }
                                      -//in template (omit) SliceSupportItem.iE_Extensions p_iE_Extensions := omit
                                            )

                                      )
                                      )
                                  }
                                  }
                                )
                                )
                              },//in template (value) BroadcastPLMNList p_broadcastPLMNList,
                              -//in template (omit) SupportedTAItem.iE_Extensions p_iE_Extensions := omit
                            )
                            )
                          },
                          },
                          PX_PAGING_DRX,
                          PX_PAGING_DRX
                          //FIXME:UERetention_Information template  m_uERetentionInformation(in UERetentionInformation p_value := ues_retained)
                          //FIXME:UERetention_Information template  m_uERetentionInformation(in UERetentionInformation p_value := ues_retained)
                        )
                        )
                     )
                     )
@@ -5748,45 +5746,43 @@ module NGAP_TCFunctions {
                   log("*** " & __SCOPE__ & ": INFO: Preamble done. ***");
                   log("*** " & __SCOPE__ & ": INFO: Preamble done. ***");


                   // Body
                   // Body
                  //  f_send_NGAP_PDU(
                   f_send_NGAP_PDU(
                  //    m_ngap_initMsg(
                     m_ngap_initMsg(
                  //       m_n2_NGSetupRequest(
                        m_n2_NGSetupRequest(
                  //         m_globalRANNodeID_globalGNB_ID(
                          m_globalRANNodeID_globalGNB_ID(
                  //           m_ie_globalGnbId(
                            m_ie_globalGnbId(
                  //           PX_PLMN_IDENTITY,
                            PX_PLMN_IDENTITY,
                  //           '0000000000000000000000'B,//in template (value) bitstring p_gnbId,
                            '0000000000000000000000'B,//in template (value) bitstring p_gnbId,
                  //           -//in template (omit) GlobalGNB_ID.iE_Extensions p_iE_Extensions := omit
                            -//in template (omit) GlobalGNB_ID.iE_Extensions p_iE_Extensions := omit
                  //           )
                            )
                  //         ),
                          ),
                  //         {
                          {
                  //           m_ie_supportedTAItem(
                            m_supportedTAItem(
                  //               m_ie_tAC('000000'O),
                              PX_TACode,
                  //               m_ie_broadcastPLMNList(
                              {
                  //                   {
                                m_ie_broadcastPLMNItem(
                  //                       m_ie_broadcastPLMNItem(
                                  PX_PLMN_IDENTITY,//m_ie_pLMNIdentity('00f110'O),
                  //                           m_ie_pLMNIdentity('00f110'O),
                                  {
                  //                           m_ie_sliceSupportList(
                                    m_sliceSupportItem(
                  //                               {
                                      m_s_NSSAI(
                  //                                   m_ie_sliceSupportItem(
                                        PX_SST,
                  //                                       m_ie_sNSSAI(
                                        -,//      in template (omit) SD p_sD := omit,
                  //                                           m_ie_sST('00'O),
                                        -//      in template (omit) S_NSSAI.iE_Extensions p_iE_Extensions := omit
                  //                                           m_ie_sD('000000'O)
                                      ),
                  //                                       )
                                      -//in template (omit) SliceSupportItem.iE_Extensions p_iE_Extensions := omit
                  //                                   )
                                      )
                  //                               }
                                  }
                  //                           )
                                )

                              },//in template (value) BroadcastPLMNList p_broadcastPLMNList,
                  //                       )
                              -//in template (omit) SupportedTAItem.iE_Extensions p_iE_Extensions := omit
                  //                   }
                            )
                  //               )
                          },
                  //           )
                          PX_PAGING_DRX
                  //         },
                  //         PX_PAGING_DRX,
                          //FIXME:NB_IoT_Default_Paging_DRX,
                          //FIXME:NB_IoT_Default_Paging_DRX,
	                      	//FIXME:Extended_RAN_Node_Name containing  RAN_Node_Name_Visible;;; m_extended_RANNodeName...
	                      	//FIXME:Extended_RAN_Node_Name containing  RAN_Node_Name_Visible;;; m_extended_RANNodeName...
                  //       )
                        )
                  //    )
                     )
                  //  );
                   );


                    f_recv_NGAP_PDU(
                    f_recv_NGAP_PDU(
                      mw_ngap_succMsg(
                      mw_ngap_succMsg(