Commit 0ec3af0a authored by juvancic's avatar juvancic
Browse files

added sent templates

parent d4408852
Loading
Loading
Loading
Loading
+28 −1
Original line number Diff line number Diff line
@@ -205,7 +205,7 @@ module Lib_NG_NAS_Templates {
      spareHalfOctet          := tsc_SpareHalfOctet,              /* cl. 9.3      M V 1/2 */
      securityHeaderType      := tsc_SHT_NoSecurityProtection,
      messageType             := tsc_MT_NG_RegistrationRequest,   /* cl. 9.7      M V 1   */
      ngNasKSI                := cr_NAS_KeySetIdentifier(p_KeySetId, p_Tsc), /* cl. 9.11.3.32 M V 1/2 */
      ngNasKSI                := m_NAS_KeySetIdentifier(p_KeySetId, p_Tsc), /* cl. 9.11.3.32 M V 1/2 */
      registrationType        := p_RegistrationType,              /* cl. 9.11.3.7 M LV 2  */
      ngMobileId              := p_MobileId,                      /* cl. 9.11.3.4 M LV 5-?  */
      nonCurrentNativeKSI     := p_NonCurrentKSI,                 /* cl. 9.11.3.32 O TV 1 IEI=C- */
@@ -2124,6 +2124,33 @@ module Lib_NG_NAS_Templates {
    typeOfId        := p_NAS_IdType
  } // End of template mw_IdentityType

  //from template (present) NG_MobileIdentity cr_NG_MobileIdentitySUCI - NG_NAS_Common
  template (value) NG_MobileIdentity m_NG_MobileIdentitySUCI(template (value) B4_Type p_SUPIFormat,
                                                  template (value) octetstring p_OtherDigits) :=
  { /* @status    APPROVED (NR5GC) */
      iei         := omit,
      iel         := int2oct(1+lengthof(p_OtherDigits), 2),              // @sic R5s190719 sic@
      idDigit1    := p_SUPIFormat,                      // 4 bits
      oddEvenInd  := '0'B,                              // 1 bit
      typeOfId    := tsc_IdType_NG_SUCI,                // 3 bits
      otherDigits := p_OtherDigits
  };
  
  //from template (present) NAS_KeySetIdentifier cr_NAS_KeySetIdentifier - NAS_CommonTemplates
  template (value) NAS_KeySetIdentifier m_NAS_KeySetIdentifier(template (value) NAS_KsiValue p_KsiValue,
                                                                  template (value) B1_Type p_Tsc) :=
  { /* @status    APPROVED (ENDC, IMS, IMS_IRAT, LTE, LTE_A_IRAT, LTE_A_PRO, LTE_A_R10_R11, LTE_A_R12, LTE_IRAT, NBIOT, NR5GC, NR5GC_IRAT, POS) */
    iei := omit,
    tsc := p_Tsc,
    nasKeySetId := p_KsiValue
  };

  template RegistrationType m_rt(B1_Type p_fOR, B3_Type p_registrationType):= {                                /* 24.501 cl. 9.11.3.7 */
    // IEI is always skipped
    fOR := p_fOR,
    registrationType := p_registrationType
  };

  template (omit) PayloadContainer m_PayloadContainer(
                                                      in template (omit) IEI8_Type p_IEI := omit,
                                                      in template (value) Type6Length_Type p_IEL,