Package com.redhat.ceylon.compiler.java.loader

Source Code of com.redhat.ceylon.compiler.java.loader.CeylonModelLoader

/*
* Copyright Red Hat Inc. and/or its affiliates and other contributors
* as indicated by the authors tag. All rights reserved.
*
* This copyrighted material is made available to anyone wishing to use,
* modify, copy, or redistribute it subject to the terms and conditions
* of the GNU General Public License version 2.
*
* This particular file is subject to the "Classpath" exception as provided in the
* LICENSE file that accompanied this code.
*
* This program is distributed in the hope that it will be useful, but WITHOUT A
* WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A
* PARTICULAR PURPOSE.  See the GNU General Public License for more details.
* You should have received a copy of the GNU General Public License,
* along with this distribution; if not, write to the Free Software
* Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston,
* MA  02110-1301, USA.
*/

package com.redhat.ceylon.compiler.java.loader;

import static javax.tools.StandardLocation.PLATFORM_CLASS_PATH;
import static javax.tools.StandardLocation.CLASS_PATH;

import java.io.IOException;
import java.util.ArrayList;
import java.util.EnumSet;
import java.util.HashMap;
import java.util.Map;

import javax.lang.model.element.NestingKind;
import javax.tools.JavaFileManager;
import javax.tools.JavaFileObject;

import com.redhat.ceylon.cmr.api.ArtifactResult;
import com.redhat.ceylon.cmr.api.JDKUtils;
import com.redhat.ceylon.compiler.java.codegen.CeylonCompilationUnit;
import com.redhat.ceylon.compiler.java.codegen.Naming;
import com.redhat.ceylon.compiler.java.loader.mirror.JavacClass;
import com.redhat.ceylon.compiler.java.loader.mirror.JavacMethod;
import com.redhat.ceylon.compiler.java.loader.model.CompilerModuleManager;
import com.redhat.ceylon.compiler.java.tools.CeylonLog;
import com.redhat.ceylon.compiler.java.tools.LanguageCompiler;
import com.redhat.ceylon.compiler.java.util.Timer;
import com.redhat.ceylon.compiler.java.util.Util;
import com.redhat.ceylon.compiler.loader.AbstractModelLoader;
import com.redhat.ceylon.compiler.loader.ModelLoaderFactory;
import com.redhat.ceylon.compiler.loader.ModelResolutionException;
import com.redhat.ceylon.compiler.loader.SourceDeclarationVisitor;
import com.redhat.ceylon.compiler.loader.TypeParser;
import com.redhat.ceylon.compiler.loader.mirror.ClassMirror;
import com.redhat.ceylon.compiler.loader.mirror.MethodMirror;
import com.redhat.ceylon.compiler.typechecker.context.PhasedUnits;
import com.redhat.ceylon.compiler.typechecker.model.Module;
import com.redhat.ceylon.compiler.typechecker.tree.Tree.CompilationUnit;
import com.redhat.ceylon.compiler.typechecker.tree.Tree.Declaration;
import com.redhat.ceylon.compiler.typechecker.tree.Tree.ModuleDescriptor;
import com.redhat.ceylon.compiler.typechecker.tree.Tree.PackageDescriptor;
import com.sun.tools.javac.code.Attribute.Compound;
import com.sun.tools.javac.code.Kinds;
import com.sun.tools.javac.code.Scope;
import com.sun.tools.javac.code.Scope.Entry;
import com.sun.tools.javac.code.Symbol;
import com.sun.tools.javac.code.Symbol.ClassSymbol;
import com.sun.tools.javac.code.Symbol.CompletionFailure;
import com.sun.tools.javac.code.Symbol.MethodSymbol;
import com.sun.tools.javac.code.Symbol.PackageSymbol;
import com.sun.tools.javac.code.Symbol.TypeSymbol;
import com.sun.tools.javac.code.Symtab;
import com.sun.tools.javac.code.Type;
import com.sun.tools.javac.code.Types;
import com.sun.tools.javac.jvm.ClassReader;
import com.sun.tools.javac.main.OptionName;
import com.sun.tools.javac.util.Context;
import com.sun.tools.javac.util.Convert;
import com.sun.tools.javac.util.List;
import com.sun.tools.javac.util.Log;
import com.sun.tools.javac.util.Name;
import com.sun.tools.javac.util.Names;
import com.sun.tools.javac.util.Options;

