List of refines() Examples

Examples of refines()

com.redhat.ceylon.compiler.typechecker.model.Declaration.refines()
Does this declaration refine the given declaration? @deprecated does not take overloading into account

Examples of com.redhat.ceylon.compiler.typechecker.model.Declaration.refines()

                        if (d.isShared() && 
                                !isOverloadedVersion(d) && 
                                isResolvable(d) && 
                                !errors.contains(d.getName())) {
                            Declaration r = td.getMember(d.getName(), null, false);
                            if (r==null || !r.refines(d) && 
                                    //squash bogus error when there is a dupe declaration
                                    !r.getContainer().equals(td)) {
                                //TODO: This seems to dupe some checks that are already 
                                //      done in TypeHierarchyVisitor, resulting in
                                //      multiple errors

View Full Code Here

Examples of com.redhat.ceylon.compiler.typechecker.model.Declaration.refines()

            else {
                ClassOrInterface ci = getContainingClassOrInterface(qmte.getScope());
                if (ci!=null) {
                    Declaration etm = ci.getExtendedTypeDeclaration()
                            .getMember(member.getName(), null, false);
                    if (etm!=null && !etm.equals(member) && etm.refines(member)) {
                        qmte.addError("inherited member is refined by intervening superclass: '" + 
                                ((TypeDeclaration) etm.getContainer()).getName() + 
                                "' refines '" + member.getName() + "' declared by '" + 
                                ((TypeDeclaration) member.getContainer()).getName() + "'");
                    }

View Full Code Here

Examples of com.redhat.ceylon.compiler.typechecker.model.Declaration.refines()

                                "' refines '" + member.getName() + "' declared by '" + 
                                ((TypeDeclaration) member.getContainer()).getName() + "'");
                    }
                    for (TypeDeclaration td: ci.getSatisfiedTypeDeclarations()) {
                        Declaration stm = td.getMember(member.getName(), null, false);
                        if (stm!=null && !stm.equals(member) && stm.refines(member)) {
                            qmte.addError("inherited member is refined by intervening superinterface: '" + 
                                    ((TypeDeclaration) stm.getContainer()).getName() + 
                                    "' refines '" + member.getName() + "' declared by '" + 
                                    ((TypeDeclaration) member.getContainer()).getName() + "'");
                        }

View Full Code Here

TOP

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.