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

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

239
240
241
242
243
244
245
246
247
248
249
        Class c = that.getDeclarationModel();
        if (c.isAnnotation()) {
            checkAnnotationType(that, c);
        }
       
        TypeDeclaration dm = that.getDeclarationModel();
        Unit unit = that.getUnit();
        checkAnnotations(that.getAnnotationList(),
                unit.getClassDeclarationType(),
                unit.getClassMetatype(dm.getType()));
    }
View Full Code Here
249
250
251
252
253
254
255
256
257
258
259
    }

    @Override
    public void visit(Tree.AnyInterface that) {
        super.visit(that);
        TypeDeclaration dm = that.getDeclarationModel();
        Unit unit = that.getUnit();
        checkAnnotations(that.getAnnotationList(),
                unit.getInterfaceDeclarationType(),
                unit.getInterfaceMetatype(dm.getType()));
    }
View Full Code Here
313
314
315
316
317
318
319
320
321
322
323
        Tree.Type type = that.getType();
        if (type!=null) {
            ProducedType t = type.getTypeModel();
            if (t!=null && t.getDeclaration()!=null) {
                if (t.getDeclaration().isAnnotation()) {
                    TypeDeclaration annotationDec = that.getUnit().getAnnotationDeclaration();
                    if (t.getDeclaration() instanceof NothingType) {
                        that.addError("annotation constructor may not return 'Nothing'");
                    }
                    if (!t.getDeclaration().inherits(annotationDec)) {
                        that.addError("annotation constructor must return a subtype of 'Annotation'");
View Full Code Here
184
185
186
187
188
189
190
191
192
193
194
                    !declaredInPackage(root, that.getUnit())) {
                that.addError("refined declaration is not visible: " +
                        message(root));
            }
            boolean found = false;
            TypeDeclaration rootType = (TypeDeclaration) root.getContainer();
            for (Declaration refined:
                    getInterveningRefinements(dec.getName(),
                            signature, root, type, rootType)) {
                if (isOverloadedVersion(refined)) {
                    //if this member is overloaded, the
View Full Code Here
19
20
21
22
23
24
25
26
27
28
29
30
        }
    }
    @Override
    public void visit(Tree.SimpleType that) {
      super.visit(that);
        TypeDeclaration d = that.getDeclarationModel();
    if (d!=null && d.isDeprecated()) {
        that.addUsageWarning(Warning.deprecation,
                    "type is deprecated: '" +
                        d.getName() + "'");
        }
    }
View Full Code Here
68
69
70
71
72
73
74
75
76
77
78
    }
   
    @Override
    public void visit(Tree.SimpleType that) {
        super.visit(that);
        TypeDeclaration t = that.getDeclarationModel();
        if (t!=null &&
            !(t instanceof UnionType) &&
            !(t instanceof IntersectionType)) {
          referenced(t);
        }
View Full Code Here
364
365
366
367
368
369
370
371
372
373
374
375
376
377
            if (pt.getDeclaration().equals(unit.getIterableDeclaration())) {
                ProducedType et = unit.getIteratedType(pt);
                if (et!=null && pt.getTypeArgumentList().size()==2) {
                    ProducedType at = pt.getTypeArgumentList().get(1);
                    if (at!=null) {
                        TypeDeclaration d = at.getDeclaration();
                        return d instanceof NothingType ||
                                d instanceof ClassOrInterface &&
                                d.equals(unit.getNullDeclaration());
                    }
                }// && et.isPrimitiveAbbreviatedType();
            }
        }
        return false;
View Full Code Here
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
            Unit u = args.getDeclaration().getUnit();
            boolean defaulted=false;
            if (args.getDeclaration() instanceof UnionType) {
                List<ProducedType> cts = args.getDeclaration().getCaseTypes();
                if (cts.size()==2) {
                    TypeDeclaration lc = cts.get(0).getDeclaration();
                    if (lc instanceof Interface &&
                            lc.equals(u.getEmptyDeclaration())) {
                        args = cts.get(1);
                        defaulted = true;
                    }
                    TypeDeclaration rc = cts.get(1).getDeclaration();
                    if (lc instanceof Interface &&
                            rc.equals(u.getEmptyDeclaration())) {
                        args = cts.get(0);
                        defaulted = true;
                    }
                }
            }
View Full Code Here
498
499
500
501
502
503
504
505
506
507
508
        boolean fullyQualified = printFullyQualified();
        if (printQualifyingType()) {
            ProducedType qt = pt.getQualifyingType();
            if (qt != null) {
              TypeDeclaration qtd = qt.getDeclaration();
        if (qtd instanceof IntersectionType ||
          qtd instanceof UnionType) {
          ptn.append(lt());
              }
                ptn.append(getProducedTypeName(qt, unit));
View Full Code Here
1886
1887
1888
1889
1890
1891
1892
1893
1894
1895
1896
1897
1898
1899
1900
1901
1902
1903
1904
1905
1906
1907
    @Override
    public void visit(Tree.ExtendedType that) {
        inExtends = true;
        super.visit(that);
        inExtends = false;
        TypeDeclaration td = (TypeDeclaration) that.getScope();
        if (td.isAlias()) {
            return;
        }
        if (that.getType()==null) {
            that.addError("missing extended type");
        }
        else if (that.getInvocationExpression()==null) {
            that.addError("missing instantiation arguments");
        }
        else {
            ProducedType type = that.getType().getTypeModel();
            if (type!=null) {
                td.setExtendedType(type);
            }
        }
    }
View Full Code Here
TOP

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

  • com.redhat.ceylon.ceylondoc.CeylonDocTool
  • com.redhat.ceylon.ceylondoc.ClassDoc
  • com.redhat.ceylon.ceylondoc.ClassOrPackageDoc
  • com.redhat.ceylon.ceylondoc.LinkRenderer
  • com.redhat.ceylon.ceylondoc.Util
  • com.redhat.ceylon.compiler.java.codegen.AbstractTransformer
  • com.redhat.ceylon.compiler.java.codegen.AnnotationModelVisitor
  • com.redhat.ceylon.compiler.java.codegen.BoxingVisitor
  • com.redhat.ceylon.compiler.java.codegen.CallableBuilder$CallMethodWithForwardedBody
  • com.redhat.ceylon.compiler.java.codegen.CeylonVisitor
    • 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.