public class CeylonModelLoader extends AbstractModelLoader {
   
    private Symtab symtab;
    private Names names;
    private ClassReader reader;
    private PhasedUnits phasedUnits;
    private Log log;
    private Types types;
    private Options options;
    private JavaFileManager fileManager;
    protected final Map<String,Boolean> packageExistence = new HashMap<String,Boolean>();
   
    public static AbstractModelLoader instance(Context context) {
        AbstractModelLoader instance = context.get(AbstractModelLoader.class);
        if (instance == null) {
            ModelLoaderFactory factory = context.get(ModelLoaderFactory.class);
            if (factory != null) {
                instance = factory.createModelLoader(context);
            }
            else {
                instance = new CeylonModelLoader(context);
            }
            context.put(AbstractModelLoader.class, instance);
        }
        return instance;
    }

    private CeylonModelLoader(Context context) {
        phasedUnits = LanguageCompiler.getPhasedUnitsInstance(context);
        com.redhat.ceylon.compiler.typechecker.context.Context ceylonContext = LanguageCompiler.getCeylonContextInstance(context);
        symtab = Symtab.instance(context);
        names = Names.instance(context);
        reader = CeylonClassReader.instance(context);
        log = CeylonLog.instance(context);
        types = Types.instance(context);
        typeFactory = TypeFactory.instance(context);
        typeParser = new TypeParser(this);
        options = Options.instance(context);
        timer = Timer.instance(context);
        isBootstrap = options.get(OptionName.BOOTSTRAPCEYLON) != null;
        moduleManager = phasedUnits.getModuleManager();
        modules = ceylonContext.getModules();
        fileManager = context.get(JavaFileManager.class);
    }

    @Override
    protected boolean needsLocalDeclarations(){
        return false;
    }

    @Override
    public void addModuleToClassPath(Module module, ArtifactResult artifact){
        if(artifact != null){
            ((CompilerModuleManager)phasedUnits.getModuleManager()).getCeylonEnter().addModuleToClassPath(module, true, artifact);
            // invalidate all the package not found caches since they may be visible now
            synchronized(getLock()){
                java.util.List<String> clear = new ArrayList<String>(packageExistence.size());
                for(Map.Entry<String,Boolean> entry : packageExistence.entrySet()){
                    if(!entry.getValue().booleanValue())
                        clear.add(entry.getKey());
                }
                for(String key : clear){
                    packageExistence.remove(key);
                }
            }
        }
    }

    @Override
    public boolean isModuleInClassPath(Module module) {
        return ((CompilerModuleManager)phasedUnits.getModuleManager()).getCeylonEnter().isModuleInClassPath(module);
    }
   
    public void setupSourceFileObjects(java.util.List<?> treeHolders) {
        setupSourceFileObjects(treeHolders, reader, names);
        // If we're bootstrapping the Ceylon language now load the symbols from the source CU
        if(isBootstrap)
            symtab.loadCeylonSymbols();
    }

