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

Examples of com.redhat.ceylon.compiler.typechecker.model.IntersectionType.canonicalize()

89
90
91
92
93
94
95
96
97
98
99
                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
77
78
79
80
81
82
83
84
85
86
87
            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
2396
2397
2398
2399
2400
2401
2402
2403
2404
2405
2406
                addToIntersection(list, st, unit);
            }
        }
        IntersectionType it = new IntersectionType(unit);
        it.setSatisfiedTypes(list);
        ProducedType type = it.canonicalize().getType();
        return type;
    }

    private ProducedType inferTypeArgument(Tree.InvocationExpression that,
            ProducedReference pr, TypeParameter tp, ParameterList parameters) {
View Full Code Here
2627
2628
2629
2630
2631
2632
2633
2634
2635
2636
2637
    }
   
    private ProducedType formIntersection(List<ProducedType> types) {
        IntersectionType it = new IntersectionType(unit);
        it.setSatisfiedTypes(types);
        return it.canonicalize().getType();
    }
   
    private ProducedType inferTypeArg(TypeParameter tp,
            ProducedType paramType,ProducedType argType,
            boolean covariant, boolean contravariant,
View Full Code Here
669
670
671
672
673
674
675
676
677
678
679
      IntersectionType ret = new IntersectionType(unit);
            ArrayList<ProducedType> satisfiedTypes = new ArrayList<ProducedType>(members.length);
            for(TypeDescriptor member : members)
              Util.addToIntersection(satisfiedTypes, Metamodel.getProducedType(member), unit);
            ret.setSatisfiedTypes(satisfiedTypes);
            return ret.canonicalize().getType();
        }
       
    @Override
        public java.lang.Class<?> getArrayElementClass() {
      java.lang.Class<?> result = null;
View Full Code Here
TOP
Copyright © 2018 www.massapi.com. 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.