Frama_c_kernel.Command
Useful high-level system operations.
val pp_to_file : Filepath.t -> (Stdlib.Format.formatter -> unit) -> unit
val copy : Filepath.t -> Filepath.t -> unit
val read_file : Filepath.t -> (Stdlib.in_channel -> 'a) -> 'a
val read_lines : Filepath.t -> (string -> unit) -> unit
val write_file : Filepath.t -> (Stdlib.out_channel -> 'a) -> 'a
val print_file : Filepath.t -> (Stdlib.Format.formatter -> 'a) -> 'a
val pp_from_file : Stdlib.Format.formatter -> Filepath.t -> unit
pp_from_file fmt file
dumps the content of file
into the fmt
. Exceptions in pp
are re-raised after closing.
Compute the elapsed time with Sys.time
. The rmax
timer is maximized and the radd
timer is cumulated. Computed result is returned, or exception is re-raised.
val full_command :
string ->
string array ->
stdin:Unix.file_descr ->
stdout:Unix.file_descr ->
stderr:Unix.file_descr ->
Unix.process_status
val full_command_async :
string ->
string array ->
stdin:Unix.file_descr ->
stdout:Unix.file_descr ->
stderr:Unix.file_descr ->
unit ->
process_result
val async :
?stdout:Stdlib.Buffer.t ->
?stderr:Stdlib.Buffer.t ->
string ->
string list ->
unit ->
process_result
Same arguments as Unix.create_process
.
val command_async :
?stdout:Stdlib.Buffer.t ->
?stderr:Stdlib.Buffer.t ->
string ->
string list ->
unit ->
process_result