UEidentityAPI_Templates.ttcn 3.2 KB
Newer Older
Yann Garcia's avatar
Yann Garcia committed
module UEidentityAPI_Templates {
  
YannGarcia's avatar
YannGarcia committed
  // JSON
  import from JSON all;
  
Yann Garcia's avatar
Yann Garcia committed
  // LibCommon
  import from LibCommon_BasicTypesAndValues all;

  // LibMec/UEidentityAPI
  import from UEidentityAPI_TypesAndValues all;
  
  template (value) ProblemDetails m_problem_details(
YannGarcia's avatar
YannGarcia committed
                                                    in JSON.String p_type,
                                                    in JSON.String p_title,
Yann Garcia's avatar
Yann Garcia committed
                                                    in UInt32 p_status,
YannGarcia's avatar
YannGarcia committed
                                                    in JSON.String p_detail,
                                                    in JSON.String p_instance
Yann Garcia's avatar
Yann Garcia committed
                                                    ) := {
    type_    := p_type,
    title    := p_title,
    status   := p_status,
    detail   := p_detail,
    instance := p_instance
  } // End of template m_problem_details

  template (present) ProblemDetails mw_problem_details(
YannGarcia's avatar
YannGarcia committed
                                                       template (present) JSON.String p_type := ?,
                                                       template (present) JSON.String p_title := ?,
Yann Garcia's avatar
Yann Garcia committed
                                                       template (present) UInt32 p_status := ?,
YannGarcia's avatar
YannGarcia committed
                                                       template (present) JSON.String p_detail := ?,
                                                       template (present) JSON.String p_instance := ?
Yann Garcia's avatar
Yann Garcia committed
                                                       ) := {
    type_    := p_type,
    title    := p_title,
    status   := p_status,
    detail   := p_detail,
    instance := p_instance
  } // End of template mw_problem_details

  template (value) UeIdentityTagInfo m_ue_identity_tag_info(
                                                            in template (value) UeIdentityTags p_ueIdentityTags
                                                            ) := {
    ueIdentityTags := p_ueIdentityTags
  } // End of template m_ue_identity_tag_info

  template (present) UeIdentityTagInfo mw_ue_identity_tag_info(
                                                               template (present) UeIdentityTags p_ueIdentityTags := ?
                                                               ) := {
    ueIdentityTags := p_ueIdentityTags
  } // End of template mw_ue_identity_tag_info

  template (value) UeIdentityTagItem m_ue_identity_tag_item(
                                                            in template (value) UeIdentityTag p_ueIdentityTag,
                                                            in State p_state
                                                            ) := {
    ueIdentityTag := p_ueIdentityTag,
    state         := p_state
  } // End of template m_ue_identity_tag_item
  
  template (present) UeIdentityTagItem mw_ue_identity_tag_item(
                                                               template (present) UeIdentityTag p_ueIdentityTag := ?,
                                                               template (present) State p_state := ?
                                                               ) := {
    ueIdentityTag := p_ueIdentityTag,
    state         := p_state
  } // End of template mw_ue_identity_tag_item
  
} // End of module UEidentityAPI_Templates