HCoop
/
bpt
/
coccinelle.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Release coccinelle-0.2.5-rc1
[bpt/coccinelle.git]
/
parsing_cocci
/
index.ml
diff --git
a/parsing_cocci/index.ml
b/parsing_cocci/index.ml
index
86f450d
..
b864abe
100644
(file)
--- a/
parsing_cocci/index.ml
+++ b/
parsing_cocci/index.ml
@@
-1,5
+1,7
@@
(*
(*
- * Copyright 2005-2010, Ecole des Mines de Nantes, University of Copenhagen
+ * Copyright 2010, INRIA, University of Copenhagen
+ * Julia Lawall, Rene Rydhof Hansen, Gilles Muller, Nicolas Palix
+ * Copyright 2005-2009, Ecole des Mines de Nantes, University of Copenhagen
* Yoann Padioleau, Julia Lawall, Rene Rydhof Hansen, Henrik Stuart, Gilles Muller, Nicolas Palix
* This file is part of Coccinelle.
*
* Yoann Padioleau, Julia Lawall, Rene Rydhof Hansen, Henrik Stuart, Gilles Muller, Nicolas Palix
* This file is part of Coccinelle.
*
@@
-21,7
+23,7
@@
(* create an index for each constructor *)
(* create an index for each constructor *)
-(* current max is 1
47
*)
+(* current max is 1
50
*)
(* doesn't really work - requires that identical terms with no token
subterms (eg dots) not appear on the same line *)
(* doesn't really work - requires that identical terms with no token
subterms (eg dots) not appear on the same line *)
@@
-125,6
+127,7
@@
let typeC t =
| Ast0.FunctionType(ty,lp1,params,rp1) -> [132]
| Ast0.Array(ty,lb,size,rb) -> [50]
| Ast0.EnumName(kind,name) -> [146]
| Ast0.FunctionType(ty,lp1,params,rp1) -> [132]
| Ast0.Array(ty,lb,size,rb) -> [50]
| Ast0.EnumName(kind,name) -> [146]
+ | Ast0.EnumDef(ty,lb,decls,rb) -> [150]
| Ast0.StructUnionName(kind,name) -> [51]
| Ast0.StructUnionDef(ty,lb,decls,rb) -> [117]
| Ast0.TypeName(name) -> [52]
| Ast0.StructUnionName(kind,name) -> [51]
| Ast0.StructUnionDef(ty,lb,decls,rb) -> [117]
| Ast0.TypeName(name) -> [52]
@@
-135,7
+138,9
@@
let typeC t =
let declaration d =
match Ast0.unwrap d with
let declaration d =
match Ast0.unwrap d with
- Ast0.Init(stg,ty,id,eq,exp,sem) -> [54]
+ Ast0.MetaDecl(name,_) -> [148]
+ | Ast0.MetaField(name,_) -> [149]
+ | Ast0.Init(stg,ty,id,eq,exp,sem) -> [54]
| Ast0.UnInit(stg,ty,id,sem) -> [55]
| Ast0.MacroDecl(name,lp,args,rp,sem) -> [137]
| Ast0.TyDecl(ty,sem) -> [116]
| Ast0.UnInit(stg,ty,id,sem) -> [55]
| Ast0.MacroDecl(name,lp,args,rp,sem) -> [137]
| Ast0.TyDecl(ty,sem) -> [116]
@@
-149,7
+154,7
@@
let initialiser i =
match Ast0.unwrap i with
Ast0.MetaInit(nm,_) -> [106] (* added after *)
| Ast0.InitExpr(exp) -> [102]
match Ast0.unwrap i with
Ast0.MetaInit(nm,_) -> [106] (* added after *)
| Ast0.InitExpr(exp) -> [102]
- | Ast0.InitList(lb,initlist,rb) -> [103]
+ | Ast0.InitList(lb,initlist,rb
,ordered
) -> [103]
| Ast0.InitGccExt(designators,eq,ini) -> [104]
| Ast0.InitGccName(name,eq,ini) -> [105]
| Ast0.IComma(cm) -> [108]
| Ast0.InitGccExt(designators,eq,ini) -> [104]
| Ast0.InitGccName(name,eq,ini) -> [105]
| Ast0.IComma(cm) -> [108]