Module Visitor_java

type visitor_in = {
  1. kident : ((Ast_java.ident -> unit) * visitor_out) -> Ast_java.ident -> unit;
  2. kexpr : ((Ast_java.expr -> unit) * visitor_out) -> Ast_java.expr -> unit;
  3. kstmt : ((Ast_java.stmt -> unit) * visitor_out) -> Ast_java.stmt -> unit;
  4. ktype : ((Ast_java.typ -> unit) * visitor_out) -> Ast_java.typ -> unit;
  5. kvar : ((Ast_java.var -> unit) * visitor_out) -> Ast_java.var -> unit;
  6. kinit : ((Ast_java.init -> unit) * visitor_out) -> Ast_java.init -> unit;
  7. kmethod : ((Ast_java.method_decl -> unit) * visitor_out) -> Ast_java.method_decl -> unit;
  8. kfield : ((Ast_java.field -> unit) * visitor_out) -> Ast_java.field -> unit;
  9. kclass : ((Ast_java.class_decl -> unit) * visitor_out) -> Ast_java.class_decl -> unit;
  10. kdecl : ((Ast_java.decl -> unit) * visitor_out) -> Ast_java.decl -> unit;
  11. kprogram : ((Ast_java.program -> unit) * visitor_out) -> Ast_java.program -> unit;
  12. kinfo : ((Ast_java.tok -> unit) * visitor_out) -> Ast_java.tok -> unit;
}
and visitor_out = Ast_java.any -> unit
val default_visitor : visitor_in
val mk_visitor : visitor_in -> visitor_out