HCoop / bpt / coccinelle.git / blame
| Commit | Line | Data |
|---|---|---|
| 34e49164 C |
1 | open Common |
| 2 | ||
| 3 | (*****************************************************************************) | |
| 4 | (* work with tests/ *) | |
| 5 | (*****************************************************************************) | |
| 6 | val testone : string (*test*) -> bool (*compare_expected*) -> unit | |
| 708f4980 | 7 | val testall : ?expected_score_file:string -> unit -> unit |
| 34e49164 C |
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 | *) |