    public static void setupSourceFileObjects(java.util.List<?> treeHolders,
            final ClassReader reader,
            final Names names) {
        for(Object treeHolder : treeHolders){
            if (!(treeHolder instanceof CeylonCompilationUnit)) {
                continue;
            }
            final CeylonCompilationUnit tree = (CeylonCompilationUnit)treeHolder;
            CompilationUnit ceylonTree = tree.ceylonTree;
            final String pkgName = tree.getPackageName() != null ? Util.quoteJavaKeywords(tree.getPackageName().toString()) : "";
            ceylonTree.visit(new SourceDeclarationVisitor(){
                @Override
                public void loadFromSource(Declaration decl) {
                    if(isNative(decl))
                        return;
                    String fqn = Naming.toplevelClassName(pkgName, decl);
                    try{
                        reader.enterClass(names.fromString(fqn), tree.getSourceFile());
                    }catch(AssertionError error){
                        // this happens when we have already registered a source file for this decl, hopefully the typechecker
                        // will catch this and log an error
                    }
                }

                @Override
                public void loadFromSource(ModuleDescriptor that) {
                    try{
                        reader.enterClass(names.fromString(pkgName + "." +Naming.MODULE_DESCRIPTOR_CLASS_NAME), tree.getSourceFile());
                    }catch(AssertionError error){
                        // this happens when we have already registered a source file for this decl, hopefully the typechecker
                        // will catch this and log an error
                    }
                }

                @Override
                public void loadFromSource(PackageDescriptor that) {
                    try{
                        reader.enterClass(names.fromString(pkgName + "." +Naming.PACKAGE_DESCRIPTOR_CLASS_NAME), tree.getSourceFile());
                    }catch(AssertionError error){
                        // this happens when we have already registered a source file for this decl, hopefully the typechecker
                        // will catch this and log an error
                    }
                }
            });
        }
    }

    @Override
    public boolean loadPackage(Module module, String packageName, boolean loadDeclarations) {
        synchronized(getLock()){
            // abort if we already loaded it, but only record that we loaded it if we want
            // to load the declarations, because merely calling complete() on the package
            // is OK
            packageName = Util.quoteJavaKeywords(packageName);
            String cacheKey = cacheKeyByModule(module, packageName);
            if(loadDeclarations){
                if(!loadedPackages.add(cacheKey)){
                    return true;
                }
            }else{
                Boolean exists = packageExistence.get(cacheKey);
                if(exists != null)
                    return exists.booleanValue();
            }
            PackageSymbol ceylonPkg = packageName.equals("") ? syms().unnamedPackage : reader.enterPackage(names.fromString(packageName));
            if(loadDeclarations){
                logVerbose("load package "+packageName+" full");
                ceylonPkg.complete();
                /*
                 * Eventually this will go away as we get a hook from the typechecker to load on demand, but
                 * for now the typechecker requires at least ceylon.language to be loaded
                 */
                for(Symbol m : ceylonPkg.members().getElements()){
                    // skip things that are not classes (perhaps package-info?)
                    if(!(m instanceof ClassSymbol))
                        continue;
                    ClassSymbol enclosingClass = getEnclosing((ClassSymbol) m);

                    if(!Util.isLoadedFromSource(enclosingClass)){
                        m.complete();
                        // avoid anonymous and local classes
                        if(isAnonymousOrLocal((ClassSymbol) m))
                            continue;
                        // avoid member classes
                        if(((ClassSymbol)m).getNestingKind() != NestingKind.TOP_LEVEL)
                            continue;
                        // skip module and package descriptors
                        if(isModuleOrPackageDescriptorName(m.name.toString()))
                            continue;
                        convertToDeclaration(module, lookupClassMirror(module, m.getQualifiedName().toString()), DeclarationType.VALUE);
                    }
                }
                if(module.getNameAsString().equals(JAVA_BASE_MODULE_NAME)
                        && packageName.equals("java.lang"))
                    loadJavaBaseArrays();
                // a bit complicated, but couldn't find better. PackageSymbol.exists() seems to be set only by Enter which
                // might be too late
                return ceylonPkg.members().getElements().iterator().hasNext();
            }else{
                logVerbose("load package "+packageName+" light");
                try {
                    // it is cheaper to verify that we have a class file somewhere than to complete the whole package
                    // just to check for its existence
                    Iterable<JavaFileObject> list = fileManager.list(PLATFORM_CLASS_PATH,
                            packageName,
                            EnumSet.of(JavaFileObject.Kind.CLASS),
                            false);
                    if(list.iterator().hasNext()){
                        packageExistence.put(cacheKey, Boolean.TRUE);
                        return true;
                    }
                    list = fileManager.list(CLASS_PATH,
                            packageName,
                            EnumSet.of(JavaFileObject.Kind.CLASS),
                            false);
                    if(list.iterator().hasNext()){
                        packageExistence.put(cacheKey, Boolean.TRUE);
                        return true;
                    }else{
                        packageExistence.put(cacheKey, Boolean.FALSE);
                        return false;
                    }
                } catch (IOException e) {
                    return false;
                }
            }
        }
    }

