protected void checkClass(JavaClass c) { enclosingScopes.push(c); for (Decl d : c.declarations()) { checkDeclaration(d); } enclosingScopes.pop(); }