module Run:sig
..end
type
t = {
|
tool : |
|
invocations : |
|
conversion : |
|
versionControlProvenance : |
|
originalUriBaseIds : |
|
files : |
|
logicalLocations : |
|
graphs : |
|
results : |
|
resources : |
|
instanceGuid : |
|
correlationGuid : |
|
logicalId : |
|
description : |
|
automationLogicalId : |
|
baselineInstanceGuid : |
|
architecture : |
|
richMessageMimeType : |
|
redactionToken : |
|
defaultFileEncoding : |
|
columnKind : |
|
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 ->
?versionControlProvenance:Sarif.VersionControlDetails.t list ->
?originalUriBaseIds:Sarif.Additional_properties.t ->
?files:Sarif.File_dictionary.t ->
?logicalLocations:Sarif.LogicalLocation_dictionary.t ->
?graphs:Sarif.Graph_dictionary.t ->
?results:Sarif.Sarif_result.t list ->
?resources:Sarif.Resources.t ->
?instanceGuid:string ->
?correlationGuid:string ->
?logicalId:string ->
?description:Sarif.Message.t ->
?automationLogicalId:string ->
?baselineInstanceGuid:string ->
?architecture:string ->
?richMessageMimeType:string ->
?redactionToken:string ->
?defaultFileEncoding:string ->
?columnKind:Sarif.ColumnKind.t ->
?properties:Sarif.Properties.t -> unit -> t