List of leastUpperBound() Examples

Examples of leastUpperBound()

dk.brics.string.intermediate.VariableType.leastUpperBound()
ptolemy.graph.CPO.leastUpperBound()
Compute the least upper bound (LUB) of two elements. The LUB of two elements is the least element in the CPO that is greater than or the same as both of the two elements. @param e1 An Object representing an element in this CPO. @param e2 An Object representing an element in this CPO. @return An Object representing the LUB of the two specifiedelements, or null if the LUB does not exist. @exception IllegalArgumentException If at least one of thespecified Objects is not an element of this CPO.

Examples of dk.brics.string.intermediate.VariableType.leastUpperBound()

            if (isAbsolute(relation)) {
                boolean equals = relation == Relation.EQUAL;
                VariableType lefttype = context.fromSootType(v.getOp1().getType());
                VariableType righttype = context.fromSootType(v.getOp2().getType());
                if (lefttype.leastUpperBound(VariableType.NONE) != VariableType.NONE 
                    && righttype.leastUpperBound(VariableType.NONE) != VariableType.NONE) {
                    Variable left = context.getExpressionVariable(v.getOp1());
                    Variable right = context.getExpressionVariable(v.getOp2());
                    if (equals == true) {
                        makeBinaryAssertion(left, right, new AssertEquals());
                        makeBinaryAssertion(right, left, new AssertEquals());

View Full Code Here

Examples of ptolemy.graph.CPO.leastUpperBound()

            } else if ((type1 instanceof ArrayType)
                    && (type2 instanceof ArrayType)) {
                Type elType1 = ((ArrayType) type1).getElementType();
                Type elType2 = ((ArrayType) type2).getElementType();
                CPO lattice = TypeLattice.lattice();
                return lattice.leastUpperBound(elType1, elType2);
            } else if ((type1 instanceof MatrixType)
                    && (type2 instanceof MatrixType)) {
                Type elType1 = ((MatrixType) type1).getElementType();
                Type elType2 = ((MatrixType) type2).getElementType();
                CPO lattice = TypeLattice.lattice();

View Full Code Here

Examples of ptolemy.graph.CPO.leastUpperBound()

            } else if ((type1 instanceof MatrixType)
                    && (type2 instanceof MatrixType)) {
                Type elType1 = ((MatrixType) type1).getElementType();
                Type elType2 = ((MatrixType) type2).getElementType();
                CPO lattice = TypeLattice.lattice();
                return lattice.leastUpperBound(elType1, elType2);
            } else {
                return BaseType.UNKNOWN;
            }
        }

View Full Code Here

Examples of ptolemy.graph.CPO.leastUpperBound()

                    }
                }


                CPO lattice = TypeLattice.lattice();
                Object[] portTypeArray = portTypeList.toArray();
                result = (Type) lattice.leastUpperBound(portTypeArray);
            }


            return result;
        } finally {
            _workspace.doneReading();

View Full Code Here

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.