Examples of UnknownType

Examples of com.redhat.ceylon.compiler.typechecker.model.UnknownType

        }
        else {
            result = pt;
        }
        if (result==null) {
            result = new UnknownType(mte.getUnit()).getType();
        }
        return result;
    }

View Full Code Here

Examples of com.redhat.ceylon.compiler.typechecker.model.UnknownType

        if (that.getStaticMethodReference()) {
            Tree.MemberOrTypeExpression primary = 
                    (Tree.MemberOrTypeExpression) that.getPrimary();
            ProducedReference target = primary.getTarget();
            return target==null ? 
                    new UnknownType(unit).getType() : 
                    target.getType();
        }
        else {
            return receivingType;
        }

View Full Code Here

Examples of com.redhat.ceylon.compiler.typechecker.model.UnknownType

                return type;
            }
            else {
                ProducedReference target = qmte.getTarget();
                if (target==null) {
                    return new UnknownType(unit).getType();
                }
                else {
                    return getStaticReferenceType(type, 
                            target.getType());
                }

View Full Code Here

Examples of com.redhat.ceylon.compiler.typechecker.model.UnknownType

    private TypeDeclaration getDeclaration(Tree.QualifiedMemberOrTypeExpression that,
            ProducedType pt) {
        if (that.getStaticMethodReference()) {
            TypeDeclaration td = (TypeDeclaration) 
                    ((Tree.MemberOrTypeExpression) that.getPrimary()).getDeclaration();
            return td==null ? new UnknownType(unit) : td;
        }
        else {
            return unwrap(pt, that).getDeclaration();
        }
    }

View Full Code Here

Examples of com.redhat.ceylon.compiler.typechecker.model.UnknownType

        if (sa!=null) {
            ProducedType tt = getTupleType(sa.getPositionalArguments(), unit, false);
            if (tt!=null) {
                st = tt.getSupertype(unit.getIterableDeclaration());
                if (st==null) {
                    st = unit.getIterableType(new UnknownType(unit).getType());
                }
            }
        }
        else {
            st = unit.getIterableType(unit.getNothingDeclaration().getType());

View Full Code Here

Examples of com.redhat.ceylon.compiler.typechecker.model.UnknownType

            List<ProducedType> args = type.getTypeArgumentList();
            for (int i=0; i<params.size(); i++) {
                TypeParameter param = params.get(i);
                if ( param.isSelfType() && args.size()>i ) {
                    ProducedType arg = args.get(i);
                    if (arg==null) arg = new UnknownType(unit).getType();
                    TypeDeclaration std = param.getSelfTypedDeclaration();
                    ProducedType at;
                    TypeDeclaration mtd;
                    if (param.getContainer().equals(std)) {
                        at = td.getType();

View Full Code Here

Examples of com.redhat.ceylon.compiler.typechecker.model.UnknownType

            that.setTypeModel( defaultType() );
        }
    }


    private ProducedType defaultType() {
        TypeDeclaration ut = new UnknownType(unit);
        Class ad = unit.getAnythingDeclaration();
        if (ad!=null) {
            ut.setExtendedType(ad.getType());
        }
        return ut.getType();
    }

View Full Code Here

Examples of com.redhat.ceylon.compiler.typechecker.model.UnknownType

            if (!l.isEmpty()) {
                that.addError("type alias is circular: definition of '" + 
                        d.getName() + "' is recursive, involving " + typeList(l));
                //to avoid stack overflows, throw 
                //away the recursive definition:
                d.setExtendedType(new UnknownType(that.getUnit()).getType());
                d.addBrokenSupertype(t);
            }
        }
    }

View Full Code Here

Examples of com.redhat.ceylon.compiler.typechecker.model.UnknownType

                            s instanceof ClassOrInterface) {
                            Method abstraction;
                            if (!((Method) member).isAbstraction()) {
                                abstraction = new Method();
                                abstraction.setAbstraction(true);
                                abstraction.setType(new UnknownType(unit).getType());
                                abstraction.setName(model.getName());
                                abstraction.setShared(true);
                                abstraction.setActual(true);
                                abstraction.setContainer(s);
                                abstraction.setScope(s);

View Full Code Here

Examples of com.redhat.ceylon.compiler.typechecker.model.UnknownType

                        return atLeastOne ? 
                                unit.getNonemptyIterableType(elementType) : 
                                unit.getIterableType(elementType);
                    }
                    else {
                        return unit.getIterableType(new UnknownType(unit).getType());
                    }
                }
                @Override
                public TypeDeclaration initDeclaration() {
                    return iterableType().getDeclaration();

View Full Code Here

0 1

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.