Package org.pdf4j.saxon.value

Examples of org.pdf4j.saxon.value.SequenceType

98
99
100
101
102
103
104
105
106
107
108
109
        }

        if (requiredType != null) {
            // if declaration is null, we've already done the type checking in a previous pass
            final TypeHierarchy th = visitor.getConfiguration().getTypeHierarchy();
            SequenceType decl = requiredType;
            SequenceType sequenceType = SequenceType.makeSequenceType(
                    decl.getPrimaryType(), StaticProperty.ALLOWS_ZERO_OR_MORE);
            RoleLocator role = new RoleLocator(RoleLocator.VARIABLE, variableName, 0
            );
            //role.setSourceLocator(this);
            sequence = TypeChecker.strictTypeCheck(
View Full Code Here
221
222
223
224
225
226
227
228
        int newcard = cardinality & getCardinality();
        if (newcard==0) {
            // this will probably lead to a type error later
            newcard = getCardinality();
        }
        SequenceType seqType = SequenceType.makeSequenceType(newItemType, newcard);
        setStaticType(seqType, constantValue, properties);
    }
View Full Code Here
65
66
67
68
69
70
71
72
73
74
75
76
        // "some" and "every" have no ordering constraints

        Optimizer opt = visitor.getConfiguration().getOptimizer();
        sequence = ExpressionTool.unsorted(opt, sequence, false);

        SequenceType decl = getRequiredType();
        SequenceType sequenceType = SequenceType.makeSequenceType(decl.getPrimaryType(),
                                             StaticProperty.ALLOWS_ZERO_OR_MORE);
        RoleLocator role = new RoleLocator(RoleLocator.VARIABLE, getVariableQName(), 0);
        //role.setSourceLocator(this);
        sequence = TypeChecker.strictTypeCheck(
                                sequence, sequenceType, role, visitor.getStaticContext());
View Full Code Here
302
303
304
305
306
307
308
309
310
311
312
    private void checkAgainstRequiredType(ExpressionVisitor visitor)
    throws XPathException {
        // Note, in some cases we are doing this twice.
        RoleLocator role = new RoleLocator(RoleLocator.VARIABLE, variableQName, 0);
        //role.setSourceLocator(this);
        SequenceType r = requiredType;
        if (r != null && select != null) {
            // check that the expression is consistent with the required type
            select = TypeChecker.staticTypeCheck(select, requiredType, false, role, visitor);
        }
    }
View Full Code Here
100
101
102
103
104
105
106
107
108
109
110
                            break;
                        }
                        if (param instanceof XSLParam &&
                                ((XSLParam)param).getVariableQName().equals(withParam.getVariableQName())) {
                            ok = true;
                            SequenceType required = ((XSLParam)param).getRequiredType();
                            withParam.checkAgainstRequiredType(required);
                            break;
                        }
                    }
                    if (!ok) {
View Full Code Here
1242
1243
1244
1245
1246
1247
1248
1249
1250
1251
            int f = annotation.getFingerprint();
            checkSchemaNamespaceImported(f, declaration);
        } else if (type instanceof CombinedNodeTest) {
            NodeTest[] tests = ((CombinedNodeTest)type).getComponentNodeTests();
            for (int i=0; i<tests.length; i++) {
                SequenceType st = SequenceType.makeSequenceType(tests[i], StaticProperty.EXACTLY_ONE);
                checkImportedType(st, declaration);
            }
        }
    }
View Full Code Here
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
                (theParameterTypes[0] == XPathContext.class);
            firstParam = (usesContext ? 1 : 0);
        }
        argumentConverters = new PJConverter[argument.length];
        if (firstArg != 0) {
            SequenceType st = PJConverter.getEquivalentItemType(theClass);
            if (st != null) {
                RoleLocator role = new RoleLocator(
                    RoleLocator.FUNCTION, getFunctionName(), 0);
                argument[0] = TypeChecker.staticTypeCheck(
                                argument[0], st, false, role, visitor);
            }
            argumentConverters[0] = PJConverter.allocate(
                    config, argument[0].getItemType(th), argument[0].getCardinality(), theClass);
        }
        int j = firstParam;
        for (int i = firstArg; i < argument.length; i++) {
            SequenceType st = PJConverter.getEquivalentItemType(theParameterTypes[j]);
            if (st != null) {
                RoleLocator role = new RoleLocator(
                    RoleLocator.FUNCTION, getFunctionName(), i);
                argument[i] = TypeChecker.staticTypeCheck(
                                argument[i], st, false, role, visitor);
View Full Code Here
50
51
52
53
54
55
56
57
58
59
60
    */

    public SequenceType getRequiredType() {
        // System.err.println("Get required type of $" + getVariableName());
        final TypeHierarchy th = getConfiguration().getTypeHierarchy();
        SequenceType defaultType = (requiredType==null ? SequenceType.ANY_SEQUENCE : requiredType);
        if (assignable) {
            return defaultType;
        } else if (requiredType != null) {
            return requiredType;
        } else if (select!=null) {
View Full Code Here
96
97
98
99
100
101
102
103
104
105
106
     * variable; or if the supplied value contains a node that does not belong to this Configuration
     * (or another Configuration that shares the same namePool)
     */

    public void setVariable(XPathVariable variable, ValueRepresentation value) throws XPathException {
        SequenceType requiredType = variable.getRequiredType();
        if (requiredType != SequenceType.ANY_SEQUENCE) {
            XPathException err = TypeChecker.testConformance(value, requiredType, contextObject);
            if (err != null) {
                throw err;
            }
View Full Code Here
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
    /**
    * Notify all references to this variable of the data type
    */

    public void fixupReferences() throws XPathException {
        final SequenceType type = getRequiredType();
        final TypeHierarchy th = getConfiguration().getTypeHierarchy();
        final Iterator iter = references.iterator();
        while (iter.hasNext()) {
            Value constantValue = null;
            int properties = 0;
            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
TOP

Related Classes of org.pdf4j.saxon.value.SequenceType

  • org.pdf4j.saxon.expr.ForExpression
  • org.pdf4j.saxon.expr.PromotionOffer
  • org.pdf4j.saxon.expr.QuantifiedExpression
  • org.pdf4j.saxon.expr.VariableReference
  • org.pdf4j.saxon.functions.ExtensionFunctionCall
  • org.pdf4j.saxon.instruct.GeneralVariable
  • org.pdf4j.saxon.om.Item
  • org.pdf4j.saxon.om.SequenceIterator
  • org.pdf4j.saxon.query.GlobalVariableDefinition
  • org.pdf4j.saxon.query.QueryModule
    • 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.