    private boolean isAnonymousOrLocal(ClassSymbol m) {
        switch(m.getNestingKind()){
        case ANONYMOUS: return true;
        case LOCAL: return true;
        case TOP_LEVEL: return false;
        case MEMBER: return isAnonymousOrLocal((ClassSymbol) m.owner);
        }
        // can't reach?
        return false;
    }

    private ClassSymbol getEnclosing(ClassSymbol c) {
        Symbol owner = c.owner;
        com.sun.tools.javac.util.List<Name> enclosing = Convert.enclosingCandidates(Convert.shortName(c.name));
        if(enclosing.isEmpty())
            return c;
        Name name = enclosing.head;
        Symbol encl = owner.members().lookup(name).sym;
        if (encl == null || !(encl instanceof ClassSymbol))
            encl = symtab.classes.get(TypeSymbol.formFlatName(name, owner));
        if(encl != null)
            return (ClassSymbol) encl;
        return c;
    }
   
    @Override
    public ClassMirror lookupNewClassMirror(Module module, String name) {
        synchronized(getLock()){
            ClassMirror classMirror = lookupNewClassMirror(name);
            if(classMirror == null)
                return null;
            Module classMirrorModule = findModuleForClassMirror(classMirror);
            if(classMirrorModule == null){
                logVerbose("Found a class mirror with no module");
                return null;
            }
            // make sure it's imported
            if(isImported(module, classMirrorModule)){
                return classMirror;
            }
            logVerbose("Found a class mirror that is not imported: "+name);
            return null;
        }
    }
   
    private ClassMirror lookupNewClassMirror(String name) {
        ClassSymbol classSymbol = null;

        String outerName = name;
        /*
         * This madness here tries to look for a class, and if it fails, tries to resolve it
         * from its parent class. This is required because a.b.C.D (where D is an inner class
         * of C) is not found in symtab.classes but in C's ClassSymbol.enclosedElements.
         */

        // make sure we load the class file, since we no longer complete packages unless we absolutely must
        loadClass(outerName);
        do{
            // we must first try with no postfix, because we can have a valid class foo.bar in Java,
            // when in Ceylon it would be foo.bar_
            classSymbol = symtab.classes.get(names.fromString(Util.quoteJavaKeywords(outerName)));
            // try again with a postfix "_"
            if (classSymbol == null && lastPartHasLowerInitial(outerName) && !outerName.endsWith("_")) {
                classSymbol = symtab.classes.get(names.fromString(Util.quoteJavaKeywords(outerName+"_")));
            }
            if(classSymbol != null){
                // if we got a source symbol for something non-Java it's a slipery slope
                if(Util.isLoadedFromSource(classSymbol) && !Util.isJavaSource(classSymbol))
                    return null;
                if(outerName.length() != name.length()){
                    try{
                        classSymbol = lookupInnerClass(classSymbol, name.substring(outerName.length()+1).split("\\."));
                    }catch(CompletionFailure x){
                        // something wrong, we will report it properly elsewhere
                        classSymbol = null;
                    }
                }
                if(classSymbol != null && classSymbol.classfile == null && classSymbol.sourcefile == null){
                    // try to complete it if that changes anything
                    try{
                        classSymbol.complete();
                    }catch(CompletionFailure x){
                        // if we can't complete it it doesn't exist, its classfile will remain null
                    }
                    if(classSymbol.classfile == null){
                        PackageSymbol pkg = classSymbol.packge();
                        // do not log an error for missing oracle jdk stuff
                        if(pkg == null || !JDKUtils.isOracleJDKAnyPackage(pkg.getQualifiedName().toString())){
                            // do not log an error because it will be logged elsewhere
                            logVerbose("Unable to find required class file for "+name);
                        }
                        return null;
                    }
                }
                return classSymbol != null ? new JavacClass(classSymbol) : null;
            }
            int lastDot = outerName.lastIndexOf(".");
            if(lastDot == -1 || lastDot == 0)
                return null;
            outerName = outerName.substring(0, lastDot);
        }while(classSymbol == null);
        return null;
    }

