Module Sarif.Run

module Run: sig .. end

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 : t -> Yojson.Safe.t
val of_yojson : Yojson.Safe.t -> t Ppx_deriving_yojson_runtime.error_or
val _ : Yojson.Safe.t -> t Ppx_deriving_yojson_runtime.error_or
val _ : Yojson.Safe.t -> 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 -> t