tools/java/ClassDefinition.java

540     public boolean superClassOf(Environment env, ClassDeclaration otherClass)
542         while (otherClass != null) {
543             if (getClassDeclaration().equals(otherClass)) {
546             otherClass = otherClass.getClassDefinition(env).getSuperClass();
554     public boolean enclosingClassOf(ClassDefinition otherClass) {
555         while ((otherClass = otherClass.getOuterClass()) != null) {
556             if (this == otherClass) {
566     public boolean subClassOf(Environment env, ClassDeclaration otherClass) throws ClassNotFound {
569             if (c.equals(otherClass)) {