1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
|
(*
* This file is part of Coccinelle, licensed under the terms of the GPL v2.
* See copyright.txt in the Coccinelle source code for more information.
* The Coccinelle source code can be obtained at http://coccinelle.lip6.fr
*)
type 'a combiner =
{combiner_ident : Ast_cocci.ident -> 'a;
combiner_expression : Ast_cocci.expression -> 'a;
combiner_fragment : Ast_cocci.string_fragment -> 'a;
combiner_format : Ast_cocci.string_format -> 'a;
combiner_assignOp : Ast_cocci.assignOp -> 'a;
combiner_binaryOp : Ast_cocci.binaryOp -> 'a;
combiner_fullType : Ast_cocci.fullType -> 'a;
combiner_typeC : Ast_cocci.typeC -> 'a;
combiner_declaration : Ast_cocci.declaration -> 'a;
combiner_field : Ast_cocci.field -> 'a;
combiner_initialiser : Ast_cocci.initialiser -> 'a;
combiner_parameter : Ast_cocci.parameterTypeDef -> 'a;
combiner_parameter_list : Ast_cocci.parameter_list -> 'a;
combiner_rule_elem : Ast_cocci.rule_elem -> 'a;
combiner_statement : Ast_cocci.statement -> 'a;
combiner_case_line : Ast_cocci.case_line -> 'a;
combiner_top_level : Ast_cocci.top_level -> 'a;
combiner_anything : Ast_cocci.anything -> 'a;
combiner_expression_dots : Ast_cocci.expression Ast_cocci.dots -> 'a;
combiner_statement_dots : Ast_cocci.statement Ast_cocci.dots -> 'a;
combiner_anndecl_dots : Ast_cocci.annotated_decl Ast_cocci.dots -> 'a;
combiner_annfield_dots : Ast_cocci.annotated_field Ast_cocci.dots -> 'a;
combiner_initialiser_dots : Ast_cocci.initialiser Ast_cocci.dots -> 'a}
type ('mc,'a) cmcode = 'a combiner -> 'mc Ast_cocci.mcode -> 'a
type ('cd,'a) ccode = 'a combiner -> ('cd -> 'a) -> 'cd -> 'a
val combiner :
('a -> 'a -> 'a) -> 'a ->
((Ast_cocci.meta_name,'a) cmcode) ->
((string,'a) cmcode) ->
((Ast_cocci.constant,'a) cmcode) ->
((Ast_cocci.simpleAssignOp,'a) cmcode) ->
((Ast_cocci.arithOp,'a) cmcode) ->
((Ast_cocci.fixOp,'a) cmcode) ->
((Ast_cocci.unaryOp,'a) cmcode) ->
((Ast_cocci.arithOp,'a) cmcode) ->
((Ast_cocci.logicalOp,'a) cmcode) ->
((Ast_cocci.const_vol,'a) cmcode) ->
((Ast_cocci.sign,'a) cmcode) ->
((Ast_cocci.structUnion,'a) cmcode) ->
((Ast_cocci.storage,'a) cmcode) ->
((Ast_cocci.inc_file,'a) cmcode) ->
((Ast_cocci.expression Ast_cocci.dots,'a) ccode) ->
((Ast_cocci.parameterTypeDef Ast_cocci.dots,'a) ccode) ->
((Ast_cocci.statement Ast_cocci.dots,'a) ccode) ->
((Ast_cocci.annotated_decl Ast_cocci.dots,'a) ccode) ->
((Ast_cocci.annotated_field Ast_cocci.dots,'a) ccode) ->
((Ast_cocci.initialiser Ast_cocci.dots,'a) ccode) ->
((Ast_cocci.ident,'a) ccode) ->
((Ast_cocci.expression,'a) ccode) ->
((Ast_cocci.string_fragment,'a) ccode) ->
((Ast_cocci.string_format,'a) ccode) ->
((Ast_cocci.assignOp,'a) ccode) ->
((Ast_cocci.binaryOp,'a) ccode) ->
((Ast_cocci.fullType,'a) ccode) ->
((Ast_cocci.typeC,'a) ccode) ->
((Ast_cocci.initialiser,'a) ccode) ->
((Ast_cocci.parameterTypeDef,'a) ccode) ->
((Ast_cocci.define_param,'a) ccode) ->
((Ast_cocci.declaration,'a) ccode) ->
((Ast_cocci.annotated_decl,'a) ccode) ->
((Ast_cocci.field,'a) ccode) ->
((Ast_cocci.annotated_field,'a) ccode) ->
((Ast_cocci.rule_elem,'a) ccode) ->
((Ast_cocci.statement,'a) ccode) ->
((Ast_cocci.case_line,'a) ccode) ->
((Ast_cocci.top_level,'a) ccode) ->
((Ast_cocci.anything,'a) ccode) ->
'a combiner
type 'a inout = 'a -> 'a (* for specifying the type of rebuilder *)
type rebuilder =
{rebuilder_ident : Ast_cocci.ident inout;
rebuilder_expression : Ast_cocci.expression inout;
rebuilder_fragment : Ast_cocci.string_fragment inout;
rebuilder_format : Ast_cocci.string_format inout;
rebuilder_assignOp : Ast_cocci.assignOp inout;
rebuilder_binaryOp : Ast_cocci.binaryOp inout;
rebuilder_fullType : Ast_cocci.fullType inout;
rebuilder_typeC : Ast_cocci.typeC inout;
rebuilder_declaration : Ast_cocci.declaration inout;
rebuilder_field : Ast_cocci.field inout;
rebuilder_initialiser : Ast_cocci.initialiser inout;
rebuilder_parameter : Ast_cocci.parameterTypeDef inout;
rebuilder_parameter_list : Ast_cocci.parameter_list inout;
rebuilder_statement : Ast_cocci.statement inout;
rebuilder_case_line : Ast_cocci.case_line inout;
rebuilder_rule_elem : Ast_cocci.rule_elem inout;
rebuilder_top_level : Ast_cocci.top_level inout;
rebuilder_expression_dots : Ast_cocci.expression Ast_cocci.dots inout;
rebuilder_statement_dots : Ast_cocci.statement Ast_cocci.dots inout;
rebuilder_anndecl_dots : Ast_cocci.annotated_decl Ast_cocci.dots inout;
rebuilder_annfield_dots : Ast_cocci.annotated_field Ast_cocci.dots inout;
rebuilder_initialiser_dots : Ast_cocci.initialiser Ast_cocci.dots inout;
rebuilder_define_param_dots: Ast_cocci.define_param Ast_cocci.dots inout;
rebuilder_define_param : Ast_cocci.define_param inout;
rebuilder_define_parameters : Ast_cocci.define_parameters inout;
rebuilder_anything : Ast_cocci.anything inout}
type 'mc rmcode = 'mc Ast_cocci.mcode inout
type 'cd rcode = rebuilder -> ('cd inout) -> 'cd inout
val rebuilder :
(Ast_cocci.meta_name rmcode) ->
(string rmcode) ->
(Ast_cocci.constant rmcode) ->
(Ast_cocci.simpleAssignOp rmcode) ->
(Ast_cocci.arithOp rmcode) ->
(Ast_cocci.fixOp rmcode) ->
(Ast_cocci.unaryOp rmcode) ->
(Ast_cocci.arithOp rmcode) ->
(Ast_cocci.logicalOp rmcode) ->
(Ast_cocci.const_vol rmcode) ->
(Ast_cocci.sign rmcode) ->
(Ast_cocci.structUnion rmcode) ->
(Ast_cocci.storage rmcode) ->
(Ast_cocci.inc_file rmcode) ->
(Ast_cocci.expression Ast_cocci.dots rcode) ->
(Ast_cocci.parameterTypeDef Ast_cocci.dots rcode) ->
(Ast_cocci.statement Ast_cocci.dots rcode) ->
(Ast_cocci.annotated_decl Ast_cocci.dots rcode) ->
(Ast_cocci.annotated_field Ast_cocci.dots rcode) ->
(Ast_cocci.initialiser Ast_cocci.dots rcode) ->
(Ast_cocci.ident rcode) ->
(Ast_cocci.expression rcode) ->
(Ast_cocci.string_fragment rcode) ->
(Ast_cocci.string_format rcode) ->
(Ast_cocci.assignOp rcode) ->
(Ast_cocci.binaryOp rcode) ->
(Ast_cocci.fullType rcode) ->
(Ast_cocci.typeC rcode) ->
(Ast_cocci.initialiser rcode) ->
(Ast_cocci.parameterTypeDef rcode) ->
(Ast_cocci.define_param rcode) ->
(Ast_cocci.declaration rcode) ->
(Ast_cocci.annotated_decl rcode) ->
(Ast_cocci.field rcode) ->
(Ast_cocci.annotated_field rcode) ->
(Ast_cocci.rule_elem rcode) ->
(Ast_cocci.statement rcode) ->
(Ast_cocci.case_line rcode) ->
(Ast_cocci.top_level rcode) ->
(Ast_cocci.anything rcode) ->
rebuilder
|
