Frama-C:
Plug-ins:
Libraries:

Frama-C API - Mopsa_database

type object_entry = {
  1. source : Filepath.t;
  2. lang : string;
  3. args : string list;
}
type target_entry = {
  1. contents : Filepath.t list;
}
val tables_from_json : Yojson__Basic.t -> (Filepath.t, object_entry) Stdlib.Hashtbl.t * (Filepath.t, target_entry) Stdlib.Hashtbl.t
val pp_tbl_paths : Stdlib.Format.formatter -> (Filepath.t, 'a) Stdlib.Hashtbl.t -> unit
val acc_deps : (Filepath.Set.elt, object_entry) Stdlib.Hashtbl.t -> (Filepath.Set.elt, target_entry) Stdlib.Hashtbl.t -> Filepath.Set.elt list -> (Filepath.t * string list) list
val calc_deps : Yojson__Basic.t -> (module Parameter_sig.String_list) -> (Filepath.t * string list) list
val join_filtered_args : string list -> string
val run : unit -> unit
val run_once : unit -> unit
val main : unit -> unit