Coccinelle release 1.0.0-rc3
[bpt/coccinelle.git] / parsing_cocci / index.ml
CommitLineData
f537ebc4
C
1(*
2 * Copyright 2010, INRIA, University of Copenhagen
3 * Julia Lawall, Rene Rydhof Hansen, Gilles Muller, Nicolas Palix
4 * Copyright 2005-2009, Ecole des Mines de Nantes, University of Copenhagen
5 * Yoann Padioleau, Julia Lawall, Rene Rydhof Hansen, Henrik Stuart, Gilles Muller, Nicolas Palix
6 * This file is part of Coccinelle.
7 *
8 * Coccinelle is free software: you can redistribute it and/or modify
9 * it under the terms of the GNU General Public License as published by
10 * the Free Software Foundation, according to version 2 of the License.
11 *
12 * Coccinelle is distributed in the hope that it will be useful,
13 * but WITHOUT ANY WARRANTY; without even the implied warranty of
14 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
15 * GNU General Public License for more details.
16 *
17 * You should have received a copy of the GNU General Public License
18 * along with Coccinelle. If not, see <http://www.gnu.org/licenses/>.
19 *
20 * The authors reserve the right to distribute this or future versions of
21 * Coccinelle under other licenses.
22 *)
23
24
34e49164 25(* create an index for each constructor *)
65038c61 26(* current max is 154 *)
34e49164
C
27
28(* doesn't really work - requires that identical terms with no token
29subterms (eg dots) not appear on the same line *)
30
31module Ast = Ast_cocci
32module Ast0 = Ast0_cocci
33
34(* if a dot list is empty, add the starting line of the dot list to the
35address. Otherwise add 0. An empty dot list should only match with another
36empty one. *)
37let expression_dots d =
0708f913 38 let ln = (Ast0.get_info d).Ast0.pos_info.Ast0.line_start in
34e49164
C
39 match Ast0.unwrap d with
40 Ast0.DOTS(l) -> 1::(if l = [] then [ln] else [0])
41 | Ast0.CIRCLES(l) -> 2::(if l = [] then [ln] else [0])
42 | Ast0.STARS(l) -> 3::(if l = [] then [ln] else [0])
faf9a90c 43
34e49164 44let initialiser_dots d =
0708f913 45 let ln = (Ast0.get_info d).Ast0.pos_info.Ast0.line_start in
34e49164
C
46 match Ast0.unwrap d with
47 Ast0.DOTS(l) -> 113::(if l = [] then [ln] else [0])
48 | Ast0.CIRCLES(l) -> 114::(if l = [] then [ln] else [0])
49 | Ast0.STARS(l) -> 115::(if l = [] then [ln] else [0])
faf9a90c 50
34e49164 51let parameter_dots d =
0708f913 52 let ln = (Ast0.get_info d).Ast0.pos_info.Ast0.line_start in
34e49164
C
53 match Ast0.unwrap d with
54 Ast0.DOTS(l) -> 4::(if l = [] then [ln] else [0])
55 | Ast0.CIRCLES(l) -> 5::(if l = [] then [ln] else [0])
56 | Ast0.STARS(l) -> 6::(if l = [] then [ln] else [0])
faf9a90c 57
34e49164 58let statement_dots d =
0708f913 59 let ln = (Ast0.get_info d).Ast0.pos_info.Ast0.line_start in
34e49164
C
60 match Ast0.unwrap d with
61 Ast0.DOTS(l) -> 7::(if l = [] then [ln] else [0])
62 | Ast0.CIRCLES(l) -> 8::(if l = [] then [ln] else [0])
63 | Ast0.STARS(l) -> 9::(if l = [] then [ln] else [0])
faf9a90c 64
34e49164 65let declaration_dots d =
0708f913 66 let ln = (Ast0.get_info d).Ast0.pos_info.Ast0.line_start in
34e49164
C
67 match Ast0.unwrap d with
68 Ast0.DOTS(l) -> 134::(if l = [] then [ln] else [0])
69 | Ast0.CIRCLES(l) -> 135::(if l = [] then [ln] else [0])
70 | Ast0.STARS(l) -> 136::(if l = [] then [ln] else [0])
faf9a90c 71
34e49164 72let case_line_dots d =
0708f913 73 let ln = (Ast0.get_info d).Ast0.pos_info.Ast0.line_start in
34e49164
C
74 match Ast0.unwrap d with
75 Ast0.DOTS(l) -> 138::(if l = [] then [ln] else [0])
76 | Ast0.CIRCLES(l) -> 139::(if l = [] then [ln] else [0])
77 | Ast0.STARS(l) -> 140::(if l = [] then [ln] else [0])
faf9a90c 78
34e49164
C
79let ident i =
80 match Ast0.unwrap i with
951c7801 81 Ast0.Id(name) -> [10]
8babbc8f 82 | Ast0.MetaId(name,_,_,_) -> [11]
951c7801
C
83 | Ast0.MetaFunc(name,_,_) -> [12]
84 | Ast0.MetaLocalFunc(name,_,_) -> [13]
d3f655c6 85 | Ast0.DisjId(_,id_list,_,_) -> [152]
951c7801
C
86 | Ast0.OptIdent(id) -> [14]
87 | Ast0.UniqueIdent(id) -> [15]
faf9a90c 88
34e49164
C
89let expression e =
90 match Ast0.unwrap e with
91 Ast0.Ident(id) -> [17]
92 | Ast0.Constant(const) -> [18]
93 | Ast0.FunCall(fn,lp,args,rp) -> [19]
94 | Ast0.Assignment(left,op,right,simple) -> [20]
95 | Ast0.CondExpr(exp1,why,exp2,colon,exp3) -> [21]
96 | Ast0.Postfix(exp,op) -> [22]
97 | Ast0.Infix(exp,op) -> [23]
98 | Ast0.Unary(exp,op) -> [24]
99 | Ast0.Binary(left,op,right) -> [25]
100 | Ast0.Nested(left,op,right) -> failwith "nested in index not possible"
101 | Ast0.Paren(lp,exp,rp) -> [26]
102 | Ast0.ArrayAccess(exp1,lb,exp2,rb) -> [27]
103 | Ast0.RecordAccess(exp,pt,field) -> [28]
104 | Ast0.RecordPtAccess(exp,ar,field) -> [29]
105 | Ast0.Cast(lp,ty,rp,exp) -> [30]
106 | Ast0.SizeOfExpr(szf,exp) -> [98] (* added after *)
107 | Ast0.SizeOfType(szf,lp,ty,rp) -> [99] (* added after *)
108 | Ast0.TypeExp(ty) -> [123] (* added after *)
109 | Ast0.MetaErr(name,_,_) -> [32]
110 | Ast0.MetaExpr(name,_,ty,_,_) -> [33]
111 | Ast0.MetaExprList(name,_,_) -> [34]
112 | Ast0.EComma(cm) -> [35]
113 | Ast0.DisjExpr(_,expr_list,_,_) -> [36]
114 | Ast0.NestExpr(_,expr_dots,_,_,_) -> [37]
115 | Ast0.Edots(dots,whencode) -> [38]
116 | Ast0.Ecircles(dots,whencode) -> [39]
117 | Ast0.Estars(dots,whencode) -> [40]
118 | Ast0.OptExp(exp) -> [41]
119 | Ast0.UniqueExp(exp) -> [42]
120
121let typeC t =
122 match Ast0.unwrap t with
123 Ast0.ConstVol(cv,ty) -> [44]
faf9a90c
C
124 | Ast0.BaseType(ty,strings) -> [48]
125 | Ast0.Signed(sign,ty) -> [129]
34e49164
C
126 | Ast0.Pointer(ty,star) -> [49]
127 | Ast0.FunctionPointer(ty,lp1,star,rp1,lp2,params,rp2) -> [131]
128 | Ast0.FunctionType(ty,lp1,params,rp1) -> [132]
129 | Ast0.Array(ty,lb,size,rb) -> [50]
faf9a90c 130 | Ast0.EnumName(kind,name) -> [146]
c491d8ee 131 | Ast0.EnumDef(ty,lb,decls,rb) -> [150]
34e49164
C
132 | Ast0.StructUnionName(kind,name) -> [51]
133 | Ast0.StructUnionDef(ty,lb,decls,rb) -> [117]
134 | Ast0.TypeName(name) -> [52]
135 | Ast0.MetaType(name,_) -> [53]
136 | Ast0.DisjType(_,type_list,_,_) -> [130]
137 | Ast0.OptType(ty) -> [45]
138 | Ast0.UniqueType(ty) -> [46]
faf9a90c 139
34e49164
C
140let declaration d =
141 match Ast0.unwrap d with
413ffc02
C
142 Ast0.MetaDecl(name,_) -> [148]
143 | Ast0.MetaField(name,_) -> [149]
190f1acf 144 | Ast0.MetaFieldList(name,_,_) -> [152]
413ffc02 145 | Ast0.Init(stg,ty,id,eq,exp,sem) -> [54]
34e49164
C
146 | Ast0.UnInit(stg,ty,id,sem) -> [55]
147 | Ast0.MacroDecl(name,lp,args,rp,sem) -> [137]
148 | Ast0.TyDecl(ty,sem) -> [116]
149 | Ast0.Typedef(stg,ty,id,sem) -> [143]
150 | Ast0.DisjDecl(_,decls,_,_) -> [97] (* added after *)
151 | Ast0.Ddots(dots,whencode) -> [133]
152 | Ast0.OptDecl(decl) -> [56]
153 | Ast0.UniqueDecl(decl) -> [57]
154
155let initialiser i =
156 match Ast0.unwrap i with
113803cf 157 Ast0.MetaInit(nm,_) -> [106] (* added after *)
8f657093 158 | Ast0.MetaInitList(nm,_,_) -> [153] (* added after *)
113803cf 159 | Ast0.InitExpr(exp) -> [102]
c491d8ee 160 | Ast0.InitList(lb,initlist,rb,ordered) -> [103]
113803cf 161 | Ast0.InitGccExt(designators,eq,ini) -> [104]
34e49164 162 | Ast0.InitGccName(name,eq,ini) -> [105]
34e49164
C
163 | Ast0.IComma(cm) -> [108]
164 | Ast0.Idots(d,whencode) -> [109]
165 | Ast0.OptIni(id) -> [110]
166 | Ast0.UniqueIni(id) -> [111]
167
168let parameterTypeDef p =
169 match Ast0.unwrap p with
170 Ast0.VoidParam(ty) -> [59]
171 | Ast0.Param(ty,id) -> [60]
172 | Ast0.MetaParam(name,_) -> [61]
173 | Ast0.MetaParamList(name,_,_) -> [62]
174 | Ast0.PComma(cm) -> [63]
175 | Ast0.Pdots(dots) -> [64]
176 | Ast0.Pcircles(dots) -> [65]
177 | Ast0.OptParam(param) -> [66]
178 | Ast0.UniqueParam(param) -> [67]
faf9a90c 179
34e49164
C
180let statement s =
181 match Ast0.unwrap s with
182 Ast0.FunDecl(bef,fninfo,name,lp,params,rp,lbrace,body,rbrace) -> [68]
183 | Ast0.Decl(bef,decl) -> [69]
184 | Ast0.Seq(lbrace,body,rbrace) -> [70]
185 | Ast0.ExprStatement(exp,sem) -> [71]
186 | Ast0.IfThen(iff,lp,exp,rp,branch1,aft) -> [72]
187 | Ast0.IfThenElse(iff,lp,exp,rp,branch1,els,branch2,aft) -> [73]
188 | Ast0.While(whl,lp,exp,rp,body,_) -> [74]
189 | Ast0.Do(d,body,whl,lp,exp,rp,sem) -> [75]
190 | Ast0.For(fr,lp,e1,sem1,e2,sem2,e3,rp,body,_) -> [76]
191 | Ast0.Iterator(nm,lp,args,rp,body,_) -> [142]
fc1ad971 192 | Ast0.Switch(switch,lp,exp,rp,lb,decls,cases,rb) -> [125]
34e49164
C
193 | Ast0.Break(br,sem) -> [100]
194 | Ast0.Continue(cont,sem) -> [101]
195 | Ast0.Label(l,dd) -> [144]
196 | Ast0.Goto(goto,l,sem) -> [145]
197 | Ast0.Return(ret,sem) -> [77]
198 | Ast0.ReturnExpr(ret,exp,sem) -> [78]
199 | Ast0.MetaStmt(name,_) -> [79]
200 | Ast0.MetaStmtList(name,_) -> [80]
201 | Ast0.Disj(_,statement_dots_list,_,_) -> [81]
202 | Ast0.Nest(_,stmt_dots,_,_,_) -> [82]
203 | Ast0.Exp(exp) -> [83]
204 | Ast0.TopExp(exp) -> [141]
205 | Ast0.Ty(ty) -> [124]
1be43e12 206 | Ast0.TopInit(init) -> [146]
34e49164
C
207 | Ast0.Dots(d,whencode) -> [84]
208 | Ast0.Circles(d,whencode) -> [85]
209 | Ast0.Stars(d,whencode) -> [86]
210 | Ast0.Include(inc,name) -> [118]
3a314143 211 | Ast0.Undef(def,id) -> [151]
34e49164
C
212 | Ast0.Define(def,id,params,body) -> [119]
213 | Ast0.OptStm(re) -> [87]
214 | Ast0.UniqueStm(re) -> [88]
215
216let case_line c =
217 match Ast0.unwrap c with
218 Ast0.Default(def,colon,code) -> [126]
219 | Ast0.Case(case,exp,colon,code) -> [127]
fc1ad971 220 | Ast0.DisjCase(_,case_lines,_,_) -> [107]
34e49164
C
221 | Ast0.OptCase(case) -> [128]
222
223let top_level t =
224 match Ast0.unwrap t with
65038c61 225 Ast0.NONDECL(stmt) -> [90]
34e49164
C
226 | Ast0.FILEINFO(old_file,new_file) -> [92]
227 | Ast0.CODE(stmt_dots) -> [94]
228 | Ast0.ERRORWORDS(exps) -> [95]
229 | Ast0.OTHER(_) -> [96]
65038c61 230 | Ast0.TOPCODE(_) -> [154]
34e49164
C
231
232(* 99-101 already used *)