protected void checkMethod(JavaMethod d) {
enclosingScopes.push(d);
checkStatement(d.body());
enclosingScopes.pop();
}
protected void checkClass(JavaClass c) {
enclosingScopes.push(c);
for (Decl d : c.declarations()) {
checkDeclaration(d);
}
enclosingScopes.pop();
}
protected void checkInterface(JavaInterface c) {
enclosingScopes.push(c);
for (Decl d : c.declarations()) {
checkDeclaration(d);
}
enclosingScopes.pop();
}
