Class Java_tree.visitorSource

inherit Sourcecode.visitor
val stack : Sourcecode.stack
val deferred_tbl : (Diffast_core.Spec.node_t, unit -> unit) Hashtbl.t
method reg_deferred : Diffast_core.Spec.node_t -> (unit -> unit) -> unit
method apply_deferred : Diffast_core.Spec.node_t -> unit
method set_scope_node : Diffast_core.Spec.node_t -> unit
method scanner_body_before_subscan : Diffast_core.Spec.node_t -> unit
method scanner_body_after_subscan : Diffast_core.Spec.node_t -> unit