Package xbird.xquery.type

Examples of xbird.xquery.type.ChoiceType

98
99
100
101
102
103
104
105
106
107
108
109
    public static boolean isPromotable(final Type src, final AtomicType trg) {
        final Type primeType = src.prime();
        if(primeType instanceof AtomicType) {
            return TypeTable.isCastable((AtomicType) primeType, trg, true);
        } else if(primeType instanceof ChoiceType) {
            final ChoiceType choise = (ChoiceType) primeType;
            for(Type c : choise.getTypes()) {
                if(!isPromotable(c, trg)) {
                    return false;
                }
            }
            return true;
View Full Code Here
157
158
159
160
161
162
163
164
    public static Type union(final Type baseType, final Type type) {
        if(baseType instanceof ChoiceType) {
            ((ChoiceType) baseType).combine(type);
            return baseType;
        } else {
            return new ChoiceType(baseType, type);
        }
    }
View Full Code Here
65
66
67
68
69
70
71
    public Occurrence quantifier() {
        return Occurrence.OCC_EXACTLY_ONE;  // FIXME
    }

    public Type prime() {
        return new ChoiceType(_list);
    }
View Full Code Here
90
91
92
93
94
95
96
97
98
            if(condExpr instanceof Evaluable) {
                Sequence<? extends Item> evaluated = condExpr.eval(null, DynamicContext.DUMMY);
                boolean cond = FnBoolean.effectiveBooleanValue(evaluated);
                return cond ? thenExpr : elseExpr;
            }
            this._type = new ChoiceType(thenExpr.getType(), elseExpr.getType());
        }
        return this;
    }
View Full Code Here
TOP

Related Classes of xbird.xquery.type.ChoiceType

  • xbird.xquery.expr.cond.IfExpr
  • xbird.xquery.misc.TypeUtil
  • xbird.xquery.type.schema.UnionType
    • Copyright © 2018 www.massapicom. All rights reserved.
    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.