Commit cbea40b2 authored by juvancic's avatar juvancic
Browse files

modified tc function due to new available templates

parent befaf913
Loading
Loading
Loading
Loading
+80 −119
Original line number Original line Diff line number Diff line
@@ -125,14 +125,15 @@ module NGAP_TCFunctions {
                          {
                          {
                            (mw_pDUSessionResourceSetupItemSURes(
                            (mw_pDUSessionResourceSetupItemSURes(
                                ?,//template (present) PDUSessionID p_pDUSessionID,
                                ?,//template (present) PDUSessionID p_pDUSessionID,
                                //mw_pDUSessionResourceSetupResponseTransfer(
                                decmatch (
                                //            ?,//template (present) QosFlowPerTNLInformation p_dLQosFlowPerTNLInformation := ?,
                                  mw_pDUSessionResourceSetupResponseTransfer(
                                //            *,//template QosFlowPerTNLInformationList p_additionalDLQosFlowPerTNLInformation := *,
                                    ?,//template (present) QosFlowPerTNLInformation p_dLQosFlowPerTNLInformation := ?,
                                //            *,//template SecurityResult p_securityResult := *,
                                    *,//template QosFlowPerTNLInformationList p_additionalDLQosFlowPerTNLInformation := *,
                                //            *,//template QosFlowListWithCause p_qosFlowFailedToSetupList := *,
                                    *,//template SecurityResult p_securityResult := *,
                                //            *//template PDUSessionResourceSetupResponseTransfer.iE_Extensions p_iE_Extensions := *
                                    *,//template QosFlowListWithCause p_qosFlowFailedToSetupList := *,
                                //            ), FIXME: Decode&Match - In ASN1 it is OCTET STRING - PDUSessionResourceSetupResponseTransfer
                                    *//template PDUSessionResourceSetupResponseTransfer.iE_Extensions p_iE_Extensions := *
                                ?,//template (present) PDUSessionResourceSetupItemSURes.pDUSessionResourceSetupResponseTransfer p_pDUSessionResourceSetupResponseTransfer := ?,
                                  )
                                ),// Decode&Match - In ASN1 it is OCTET STRING - PDUSessionResourceSetupResponseTransfer
                                *//template PDUSessionResourceSetupItemSURes.iE_Extensions p_iE_Extensions := *
                                *//template PDUSessionResourceSetupItemSURes.iE_Extensions p_iE_Extensions := *
                              )
                              )
                            )
                            )
@@ -3712,7 +3713,7 @@ module NGAP_TCFunctions {
                                -,//in template (omit) SD p_sD := omit,
                                -,//in template (omit) SD p_sD := omit,
                                -//in template (omit) S_NSSAI.iE_Extensions p_iE_Extensions := omit
                                -//in template (omit) S_NSSAI.iE_Extensions p_iE_Extensions := omit
                              ),
                              ),
                              ?,//mw_pDUSessionResourceSetupRequestTransfer(?),OCTETSTRING
                              ?,//decmatch(mw_pDUSessionResourceSetupRequestTransfer(?)),//OCTETSTRING
                              -,//in template (omit) NAS_PDU p_pDUSessionNAS_PDU := omit,
                              -,//in template (omit) NAS_PDU p_pDUSessionNAS_PDU := omit,
                              -//in template (omit) PDUSessionResourceSetupItemSUReq.iE_Extensions p_iE_Extensions := omit
                              -//in template (omit) PDUSessionResourceSetupItemSUReq.iE_Extensions p_iE_Extensions := omit
                            )
                            )
