Examples of net.sf.saxon.type.TypeHierarchy.relationship()

net.sf.saxon.type.TypeHierarchy.relationship()
Determine the relationship of one item type to another. @param t1 the first item type @param t2 the second item type @return {@link #SAME_TYPE} if the types are the same; {@link #SUBSUMES} if the firsttype subsumes the second (that is, all instances of the second type are also instances of the first); {@link #SUBSUMED_BY} if the second type subsumes the first;{@link #OVERLAPS} if the two types overlap (have a non-empty intersection, but neithersubsumes the other); {@link #DISJOINT} if the two types are disjoint (have an empty intersection)

        AtomicType type1 = (AtomicType)itemType1.getPrimitiveItemType();
        if (type1.getFingerprint() == StandardNames.XS_UNTYPED_ATOMIC) {
            operand1 = new UntypedAtomicConverter(operand1, BuiltInAtomicType.DOUBLE, true);
            type1 = BuiltInAtomicType.DOUBLE;
        } else if (!(operand1 instanceof UntypedAtomicConverter) &&
                th.relationship(type1, BuiltInAtomicType.UNTYPED_ATOMIC) != TypeHierarchy.DISJOINT) {
            operand1 = new UntypedAtomicConverter(operand1, BuiltInAtomicType.DOUBLE, false);
            type1 = (AtomicType)operand1.getItemType(th);
        }


        if (operand0 != oldOp0) {

View Full Code Here

            if (this instanceof XSLVariable && !isAssignable()) {
                if (select instanceof Literal) {
                    // we can't rely on the constant value because it hasn't yet been type-checked,
                    // which could change it (eg by numeric promotion). Rather than attempt all the type-checking
                    // now, we do a quick check. See test bug64
                    int relation = th.relationship(select.getItemType(th), type.getPrimaryType());
                    if (relation == TypeHierarchy.SAME_TYPE || relation == TypeHierarchy.SUBSUMED_BY) {
                        constantValue = ((Literal)select).getValue();
                    }
                }
                if (select != null) {

View Full Code Here

0 1 2

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.