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 | * | |
d6ce1786 C |
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 | ||
feec80c3 | 27 | # 0 "./index.ml" |
34e49164 | 28 | (* create an index for each constructor *) |
755320b0 | 29 | (* current max is 159 *) |
34e49164 C |
30 | |
31 | (* doesn't really work - requires that identical terms with no token | |
32 | subterms (eg dots) not appear on the same line *) | |
33 | ||
34 | module Ast = Ast_cocci | |
35 | module Ast0 = Ast0_cocci | |
36 | ||
37 | (* if a dot list is empty, add the starting line of the dot list to the | |
38 | address. Otherwise add 0. An empty dot list should only match with another | |
39 | empty one. *) | |
40 | let expression_dots d = | |
0708f913 | 41 | let ln = (Ast0.get_info d).Ast0.pos_info.Ast0.line_start in |
34e49164 C |
42 | match Ast0.unwrap d with |
43 | Ast0.DOTS(l) -> 1::(if l = [] then [ln] else [0]) | |
44 | | Ast0.CIRCLES(l) -> 2::(if l = [] then [ln] else [0]) | |
45 | | Ast0.STARS(l) -> 3::(if l = [] then [ln] else [0]) | |
faf9a90c | 46 | |
34e49164 | 47 | let initialiser_dots d = |
0708f913 | 48 | let ln = (Ast0.get_info d).Ast0.pos_info.Ast0.line_start in |
34e49164 C |
49 | match Ast0.unwrap d with |
50 | Ast0.DOTS(l) -> 113::(if l = [] then [ln] else [0]) | |
51 | | Ast0.CIRCLES(l) -> 114::(if l = [] then [ln] else [0]) | |
52 | | Ast0.STARS(l) -> 115::(if l = [] then [ln] else [0]) | |
faf9a90c | 53 | |
34e49164 | 54 | let parameter_dots d = |
0708f913 | 55 | let ln = (Ast0.get_info d).Ast0.pos_info.Ast0.line_start in |
34e49164 C |
56 | match Ast0.unwrap d with |
57 | Ast0.DOTS(l) -> 4::(if l = [] then [ln] else [0]) | |
58 | | Ast0.CIRCLES(l) -> 5::(if l = [] then [ln] else [0]) | |
59 | | Ast0.STARS(l) -> 6::(if l = [] then [ln] else [0]) | |
faf9a90c | 60 | |
34e49164 | 61 | let statement_dots d = |
0708f913 | 62 | let ln = (Ast0.get_info d).Ast0.pos_info.Ast0.line_start in |
34e49164 C |
63 | match Ast0.unwrap d with |
64 | Ast0.DOTS(l) -> 7::(if l = [] then [ln] else [0]) | |
65 | | Ast0.CIRCLES(l) -> 8::(if l = [] then [ln] else [0]) | |
66 | | Ast0.STARS(l) -> 9::(if l = [] then [ln] else [0]) | |
faf9a90c | 67 | |
34e49164 | 68 | let declaration_dots d = |
0708f913 | 69 | let ln = (Ast0.get_info d).Ast0.pos_info.Ast0.line_start in |
34e49164 C |
70 | match Ast0.unwrap d with |
71 | Ast0.DOTS(l) -> 134::(if l = [] then [ln] else [0]) | |
72 | | Ast0.CIRCLES(l) -> 135::(if l = [] then [ln] else [0]) | |
73 | | Ast0.STARS(l) -> 136::(if l = [] then [ln] else [0]) | |
faf9a90c | 74 | |
34e49164 | 75 | let case_line_dots d = |
0708f913 | 76 | let ln = (Ast0.get_info d).Ast0.pos_info.Ast0.line_start in |
34e49164 C |
77 | match Ast0.unwrap d with |
78 | Ast0.DOTS(l) -> 138::(if l = [] then [ln] else [0]) | |
79 | | Ast0.CIRCLES(l) -> 139::(if l = [] then [ln] else [0]) | |
80 | | Ast0.STARS(l) -> 140::(if l = [] then [ln] else [0]) | |
faf9a90c | 81 | |
34e49164 C |
82 | let ident i = |
83 | match Ast0.unwrap i with | |
951c7801 | 84 | Ast0.Id(name) -> [10] |
8babbc8f | 85 | | Ast0.MetaId(name,_,_,_) -> [11] |
951c7801 C |
86 | | Ast0.MetaFunc(name,_,_) -> [12] |
87 | | Ast0.MetaLocalFunc(name,_,_) -> [13] | |
d3f655c6 | 88 | | Ast0.DisjId(_,id_list,_,_) -> [152] |
951c7801 C |
89 | | Ast0.OptIdent(id) -> [14] |
90 | | Ast0.UniqueIdent(id) -> [15] | |
d6ce1786 | 91 | | Ast0.AsIdent _ -> failwith "not possible" |
faf9a90c | 92 | |
34e49164 C |
93 | let expression e = |
94 | match Ast0.unwrap e with | |
95 | Ast0.Ident(id) -> [17] | |
96 | | Ast0.Constant(const) -> [18] | |
97 | | Ast0.FunCall(fn,lp,args,rp) -> [19] | |
98 | | Ast0.Assignment(left,op,right,simple) -> [20] | |
17ba0788 | 99 | | Ast0.Sequence(left,op,right) -> [156] |
34e49164 C |
100 | | Ast0.CondExpr(exp1,why,exp2,colon,exp3) -> [21] |
101 | | Ast0.Postfix(exp,op) -> [22] | |
102 | | Ast0.Infix(exp,op) -> [23] | |
103 | | Ast0.Unary(exp,op) -> [24] | |
104 | | Ast0.Binary(left,op,right) -> [25] | |
105 | | Ast0.Nested(left,op,right) -> failwith "nested in index not possible" | |
106 | | Ast0.Paren(lp,exp,rp) -> [26] | |
107 | | Ast0.ArrayAccess(exp1,lb,exp2,rb) -> [27] | |
108 | | Ast0.RecordAccess(exp,pt,field) -> [28] | |
109 | | Ast0.RecordPtAccess(exp,ar,field) -> [29] | |
110 | | Ast0.Cast(lp,ty,rp,exp) -> [30] | |
111 | | Ast0.SizeOfExpr(szf,exp) -> [98] (* added after *) | |
112 | | Ast0.SizeOfType(szf,lp,ty,rp) -> [99] (* added after *) | |
113 | | Ast0.TypeExp(ty) -> [123] (* added after *) | |
7fe62b65 | 114 | | Ast0.Constructor(lp,ty,rp,init) -> [155] |
34e49164 C |
115 | | Ast0.MetaErr(name,_,_) -> [32] |
116 | | Ast0.MetaExpr(name,_,ty,_,_) -> [33] | |
117 | | Ast0.MetaExprList(name,_,_) -> [34] | |
118 | | Ast0.EComma(cm) -> [35] | |
119 | | Ast0.DisjExpr(_,expr_list,_,_) -> [36] | |
120 | | Ast0.NestExpr(_,expr_dots,_,_,_) -> [37] | |
121 | | Ast0.Edots(dots,whencode) -> [38] | |
122 | | Ast0.Ecircles(dots,whencode) -> [39] | |
123 | | Ast0.Estars(dots,whencode) -> [40] | |
124 | | Ast0.OptExp(exp) -> [41] | |
125 | | Ast0.UniqueExp(exp) -> [42] | |
17ba0788 | 126 | | Ast0.AsExpr _ -> failwith "not possible" |
34e49164 C |
127 | |
128 | let typeC t = | |
129 | match Ast0.unwrap t with | |
130 | Ast0.ConstVol(cv,ty) -> [44] | |
faf9a90c C |
131 | | Ast0.BaseType(ty,strings) -> [48] |
132 | | Ast0.Signed(sign,ty) -> [129] | |
34e49164 C |
133 | | Ast0.Pointer(ty,star) -> [49] |
134 | | Ast0.FunctionPointer(ty,lp1,star,rp1,lp2,params,rp2) -> [131] | |
135 | | Ast0.FunctionType(ty,lp1,params,rp1) -> [132] | |
136 | | Ast0.Array(ty,lb,size,rb) -> [50] | |
faf9a90c | 137 | | Ast0.EnumName(kind,name) -> [146] |
c491d8ee | 138 | | Ast0.EnumDef(ty,lb,decls,rb) -> [150] |
34e49164 C |
139 | | Ast0.StructUnionName(kind,name) -> [51] |
140 | | Ast0.StructUnionDef(ty,lb,decls,rb) -> [117] | |
141 | | Ast0.TypeName(name) -> [52] | |
142 | | Ast0.MetaType(name,_) -> [53] | |
143 | | Ast0.DisjType(_,type_list,_,_) -> [130] | |
144 | | Ast0.OptType(ty) -> [45] | |
145 | | Ast0.UniqueType(ty) -> [46] | |
17ba0788 | 146 | | Ast0.AsType _ -> failwith "not possible" |
faf9a90c | 147 | |
34e49164 C |
148 | let declaration d = |
149 | match Ast0.unwrap d with | |
413ffc02 C |
150 | Ast0.MetaDecl(name,_) -> [148] |
151 | | Ast0.MetaField(name,_) -> [149] | |
190f1acf | 152 | | Ast0.MetaFieldList(name,_,_) -> [152] |
413ffc02 | 153 | | Ast0.Init(stg,ty,id,eq,exp,sem) -> [54] |
34e49164 C |
154 | | Ast0.UnInit(stg,ty,id,sem) -> [55] |
155 | | Ast0.MacroDecl(name,lp,args,rp,sem) -> [137] | |
17ba0788 | 156 | | Ast0.MacroDeclInit(name,lp,args,rp,eq,ini,sem) -> [157] |
34e49164 C |
157 | | Ast0.TyDecl(ty,sem) -> [116] |
158 | | Ast0.Typedef(stg,ty,id,sem) -> [143] | |
159 | | Ast0.DisjDecl(_,decls,_,_) -> [97] (* added after *) | |
160 | | Ast0.Ddots(dots,whencode) -> [133] | |
161 | | Ast0.OptDecl(decl) -> [56] | |
162 | | Ast0.UniqueDecl(decl) -> [57] | |
17ba0788 | 163 | | Ast0.AsDecl _ -> failwith "not possible" |
34e49164 C |
164 | |
165 | let initialiser i = | |
166 | match Ast0.unwrap i with | |
113803cf | 167 | Ast0.MetaInit(nm,_) -> [106] (* added after *) |
8f657093 | 168 | | Ast0.MetaInitList(nm,_,_) -> [153] (* added after *) |
113803cf | 169 | | Ast0.InitExpr(exp) -> [102] |
c491d8ee | 170 | | Ast0.InitList(lb,initlist,rb,ordered) -> [103] |
113803cf | 171 | | Ast0.InitGccExt(designators,eq,ini) -> [104] |
34e49164 | 172 | | Ast0.InitGccName(name,eq,ini) -> [105] |
34e49164 C |
173 | | Ast0.IComma(cm) -> [108] |
174 | | Ast0.Idots(d,whencode) -> [109] | |
175 | | Ast0.OptIni(id) -> [110] | |
176 | | Ast0.UniqueIni(id) -> [111] | |
17ba0788 | 177 | | Ast0.AsInit _ -> failwith "not possible" |
34e49164 C |
178 | |
179 | let parameterTypeDef p = | |
180 | match Ast0.unwrap p with | |
181 | Ast0.VoidParam(ty) -> [59] | |
182 | | Ast0.Param(ty,id) -> [60] | |
183 | | Ast0.MetaParam(name,_) -> [61] | |
184 | | Ast0.MetaParamList(name,_,_) -> [62] | |
185 | | Ast0.PComma(cm) -> [63] | |
186 | | Ast0.Pdots(dots) -> [64] | |
187 | | Ast0.Pcircles(dots) -> [65] | |
188 | | Ast0.OptParam(param) -> [66] | |
189 | | Ast0.UniqueParam(param) -> [67] | |
1b9ae606 | 190 | | Ast0.AsParam _ -> failwith "not possible" |
faf9a90c | 191 | |
34e49164 C |
192 | let statement s = |
193 | match Ast0.unwrap s with | |
194 | Ast0.FunDecl(bef,fninfo,name,lp,params,rp,lbrace,body,rbrace) -> [68] | |
195 | | Ast0.Decl(bef,decl) -> [69] | |
196 | | Ast0.Seq(lbrace,body,rbrace) -> [70] | |
197 | | Ast0.ExprStatement(exp,sem) -> [71] | |
198 | | Ast0.IfThen(iff,lp,exp,rp,branch1,aft) -> [72] | |
199 | | Ast0.IfThenElse(iff,lp,exp,rp,branch1,els,branch2,aft) -> [73] | |
200 | | Ast0.While(whl,lp,exp,rp,body,_) -> [74] | |
201 | | Ast0.Do(d,body,whl,lp,exp,rp,sem) -> [75] | |
755320b0 | 202 | | Ast0.For(fr,lp,first,e2,sem2,e3,rp,body,_) -> [76] |
34e49164 | 203 | | Ast0.Iterator(nm,lp,args,rp,body,_) -> [142] |
fc1ad971 | 204 | | Ast0.Switch(switch,lp,exp,rp,lb,decls,cases,rb) -> [125] |
34e49164 C |
205 | | Ast0.Break(br,sem) -> [100] |
206 | | Ast0.Continue(cont,sem) -> [101] | |
207 | | Ast0.Label(l,dd) -> [144] | |
208 | | Ast0.Goto(goto,l,sem) -> [145] | |
209 | | Ast0.Return(ret,sem) -> [77] | |
210 | | Ast0.ReturnExpr(ret,exp,sem) -> [78] | |
211 | | Ast0.MetaStmt(name,_) -> [79] | |
212 | | Ast0.MetaStmtList(name,_) -> [80] | |
213 | | Ast0.Disj(_,statement_dots_list,_,_) -> [81] | |
214 | | Ast0.Nest(_,stmt_dots,_,_,_) -> [82] | |
215 | | Ast0.Exp(exp) -> [83] | |
216 | | Ast0.TopExp(exp) -> [141] | |
217 | | Ast0.Ty(ty) -> [124] | |
1be43e12 | 218 | | Ast0.TopInit(init) -> [146] |
34e49164 C |
219 | | Ast0.Dots(d,whencode) -> [84] |
220 | | Ast0.Circles(d,whencode) -> [85] | |
221 | | Ast0.Stars(d,whencode) -> [86] | |
222 | | Ast0.Include(inc,name) -> [118] | |
3a314143 | 223 | | Ast0.Undef(def,id) -> [151] |
34e49164 C |
224 | | Ast0.Define(def,id,params,body) -> [119] |
225 | | Ast0.OptStm(re) -> [87] | |
226 | | Ast0.UniqueStm(re) -> [88] | |
17ba0788 | 227 | | Ast0.AsStmt _ -> failwith "not possible" |
34e49164 | 228 | |
755320b0 C |
229 | let forinfo fi = |
230 | match Ast0.unwrap fi with | |
231 | Ast0.ForExp(exp,sem) -> [158] | |
232 | | Ast0.ForDecl (bef,decl) -> [159] | |
233 | ||
34e49164 C |
234 | let case_line c = |
235 | match Ast0.unwrap c with | |
236 | Ast0.Default(def,colon,code) -> [126] | |
237 | | Ast0.Case(case,exp,colon,code) -> [127] | |
fc1ad971 | 238 | | Ast0.DisjCase(_,case_lines,_,_) -> [107] |
34e49164 C |
239 | | Ast0.OptCase(case) -> [128] |
240 | ||
241 | let top_level t = | |
242 | match Ast0.unwrap t with | |
65038c61 | 243 | Ast0.NONDECL(stmt) -> [90] |
34e49164 C |
244 | | Ast0.FILEINFO(old_file,new_file) -> [92] |
245 | | Ast0.CODE(stmt_dots) -> [94] | |
246 | | Ast0.ERRORWORDS(exps) -> [95] | |
247 | | Ast0.OTHER(_) -> [96] | |
65038c61 | 248 | | Ast0.TOPCODE(_) -> [154] |
34e49164 C |
249 | |
250 | (* 99-101 already used *) |