cocci.mli

   1 open Common
   2
   3 (* full_engine takes (coccifile, isofile) and cfiles in parameters and
   4  * returns a list associating to the input cfiles, and maybe header
   5  * files that was also required to be modified, the files containing the
   6  * result (in general files in /tmp).
   7  *
   8  * This function use memoisation internally, which is useful when
   9  * use -dir to not redo twice the same work. So take care!
  10  *)
  11 val full_engine :
  12   (filename * filename) -> filename list ->
  13   (filename * filename option) list
  14
  15 (* because of the #include "toto.c" and also because we may associate the
  16  * same C file to multiple drivers because they share code, we can
  17  * modify multiple times the same file when use -dir. This check
  18  * remove duplicates and check that the modification are consistent
  19  * among the different drivers.
  20  *)
  21 val check_duplicate_modif :
  22  (filename * filename option) list -> (filename * filename option) list
  23
  24 (* provides memoization *)
  25 val sp_of_file :
  26   filename (* coccifile *)  -> filename option (* isofile *) ->
  27   Ast_cocci.rule list * Ast_cocci.meta_name list list list *
  28       Ast_cocci.meta_name list list list *
  29       Ast_cocci.meta_name list list list * Ast_cocci.meta_name list list list *
  30       string list list *
  31       string option
  32