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