LibItsHttp_JsonMessageBodyTypes.ttcn

module LibItsHttp_JsonMessageBodyTypes {
  
  // LibMec/LocationAPI
  import from LocationAPI_TypesAndValues all;
  // LibMec/UEidentityAPI
  import from UEidentityAPI_TypesAndValues all;
  // LibMec/RnisAPI
  import from RnisAPI_TypesAndValues all;
  // LibMec/BwManagementApi
  import from BwManagementAPI_TypesAndValues all;
  // LibMec/AppEnablementAPI
  import from AppEnablementAPI_TypesAndValues all;
  
  /**
   * This file volontary contains a trivial declaration of the type JsonBody. 
   * In accordance with your TTCN-3 module LibItsHttp_JSONTypes, you have to change the JsonBody typing.
   */
  // TODO Add here your custom RFCs import
  
  type union JsonBody {
    // TODO Add here your custom variants
    UserInfo                                        userInfo,
    UserList                                        userList,
    ZoneInfo                                        zoneInfo,
    AccessPointList                                 accessPointList,
    UserTrackingSubscription                        userTrackingSubscription,
    ZonalTrafficSubscription                        zonalTrafficSubscription,
    UEidentityAPI_TypesAndValues.ProblemDetails     problemDetails_ue_identity,
    UeIdentityTagInfo                               ueIdentityTagInfo,
    SubscriptionLinkList                            subscriptionLinkList,
    CellChangeSubscription                          cellChangeSubscription,
    RnisAPI_TypesAndValues.ProblemDetails           problemDetails_rnis,
    BwInfo                                          bwInfo,
    BwManagementAPI_TypesAndValues.ProblemDetails   problemDetails_bw_management,
    TransportInfoList                               transportInfoList,
    AppEnablementAPI_TypesAndValues.ProblemDetails  problemDetails_svc_mgmt,
    universal charstring                           raw
  } with {
    variant ""
  }
  
} with {
  variant ""
} // End of module LibItsHttp_JsonMessageBodyTypes