Package com.redhat.ceylon.compiler.typechecker.model

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

1760
1761
1762
1763
1764
1765
1766
1767
1768
        }
        else {
            result = pt;
        }
        if (result==null) {
            result = new UnknownType(mte.getUnit()).getType();
        }
        return result;
    }
View Full Code Here
4958
4959
4960
4961
4962
4963
4964
4965
4966
4967
4968
        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
4977
4978
4979
4980
4981
4982
4983
4984
4985
4986
4987
                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
5309
5310
5311
5312
5313
5314
5315
5316
5317
5318
5319
    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
5538
5539
5540
5541
5542
5543
5544
5545
5546
5547
5548
        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
6516
6517
6518
6519
6520
6521
6522
6523
6524
6525
6526
            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
6683
6684
6685
6686
6687
6688
6689
6690
6691
6692
6693
6694
            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
27
28
29
30
31
32
33
34
35
36
            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
213
214
215
216
217
218
219
220
221
222
223
                            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
1581
1582
1583
1584
1585
1586
1587
1588
1589
1590
1591
                        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
TOP

Related Classes of com.redhat.ceylon.compiler.typechecker.model.UnknownType

  • com.redhat.ceylon.compiler.java.loader.TypeFactory
  • com.redhat.ceylon.compiler.java.loader.UnknownTypeCollector
  • com.redhat.ceylon.compiler.loader.AbstractModelLoader
  • com.redhat.ceylon.compiler.typechecker.analyzer.AliasVisitor
  • com.redhat.ceylon.compiler.typechecker.analyzer.DeclarationVisitor
  • com.redhat.ceylon.compiler.typechecker.analyzer.ExpressionVisitor
  • com.redhat.ceylon.compiler.typechecker.analyzer.TypeVisitor
    • Copyright © 2018 www.massapicom. 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.