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