tools/java/ClassDefinition.java

191     public final ClassDeclaration getSuperClass() {
194             throw new CompilerError("getSuperClass "+superClassId);
213      * All other calls to 'getSuperClass(env)' appear in 'SourceClass'.
220     public ClassDeclaration getSuperClass(Environment env) {
221         return getSuperClass();
546             otherClass = otherClass.getClassDefinition(env).getSuperClass();
572             c = c.getClassDefinition(env).getSuperClass();
581         for (; c != null ; c = c.getClassDefinition(env).getSuperClass()) {
871         ClassDeclaration sup = getSuperClass();
952         // It is likely that 'getSuperClass()' could be made to work here
957         // will originate here, instead of in the call to 'getSuperClass'
968         ClassDeclaration sup = getSuperClass(env);
1146         ClassDeclaration sup = getSuperClass();
1517         ClassDeclaration scDecl = getSuperClass(env);
1828         ClassDeclaration sup = getSuperClass();
1903         ClassDeclaration sup = getSuperClass();
2041         if (getSuperClass() != null) {
2042             out.print("extends " + getSuperClass().getName() + " ");