sig
type t = {
id : string;
artifactLocation : Sarif.ArtifactLocation.t;
region : Sarif.Region.t;
contextRegion : Sarif.Region.t;
}
val to_yojson : Sarif.PhysicalLocation.t -> Yojson.Safe.t
val of_yojson :
Yojson.Safe.t ->
Sarif.PhysicalLocation.t Ppx_deriving_yojson_runtime.error_or
val create :
?id:string ->
artifactLocation:Sarif.ArtifactLocation.t ->
?region:Sarif.Region.t ->
?contextRegion:Sarif.Region.t -> unit -> Sarif.PhysicalLocation.t
val default : Sarif.PhysicalLocation.t
val of_loc : Cil_datatype.Location.t -> Sarif.PhysicalLocation.t
end