Mopsa_database (frama-c.Frama_c_kernel_base.Mopsa

type object_entry = {

source : Fclib.Filepath.t;
lang : string;
args : string list;

}

type target_entry = {

contents : Fclib.Filepath.t list;

}

val tables_from_json : 
  Fclib.Filepath.t ->
  Yojson__Basic.t ->
  (Fclib.Filepath.t, object_entry) Fclib.Hashtbl.t
  * (Fclib.Filepath.t, target_entry) Fclib.Hashtbl.t

val pp_tbl_paths : 
  Stdlib.Format.formatter ->
  (Fclib.Filepath.t, 'a) Fclib.Hashtbl.t ->
  unit

val acc_deps : 
  (Fclib.Filepath.Set.elt, object_entry) Fclib.Hashtbl.t ->
  (Fclib.Filepath.Set.elt, target_entry) Fclib.Hashtbl.t ->
  Fclib.Filepath.Set.elt list ->
  (Fclib.Filepath.t * string list) list

val calc_deps : 
  Fclib.Filepath.t ->
  Yojson__Basic.t ->
  (module Parameter_sig.String_list) ->
  (Fclib.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