Frama-C:
Plug-ins:
Libraries:

Frama-C API - Dot

Specialized command for the Graphviz's dot program to process dot files.

  • since 32.0-Germanium
type format =
  1. | Jpeg
  2. | Pdf
  3. | Png
  4. | Svg
val format_to_string : format -> string

format_to_string format convert format to a string corresponding to the variant name in lowercase. It can be used to derive a file extension.

val spawn : ?timeout:int -> ?layout:string -> format:format -> output:Filepath.t -> Filepath.t -> Unix.process_status

Dot.spawn ~format ~output input create a process to run dot on input dot file to generate output file with output format format.

  • raises Sys_error

    when a system error occurs

  • raises Async.Cancel

    when the computation is interrupted or on timeout