package coccinelle

  1. Overview
  2. Docs
Package contains no libraries
type visitor_c = Visitor_c.visitor_c = {
  1. kexpr : ((Ast_c.expression -> unit) * visitor_c) -> Ast_c.expression -> unit;
  2. kassignOp : ((Ast_c.assignOp -> unit) * visitor_c) -> Ast_c.assignOp -> unit;
  3. kbinaryOp : ((Ast_c.binaryOp -> unit) * visitor_c) -> Ast_c.binaryOp -> unit;
  4. kstatement : ((Ast_c.statement -> unit) * visitor_c) -> Ast_c.statement -> unit;
  5. ktype : ((Ast_c.fullType -> unit) * visitor_c) -> Ast_c.fullType -> unit;
  6. kdecl : ((Ast_c.declaration -> unit) * visitor_c) -> Ast_c.declaration -> unit;
  7. konedecl : ((Ast_c.onedecl -> unit) * visitor_c) -> Ast_c.onedecl -> unit;
  8. konedecl_opt : bool -> ((Ast_c.onedecl -> unit) * visitor_c) -> Ast_c.onedecl -> unit;
  9. kparam : ((Ast_c.parameterType -> unit) * visitor_c) -> Ast_c.parameterType -> unit;
  10. kdef : ((Ast_c.definition -> unit) * visitor_c) -> Ast_c.definition -> unit;
  11. kname : ((Ast_c.name -> unit) * visitor_c) -> Ast_c.name -> unit;
  12. kini : ((Ast_c.initialiser -> unit) * visitor_c) -> Ast_c.initialiser -> unit;
  13. kfield : ((Ast_c.field -> unit) * visitor_c) -> Ast_c.field -> unit;
  14. kcppdirective : ((Ast_c.cpp_directive -> unit) * visitor_c) -> Ast_c.cpp_directive -> unit;
  15. kifdefdirective : ((Ast_c.ifdef_directive -> unit) * visitor_c) -> Ast_c.ifdef_directive -> unit;
  16. kdefineval : ((Ast_c.define_val -> unit) * visitor_c) -> Ast_c.define_val -> unit;
  17. kstatementseq : ((Ast_c.statement_sequencable -> unit) * visitor_c) -> Ast_c.statement_sequencable -> unit;
  18. knode : ((Control_flow_c.node -> unit) * visitor_c) -> Control_flow_c.node -> unit;
  19. ktoplevel : ((Ast_c.toplevel -> unit) * visitor_c) -> Ast_c.toplevel -> unit;
  20. kfragment : ((Ast_c.string_fragment -> unit) * visitor_c) -> Ast_c.string_fragment -> unit;
  21. kformat : ((Ast_c.string_format -> unit) * visitor_c) -> Ast_c.string_format -> unit;
  22. kinfo : ((Ast_c.info -> unit) * visitor_c) -> Ast_c.info -> unit;
}
val default_visitor_c : visitor_c
val vk_expr : visitor_c -> Ast_c.expression -> unit
val vk_assignOp : visitor_c -> Ast_c.assignOp -> unit
val vk_binaryOp : visitor_c -> Ast_c.binaryOp -> unit
val vk_statement : visitor_c -> Ast_c.statement -> unit
val vk_statement_sequencable : visitor_c -> Ast_c.statement_sequencable -> unit
val vk_statement_sequencable_list : visitor_c -> Ast_c.statement_sequencable list -> unit
val vk_type : visitor_c -> Ast_c.fullType -> unit
val vk_decl : visitor_c -> Ast_c.declaration -> unit
val vk_decl_list : visitor_c -> Ast_c.declaration list -> unit
val vk_onedecl_opt : bool -> visitor_c -> Ast_c.onedecl -> unit
val vk_onedecl : visitor_c -> Ast_c.onedecl -> unit
val vk_ini : visitor_c -> Ast_c.initialiser -> unit
val vk_ini_list : visitor_c -> Ast_c.initialiser Ast_c.wrap2 list -> unit
val vk_inis_splitted : visitor_c -> (Ast_c.initialiser, Ast_c.il) Common.either list -> unit
val vk_name : visitor_c -> Ast_c.name -> unit
val vk_def : visitor_c -> Ast_c.definition -> unit
val vk_node : visitor_c -> Control_flow_c.node -> unit
val vk_string_fragment : visitor_c -> Ast_c.string_fragment -> unit
val vk_string_fragments : visitor_c -> Ast_c.string_fragment list -> unit
val vk_string_fragments_splitted : visitor_c -> (Ast_c.string_fragment, Ast_c.il) Common.either list -> unit
val vk_string_format : visitor_c -> Ast_c.string_format -> unit
val vk_info : visitor_c -> Ast_c.info -> unit
val vk_toplevel : visitor_c -> Ast_c.toplevel -> unit
val vk_program : visitor_c -> Ast_c.program -> unit
val vk_argument : visitor_c -> Ast_c.argument -> unit
val vk_argument_list : visitor_c -> Ast_c.argument Ast_c.wrap2 list -> unit
val vk_args_splitted : visitor_c -> (Ast_c.argument, Ast_c.il) Common.either list -> unit
val vk_param : visitor_c -> Ast_c.parameterType -> unit
val vk_param_list : visitor_c -> Ast_c.parameterType Ast_c.wrap2 list -> unit
val vk_params_splitted : visitor_c -> (Ast_c.parameterType, Ast_c.il) Common.either list -> unit
val vk_struct_field : visitor_c -> Ast_c.field -> unit
val vk_struct_fields : visitor_c -> Ast_c.field list -> unit
val vk_struct_fieldkinds : visitor_c -> Ast_c.fieldkind Ast_c.wrap list -> unit
val vk_enum_fields : visitor_c -> Ast_c.enumType -> unit
val vk_enum_fields_splitted : visitor_c -> (Ast_c.oneEnumType, Ast_c.il) Common.either list -> unit
val vk_cst : visitor_c -> (Ast_c.constant, string) Common.either Ast_c.wrap -> unit
val vk_define_params : visitor_c -> string Ast_c.wrap Ast_c.wrap2 list -> unit
val vk_define_params_splitted : visitor_c -> (string Ast_c.wrap, Ast_c.il) Common.either list -> unit
val vk_ident_list_splitted : visitor_c -> (Ast_c.name, Ast_c.il) Common.either list -> unit
val vk_exec_code_list_splitted : visitor_c -> (Ast_c.exec_code, Ast_c.il) Common.either list -> unit
val vk_attribute : visitor_c -> Ast_c.attribute -> unit
val vk_attr_arg : visitor_c -> Ast_c.attr_arg -> unit
val vk_attrs_splitted : visitor_c -> (Ast_c.attribute, Ast_c.il) Common.either list -> unit
type !'a inout = 'a -> 'a
type visitor_c_s = Visitor_c.visitor_c_s = {
  1. kexpr_s : (Ast_c.expression inout * visitor_c_s) -> Ast_c.expression inout;
  2. kassignOp_s : (Ast_c.assignOp inout * visitor_c_s) -> Ast_c.assignOp inout;
  3. kbinaryOp_s : (Ast_c.binaryOp inout * visitor_c_s) -> Ast_c.binaryOp inout;
  4. kstatement_s : (Ast_c.statement inout * visitor_c_s) -> Ast_c.statement inout;
  5. ktype_s : (Ast_c.fullType inout * visitor_c_s) -> Ast_c.fullType inout;
  6. kdecl_s : (Ast_c.declaration inout * visitor_c_s) -> Ast_c.declaration inout;
  7. kdef_s : (Ast_c.definition inout * visitor_c_s) -> Ast_c.definition inout;
  8. kname_s : (Ast_c.name inout * visitor_c_s) -> Ast_c.name inout;
  9. kini_s : (Ast_c.initialiser inout * visitor_c_s) -> Ast_c.initialiser inout;
  10. kcppdirective_s : (Ast_c.cpp_directive inout * visitor_c_s) -> Ast_c.cpp_directive inout;
  11. kifdefdirective_s : (Ast_c.ifdef_directive inout * visitor_c_s) -> Ast_c.ifdef_directive inout;
  12. kdefineval_s : (Ast_c.define_val inout * visitor_c_s) -> Ast_c.define_val inout;
  13. kstatementseq_s : (Ast_c.statement_sequencable inout * visitor_c_s) -> Ast_c.statement_sequencable inout;
  14. kstatementseq_list_s : (Ast_c.statement_sequencable list inout * visitor_c_s) -> Ast_c.statement_sequencable list inout;
  15. knode_s : (Control_flow_c.node inout * visitor_c_s) -> Control_flow_c.node inout;
  16. ktoplevel_s : (Ast_c.toplevel inout * visitor_c_s) -> Ast_c.toplevel inout;
  17. kfragment_s : (Ast_c.string_fragment inout * visitor_c_s) -> Ast_c.string_fragment inout;
  18. kformat_s : (Ast_c.string_format inout * visitor_c_s) -> Ast_c.string_format inout;
  19. kinfo_s : (Ast_c.info inout * visitor_c_s) -> Ast_c.info inout;
}
val default_visitor_c_s : visitor_c_s
val vk_assignOp_s : visitor_c_s -> Ast_c.assignOp -> Ast_c.assignOp
val vk_binaryOp_s : visitor_c_s -> Ast_c.binaryOp -> Ast_c.binaryOp
val vk_argument_s : visitor_c_s -> Ast_c.argument -> Ast_c.argument
val vk_statement_s : visitor_c_s -> Ast_c.statement -> Ast_c.statement
val vk_statement_sequencable_list_s : visitor_c_s -> Ast_c.statement_sequencable list -> Ast_c.statement_sequencable list
val vk_onedecl_opt_s : bool -> visitor_c_s -> Ast_c.onedecl -> Ast_c.onedecl
val vk_onedecl_s : visitor_c_s -> Ast_c.onedecl -> Ast_c.onedecl
val vk_decl_list_s : visitor_c_s -> Ast_c.declaration list -> Ast_c.declaration list
val vk_name_s : visitor_c_s -> Ast_c.name -> Ast_c.name
val vk_toplevel_s : visitor_c_s -> Ast_c.toplevel -> Ast_c.toplevel
val vk_string_fragments_s : visitor_c_s -> Ast_c.string_fragment list -> Ast_c.string_fragment list
val vk_string_fragments_splitted_s : visitor_c_s -> (Ast_c.string_fragment, Ast_c.il) Common.either list -> (Ast_c.string_fragment, Ast_c.il) Common.either list
val vk_string_format_s : visitor_c_s -> Ast_c.string_format -> Ast_c.string_format
val vk_info_s : visitor_c_s -> Ast_c.info -> Ast_c.info
val vk_ii_s : visitor_c_s -> Ast_c.info list -> Ast_c.info list
val vk_node_s : visitor_c_s -> Control_flow_c.node -> Control_flow_c.node
val vk_program_s : visitor_c_s -> Ast_c.program -> Ast_c.program
val vk_arguments_s : visitor_c_s -> Ast_c.argument Ast_c.wrap2 list -> Ast_c.argument Ast_c.wrap2 list
val vk_define_params_s : visitor_c_s -> string Ast_c.wrap Ast_c.wrap2 list -> string Ast_c.wrap Ast_c.wrap2 list
val vk_define_params_splitted_s : visitor_c_s -> (string Ast_c.wrap, Ast_c.il) Common.either list -> (string Ast_c.wrap, Ast_c.il) Common.either list
val vk_ident_list_splitted_s : visitor_c_s -> (Ast_c.name, Ast_c.il) Common.either list -> (Ast_c.name, Ast_c.il) Common.either list
val vk_enum_fields_s : visitor_c_s -> Ast_c.enumType -> Ast_c.enumType
val vk_enum_fields_splitted_s : visitor_c_s -> (Ast_c.oneEnumType, Ast_c.il) Common.either list -> (Ast_c.oneEnumType, Ast_c.il) Common.either list
val vk_struct_field_s : visitor_c_s -> Ast_c.field -> Ast_c.field
val vk_struct_fields_s : visitor_c_s -> Ast_c.field list -> Ast_c.field list
val vk_exec_code_list_splitted_s : visitor_c_s -> (Ast_c.exec_code, Ast_c.il) Common.either list -> (Ast_c.exec_code, Ast_c.il) Common.either list
val vk_attribute_s : visitor_c_s -> Ast_c.attribute -> Ast_c.attribute
val vk_attr_arg_s : visitor_c_s -> Ast_c.attr_arg -> Ast_c.attr_arg
OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct