Commit | Line | Data |
---|---|---|
34e49164 C |
1 | open Common |
2 | ||
3 | (*****************************************************************************) | |
4 | (* work with tests/ *) | |
5 | (*****************************************************************************) | |
6 | val testone : string (*test*) -> bool (*compare_expected*) -> unit | |
7 | val testall : unit -> unit | |
8 | ||
9 | (*****************************************************************************) | |
10 | (* works with tests-big/. The .res, .ok, .spatch_ok, .failed, .var *) | |
11 | (*****************************************************************************) | |
12 | val test_okfailed : filename (*cocci*) -> filename (*c*) list -> unit | |
13 | val test_regression_okfailed : unit -> unit | |
14 | ||
15 | ||
16 | ||
17 | (*****************************************************************************) | |
18 | (* the parameter is the result of Cocci.full_engine *) | |
19 | (*****************************************************************************) | |
20 | val compare_with_expected : (filename * filename option) list -> unit | |
21 | ||
22 | ||
23 | (*****************************************************************************) | |
24 | (* to test/debug the coccinelle subsystems *) | |
25 | (*****************************************************************************) | |
26 | ||
27 | (* pad: | |
28 | * I moved the parsing_c/ subsystem testing in parsing_c/test_parsing_c.ml | |
29 | * as I need it for other projects too. | |
30 | *) | |
31 | ||
32 | val test_parse_cocci : filename -> unit | |
33 | ||
34 | (*****************************************************************************) | |
35 | (* to be called by ocaml toplevel, to test. *) | |
36 | (*****************************************************************************) | |
37 | ||
38 | val sp_of_file : | |
39 | filename (* coccifile *) -> filename option (* isofile *) -> | |
faf9a90c C |
40 | Ast_cocci.metavar list list * Ast_cocci.rule list * |
41 | Ast_cocci.meta_name list list list * | |
34e49164 C |
42 | Ast_cocci.meta_name list list list * |
43 | Ast_cocci.meta_name list list list * Ast_cocci.meta_name list list list * | |
44 | string list list * | |
45 | string option | |
46 | ||
47 | (* TODO: Remove | |
48 | val rule_elem_of_string : string -> filename option -> Ast_cocci.rule_elem | |
49 | *) | |
50 | ||
51 | (* | |
52 | val flows_of_ast : Ast_c.program -> Control_flow_c.cflow list | |
53 | val print_flow : Control_flow_c.cflow -> unit | |
54 | ||
55 | val ctls_of_ast : | |
56 | Ast_cocci.rule list -> | |
57 | Ast_cocci.meta_name list list list -> | |
58 | (Lib_engine.ctlcocci * | |
59 | ((Lib_engine.predicate * Ast_cocci.meta_name Ast_ctl.modif) | |
60 | list list)) | |
61 | list list | |
62 | ||
63 | ||
64 | val one_flow : Control_flow_c.cflow list -> Control_flow_c.cflow | |
65 | val one_ctl : Lib_engine.ctlcocci list list -> Lib_engine.ctlcocci | |
66 | *) |