parsing_cocci/visitor_ast0.mli

   1 (*
   2  * Copyright 2005-2009, Ecole des Mines de Nantes, University of Copenhagen
   3  * Yoann Padioleau, Julia Lawall, Rene Rydhof Hansen, Henrik Stuart, Gilles Muller, Nicolas Palix
   4  * This file is part of Coccinelle.
   5  *
   6  * Coccinelle is free software: you can redistribute it and/or modify
   7  * it under the terms of the GNU General Public License as published by
   8  * the Free Software Foundation, according to version 2 of the License.
   9  *
  10  * Coccinelle is distributed in the hope that it will be useful,
  11  * but WITHOUT ANY WARRANTY; without even the implied warranty of
  12  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  13  * GNU General Public License for more details.
  14  *
  15  * You should have received a copy of the GNU General Public License
  16  * along with Coccinelle.  If not, see <http://www.gnu.org/licenses/>.
  17  *
  18  * The authors reserve the right to distribute this or future versions of
  19  * Coccinelle under other licenses.
  20  *)
  21
  22
  23 val combiner_functions : 'a Visitor_ast0_types.combiner_functions
  24 val combiner :
  25   ('a -> 'a -> 'a) ->
  26   'a -> 'a Visitor_ast0_types.combiner_functions ->
  27     'a Visitor_ast0_types.combiner_rec_functions
  28
  29 val flat_combiner :
  30     ('a -> 'a -> 'a) -> 'a ->
  31     ((string*string,'a) Visitor_ast0_types.flat_cmcode) ->
  32     ((string,'a) Visitor_ast0_types.flat_cmcode) ->
  33     ((Ast_cocci.constant,'a) Visitor_ast0_types.flat_cmcode) ->
  34     ((Ast_cocci.assignOp,'a) Visitor_ast0_types.flat_cmcode) ->
  35     ((Ast_cocci.fixOp,'a) Visitor_ast0_types.flat_cmcode) ->
  36     ((Ast_cocci.unaryOp,'a) Visitor_ast0_types.flat_cmcode) ->
  37     ((Ast_cocci.binaryOp,'a) Visitor_ast0_types.flat_cmcode) ->
  38     ((Ast_cocci.const_vol,'a) Visitor_ast0_types.flat_cmcode) ->
  39     ((Ast_cocci.sign,'a) Visitor_ast0_types.flat_cmcode) ->
  40     ((Ast_cocci.structUnion,'a) Visitor_ast0_types.flat_cmcode) ->
  41     ((Ast_cocci.storage,'a) Visitor_ast0_types.flat_cmcode) ->
  42     ((Ast_cocci.inc_file,'a) Visitor_ast0_types.flat_cmcode) ->
  43     ((Ast0_cocci.expression Ast0_cocci.dots,'a) Visitor_ast0_types.ccode) ->
  44     ((Ast0_cocci.initialiser Ast0_cocci.dots,'a) Visitor_ast0_types.ccode) ->
  45     ((Ast0_cocci.parameterTypeDef Ast0_cocci.dots,'a)
  46        Visitor_ast0_types.ccode) ->
  47     ((Ast0_cocci.statement Ast0_cocci.dots,'a) Visitor_ast0_types.ccode) ->
  48     ((Ast0_cocci.declaration Ast0_cocci.dots,'a) Visitor_ast0_types.ccode) ->
  49     ((Ast0_cocci.case_line Ast0_cocci.dots,'a) Visitor_ast0_types.ccode) ->
  50     ((Ast0_cocci.ident,'a) Visitor_ast0_types.ccode) ->
  51     ((Ast0_cocci.expression,'a) Visitor_ast0_types.ccode) ->
  52     ((Ast0_cocci.typeC,'a) Visitor_ast0_types.ccode) ->
  53     ((Ast0_cocci.initialiser,'a) Visitor_ast0_types.ccode) ->
  54     ((Ast0_cocci.parameterTypeDef,'a) Visitor_ast0_types.ccode) ->
  55     ((Ast0_cocci.declaration,'a) Visitor_ast0_types.ccode) ->
  56     ((Ast0_cocci.statement,'a) Visitor_ast0_types.ccode) ->
  57     ((Ast0_cocci.case_line,'a) Visitor_ast0_types.ccode) ->
  58     ((Ast0_cocci.top_level,'a) Visitor_ast0_types.ccode) ->
  59     'a Visitor_ast0_types.combiner_rec_functions
  60
  61 val rebuilder_functions : Visitor_ast0_types.rebuilder_functions
  62 val rebuilder : Visitor_ast0_types.rebuilder_functions ->
  63   Visitor_ast0_types.rebuilder_rec_functions
  64
  65 val flat_rebuilder :
  66     ((string*string) Visitor_ast0_types.rmcode) ->
  67     (string Visitor_ast0_types.rmcode) ->
  68     (Ast_cocci.constant Visitor_ast0_types.rmcode) ->
  69     (Ast_cocci.assignOp Visitor_ast0_types.rmcode) ->
  70     (Ast_cocci.fixOp Visitor_ast0_types.rmcode) ->
  71     (Ast_cocci.unaryOp Visitor_ast0_types.rmcode) ->
  72     (Ast_cocci.binaryOp Visitor_ast0_types.rmcode) ->
  73     (Ast_cocci.const_vol Visitor_ast0_types.rmcode) ->
  74     (Ast_cocci.sign Visitor_ast0_types.rmcode) ->
  75     (Ast_cocci.structUnion Visitor_ast0_types.rmcode) ->
  76     (Ast_cocci.storage Visitor_ast0_types.rmcode) ->
  77     (Ast_cocci.inc_file Visitor_ast0_types.rmcode) ->
  78     (Ast0_cocci.expression Ast0_cocci.dots Visitor_ast0_types.rcode) ->
  79     (Ast0_cocci.initialiser Ast0_cocci.dots Visitor_ast0_types.rcode) ->
  80     (Ast0_cocci.parameterTypeDef Ast0_cocci.dots Visitor_ast0_types.rcode) ->
  81     (Ast0_cocci.statement Ast0_cocci.dots Visitor_ast0_types.rcode) ->
  82     (Ast0_cocci.declaration Ast0_cocci.dots Visitor_ast0_types.rcode) ->
  83     (Ast0_cocci.case_line Ast0_cocci.dots Visitor_ast0_types.rcode) ->
  84     (Ast0_cocci.ident Visitor_ast0_types.rcode) ->
  85     (Ast0_cocci.expression Visitor_ast0_types.rcode) ->
  86     (Ast0_cocci.typeC Visitor_ast0_types.rcode) ->
  87     (Ast0_cocci.initialiser Visitor_ast0_types.rcode) ->
  88     (Ast0_cocci.parameterTypeDef Visitor_ast0_types.rcode) ->
  89     (Ast0_cocci.declaration Visitor_ast0_types.rcode) ->
  90     (Ast0_cocci.statement Visitor_ast0_types.rcode) ->
  91     (Ast0_cocci.case_line Visitor_ast0_types.rcode) ->
  92     (Ast0_cocci.top_level Visitor_ast0_types.rcode) ->
  93       Visitor_ast0_types.rebuilder_rec_functions
  94
  95 val combiner_rebuilder_functions :
  96     'a Visitor_ast0_types.combiner_rebuilder_functions
  97 val combiner_rebuilder :
  98   ('a -> 'a -> 'a) -> 'a ->
  99     'a Visitor_ast0_types.combiner_rebuilder_functions ->
 100       'a Visitor_ast0_types.all_functions