module Run:sig
..end
type
t = {
|
tool : |
|
invocations : |
|
conversion : |
|
language : |
|
versionControlProvenance : |
|
originalUriBaseIds : |
|
artifacts : |
|
logicalLocations : |
|
graphs : |
|
results : |
|
automationDetails : |
|
runAggregates : |
|
baselineGuid : |
|
redactionToken : |
|
defaultEncoding : |
|
defaultSourceLanguage : |
|
newlineSequences : |
|
columnKind : |
|
externalPropertyFileReferences : |
|
threadFlowLocations : |
|
taxonomies : |
|
addresses : |
|
translations : |
|
policies : |
|
webRequests : |
|
webResponses : |
|
specialLocations : |
|
properties : |
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