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