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)

        /** Return an additional string describing the current value
         *  of this function.
         */
        public String getVerboseString() {
            if (input.getType() instanceof UnionType) {
                UnionType type = (UnionType) input.getType();
                Type fieldType = type.get(_name);


                if (fieldType == null) {
                    return "Input Union doesn't have field named " + _name;
                }
            }

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.

Examples of UnionType

Examples of ptolemy.data.type.UnionType