Frama-C:
Plug-ins:
Libraries:

Frama-C API - Region

type t = {
  1. startLine : int;
  2. startColumn : int;
  3. endLine : int;
  4. endColumn : int;
  5. charOffset : int;
  6. charLength : int;
  7. byteOffset : int;
  8. byteLength : int;
  9. snippet : ArtifactContent.t;
  10. message : Message.t;
}
val to_yojson : t -> Yojson.Safe.t
val of_yojson : Yojson.Safe.t -> t Ppx_deriving_yojson_runtime.error_or
val create : ?startLine:int -> ?startColumn:int -> ?endLine:int -> ?endColumn:int -> ?charOffset:int -> ?charLength:int -> ?byteOffset:int -> ?byteLength:int -> ?snippet:ArtifactContent.t -> ?message:Message.t -> unit -> t
val default : t