Examples of ptolemy.data.type.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)

        for (int i = 0; i < size; i++) {
            labels[i] = ((Port) portArray[i]).getName();
            types[i] = BaseType.UNKNOWN;
        }


        UnionType declaredType = new UnionType(labels, types);


        output.setTypeEquals(declaredType);


        // set the constraints between union fields and input ports
        List constraints = new LinkedList();


        // since the output port has a clone of the above UnionType, need to
        // get the type from the output port.
        UnionType outputType = (UnionType) output.getType();


        Iterator inputPorts = inputPortList().iterator();


        while (inputPorts.hasNext()) {
            TypedIOPort inputPort = (TypedIOPort) inputPorts.next();
            String label = inputPort.getName();
            Inequality inequality = new Inequality(inputPort.getTypeTerm(),
                    outputType.getTypeTerm(label));
            constraints.add(inequality);
        }


        return constraints;
    }

View Full Code Here

        String[] labels = new String[1];
        labels[0] = _label;


        Type[] types = new Type[1];
        types[0] = _value.getType();
        return new UnionType(labels, types);
    }

View Full Code Here

        for (int i = 0; i < size; i++) {
            labels[i] = ((Port) portArray[i]).getName();
            types[i] = BaseType.GENERAL;
        }


        UnionType declaredType = new UnionType(labels, types);


        //FIXME: is this what we want?
        input.setTypeAtMost(declaredType);


        // set the constraints between union fields and output ports

View Full Code Here

         */
        public Object getValue() throws IllegalActionException {
            if (input.getType() == BaseType.UNKNOWN) {
                return BaseType.UNKNOWN;
            } else if (input.getType() instanceof UnionType) {
                UnionType type = (UnionType) input.getType();
                Type fieldType = type.get(_name);


                if (fieldType == null) {
                    return BaseType.UNKNOWN;
                } else {
                    return fieldType;

View Full Code Here

        /** 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;
                }
            }

View Full Code Here

TOP

Related Classes of ptolemy.data.type.UnionType

ptolemy.actor.lib.UnionDisassembler

ptolemy.actor.lib.UnionDisassembler$PortFunction

ptolemy.data.Token

ptolemy.data.UnionToken

ptolemy.domains.de.lib.UnionMerge

java.util.HashSet

ptolemy.kernel.util.IllegalActionException

ptolemy.kernel.util.InternalErrorException

java.util.Set

java.util.Iterator

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.