Module IECCheckerCore.Warn

type warn_ty =
  1. | Inspection
  2. | InternalError

Warning generated by static analazyer.

val warn_ty_to_yojson : warn_ty -> Yojson.Safe.t
val warn_ty_of_yojson : Yojson.Safe.t -> warn_ty Ppx_deriving_yojson_runtime.error_or
type t = {
  1. linenr : int;
  2. column : int;
  3. file : string;
  4. id : string;
  5. msg : string;
  6. ty : warn_ty;
}
val to_yojson : t -> Yojson.Safe.t
val of_yojson : Yojson.Safe.t -> t Ppx_deriving_yojson_runtime.error_or
val mk : ?ty:warn_ty -> ?file:string -> int -> int -> string -> string -> t
val mk_internal : ?id:string -> string -> t
val mk_from_lexbuf : Stdlib.Lexing.lexbuf -> string -> string -> t
val to_string : t -> string