    private void loadClass(String className) {
        String quotedName = Util.quoteJavaKeywords(className);
        if(!loadClassInternal(quotedName)){
            // try again with a postfix "_"
            if (lastPartHasLowerInitial(className) && !className.endsWith("_")) {
                loadClassInternal(Util.quoteJavaKeywords(className+"_"));
            }
        }
    }

    private boolean loadClassInternal(String quotedClassName) {
        try {
            Name name = names.fromString(quotedClassName);
            if(syms().classes.containsKey(name))
                return true;
            JavaFileObject fileObject = fileManager.getJavaFileForInput(PLATFORM_CLASS_PATH, quotedClassName, JavaFileObject.Kind.CLASS);
            if(fileObject == null){
                fileObject = fileManager.getJavaFileForInput(CLASS_PATH, quotedClassName, JavaFileObject.Kind.CLASS);
            }
            if(fileObject != null){
                reader.enterClass(name, fileObject);
                return true;
            }
            return false;
        } catch (IOException e) {
            // this is not normal, but will result in an error elsewhere, so just log it
            logVerbose("IOException loading class: "+e.getMessage());
            return false;
        }
    }

    private ClassSymbol lookupInnerClass(ClassSymbol classSymbol, String[] parts) {
        PART:
            for(String part : parts){
                for(Symbol s : classSymbol.getEnclosedElements()){
                    if(s instanceof ClassSymbol
                            && (s.getSimpleName().toString().equals(part)
                                    || (Util.isInitialLowerCase(part)
                                            && s.getSimpleName().toString().equals(part + "_")))){
                        classSymbol = (ClassSymbol) s;
                        continue PART;
                    }
                }
                // didn't find the inner class
                return null;
            }
        return classSymbol;
    }

    private MethodSymbol getOverriddenMethod(MethodSymbol method, Types types) {
        try{
            MethodSymbol impl = null;
            // interfaces have a different way to work
            if(method.owner.isInterface())
                return (MethodSymbol) implemented(method, method.owner.type.tsym, types);
            for (Type superType = types.supertype(method.owner.type);
                    impl == null && superType.tsym != null;
                    superType = types.supertype(superType)) {
                TypeSymbol i = superType.tsym;
                // never go above this type since it has no supertype in Ceylon (does in Java though)
                if(i.getQualifiedName().toString().equals("ceylon.language.Anything"))
                    break;
                try {
                    for (Entry e = i.members().lookup(method.name);
                            impl == null && e.scope != null;
                            e = e.next()) {
                        // ignore some methods
                        if(isIgnored(e.sym))
                            continue;
                        if (method.overrides(e.sym, (TypeSymbol)method.owner, types, true)) {
                            impl = (MethodSymbol) e.sym;
                        }
                    }
                    // try in the interfaces
                    if(impl == null)
                        impl = (MethodSymbol) implemented(method, i, types);
                } catch (Symbol.CompletionFailure x) {
                    // just ignore unresolved interfaces, error will be logged when we try to add it
                }
            }
            // try in the interfaces
            if(impl == null)
                impl = (MethodSymbol) implemented(method, method.owner.type.tsym, types);
            return impl;
        }catch(CompletionFailure x){
            handleCompletionFailure(method, x);
            return null;
        }
    }

    /**
     * Copied from MethodSymbol.implemented and adapted for ignoring methods
     */
    private Symbol implemented(MethodSymbol m, TypeSymbol c, Types types) {
        Symbol impl = null;
        for (List<Type> is = types.interfaces(c.type);
             impl == null && is.nonEmpty();
             is = is.tail) {
            TypeSymbol i = is.head.tsym;
            impl = implementedIn(m, i, types);
            if (impl == null)
                impl = implemented(m, i, types);
        }
        return impl;
    }

