1 | /****************************************************************************
|
---|
2 | **
|
---|
3 | ** Copyright (C) 2009 Nokia Corporation and/or its subsidiary(-ies).
|
---|
4 | ** Contact: Qt Software Information ([email protected])
|
---|
5 | **
|
---|
6 | ** This file is part of the QtXmlPatterns module of the Qt Toolkit.
|
---|
7 | **
|
---|
8 | ** $QT_BEGIN_LICENSE:LGPL$
|
---|
9 | ** Commercial Usage
|
---|
10 | ** Licensees holding valid Qt Commercial licenses may use this file in
|
---|
11 | ** accordance with the Qt Commercial License Agreement provided with the
|
---|
12 | ** Software or, alternatively, in accordance with the terms contained in
|
---|
13 | ** a written agreement between you and Nokia.
|
---|
14 | **
|
---|
15 | ** GNU Lesser General Public License Usage
|
---|
16 | ** Alternatively, this file may be used under the terms of the GNU Lesser
|
---|
17 | ** General Public License version 2.1 as published by the Free Software
|
---|
18 | ** Foundation and appearing in the file LICENSE.LGPL included in the
|
---|
19 | ** packaging of this file. Please review the following information to
|
---|
20 | ** ensure the GNU Lesser General Public License version 2.1 requirements
|
---|
21 | ** will be met: http://www.gnu.org/licenses/old-licenses/lgpl-2.1.html.
|
---|
22 | **
|
---|
23 | ** In addition, as a special exception, Nokia gives you certain
|
---|
24 | ** additional rights. These rights are described in the Nokia Qt LGPL
|
---|
25 | ** Exception version 1.0, included in the file LGPL_EXCEPTION.txt in this
|
---|
26 | ** package.
|
---|
27 | **
|
---|
28 | ** GNU General Public License Usage
|
---|
29 | ** Alternatively, this file may be used under the terms of the GNU
|
---|
30 | ** General Public License version 3.0 as published by the Free Software
|
---|
31 | ** Foundation and appearing in the file LICENSE.GPL included in the
|
---|
32 | ** packaging of this file. Please review the following information to
|
---|
33 | ** ensure the GNU General Public License version 3.0 requirements will be
|
---|
34 | ** met: http://www.gnu.org/copyleft/gpl.html.
|
---|
35 | **
|
---|
36 | ** If you are unsure which license is appropriate for your use, please
|
---|
37 | ** contact the sales department at [email protected].
|
---|
38 | ** $QT_END_LICENSE$
|
---|
39 | **
|
---|
40 | ****************************************************************************/
|
---|
41 |
|
---|
42 | #include "qforclause_p.h"
|
---|
43 | #include "qfunctionfactory_p.h"
|
---|
44 | #include "qrangevariablereference_p.h"
|
---|
45 |
|
---|
46 | #include "qdocumentfn_p.h"
|
---|
47 |
|
---|
48 | QT_BEGIN_NAMESPACE
|
---|
49 |
|
---|
50 | using namespace QPatternist;
|
---|
51 |
|
---|
52 | Expression::Ptr DocumentFN::typeCheck(const StaticContext::Ptr &context,
|
---|
53 | const SequenceType::Ptr &reqType)
|
---|
54 | {
|
---|
55 | /* See the class documentation for the rewrite that we're doing here. */
|
---|
56 |
|
---|
57 | /* Generate type checking code for our operands such that they match. */
|
---|
58 | typeCheckOperands(context);
|
---|
59 |
|
---|
60 | const QSourceLocation myLocation(context->locationFor(this));
|
---|
61 | const FunctionFactory::Ptr functions(context->functionSignatures());
|
---|
62 |
|
---|
63 | Expression::Ptr uriSource;
|
---|
64 |
|
---|
65 | {
|
---|
66 | Expression::List distinctValuesArgs;
|
---|
67 | distinctValuesArgs.append(m_operands.first());
|
---|
68 |
|
---|
69 | uriSource = functions->createFunctionCall(QXmlName(StandardNamespaces::fn, StandardLocalNames::distinct_values),
|
---|
70 | distinctValuesArgs,
|
---|
71 | context,
|
---|
72 | this);
|
---|
73 | context->addLocation(uriSource.data(), myLocation);
|
---|
74 | }
|
---|
75 |
|
---|
76 | const VariableSlotID rangeSlot = context->allocateRangeSlot();
|
---|
77 | const Expression::Ptr uriReference(new RangeVariableReference(uriSource, rangeSlot));
|
---|
78 | context->addLocation(uriReference.data(), myLocation);
|
---|
79 |
|
---|
80 | Expression::List docArgs;
|
---|
81 |
|
---|
82 | if(m_operands.count() == 2)
|
---|
83 | {
|
---|
84 | Expression::List baseUriArgs;
|
---|
85 | baseUriArgs.append(uriReference);
|
---|
86 | baseUriArgs.append(m_operands.at(1));
|
---|
87 |
|
---|
88 | const Expression::Ptr fnBaseUri(functions->createFunctionCall(QXmlName(StandardNamespaces::fn, StandardLocalNames::resolve_uri),
|
---|
89 | baseUriArgs,
|
---|
90 | context,
|
---|
91 | this));
|
---|
92 | context->addLocation(fnBaseUri.data(), myLocation);
|
---|
93 | docArgs.append(fnBaseUri);
|
---|
94 | }
|
---|
95 | else
|
---|
96 | docArgs.append(uriReference);
|
---|
97 |
|
---|
98 | const Expression::Ptr fnDoc(functions->createFunctionCall(QXmlName(StandardNamespaces::fn, StandardLocalNames::doc),
|
---|
99 | docArgs,
|
---|
100 | context,
|
---|
101 | this));
|
---|
102 | context->addLocation(fnDoc.data(), myLocation);
|
---|
103 |
|
---|
104 |
|
---|
105 | Expression::Ptr newMe(new ForClause(rangeSlot,
|
---|
106 | uriSource,
|
---|
107 | fnDoc,
|
---|
108 | -1 /* We have no position variable. */));
|
---|
109 |
|
---|
110 | Expression::Ptr oldMe(this);
|
---|
111 | rewrite(oldMe, newMe, context);
|
---|
112 | return newMe->typeCheck(context, reqType);
|
---|
113 | }
|
---|
114 |
|
---|
115 | QT_END_NAMESPACE
|
---|