Commit | Line | Data |
---|---|---|
9f8e26f4 C |
1 | (* |
2 | * Copyright 2005-2009, Ecole des Mines de Nantes, University of Copenhagen | |
3 | * Yoann Padioleau, Julia Lawall, Rene Rydhof Hansen, Henrik Stuart, Gilles Muller, Nicolas Palix | |
4 | * This file is part of Coccinelle. | |
5 | * | |
6 | * Coccinelle is free software: you can redistribute it and/or modify | |
7 | * it under the terms of the GNU General Public License as published by | |
8 | * the Free Software Foundation, according to version 2 of the License. | |
9 | * | |
10 | * Coccinelle is distributed in the hope that it will be useful, | |
11 | * but WITHOUT ANY WARRANTY; without even the implied warranty of | |
12 | * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the | |
13 | * GNU General Public License for more details. | |
14 | * | |
15 | * You should have received a copy of the GNU General Public License | |
16 | * along with Coccinelle. If not, see <http://www.gnu.org/licenses/>. | |
17 | * | |
18 | * The authors reserve the right to distribute this or future versions of | |
19 | * Coccinelle under other licenses. | |
20 | *) | |
21 | ||
22 | ||
b1b2de81 | 23 | val combiner_functions : 'a Visitor_ast0_types.combiner_functions |
34e49164 | 24 | val combiner : |
b1b2de81 C |
25 | ('a -> 'a -> 'a) -> |
26 | 'a -> 'a Visitor_ast0_types.combiner_functions -> | |
27 | 'a Visitor_ast0_types.combiner_rec_functions | |
34e49164 | 28 | |
b1b2de81 C |
29 | val flat_combiner : |
30 | ('a -> 'a -> 'a) -> 'a -> | |
31 | ((string*string,'a) Visitor_ast0_types.flat_cmcode) -> | |
32 | ((string,'a) Visitor_ast0_types.flat_cmcode) -> | |
33 | ((Ast_cocci.constant,'a) Visitor_ast0_types.flat_cmcode) -> | |
34 | ((Ast_cocci.assignOp,'a) Visitor_ast0_types.flat_cmcode) -> | |
35 | ((Ast_cocci.fixOp,'a) Visitor_ast0_types.flat_cmcode) -> | |
36 | ((Ast_cocci.unaryOp,'a) Visitor_ast0_types.flat_cmcode) -> | |
37 | ((Ast_cocci.binaryOp,'a) Visitor_ast0_types.flat_cmcode) -> | |
38 | ((Ast_cocci.const_vol,'a) Visitor_ast0_types.flat_cmcode) -> | |
39 | ((Ast_cocci.sign,'a) Visitor_ast0_types.flat_cmcode) -> | |
40 | ((Ast_cocci.structUnion,'a) Visitor_ast0_types.flat_cmcode) -> | |
41 | ((Ast_cocci.storage,'a) Visitor_ast0_types.flat_cmcode) -> | |
42 | ((Ast_cocci.inc_file,'a) Visitor_ast0_types.flat_cmcode) -> | |
43 | ((Ast0_cocci.expression Ast0_cocci.dots,'a) Visitor_ast0_types.ccode) -> | |
44 | ((Ast0_cocci.initialiser Ast0_cocci.dots,'a) Visitor_ast0_types.ccode) -> | |
45 | ((Ast0_cocci.parameterTypeDef Ast0_cocci.dots,'a) | |
46 | Visitor_ast0_types.ccode) -> | |
47 | ((Ast0_cocci.statement Ast0_cocci.dots,'a) Visitor_ast0_types.ccode) -> | |
48 | ((Ast0_cocci.declaration Ast0_cocci.dots,'a) Visitor_ast0_types.ccode) -> | |
49 | ((Ast0_cocci.case_line Ast0_cocci.dots,'a) Visitor_ast0_types.ccode) -> | |
50 | ((Ast0_cocci.ident,'a) Visitor_ast0_types.ccode) -> | |
51 | ((Ast0_cocci.expression,'a) Visitor_ast0_types.ccode) -> | |
52 | ((Ast0_cocci.typeC,'a) Visitor_ast0_types.ccode) -> | |
53 | ((Ast0_cocci.initialiser,'a) Visitor_ast0_types.ccode) -> | |
54 | ((Ast0_cocci.parameterTypeDef,'a) Visitor_ast0_types.ccode) -> | |
55 | ((Ast0_cocci.declaration,'a) Visitor_ast0_types.ccode) -> | |
56 | ((Ast0_cocci.statement,'a) Visitor_ast0_types.ccode) -> | |
57 | ((Ast0_cocci.case_line,'a) Visitor_ast0_types.ccode) -> | |
58 | ((Ast0_cocci.top_level,'a) Visitor_ast0_types.ccode) -> | |
59 | 'a Visitor_ast0_types.combiner_rec_functions | |
34e49164 | 60 | |
b1b2de81 C |
61 | val rebuilder_functions : Visitor_ast0_types.rebuilder_functions |
62 | val rebuilder : Visitor_ast0_types.rebuilder_functions -> | |
63 | Visitor_ast0_types.rebuilder_rec_functions | |
34e49164 | 64 | |
b1b2de81 C |
65 | val flat_rebuilder : |
66 | ((string*string) Visitor_ast0_types.rmcode) -> | |
67 | (string Visitor_ast0_types.rmcode) -> | |
68 | (Ast_cocci.constant Visitor_ast0_types.rmcode) -> | |
69 | (Ast_cocci.assignOp Visitor_ast0_types.rmcode) -> | |
70 | (Ast_cocci.fixOp Visitor_ast0_types.rmcode) -> | |
71 | (Ast_cocci.unaryOp Visitor_ast0_types.rmcode) -> | |
72 | (Ast_cocci.binaryOp Visitor_ast0_types.rmcode) -> | |
73 | (Ast_cocci.const_vol Visitor_ast0_types.rmcode) -> | |
74 | (Ast_cocci.sign Visitor_ast0_types.rmcode) -> | |
75 | (Ast_cocci.structUnion Visitor_ast0_types.rmcode) -> | |
76 | (Ast_cocci.storage Visitor_ast0_types.rmcode) -> | |
77 | (Ast_cocci.inc_file Visitor_ast0_types.rmcode) -> | |
78 | (Ast0_cocci.expression Ast0_cocci.dots Visitor_ast0_types.rcode) -> | |
79 | (Ast0_cocci.initialiser Ast0_cocci.dots Visitor_ast0_types.rcode) -> | |
80 | (Ast0_cocci.parameterTypeDef Ast0_cocci.dots Visitor_ast0_types.rcode) -> | |
81 | (Ast0_cocci.statement Ast0_cocci.dots Visitor_ast0_types.rcode) -> | |
82 | (Ast0_cocci.declaration Ast0_cocci.dots Visitor_ast0_types.rcode) -> | |
83 | (Ast0_cocci.case_line Ast0_cocci.dots Visitor_ast0_types.rcode) -> | |
84 | (Ast0_cocci.ident Visitor_ast0_types.rcode) -> | |
85 | (Ast0_cocci.expression Visitor_ast0_types.rcode) -> | |
86 | (Ast0_cocci.typeC Visitor_ast0_types.rcode) -> | |
87 | (Ast0_cocci.initialiser Visitor_ast0_types.rcode) -> | |
88 | (Ast0_cocci.parameterTypeDef Visitor_ast0_types.rcode) -> | |
89 | (Ast0_cocci.declaration Visitor_ast0_types.rcode) -> | |
90 | (Ast0_cocci.statement Visitor_ast0_types.rcode) -> | |
91 | (Ast0_cocci.case_line Visitor_ast0_types.rcode) -> | |
92 | (Ast0_cocci.top_level Visitor_ast0_types.rcode) -> | |
93 | Visitor_ast0_types.rebuilder_rec_functions | |
34e49164 | 94 | |
b1b2de81 C |
95 | val combiner_rebuilder_functions : |
96 | 'a Visitor_ast0_types.combiner_rebuilder_functions | |
97 | val combiner_rebuilder : | |
98 | ('a -> 'a -> 'a) -> 'a -> | |
99 | 'a Visitor_ast0_types.combiner_rebuilder_functions -> | |
100 | 'a Visitor_ast0_types.all_functions |