    /**
     * Copied from MethodSymbol.implemented and adapted for ignoring methods
     */
    private Symbol implementedIn(MethodSymbol m, TypeSymbol c, Types types) {
        Symbol impl = null;
        for (Scope.Entry e = c.members().lookup(m.name);
             impl == null && e.scope != null;
             e = e.next()) {
            // ignore some methods
            if(isIgnored(e.sym))
                continue;
            if (m.overrides(e.sym, (TypeSymbol)m.owner, types, true)/* &&
                // Ceylon (Stef): I disabled this because it failed to notice that "<T> T[] toArray(T[] ret)" would be implementing
                // "<T> T[] Collection.toArray(T[] ret)", and because this.overrides has the last parameter set to "true", which means
                // the return type is already checked and agrees with covariance and type parameter substitution, which types.isSameType
                // does not do
               
                // FIXME: I suspect the following requires a
                // subst() for a parametric return type.
                types.isSameType(type.getReturnType(),
                                 types.memberType(owner.type, e.sym).getReturnType())*/) {
                impl = e.sym;
            }
        }
        return impl;
    }

    public Symtab syms() {
        return symtab;
    }

    @Override
    protected void logVerbose(String message) {
        if(options.get(OptionName.VERBOSE) != null || options.get(OptionName.VERBOSE + ":loader") != null){
            Log.printLines(log.noticeWriter, message);
        }
    }

    @Override
    protected void logWarning(String message) {
        log.warning("ceylon", message);
    }

    @Override
    protected void logError(String message) {
        log.error("ceylon", message);
    }

    @Override
    protected boolean isOverridingMethod(MethodMirror methodSymbol) {
        final MethodSymbol method = ((JavacMethod)methodSymbol).methodSymbol;
        if (method.owner.getQualifiedName().contentEquals("ceylon.language.Identifiable")) {
            if (method.name.contentEquals("equals") || method.name.contentEquals("hashCode")) {
                return true;
            }
        }
        if (method.owner.getQualifiedName().contentEquals("ceylon.language.Object")) {
            if (method.name.contentEquals("equals") || method.name.contentEquals("hashCode") || method.name.contentEquals("toString")) {
                return false;
            }
        }
        return getOverriddenMethod(method, types) != null;
    }

    @Override
    protected boolean isOverloadingMethod(MethodMirror methodMirror) {
        final MethodSymbol method = ((JavacMethod)methodMirror).methodSymbol;
        return isOverloadingMethod(method);
    }
   
    /**
     * Returns true if the given method is overloading an inherited method (from super class or interfaces).
     */
    private boolean isOverloadingMethod(final MethodSymbol method) {
        /*
         * Copied from getOverriddenMethod and adapted for overloading
         */
        try{
            // interfaces have a different way to work
            if(method.owner.isInterface())
                return overloaded(method, method.owner.type.tsym, types);
            // Exception has a pretend supertype of Object, unlike its Java supertype of java.lang.RuntimeException
            // so we stop there for it, especially since it does not have any overloading
            if(method.owner.type.tsym.getQualifiedName().toString().equals("ceylon.language.Exception"))
                return false;
            for (Type superType = types.supertype(method.owner.type);
                    superType.tsym != null;
                    superType = types.supertype(superType)) {
                TypeSymbol i = superType.tsym;
                String fqn = i.getQualifiedName().toString();
                // never go above this type since it has no supertype in Ceylon (does in Java though)
                if(fqn.equals("ceylon.language.Anything"))
                    break;
                try {
                    for (Entry e = i.members().lookup(method.name);
                            e.scope != null;
                            e = e.next()) {
                        // ignore some methods
                        if(isIgnored(e.sym))
                            continue;
                        if (!method.overrides(e.sym, (TypeSymbol)method.owner, types, false)) {
                            return true;
                        }
                    }
                    // try in the interfaces
                    if(overloaded(method, i, types))
                        return true;
                } catch (Symbol.CompletionFailure x) {
                    // just ignore unresolved interfaces, error will be logged when we try to add it
                }
                // Exception has a pretend supertype of Object, unlike its Java supertype of java.lang.RuntimeException
                // so we stop there for it, especially since it does not have any overloading
                if(fqn.equals("ceylon.language.Exception"))
                    break;
            }
            // try in the interfaces
            if(overloaded(method, method.owner.type.tsym, types))
                return true;
            return false;
        }catch(CompletionFailure x){
            handleCompletionFailure(method, x);
            return false;
        }
    }

