Newer
Older
module LibItsHttp_JsonMessageBodyTypes {
// LibMec/LocationAPI
import from LocationAPI_TypesAndValues all;
// LibMec/UEidentityAPI
import from UEidentityAPI_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,
ZoneInfo zoneInfo,
ProblemDetails problemDetails,
UeIdentityTagInfo ueIdentityTagInfo,
universal charstring raw
} with {
variant ""
}
} with {
variant ""
} // End of module LibItsHttp_JsonMessageBodyTypes