ast_generic 1.8.0 · OCaml Package

type visitor_in = {

kexpr : ((AST_generic.expr -> unit) * visitor_out) -> AST_generic.expr -> unit;
kstmt : ((AST_generic.stmt -> unit) * visitor_out) -> AST_generic.stmt -> unit;
kstmts : ((AST_generic.stmt list -> unit) * visitor_out) -> AST_generic.stmt list -> unit;
ktype_ : ((AST_generic.type_ -> unit) * visitor_out) -> AST_generic.type_ -> unit;
kpattern : ((AST_generic.pattern -> unit) * visitor_out) -> AST_generic.pattern -> unit;
kfield : ((AST_generic.field -> unit) * visitor_out) -> AST_generic.field -> unit;
kfields : ((AST_generic.field list -> unit) * visitor_out) -> AST_generic.field list -> unit;
kattr : ((AST_generic.attribute -> unit) * visitor_out) -> AST_generic.attribute -> unit;
kpartial : ((AST_generic.partial -> unit) * visitor_out) -> AST_generic.partial -> unit;
kdef : ((AST_generic.definition -> unit) * visitor_out) -> AST_generic.definition -> unit;
kdir : ((AST_generic.directive -> unit) * visitor_out) -> AST_generic.directive -> unit;
kparam : ((AST_generic.parameter -> unit) * visitor_out) -> AST_generic.parameter -> unit;
ktparam : ((AST_generic.type_parameter -> unit) * visitor_out) -> AST_generic.type_parameter -> unit;
kcatch : ((AST_generic.catch -> unit) * visitor_out) -> AST_generic.catch -> unit;
kident : ((AST_generic.ident -> unit) * visitor_out) -> AST_generic.ident -> unit;
kname : ((AST_generic.name -> unit) * visitor_out) -> AST_generic.name -> unit;
kentity : ((AST_generic.entity -> unit) * visitor_out) -> AST_generic.entity -> unit;
kfunction_definition : ((AST_generic.function_definition -> unit) * visitor_out) -> AST_generic.function_definition -> unit;
kclass_definition : ((AST_generic.class_definition -> unit) * visitor_out) -> AST_generic.class_definition -> unit;
kinfo : ((AST_generic.tok -> unit) * visitor_out) -> AST_generic.tok -> unit;
kid_info : ((AST_generic.id_info -> unit) * visitor_out) -> AST_generic.id_info -> unit;
ksvalue : ((AST_generic.svalue -> unit) * visitor_out) -> AST_generic.svalue -> unit;
kargument : ((AST_generic.argument -> unit) * visitor_out) -> AST_generic.argument -> unit;
klit : ((AST_generic.literal -> unit) * visitor_out) -> AST_generic.literal -> unit;
ktodo : ((AST_generic.todo_kind -> unit) * visitor_out) -> AST_generic.todo_kind -> unit;
kraw : ((AST_generic.raw_tree -> unit) * visitor_out) -> AST_generic.raw_tree -> unit;

}

and visitor_out = AST_generic.any -> unit

val default_visitor : visitor_in

val mk_visitor : 
  ?vardef_assign:bool ->
  ?flddef_assign:bool ->
  ?attr_expr:bool ->
  visitor_in ->
  visitor_out

parameter vardef_assign
VarDef-Assign equivalence (default is false)

parameter flddef_assign
FieldDef-Assign equivalence (default is false)

parameter attr_expr
Attribute-expression equivalence (default is false)

val ii_of_any : AST_generic.any -> Parse_info.t list

val first_info_of_any : AST_generic.any -> Parse_info.t

val range_of_tokens : Parse_info.t list -> Parse_info.t * Parse_info.t

val range_of_any_opt : 
  AST_generic.any ->
  (Parse_info.token_location * Parse_info.token_location) option

package ast_generic