Sarif.Invocation
type t = {
commandLine : string; |
arguments : string list; |
responseFiles : ArtifactLocation.t list; |
attachments : Attachment.t list; |
startTime : string; |
endTime : string; |
exitCode : int; |
toolNotifications : Notification.t list; |
configurationNotifications : Notification.t list; |
exitCodeDescription : string; |
exitSignalName : string; |
exitSignalNumber : int; |
processStartFailureMessage : string; |
executionSuccessful : bool; |
machine : string; |
account : string; |
processId : int; |
executableLocation : ArtifactLocation.t; |
workingDirectory : ArtifactLocation.t; |
environmentVariables : Additional_properties.t; |
stdin : ArtifactLocation.t; |
stdout : ArtifactLocation.t; |
stderr : ArtifactLocation.t; |
stdoutStderr : ArtifactLocation.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 :
commandLine:string ->
?arguments:string list ->
?responseFiles:ArtifactLocation.t list ->
?attachments:Attachment.t list ->
?startTime:string ->
?endTime:string ->
?exitCode:int ->
?toolNotifications:Notification.t list ->
?configurationNotifications:Notification.t list ->
?exitCodeDescription:string ->
?exitSignalName:string ->
?exitSignalNumber:int ->
?processStartFailureMessage:string ->
?executionSuccessful:bool ->
?machine:string ->
?account:string ->
?processId:int ->
?executableLocation:ArtifactLocation.t ->
?workingDirectory:ArtifactLocation.t ->
?environmentVariables:Additional_properties.t ->
?stdin:ArtifactLocation.t ->
?stdout:ArtifactLocation.t ->
?stderr:ArtifactLocation.t ->
?stdoutStderr:ArtifactLocation.t ->
?properties:Properties.t ->
unit ->
t
val default : t