Frama-C:
Plug-ins:
Libraries:

Frama-C API - ReportingDescriptor

type t = {
  1. id : string;
  2. deprecatedIds : string list;
  3. guid : string;
  4. deprecatedGuids : string list;
  5. name : string;
  6. deprecatedNames : string list;
  7. shortDescription : MultiformatMessageString.t;
  8. fullDescription : MultiformatMessageString.t;
  9. messageStrings : MultiformatMessageStringDictionary.t;
  10. defaultConfiguration : ReportingConfiguration.t;
  11. helpUri : string;
  12. help : MultiformatMessageString.t;
  13. relationships : ReportingDescriptorRelationship.t list;
  14. properties : Properties.t;
}
val to_yojson : t -> Yojson.Safe.t
val of_yojson : Yojson.Safe.t -> t Ppx_deriving_yojson_runtime.error_or
val create : id:string -> ?deprecatedIds:string list -> ?guid:string -> ?deprecatedGuids:string list -> ?name:string -> ?deprecatedNames:string list -> ?shortDescription:MultiformatMessageString.t -> ?fullDescription:MultiformatMessageString.t -> ?messageStrings:MultiformatMessageStringDictionary.t -> ?defaultConfiguration:ReportingConfiguration.t -> ?helpUri:string -> ?help:MultiformatMessageString.t -> ?relationships:ReportingDescriptorRelationship.t list -> ?properties:Properties.t -> unit -> t
val default : t