Package xbird.xquery.type

Examples of xbird.xquery.type.Type

64
65
66
67
68
69
70
71
72
73
74
    public XQExpression staticAnalysis(StaticContext statEnv) throws XQueryException {
        if(!_analyzed) {
            this._analyzed = true;
            this._leftOperand = _leftOperand.staticAnalysis(statEnv);
            this._rightOperand = _rightOperand.staticAnalysis(statEnv);
            final Type integerType = TypeRegistry.safeGet("xs:integer?");
            if(!TypeUtil.subtypeOf(_leftOperand.getType(), integerType)) {
                throw new TypeError("Inferred type of left operand is invalid: "
                        + _leftOperand.getType());
            }
            if(!TypeUtil.subtypeOf(_rightOperand.getType(), integerType)) {
View Full Code Here
60
61
62
63
64
65
66
67
68
69
70
    public String toString() {
        return ".";
    }

    public XQExpression staticAnalysis(StaticContext statEnv) throws XQueryException {
        Type curType = statEnv.getContextItemStaticType();
        if(curType != null) {
            this._type = curType;
        }
        return this;
    }
View Full Code Here
103
104
105
106
107
108
109
110
111
112
113
        if(!_analyzed) {
            this._analyzed = true;
            XQExpression src = _srcExpr.staticAnalysis(statEnv);
            EagarAnnotator annotator = new EagarAnnotator();
            annotator.visit(src, null);
            Type inferredType = src.getType();
            this._srcExpr = src;
            for(int i = 0; i < _predicates.size(); i++) {
                XQExpression p = _predicates.get(i);
                statEnv.setContextItemStaticType(inferredType);
                XQExpression anylyzed = p.staticAnalysis(statEnv);
View Full Code Here
168
169
170
171
172
173
174
175
176
177
178
     */
    private AbstractXQExpression simplify(StaticContext statEnv) throws XQueryException {
        if(TypeUtil.subtypeOf(_type, SequenceType.EMPTY)) {
            return SequenceExpression.EMPTY_SEQUENCE;
        }
        Type baseType = _srcExpr.getType();
        for(int i = 0; i < _predicates.size(); i++) {
            XQExpression e = _predicates.get(i);
            if(e instanceof LiteralExpr) {
                AtomicValue literal = ((LiteralExpr) e).getValue();
                if(literal instanceof XNumber) {
View Full Code Here
306
307
308
309
310
311
312
313
314
315
316
            Sequence result = _result;
            if(result == null) {
                throw new DynamicError("External variable '$" + getName() + "' is not set");
            }
            if(checkType) {
                final Type resultType = result.getType();
                if(!TypeUtil.subtypeOf(resultType, _type)) {
                    result = DirectFunctionCall.mapFunctionArgument(_result, _type, dynEnv);
                }
            }
            return result;
View Full Code Here
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
            throws XQueryException {
        assert (argv != null);
        assert (expectedArgType != null);
        // If the function expects atomic parameters, then fn:data is called
        // to obtain them.
        final Type primeType = expectedArgType.prime();
        if(primeType instanceof AtomicType) {
            // Inserts conversions of function arguments that depend only on
            // the expected SequenceType of the corresponding parameters.
            if(expectedArgType instanceof SequenceType) {
                expectedArgType = ((SequenceType) expectedArgType).prime();
            }
            if(!(expectedArgType instanceof AtomicType)) {
                throw new TypeError("expectedArgType must be built-in atomic type, but was "
                        + expectedArgType);
            }
            final AtomicType expected = (AtomicType) expectedArgType;
            final ValueSequence res = new ValueSequence(dynEnv);
            final IFocus<? extends Item> atomizedItor = argv.atomize(dynEnv).iterator();
            for(Item it : atomizedItor) {
                final Type actualType = it.getType();
                // apply fs:ConvertSimpleOperand
                if(actualType == UntypedAtomicType.UNTYPED_ATOMIC && expected.getTypeId() >= 0) {
                    final AtomicValue casted = ((AtomicValue) it).castAs(expected, dynEnv);
                    res.addItem(casted);
                } else {
View Full Code Here
1040
1041
1042
1043
1044
1045
1046
1047
1048
1049
1050
     TODO: err:XPTY0004, err:XQST0054, err:XP0006
    ************************************************************************/
    final public void parseVarDecl() throws ParseException, XQueryException {
        final QualifiedName varName;
        Type varType = null;
        XQExpression valueExpr = null;
        boolean isExternal = false;
        currentToken = jj_consume_token(DefineVariable);
        // TODO spaces afrer "$"
        currentToken = jj_consume_token(VarName);
View Full Code Here
1104
1105
1106
1107
1108
1109
1110
1111
1112
1113
1114
    ************************************************************************/
    final public void parseFunctionDecl() throws ParseException, XQueryException {
        final UserFunction func;
        final QualifiedName funcName;
        List<ParametricVariable> paramList = Collections.<ParametricVariable> emptyList();
        Type returnType = Untyped.UNTYPED;
        final XQExpression funcBody;
        currentModule.pushVarScope();
        currentToken = jj_consume_token(DefineFunction);
        currentToken = jj_consume_token(QNameLpar);
        funcName = QNameUtil.parse(currentToken.image.substring(0, currentToken.image.length() - 1).trim(), namespaceContext, staticContext.getDefaultFunctionNamespace());
View Full Code Here
1173
1174
1175
1176
1177
1178
1179
1180
1181
1182
1183
    ************************************************************************/
    final public List<ParametricVariable> parseParamList() throws ParseException, XQueryException {
        final List<ParametricVariable> paramList = new LinkedList<ParametricVariable>();
        QualifiedName paramName;
        ParametricVariable param;
        Type paramType = null;
        currentToken = jj_consume_token(VariableIndicator);
        currentToken = jj_consume_token(VarName);
        paramName = QNameUtil.parse(currentToken.image, namespaceContext, currentModule.getNamespace());
        param = new ParametricVariable(paramName);
        currentModule.putVariable(paramName, param);
View Full Code Here
2078
2079
2080
2081
2082
2083
2084
2085
2086
2087
2088
    ************************************************************************/
    final public List<Binding> parseForClause() throws ParseException, XQueryException {
        final List<Binding> fors;
        ForClause clause;
        ForVariable var;
        Type varType = null;
        XQExpression expr;
        currentToken = jj_consume_token(ForVariable);
        currentToken = jj_consume_token(VarName);
        QualifiedName varName = QNameUtil.parse(currentToken.image, namespaceContext, currentModule.getNamespace());
        var = new ForVariable(varName);
View Full Code Here
TOP

Related Classes of xbird.xquery.type.Type

  • example.Example1
  • xbird.xqj.BXQItem
  • xbird.xqj.BXQStaticContext
  • xbird.xquery.dm.value.node.DMElement
  • xbird.xquery.dm.value.sequence.MarshalledSequence
  • xbird.xquery.expr.comp.GeneralComp
  • xbird.xquery.expr.constructor.NameExprConstructor
  • xbird.xquery.expr.constructor.PIConstructor
  • xbird.xquery.expr.dyna.ContextItemExpr
  • xbird.xquery.expr.func.DirectFunctionCall
    • 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.