Beispiel #1
0
        public override void visit_namespace(Namespace ns)
        {
            var old_scope = current_scope;

            current_scope = ns.scope;

            ns.accept_children(this);

            current_scope = old_scope;
        }
Beispiel #2
0
 public override void visit_namespace(Namespace ns)
 {
     check_unused_attr(ns);
     ns.accept_children(this);
 }