sig
type t = {
tool : Sarif.Tool.t;
invocations : Sarif.Invocation.t list;
conversion : Sarif.Conversion.t;
language : string;
versionControlProvenance : Sarif.VersionControlDetails.t list;
originalUriBaseIds : Sarif.ArtifactLocationDictionary.t;
artifacts : Sarif.Artifact.t list;
logicalLocations : Sarif.LogicalLocation.t list;
graphs : Sarif.Graph.t list;
results : Sarif.Sarif_result.t list;
automationDetails : Sarif.RunAutomationDetails.t;
runAggregates : Sarif.RunAutomationDetails.t list;
baselineGuid : string;
redactionToken : string list;
defaultEncoding : string;
defaultSourceLanguage : string;
newlineSequences : string list;
columnKind : Sarif.ColumnKind.t;
externalPropertyFileReferences : Sarif.ExternalPropertyFileReferences.t;
threadFlowLocations : Sarif.ThreadFlowLocation.t list;
taxonomies : Sarif.ToolComponent.t list;
addresses : Sarif.Address.t list;
translations : Sarif.ToolComponent.t list;
policies : Sarif.ToolComponent.t list;
webRequests : Sarif.WebRequest.t list;
webResponses : Sarif.WebResponse.t list;
specialLocations : Sarif.SpecialLocations.t;
properties : Sarif.Properties.t;
}
val to_yojson : Sarif.Run.t -> Yojson.Safe.t
val of_yojson :
Yojson.Safe.t -> Sarif.Run.t Ppx_deriving_yojson_runtime.error_or
val _ : Yojson.Safe.t -> Sarif.Run.t Ppx_deriving_yojson_runtime.error_or
val create :
tool:Sarif.Tool.t ->
?invocations:Sarif.Invocation.t list ->
?conversion:Sarif.Conversion.t ->
?language:string ->
?versionControlProvenance:Sarif.VersionControlDetails.t list ->
?originalUriBaseIds:Sarif.ArtifactLocationDictionary.t ->
?artifacts:Sarif.Artifact.t list ->
?logicalLocations:Sarif.LogicalLocation.t list ->
?graphs:Sarif.Graph.t list ->
?results:Sarif.Sarif_result.t list ->
?automationDetails:Sarif.RunAutomationDetails.t ->
?runAggregates:Sarif.RunAutomationDetails.t list ->
?baselineGuid:string ->
?redactionToken:string list ->
?defaultEncoding:string ->
?defaultSourceLanguage:string ->
?newlineSequences:string list ->
?columnKind:Sarif.ColumnKind.t ->
?externalPropertyFileReferences:Sarif.ExternalPropertyFileReferences.t ->
?threadFlowLocations:Sarif.ThreadFlowLocation.t list ->
?taxonomies:Sarif.ToolComponent.t list ->
?addresses:Sarif.Address.t list ->
?translations:Sarif.ToolComponent.t list ->
?policies:Sarif.ToolComponent.t list ->
?webRequests:Sarif.WebRequest.t list ->
?webResponses:Sarif.WebResponse.t list ->
?specialLocations:Sarif.SpecialLocations.t ->
?properties:Sarif.Properties.t -> unit -> Sarif.Run.t
end