public override void visit_namespace(Namespace ns) { var old_scope = current_scope; current_scope = ns.scope; ns.accept_children(this); current_scope = old_scope; }
public override void visit_namespace(Namespace ns) { check_unused_attr(ns); ns.accept_children(this); }