Examples of UnionType

com.google.javascript.rhino.jstype.UnionType
The {@code UnionType} implements a common JavaScript idiom in which thecode is specifically designed to work with multiple input types. Because JavaScript always knows the run-time type of an object value, this is safer than a C union.
For instance, values of the union type {@code (String,boolean)} can be oftype {@code String} or of type {@code boolean}. The commutativity of the statement is captured by making {@code (String,boolean)} and{@code (boolean,String)} equal.
The implementation of this class prevents the creation of nested unions.
com.redhat.ceylon.compiler.typechecker.model.UnionType
org.apache.axis2.corba.idl.types.UnionType
org.yinwang.pysonar.types.UnionType
ptolemy.data.type.UnionType
A class representing the type of a UnionToken. To set the type of a typeable object (such as a port or parameter) to a union with particular fields, create an instance of this class and call setTypeEquals() with that instance as an argument.
Note that an union type with more fields is a supertype of a union type with a subset of the fields. For example, {|x = double, y = int} is a supertype of {|x = double}. When an union of type {|x = double} is converted to one of type {|x = double, y = int}, an extra field is added, but a value with the lower type will not have the type of this extra field. @author Yuhong Xiong, Elaine Cheong and Steve Neuendorffer @version $Id: UnionType.java,v 1.17 2007/12/07 06:31:47 cxh Exp $ @since Ptolemy II 5.2 @Pt.ProposedRating Red (yuhongx) @Pt.AcceptedRating Red (cxh)

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

        if (td == null && m.containsKey("comp")) {
            @SuppressWarnings("unchecked")
            final List<Map<String,Object>> tmaps = (List<Map<String,Object>>)m.get(MetamodelGenerator.KEY_TYPES);
            final ArrayList<ProducedType> types = new ArrayList<ProducedType>(tmaps.size());
            if ("u".equals(m.get("comp"))) {
                UnionType ut = new UnionType(u2);
                for (Map<String, Object> tmap : tmaps) {
                    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);

View Full Code Here

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

            if (et==null || et.isSubtypeOf(at)) {
                returnType.setTypeModel(at);
            }
            else {
                if (!at.isSubtypeOf(et)) {
                    UnionType ut = new UnionType(unit);
                    List<ProducedType> list = 
                            new ArrayList<ProducedType>(2);
                    addToUnion(list, et);
                    addToUnion(list, at);
                    ut.setCaseTypes(list);
                    returnType.setTypeModel( ut.getType() );
                }
            }
        }
    }

View Full Code Here

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

        }
        return formIntersection(types);
    }


    private ProducedType formUnion(List<ProducedType> types) {
        UnionType ut = new UnionType(unit);
        ut.setCaseTypes(types);
        return ut.getType();
    }

View Full Code Here

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

        if (!isTypeUnknown(rhst) && !isTypeUnknown(lhst)) {
            checkOptional(lhst, that.getLeftTerm(), that.getLeftTerm());
            List<ProducedType> list = new ArrayList<ProducedType>(2);
            addToUnion(list, unit.denotableType(rhst));
            addToUnion(list, unit.getDefiniteType(unit.denotableType(lhst)));
            UnionType ut = new UnionType(unit);
            ut.setCaseTypes(list);
            ProducedType rt = ut.getType();
            that.setTypeModel(rt);
            /*that.setTypeModel(rhst);
            ProducedType ot;
            if (isOptionalType(rhst)) {
                ot = rhst;

View Full Code Here

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

                }
                else {
                    addToUnion(list, ct);
                }
            }
            UnionType ut = new UnionType(unit);
            ut.setCaseTypes(list);
            //if the union of the case types covers 
            //the switch expression type then the 
            //switch is exhaustive
            if (!ut.getType().covers(st)) {
                switchClause.addError("case types must cover all cases of the switch type or an else clause must appear: '" +
                                ut.getType().getProducedTypeName(unit) + "' does not cover '" + 
                                st.getProducedTypeName(unit) + "'");
            }
        }
        /*else if (dynamic) {
            that.addError("else clause must appear: static type not known");

View Full Code Here

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

    }


    public static boolean abbreviateOptional(ProducedType pt) {
        if (pt.getDeclaration() instanceof UnionType) {
            Unit unit = pt.getDeclaration().getUnit();
            UnionType ut = (UnionType) pt.getDeclaration();
            return ut.getCaseTypes().size()==2 &&
                    isElementOfUnion(ut, unit.getNullDeclaration()); /*&&
                    minus(unit.getNullDeclaration()).isPrimitiveAbbreviatedType();*/
        }
        else {
            return false;

View Full Code Here

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

            elemtypes.set(lastIndex, u.getSequentialElementType(last));
        }
        if (elemtypes==null) {
            return false;
        }
        UnionType ut = new UnionType(u);
        ut.setCaseTypes(elemtypes);
        ProducedType t = ut.getType();
        ProducedType typeArg = 
                args.getTypeArgumentList().get(0);
        if (typeArg==null) {
            return false;
        }

View Full Code Here

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

                public TypeDeclaration initDeclaration() {
                    List<ProducedType> types = 
                            new ArrayList<ProducedType>(2);
                    types.add(unit.getType(unit.getNullDeclaration()));
                    if (definiteType!=null) types.add(definiteType);
                    UnionType ut = new UnionType(unit);
                    ut.setCaseTypes(types);
                    return ut;
                }
                @Override
                public Map<TypeParameter, ProducedType> initTypeArguments() {
                    return emptyMap();

View Full Code Here

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

        }
        if (inExtends) {
            ProducedType t = new LazyProducedType(unit) {
                @Override
                public TypeDeclaration initDeclaration() {
                    UnionType ut = new UnionType(unit);
                    ut.setCaseTypes(types);
                    return ut;
                }
                @Override
                public Map<TypeParameter, ProducedType> initTypeArguments() {
                    return emptyMap();

View Full Code Here

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

        for (Tree.StaticType st: that.getStaticTypes()) {
            //addToUnion( types, st.getTypeModel() );
            ProducedType t = st.getTypeModel();
            if (t!=null) types.add(t);
        }
        UnionType ut = new UnionType(unit);
        ut.setCaseTypes(types);
        that.setTypeModel(ut.getType());
        //that.setTarget(pt);
    }

View Full Code Here

0 1 2 3 4 5

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.