Commit | Line | Data |
---|---|---|
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 | |
29 | subterms (eg dots) not appear on the same line *) | |
30 | ||
31 | module Ast = Ast_cocci | |
32 | module Ast0 = Ast0_cocci | |
33 | ||
34 | (* if a dot list is empty, add the starting line of the dot list to the | |
35 | address. Otherwise add 0. An empty dot list should only match with another | |
36 | empty one. *) | |
37 | let 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 | 44 | let 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 | 51 | let 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 | 58 | let 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 | 65 | let 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 | 72 | let 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 |
79 | let 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 |
89 | let 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 | ||
121 | let 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 |
140 | let 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 | ||
155 | let 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 | ||
168 | let 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 |
180 | let 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 | ||
216 | let 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 | ||
223 | let 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 *) |