sig
type t = {
startLine : int;
startColumn : int;
endLine : int;
endColumn : int;
charOffset : int;
charLength : int;
byteOffset : int;
byteLength : int;
snippet : Sarif.ArtifactContent.t;
message : Sarif.Message.t;
}
val to_yojson : Sarif.Region.t -> Yojson.Safe.t
val of_yojson :
Yojson.Safe.t -> Sarif.Region.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:Sarif.ArtifactContent.t ->
?message:Sarif.Message.t -> unit -> Sarif.Region.t
val default : Sarif.Region.t
val of_loc : Cil_datatype.Location.t -> Sarif.Region.t
end