Sarif.Location
type t = {
physicalLocation : PhysicalLocation.t;
fullyQualifiedLogicalName : string;
message : Message.t;
annotations : Region.t list;
properties : Properties.t;
}
val to_yojson : t -> Yojson.Safe.t
val of_yojson : Yojson.Safe.t -> t Ppx_deriving_yojson_runtime.error_or
val create :
physicalLocation:PhysicalLocation.t ->
?fullyQualifiedLogicalName:string ->
?message:Message.t ->
?annotations:Region.t list ->
?properties:Properties.t ->
unit ->
t
val default : t
val of_loc : Frama_c_kernel.Cil_datatype.Location.t -> t