sig
type t = {
ruleId : string;
kind : Sarif.Result_kind.t;
level : Sarif.Result_level.t;
message : Sarif.Message.t;
analysisTarget : Sarif.ArtifactLocation.t;
locations : Sarif.Location.t list;
instanceGuid : string;
correlationGuid : string;
occurrenceCount : int;
partialFingerprints : Sarif.Additional_properties.t;
fingerprints : Sarif.Additional_properties.t;
stacks : Sarif.Stack.t list;
codeFlows : Sarif.CodeFlow.t list;
graphs : Sarif.Graph_dictionary.t;
graphTraversals : Sarif.GraphTraversal.t list;
relatedLocations : Sarif.Location.t list;
suppressionStates : Sarif.Result_suppressionState.t list;
baselineState : Sarif.Result_baselineState.t;
attachments : Sarif.Attachment.t list;
workItemsUris : string list;
conversionProvenance : Sarif.PhysicalLocation.t list;
fixes : Sarif.Fix.t list;
properties : Sarif.Properties.t;
}
val to_yojson : Sarif.Sarif_result.t -> Yojson.Safe.t
val of_yojson :
Yojson.Safe.t ->
Sarif.Sarif_result.t Ppx_deriving_yojson_runtime.error_or
val create :
ruleId:string ->
?kind:Sarif.Result_kind.t ->
?level:Sarif.Result_level.t ->
?message:Sarif.Message.t ->
?analysisTarget:Sarif.ArtifactLocation.t ->
?locations:Sarif.Location.t list ->
?instanceGuid:string ->
?correlationGuid:string ->
?occurrenceCount:int ->
?partialFingerprints:Sarif.Additional_properties.t ->
?fingerprints:Sarif.Additional_properties.t ->
?stacks:Sarif.Stack.t list ->
?codeFlows:Sarif.CodeFlow.t list ->
?graphs:Sarif.Graph_dictionary.t ->
?graphTraversals:Sarif.GraphTraversal.t list ->
?relatedLocations:Sarif.Location.t list ->
?suppressionStates:Sarif.Result_suppressionState.t list ->
?baselineState:Sarif.Result_baselineState.t ->
?attachments:Sarif.Attachment.t list ->
?workItemsUris:string list ->
?conversionProvenance:Sarif.PhysicalLocation.t list ->
?fixes:Sarif.Fix.t list ->
?properties:Sarif.Properties.t -> unit -> Sarif.Sarif_result.t
end