public void attrib(Env<AttrContext> env) {
        if (env.tree.getTag() == JCTree.TOPLEVEL)
            attribTopLevel(env);
        else
            attribClass(env.tree.pos(), env.enclClass.sym);
    }