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