parsing_c/visitor_c.mli

   1 open Ast_c
   2
   3 type visitor_c = {
   4   kexpr      : (expression  -> unit)  * visitor_c -> expression  -> unit;
   5   kstatement : (statement   -> unit)  * visitor_c -> statement   -> unit;
   6   ktype      : (fullType    -> unit)  * visitor_c -> fullType    -> unit;
   7   kdecl      : (declaration -> unit)  * visitor_c -> declaration -> unit;
   8   kdef       : (definition  -> unit)  * visitor_c -> definition  -> unit;
   9   kini       : (initialiser -> unit)  * visitor_c -> initialiser -> unit;
  10   kcppdirective: (cpp_directive -> unit) * visitor_c -> cpp_directive -> unit;
  11   kdefineval : (define_val -> unit) * visitor_c -> define_val -> unit;
  12   kstatementseq: (statement_sequencable   -> unit) * visitor_c -> statement_sequencable   -> unit;
  13   kfield: (field -> unit) * visitor_c -> field -> unit;
  14
  15
  16   knode      :
  17     (Control_flow_c.node -> unit) * visitor_c -> Control_flow_c.node -> unit;
  18   ktoplevel: (toplevel -> unit) * visitor_c -> toplevel -> unit;
  19   kinfo      : (info        -> unit)  * visitor_c -> info        -> unit;
  20 }
  21
  22 val default_visitor_c : visitor_c
  23
  24 val vk_expr      : visitor_c -> expression  -> unit
  25 val vk_statement : visitor_c -> statement   -> unit
  26 val vk_type      : visitor_c -> fullType    -> unit
  27 val vk_decl      : visitor_c -> declaration -> unit
  28 val vk_onedecl   : visitor_c -> onedecl -> unit
  29 val vk_ini       : visitor_c -> initialiser -> unit
  30 val vk_def       : visitor_c -> definition  -> unit
  31 val vk_node      : visitor_c -> Control_flow_c.node -> unit
  32 val vk_info      : visitor_c -> info -> unit
  33 val vk_toplevel : visitor_c -> toplevel -> unit
  34 val vk_program  : visitor_c -> program -> unit
  35
  36 val vk_argument : visitor_c -> argument -> unit
  37 val vk_argument_list : visitor_c -> argument wrap2 list -> unit
  38 val vk_args_splitted : visitor_c -> (argument, il) Common.either list -> unit
  39 val vk_param : visitor_c -> parameterType -> unit
  40 val vk_param_list : visitor_c -> parameterType wrap2 list -> unit
  41 val vk_params_splitted :
  42   visitor_c -> (parameterType, il) Common.either list -> unit
  43
  44 val vk_struct_fields : visitor_c -> field list -> unit
  45 val vk_struct_fieldkinds : visitor_c -> fieldkind wrap list -> unit
  46
  47 val vk_cst : visitor_c -> ((constant, string) Common.either wrap) -> unit
  48
  49 val vk_define_params_splitted :
  50   visitor_c -> (string Ast_c.wrap, il) Common.either list -> unit
  51
  52
  53
  54
  55 type 'a inout = 'a -> 'a
  56 type visitor_c_s = {
  57   kexpr_s      : expression     inout * visitor_c_s -> expression     inout;
  58   kstatement_s : statement      inout * visitor_c_s -> statement      inout;
  59   ktype_s      : fullType       inout * visitor_c_s -> fullType       inout;
  60   kdecl_s      : declaration    inout * visitor_c_s -> declaration    inout;
  61   kdef_s       : definition     inout * visitor_c_s -> definition     inout;
  62   kini_s       : initialiser    inout * visitor_c_s -> initialiser    inout;
  63   kcppdirective_s : (cpp_directive inout * visitor_c_s) -> cpp_directive inout;
  64   kdefineval_s : (define_val inout * visitor_c_s) -> define_val inout;
  65   kstatementseq_s: (statement_sequencable inout * visitor_c_s) -> statement_sequencable inout;
  66   kstatementseq_list_s:
  67     (statement_sequencable list inout * visitor_c_s) -> statement_sequencable list inout;
  68   knode_s      :
  69     Control_flow_c.node inout * visitor_c_s -> Control_flow_c.node    inout;
  70   ktoplevel_s  : toplevel inout * visitor_c_s -> toplevel inout;
  71   kinfo_s      : info           inout * visitor_c_s -> info           inout;
  72   }
  73
  74 val default_visitor_c_s : visitor_c_s
  75
  76 val vk_expr_s : visitor_c_s -> expression -> expression
  77 val vk_argument_s : visitor_c_s -> argument -> argument
  78 val vk_statement_s : visitor_c_s -> statement -> statement
  79 val vk_statement_sequencable_s : visitor_c_s -> statement_sequencable -> statement_sequencable
  80 val vk_type_s : visitor_c_s -> fullType -> fullType
  81 val vk_decl_s : visitor_c_s -> declaration -> declaration
  82 val vk_ini_s : visitor_c_s -> initialiser -> initialiser
  83 val vk_def_s : visitor_c_s -> definition -> definition
  84 val vk_toplevel_s : visitor_c_s -> toplevel -> toplevel
  85 val vk_info_s : visitor_c_s -> info -> info
  86 val vk_ii_s : visitor_c_s -> info list -> info list
  87 val vk_node_s : visitor_c_s -> Control_flow_c.node -> Control_flow_c.node
  88 val vk_program_s  : visitor_c_s -> program -> program
  89
  90 val vk_arguments_s :
  91   visitor_c_s ->
  92   argument wrap2 list -> argument wrap2 list
  93
  94 val vk_args_splitted_s :
  95   visitor_c_s ->
  96   (argument, il) Common.either list ->
  97   (argument, il) Common.either list
  98
  99 val vk_params_s :
 100   visitor_c_s ->
 101   parameterType wrap2 list -> parameterType wrap2 list
 102
 103 val vk_params_splitted_s :
 104   visitor_c_s ->
 105   (parameterType, il) Common.either list ->
 106   (parameterType, il) Common.either list
 107
 108
 109
 110 val vk_param_s : visitor_c_s -> parameterType -> parameterType
 111
 112 val vk_define_params_splitted_s :
 113   visitor_c_s ->
 114   (string Ast_c.wrap, il) Common.either list ->
 115   (string Ast_c.wrap, il) Common.either list
 116
 117 val vk_struct_fields_s : visitor_c_s -> field list -> field list
 118
 119 val vk_cst_s : visitor_c_s -> ((constant, string) Common.either wrap) inout