X-Git-Url: https://git.hcoop.net/bpt/coccinelle.git/blobdiff_plain/b1b2de814d2c59af2526bc19d41bb22a0c1fd16d..17ba07880e1838028b4516ba7a2db2147b3aa1c9:/parsing_cocci/visitor_ast0_types.ml?ds=sidebyside diff --git a/parsing_cocci/visitor_ast0_types.ml b/parsing_cocci/visitor_ast0_types.ml index a679616..4552c1d 100644 --- a/parsing_cocci/visitor_ast0_types.ml +++ b/parsing_cocci/visitor_ast0_types.ml @@ -1,3 +1,29 @@ +(* + * Copyright 2012, INRIA + * Julia Lawall, Gilles Muller + * Copyright 2010-2011, 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. + * + * Coccinelle is free software: you can redistribute it and/or modify + * it under the terms of the GNU General Public License as published by + * the Free Software Foundation, according to version 2 of the License. + * + * Coccinelle is distributed in the hope that it will be useful, + * but WITHOUT ANY WARRANTY; without even the implied warranty of + * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the + * GNU General Public License for more details. + * + * You should have received a copy of the GNU General Public License + * along with Coccinelle. If not, see . + * + * The authors reserve the right to distribute this or future versions of + * Coccinelle under other licenses. + *) + + module Ast0 = Ast0_cocci module Ast = Ast_cocci @@ -54,7 +80,7 @@ type ('mc,'n) flat_cmcode = 'mc Ast0.mcode -> 'n type ('cd,'n) ccode = 'n combiner_rec_functions -> ('cd -> 'n) -> 'cd -> 'n type 'n combiner_functions = - {combiner_meta_mcode : ((string*string),'n) cmcode; + {combiner_meta_mcode : (Ast.meta_name,'n) cmcode; combiner_string_mcode : (string,'n) cmcode; combiner_const_mcode : (Ast.constant,'n) cmcode; combiner_assign_mcode : (Ast.assignOp,'n) cmcode; @@ -115,7 +141,7 @@ type 'cd rcode = rebuilder_rec_functions -> ('cd rebuilder_inout) -> 'cd rebuilder_inout type rebuilder_functions = - {rebuilder_meta_mcode : (string*string) rmcode; + {rebuilder_meta_mcode : Ast_cocci.meta_name rmcode; rebuilder_string_mcode : string rmcode; rebuilder_const_mcode : Ast.constant rmcode; rebuilder_assign_mcode : Ast.assignOp rmcode; @@ -151,7 +177,7 @@ type ('cd,'a) rccode = 'a all_functions -> ('cd -> ('a * 'cd)) -> 'cd -> ('a * 'cd) type 'n combiner_rebuilder_functions = - {combiner_rebuilder_meta_mcode : ((string*string),'n) rcmcode; + {combiner_rebuilder_meta_mcode : (Ast_cocci.meta_name,'n) rcmcode; combiner_rebuilder_string_mcode : (string,'n) rcmcode; combiner_rebuilder_const_mcode : (Ast.constant,'n) rcmcode; combiner_rebuilder_assign_mcode : (Ast.assignOp,'n) rcmcode;