Frama-C:
Plug-ins:
Libraries:

Frama-C API - Invocation

type t = {
  1. commandLine : string;
  2. arguments : string list;
  3. responseFiles : ArtifactLocation.t list;
  4. attachments : Attachment.t list;
  5. startTime : string;
  6. endTime : string;
  7. exitCode : int;
  8. toolNotifications : Notification.t list;
  9. configurationNotifications : Notification.t list;
  10. exitCodeDescription : string;
  11. exitSignalName : string;
  12. exitSignalNumber : int;
  13. processStartFailureMessage : string;
  14. executionSuccessful : bool;
  15. machine : string;
  16. account : string;
  17. processId : int;
  18. executableLocation : ArtifactLocation.t;
  19. workingDirectory : ArtifactLocation.t;
  20. environmentVariables : Additional_properties.t;
  21. stdin : ArtifactLocation.t;
  22. stdout : ArtifactLocation.t;
  23. stderr : ArtifactLocation.t;
  24. stdoutStderr : ArtifactLocation.t;
  25. 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