LibMec_TypesAndValues.ttcn

module LibMec_TypesAndValues {

  // JSON
  import from JSON all;

  // LibCommon
  import from LibCommon_BasicTypesAndValues all;
  
  /**
   * @desc Problem Details for HTTP APIs
   * @member type_ A URI reference according to IETF RFC 3986 that identifies the problem type
   * @member title A short, human-readable summary of the problem type
   * @member status The HTTP status code for this occurrence of the problem
   * @member detail A human-readable explanation specific to this occurrence of the problem
   * @member instance A URI reference that identifies the specific occurrence of the problem
   * @see IETF RFC 7807 Clause 3.  The Problem Details JSON Object
   */
  type record ProblemDetails {
    JSON.String type_ optional,
    JSON.String title optional,
    UInt32 status optional,
    JSON.String detail,
    JSON.String instance optional
    } with {
    variant (type_) "name as 'type'";
  }

} with {
  encode "JSON"
} // End of module LibMec_TypesAndValues