parsing_cocci/visitor_ast0.mli

   1 (*
   2  * Copyright 2012, INRIA
   3  * Julia Lawall, Gilles Muller
   4  * Copyright 2010-2011, INRIA, University of Copenhagen
   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  *
  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
  27 # 0 "./visitor_ast0.mli"
  28 (*
  29  * Copyright 2012, INRIA
  30  * Julia Lawall, Gilles Muller
  31  * Copyright 2010-2011, INRIA, University of Copenhagen
  32  * Julia Lawall, Rene Rydhof Hansen, Gilles Muller, Nicolas Palix
  33  * Copyright 2005-2009, Ecole des Mines de Nantes, University of Copenhagen
  34  * Yoann Padioleau, Julia Lawall, Rene Rydhof Hansen, Henrik Stuart, Gilles Muller, Nicolas Palix
  35  * This file is part of Coccinelle.
  36  *
  37  * Coccinelle is free software: you can redistribute it and/or modify
  38  * it under the terms of the GNU General Public License as published by
  39  * the Free Software Foundation, according to version 2 of the License.
  40  *
  41  * Coccinelle is distributed in the hope that it will be useful,
  42  * but WITHOUT ANY WARRANTY; without even the implied warranty of
  43  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  44  * GNU General Public License for more details.
  45  *
  46  * You should have received a copy of the GNU General Public License
  47  * along with Coccinelle.  If not, see <http://www.gnu.org/licenses/>.
  48  *
  49  * The authors reserve the right to distribute this or future versions of
  50  * Coccinelle under other licenses.
  51  *)
  52
  53
  54 # 0 "./visitor_ast0.mli"
  55 val combiner_functions : 'a Visitor_ast0_types.combiner_functions
  56 val combiner :
  57   ('a -> 'a -> 'a) ->
  58   'a -> 'a Visitor_ast0_types.combiner_functions ->
  59     'a Visitor_ast0_types.combiner_rec_functions
  60
  61 val flat_combiner :
  62     ('a -> 'a -> 'a) -> 'a ->
  63     ((Ast_cocci.meta_name,'a) Visitor_ast0_types.flat_cmcode) ->
  64     ((string,'a) Visitor_ast0_types.flat_cmcode) ->
  65     ((Ast_cocci.constant,'a) Visitor_ast0_types.flat_cmcode) ->
  66     ((Ast_cocci.assignOp,'a) Visitor_ast0_types.flat_cmcode) ->
  67     ((Ast_cocci.fixOp,'a) Visitor_ast0_types.flat_cmcode) ->
  68     ((Ast_cocci.unaryOp,'a) Visitor_ast0_types.flat_cmcode) ->
  69     ((Ast_cocci.binaryOp,'a) Visitor_ast0_types.flat_cmcode) ->
  70     ((Ast_cocci.const_vol,'a) Visitor_ast0_types.flat_cmcode) ->
  71     ((Ast_cocci.sign,'a) Visitor_ast0_types.flat_cmcode) ->
  72     ((Ast_cocci.structUnion,'a) Visitor_ast0_types.flat_cmcode) ->
  73     ((Ast_cocci.storage,'a) Visitor_ast0_types.flat_cmcode) ->
  74     ((Ast_cocci.inc_file,'a) Visitor_ast0_types.flat_cmcode) ->
  75     ((Ast0_cocci.expression Ast0_cocci.dots,'a) Visitor_ast0_types.ccode) ->
  76     ((Ast0_cocci.initialiser Ast0_cocci.dots,'a) Visitor_ast0_types.ccode) ->
  77     ((Ast0_cocci.parameterTypeDef Ast0_cocci.dots,'a)
  78        Visitor_ast0_types.ccode) ->
  79     ((Ast0_cocci.statement Ast0_cocci.dots,'a) Visitor_ast0_types.ccode) ->
  80     ((Ast0_cocci.declaration Ast0_cocci.dots,'a) Visitor_ast0_types.ccode) ->
  81     ((Ast0_cocci.case_line Ast0_cocci.dots,'a) Visitor_ast0_types.ccode) ->
  82     ((Ast0_cocci.ident,'a) Visitor_ast0_types.ccode) ->
  83     ((Ast0_cocci.expression,'a) Visitor_ast0_types.ccode) ->
  84     ((Ast0_cocci.typeC,'a) Visitor_ast0_types.ccode) ->
  85     ((Ast0_cocci.initialiser,'a) Visitor_ast0_types.ccode) ->
  86     ((Ast0_cocci.parameterTypeDef,'a) Visitor_ast0_types.ccode) ->
  87     ((Ast0_cocci.declaration,'a) Visitor_ast0_types.ccode) ->
  88     ((Ast0_cocci.statement,'a) Visitor_ast0_types.ccode) ->
  89     ((Ast0_cocci.case_line,'a) Visitor_ast0_types.ccode) ->
  90     ((Ast0_cocci.top_level,'a) Visitor_ast0_types.ccode) ->
  91     'a Visitor_ast0_types.combiner_rec_functions
  92
  93 val rebuilder_functions : Visitor_ast0_types.rebuilder_functions
  94 val rebuilder : Visitor_ast0_types.rebuilder_functions ->
  95   Visitor_ast0_types.rebuilder_rec_functions
  96
  97 val flat_rebuilder :
  98     (Ast_cocci.meta_name Visitor_ast0_types.rmcode) ->
  99     (string Visitor_ast0_types.rmcode) ->
 100     (Ast_cocci.constant Visitor_ast0_types.rmcode) ->
 101     (Ast_cocci.assignOp Visitor_ast0_types.rmcode) ->
 102     (Ast_cocci.fixOp Visitor_ast0_types.rmcode) ->
 103     (Ast_cocci.unaryOp Visitor_ast0_types.rmcode) ->
 104     (Ast_cocci.binaryOp Visitor_ast0_types.rmcode) ->
 105     (Ast_cocci.const_vol Visitor_ast0_types.rmcode) ->
 106     (Ast_cocci.sign Visitor_ast0_types.rmcode) ->
 107     (Ast_cocci.structUnion Visitor_ast0_types.rmcode) ->
 108     (Ast_cocci.storage Visitor_ast0_types.rmcode) ->
 109     (Ast_cocci.inc_file Visitor_ast0_types.rmcode) ->
 110     (Ast0_cocci.expression Ast0_cocci.dots Visitor_ast0_types.rcode) ->
 111     (Ast0_cocci.initialiser Ast0_cocci.dots Visitor_ast0_types.rcode) ->
 112     (Ast0_cocci.parameterTypeDef Ast0_cocci.dots Visitor_ast0_types.rcode) ->
 113     (Ast0_cocci.statement Ast0_cocci.dots Visitor_ast0_types.rcode) ->
 114     (Ast0_cocci.declaration Ast0_cocci.dots Visitor_ast0_types.rcode) ->
 115     (Ast0_cocci.case_line Ast0_cocci.dots Visitor_ast0_types.rcode) ->
 116     (Ast0_cocci.ident Visitor_ast0_types.rcode) ->
 117     (Ast0_cocci.expression Visitor_ast0_types.rcode) ->
 118     (Ast0_cocci.typeC Visitor_ast0_types.rcode) ->
 119     (Ast0_cocci.initialiser Visitor_ast0_types.rcode) ->
 120     (Ast0_cocci.parameterTypeDef Visitor_ast0_types.rcode) ->
 121     (Ast0_cocci.declaration Visitor_ast0_types.rcode) ->
 122     (Ast0_cocci.statement Visitor_ast0_types.rcode) ->
 123     (Ast0_cocci.case_line Visitor_ast0_types.rcode) ->
 124     (Ast0_cocci.top_level Visitor_ast0_types.rcode) ->
 125       Visitor_ast0_types.rebuilder_rec_functions
 126
 127 val combiner_rebuilder_functions :
 128     'a Visitor_ast0_types.combiner_rebuilder_functions
 129 val combiner_rebuilder :
 130   ('a -> 'a -> 'a) -> 'a ->
 131     'a Visitor_ast0_types.combiner_rebuilder_functions ->
 132       'a Visitor_ast0_types.all_functions