tools/java/Environment.java

93     public ClassDeclaration getClassDeclaration(Identifier nm) {
94         return env.getClassDeclaration(nm);
144         return getClassDeclaration(nm).getClassDefinition(this);
152     public ClassDeclaration getClassDeclaration(Type t) {
153         return getClassDeclaration(t.getClassName());
241                 if (!c.canAccess(this, def.getClassDeclaration())) {
306             ClassDeclaration decl = def.getClassDeclaration();
366                             ClassDeclaration rdecl = c.getClassDeclaration();
368                             ClassDeclaration fdecl = c.getClassDeclaration();
413         return getClassDeclaration(nm).getClassDefinition(this);
630         Type bestType = best.getClassDeclaration().getType();
631         Type otherType = other.getClassDeclaration().getType();
701                                            fromDef.getClassDeclaration());
725                                                toClass.getClassDeclaration());
729                                              fromClass.getClassDeclaration());
743                    fromClass.superClassOf(this, toClass.getClassDeclaration());