Sarif.PhysicalLocation
type t = {
id : string; |
artifactLocation : ArtifactLocation.t; |
region : Region.t; |
contextRegion : Region.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 ->
artifactLocation:ArtifactLocation.t ->
?region:Region.t ->
?contextRegion:Region.t ->
unit ->
t
val default : t
val of_loc : Frama_c_kernel.Cil_datatype.Location.t -> t