@@ -3760,7 +3761,7 @@ module NGAP_TCFunctions {
                          {
                          {
                            mw_pDUSessionResourceToReleaseItemRelCmd(
                            mw_pDUSessionResourceToReleaseItemRelCmd(
                              PX_PDU_SESSION_ID,
                              PX_PDU_SESSION_ID,
                              ?,//mw_pDUSessionResourceReleaseCommandTransfer(?,-),OCTETSTRING
                              ?,//decmatch(mw_pDUSessionResourceReleaseCommandTransfer(?,-)),OCTETSTRING
                              -//in template (omit) PDUSessionResourceToReleaseItemRelCmd.iE_Extensions p_iE_Extensions := omit
                              -//in template (omit) PDUSessionResourceToReleaseItemRelCmd.iE_Extensions p_iE_Extensions := omit
                            )
                            )
                          }
                          }
@@ -3807,7 +3808,7 @@ module NGAP_TCFunctions {
                          {
                          {
                            mw_pDUSessionResourceModifyItemModReq(
                            mw_pDUSessionResourceModifyItemModReq(
                              PX_PDU_SESSION_ID,
                              PX_PDU_SESSION_ID,
                              ?,//mw_pDUSessionResourceModifyRequestTransfer(*),OCTETSTRING
                              ?,//decmatch(mw_pDUSessionResourceModifyRequestTransfer(*)),OCTETSTRING
                              -,//template NAS_PDU p_nAS_PDU := *,
                              -,//template NAS_PDU p_nAS_PDU := *,
                              -//template PDUSessionResourceModifyItemModReq.iE_Extensions p_iE_Extensions := *
                              -//template PDUSessionResourceModifyItemModReq.iE_Extensions p_iE_Extensions := *
                             )
                             )
@@ -3893,13 +3894,13 @@ module NGAP_TCFunctions {
                          {
                          {
                            mw_pDUSessionResourceModifyItemModCfm(
                            mw_pDUSessionResourceModifyItemModCfm(
                              PX_PDU_SESSION_ID,
                              PX_PDU_SESSION_ID,
                              ?,//mw_pDUSessionResourceModifyConfirmTransfer(
                              ?,//decmatch(mw_pDUSessionResourceModifyConfirmTransfer(
                                //    ?,//template (present) QosFlowModifyConfirmList p_qosFlowModifyConfirmList := ?,
                                //    ?,//template (present) QosFlowModifyConfirmList p_qosFlowModifyConfirmList := ?,
                                //    ?,//template (present) UPTransportLayerInformation p_uLNGU_UP_TNLInformation := ?,
                                //    ?,//template (present) UPTransportLayerInformation p_uLNGU_UP_TNLInformation := ?,
                                //    -,//template UPTransportLayerInformationPairList p_additionalNG_UUPTNLInformation := *,
                                //    -,//template UPTransportLayerInformationPairList p_additionalNG_UUPTNLInformation := *,
                                //    -,//template QosFlowListWithCause p_qosFlowFailedToModifyList := *,
                                //    -,//template QosFlowListWithCause p_qosFlowFailedToModifyList := *,
                                //    -//template PDUSessionResourceModifyConfirmTransfer.iE_Extensions p_iE_Extensions := *
                                //    -//template PDUSessionResourceModifyConfirmTransfer.iE_Extensions p_iE_Extensions := *
                                //  ), OCTETSTRING
                                //  )), OCTETSTRING
                              -//template PDUSessionResourceModifyItemModCfm.iE_Extensions p_iE_Extensions := *
                              -//template PDUSessionResourceModifyItemModCfm.iE_Extensions p_iE_Extensions := *
                            )
                            )
                          }
                          }
@@ -4505,44 +4506,6 @@ module NGAP_TCFunctions {
               function f_TC_NGAP_AMF_IMP_01() runs on gNBNGAPComponent {
               function f_TC_NGAP_AMF_IMP_01() runs on gNBNGAPComponent {
                   // Local variables
                   // Local variables


                        /*//  type    record  SupportedTAItem {
                        template (omit) SupportedTAItem m_ie_supportedTAItem(in template (value) TAC p_tAC,
                                                                            in template (value) BroadcastPLMNList p_broadcastPLMNList,
                                                                            in template (omit) SupportedTAItem.iE_Extensions p_iE_Extensions := omit
                                                                            ) := {
                                    tAC               := p_tAC,
                                    broadcastPLMNList := p_broadcastPLMNList,
                                    iE_Extensions     := p_iE_Extensions
                                } // End of template m_ie_supportedTAItem
                        //  type    octetstring TAC length  (3);
                        template (value) TAC m_ie_tAC(in template (value) TAC p_val) := p_val;
                        //  type    record  length  (1  ..  NGAP_Constants.maxnoofSliceItems)   of  SliceSupportItem    SliceSupportList;
                        template (value) SliceSupportList m_ie_sliceSupportList(in template (value) SliceSupportList p_list) := p_list;

                        //  type    record  SliceSupportItem    {
                        template (omit) SliceSupportItem m_ie_sliceSupportItem(
                                                                                      in template (value) S_NSSAI p_S_NSSAI,
                                                                                      in template (omit) SliceSupportItem.iE_Extensions p_iE_Extensions := omit
                                                                                      ) := {
                                    s_NSSAI        := p_S_NSSAI,
                                    iE_Extensions  :=p_iE_Extensions
                                } // End of template m_ie_sliceSupportItem
                        //  type    record  S_NSSAI {
                        template (omit) S_NSSAI m_ie_sNSSAI(
                                                                    in template (value) SST p_sST,
                                                                    in template (value) SD p_sD,
                                                                    in template (omit) S_NSSAI.iE_Extensions p_iE_Extensions := omit
                                                                    ) := {
                                    sST           := p_sST,//'00'O,
                                    sD            := p_sD,//'000000'O,
                                    iE_Extensions := p_iE_Extensions
                                } // End of template m_ie_sNSSAI
                        //  type    octetstring SST length  (1);
                        template (value) SST m_ie_sST(in SST p_val := '00'O) := p_val;
                        //  type    octetstring SD  length  (3);
                        template (value) SD m_ie_sD(in SD p_val := '000000'O) := p_val;
                        */

                   // Preamble
                   // Preamble
                   f_NGAP_gnb_init();
                   f_NGAP_gnb_init();
                   //f_NGAP_gnb_UE_Register();
                   //f_NGAP_gnb_UE_Register();
@@ -4552,43 +4515,41 @@ 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),
                              '000000'O,//PX_TAC,
                  //               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
                     )
                  //       )
                   );
                  //    )
                  //  );


                  f_recv_NGAP_PDU(
                  f_recv_NGAP_PDU(
                    mw_ngap_succMsg(
                    mw_ngap_succMsg(