void (Attribute att) { final List<Namespace> toadd = new ArrayList<>(1); final Namespace mns = att.getNamespace(); // check to see whether the Namespace is new-to-scope. Namespace[] newscope = checkNamespace(toadd, mns, scope[depth]); pushStack(mns, newscope, toadd); }