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

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

728
729
730
731
732
733
734
735
736
737
738
739
740
741
742
                    Util.addToUnion(types, getTypeFromJson(tmap, container, typeParams));
                }
                ut.setCaseTypes(types);
                td = ut;
            } else if ("i".equals(m.get("comp"))) {
                IntersectionType it = new IntersectionType(u2);
                for (Map<String, Object> tmap : tmaps) {
                    Util.addToIntersection(types, getTypeFromJson(tmap, container, typeParams), u2);
                }
                it.setSatisfiedTypes(types);
                td = it;
            } else {
                throw new IllegalArgumentException("Invalid composite type '" + m.get("comp") + "'");
            }
        } else if (td == null) {
View Full Code Here
87
88
89
90
91
92
93
94
95
96
97
98
99
            List<ProducedType> list = new ArrayList<ProducedType>();
            try {
                for (ProducedType st: d.getType().getSupertypes()) {
                    addToIntersection(list, st, unit);
                }
                IntersectionType it = new IntersectionType(unit);
                it.setSatisfiedTypes(list);
        it.canonicalize().getType();
            }
            catch (RuntimeException re) {
                if (displayErrors)
                that.addError("inheritance hierarchy is undecidable: " +
                        "could not canonicalize the intersection of all supertypes of '" +
View Full Code Here
75
76
77
78
79
80
81
82
83
84
85
86
87
            List<ProducedType> list =
                    new ArrayList<ProducedType>(upperBounds.size());
            for (ProducedType st: upperBounds) {
                addToIntersection(list, st, unit);
            }
            IntersectionType it = new IntersectionType(unit);
            it.setSatisfiedTypes(list);
            if (it.canonicalize().getType().isNothing()) {
                that.addError(typeDescription(td, unit) +
                        " has unsatisfiable upper bound constraints: the constraints '" +
                        typeNamesAsIntersection(upperBounds, unit) +
                        "' cannot be satisfied by any type except 'Nothing'");
            }
View Full Code Here
2394
2395
2396
2397
2398
2399
2400
2401
2402
2403
            //TODO: st.getProducedType(receiver, dec, typeArgs);
            if (!st.containsTypeParameters()) {
                addToIntersection(list, st, unit);
            }
        }
        IntersectionType it = new IntersectionType(unit);
        it.setSatisfiedTypes(list);
        ProducedType type = it.canonicalize().getType();
        return type;
    }
View Full Code Here
2625
2626
2627
2628
2629
2630
2631
2632
2633
        ut.setCaseTypes(types);
        return ut.getType();
    }
   
    private ProducedType formIntersection(List<ProducedType> types) {
        IntersectionType it = new IntersectionType(unit);
        it.setSatisfiedTypes(types);
        return it.canonicalize().getType();
    }
View Full Code Here
552
553
554
555
556
557
558
559
560
561
        for (Tree.StaticType st: that.getStaticTypes()) {
            //addToIntersection(types, st.getTypeModel(), unit);
            ProducedType t = st.getTypeModel();
            if (t!=null) types.add(t);
        }
        IntersectionType it = new IntersectionType(unit);
        it.setSatisfiedTypes(types);
        that.setTypeModel(it.getType());
        //that.setTarget(pt);
    }
View Full Code Here
1681
1682
1683
1684
1685
1686
1687
1688
1689
1690
1691
1692
                if (t!=null) types.add(t);
            }
            ProducedType t = new LazyProducedType(unit) {
                @Override
                public TypeDeclaration initDeclaration() {
                    IntersectionType it = new IntersectionType(unit);
                    it.setSatisfiedTypes(types);
                    return it;
                }
                @Override
                public Map<TypeParameter, ProducedType> initTypeArguments() {
                    return emptyMap();
View Full Code Here
499
500
501
502
503
504
505
506
507
508
509
510
                    return true;
            }
            return false;
        }
        if(declaration instanceof IntersectionType){
            IntersectionType ut = (IntersectionType) declaration;
            java.util.List<ProducedType> satisfiedTypes = ut.getSatisfiedTypes();
            for(ProducedType pt : satisfiedTypes){
                if(hasTypeParameterWithConstraintsOutsideScopeResolved(pt, scope))
                    return true;
            }
            return false;
View Full Code Here
4223
4224
4225
4226
4227
4228
4229
4230
4231
4232
4233
4234
4235
4236
4237
4238
    private ProducedType obtainTypeParameterBound(Module moduleScope, TypeMirror type, Scope scope, Set<TypeDeclaration> rawDeclarationsSeen) {
        // type variables are never mapped
        if(type.getKind() == TypeKind.TYPEVAR){
            TypeParameterMirror typeParameter = type.getTypeParameter();
            if(!typeParameter.getBounds().isEmpty()){
                IntersectionType it = new IntersectionType(getUnitForModule(moduleScope));
                for(TypeMirror bound : typeParameter.getBounds()){
                    ProducedType boundModel = obtainTypeParameterBound(moduleScope, bound, scope, rawDeclarationsSeen);
                    it.getSatisfiedTypes().add(boundModel);
                }
                return it.getType();
            }else
                // no bound is Object
                return typeFactory.getObjectDeclaration().getType();
        }else{
            TypeMirror mappedType = applyTypeMapping(type, TypeLocation.TYPE_PARAM);
View Full Code Here
1344
1345
1346
1347
1348
1349
1350
1351
1352
1353
1354
1355
            }
            // must be erased
            return true;
        }
        if(declaration instanceof IntersectionType){
            IntersectionType ut = (IntersectionType) declaration;
            java.util.List<ProducedType> satisfiedTypes = ut.getSatisfiedTypes();
            // special case for non-optional types
            if(satisfiedTypes.size() == 2){
                if(isObject(satisfiedTypes.get(0)))
                    return hasErasureResolved(satisfiedTypes.get(1));
                if(isObject(satisfiedTypes.get(1)))
View Full Code Here
TOP

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

  • com.redhat.ceylon.compiler.java.codegen.AbstractTransformer
  • com.redhat.ceylon.compiler.java.codegen.BoxingVisitor
  • com.redhat.ceylon.compiler.java.runtime.model.TypeDescriptor$Intersection
  • com.redhat.ceylon.compiler.java.test.model.TypeParserTest
  • com.redhat.ceylon.compiler.loader.AbstractModelLoader
  • com.redhat.ceylon.compiler.loader.JsonPackage
  • com.redhat.ceylon.compiler.loader.TypeParser
  • com.redhat.ceylon.compiler.typechecker.analyzer.DeclarationVisitor
  • com.redhat.ceylon.compiler.typechecker.analyzer.ExpressionVisitor
  • com.redhat.ceylon.compiler.typechecker.analyzer.InheritanceVisitor
    • 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.