    private boolean isIgnored(Symbol sym) {
        if(sym.kind != Kinds.MTH)
            return true;
        String name = sym.name.toString();
        if(name.equals("finalize")
                || name.equals("clone")){
            if(sym.owner != null && sym.owner.getQualifiedName().toString().equals("java.lang.Object"))
                return true;
        }
        for(Compound ann : sym.getAnnotationMirrors()){
            if(ann.type.tsym.getQualifiedName().toString().equals(CEYLON_IGNORE_ANNOTATION))
                return true;
        }
        return false;
    }

    private void handleCompletionFailure(MethodSymbol method, CompletionFailure x) {
        if(method.owner != null){
            PackageSymbol methodPackage = method.owner.packge();
            if(methodPackage != null){
                String methodPackageName = methodPackage.getQualifiedName().toString();
                if(JDKUtils.isJDKAnyPackage(methodPackageName)){
                    if(x.sym != null && x.sym instanceof ClassSymbol){
                        PackageSymbol pkg = ((ClassSymbol)x.sym).packge();
                        if(pkg != null){
                            String pkgName = pkg.getQualifiedName().toString();
                            if(JDKUtils.isOracleJDKAnyPackage(pkgName)){
                                // the JDK tried to use some Oracle JDK stuff, just log it
                                logMissingOracleType(x.getMessage());
                                return;
                            }
                        }
                    }
                }
            }
        }
        // in every other case, rethrow as a ModelLoaderExceptions
        throw new ModelResolutionException("Failed to determine if "+method.name.toString()+" is overriding a super method", x);
    }

    /**
     * Copied from MethodSymbol.implemented and adapted for overloading
     */
    private boolean overloaded(MethodSymbol m, TypeSymbol c, Types types) {
        for (com.sun.tools.javac.util.List<Type> is = types.interfaces(c.type);
             is.nonEmpty();
             is = is.tail) {
            TypeSymbol i = is.head.tsym;
            if(overloadedIn(m, i, types))
                return true;
            if(overloaded(m, i, types))
                return true;
        }
        return false;
    }

    /**
     * Copied from MethodSymbol.implementedIn and adapted for overloading
     */
    private boolean overloadedIn(MethodSymbol m, TypeSymbol c, Types types) {
        for (Scope.Entry e = c.members().lookup(m.name);
             e.scope != null;
             e = e.next()) {
            // ignore some methods
            if(isIgnored(e.sym))
                continue;
            if (!m.overrides(e.sym, (TypeSymbol)m.owner, types, true)/* &&
                // Ceylon (Stef): I disabled this because it failed to notice that "<T> T[] toArray(T[] ret)" would be implementing
                // "<T> T[] Collection.toArray(T[] ret)", and because this.overrides has the last parameter set to "true", which means
                // the return type is already checked and agrees with covariance and type parameter substitution, which types.isSameType
                // does not do
               
                // FIXME: I suspect the following requires a
                // subst() for a parametric return type.
                types.isSameType(type.getReturnType(),
                                 types.memberType(owner.type, e.sym).getReturnType())*/) {
                return true;
            }
        }
        return false;
    }

    @Override
    protected Module findModuleForClassMirror(ClassMirror classMirror) {
        String pkgName = getPackageNameForQualifiedClassName(classMirror);
        return lookupModuleByPackageName(pkgName);
    }
}
TOP

Related Classes of com.redhat.ceylon.compiler.java.loader.CeylonModelLoader

TOP
Copyright © 2018 www.massapi.com. All rights reserved.
All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.