Sarif.Region
type t = {
startLine : int; |
startColumn : int; |
endLine : int; |
endColumn : int; |
charOffset : int; |
charLength : int; |
byteOffset : int; |
byteLength : int; |
snippet : ArtifactContent.t; |
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
val of_loc : Frama_c_kernel.Cil_datatype.Location.t -> t