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