module LibItsHttp_JsonMessageBodyTypes { // LibMec/LocationAPI import from LocationAPI_TypesAndValues all; // LibMec/UEidentityAPI import from UEidentityAPI_TypesAndValues all; // LibMec/RnisAPI import from RnisAPI_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, UEidentityAPI_TypesAndValues.ProblemDetails problemDetails_ue_identity, UeIdentityTagInfo ueIdentityTagInfo, CellChangeSubscription cellChangeSubscription, RnisAPI_TypesAndValues.ProblemDetails problemDetails_rnis, universal charstring raw } with { variant "" } } with { variant "" } // End of module LibItsHttp_JsonMessageBodyTypes