Commit | Line | Data |
---|---|---|
34e49164 C |
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 |