1 | /**************************************************************************** |
2 | ** |
3 | ** Copyright (C) 2016 The Qt Company Ltd. |
4 | ** Contact: https://www.qt.io/licensing/ |
5 | ** |
6 | ** This file is part of the QtXmlPatterns module of the Qt Toolkit. |
7 | ** |
8 | ** $QT_BEGIN_LICENSE:LGPL$ |
9 | ** Commercial License Usage |
10 | ** Licensees holding valid commercial Qt licenses may use this file in |
11 | ** accordance with the commercial license agreement provided with the |
12 | ** Software or, alternatively, in accordance with the terms contained in |
13 | ** a written agreement between you and The Qt Company. For licensing terms |
14 | ** and conditions see https://www.qt.io/terms-conditions. For further |
15 | ** information use the contact form at https://www.qt.io/contact-us. |
16 | ** |
17 | ** GNU Lesser General Public License Usage |
18 | ** Alternatively, this file may be used under the terms of the GNU Lesser |
19 | ** General Public License version 3 as published by the Free Software |
20 | ** Foundation and appearing in the file LICENSE.LGPL3 included in the |
21 | ** packaging of this file. Please review the following information to |
22 | ** ensure the GNU Lesser General Public License version 3 requirements |
23 | ** will be met: https://www.gnu.org/licenses/lgpl-3.0.html. |
24 | ** |
25 | ** GNU General Public License Usage |
26 | ** Alternatively, this file may be used under the terms of the GNU |
27 | ** General Public License version 2.0 or (at your option) the GNU General |
28 | ** Public license version 3 or any later version approved by the KDE Free |
29 | ** Qt Foundation. The licenses are as published by the Free Software |
30 | ** Foundation and appearing in the file LICENSE.GPL2 and LICENSE.GPL3 |
31 | ** included in the packaging of this file. Please review the following |
32 | ** information to ensure the GNU General Public License requirements will |
33 | ** be met: https://www.gnu.org/licenses/gpl-2.0.html and |
34 | ** https://www.gnu.org/licenses/gpl-3.0.html. |
35 | ** |
36 | ** $QT_END_LICENSE$ |
37 | ** |
38 | ****************************************************************************/ |
39 | |
40 | #include "qcommonsequencetypes_p.h" |
41 | |
42 | #include "qcalltemplate_p.h" |
43 | |
44 | QT_BEGIN_NAMESPACE |
45 | |
46 | using namespace QPatternist; |
47 | |
48 | CallTemplate::CallTemplate(const QXmlName &name, |
49 | const WithParam::Hash &withParams) : TemplateInvoker(withParams, name) |
50 | { |
51 | } |
52 | |
53 | Item::Iterator::Ptr CallTemplate::evaluateSequence(const DynamicContext::Ptr &context) const |
54 | { |
55 | Q_ASSERT(m_template); |
56 | return m_template->body->evaluateSequence(context: m_template->createContext(invoker: this, context, isCallTemplate: true)); |
57 | } |
58 | |
59 | bool CallTemplate::evaluateEBV(const DynamicContext::Ptr &context) const |
60 | { |
61 | Q_ASSERT(m_template); |
62 | return m_template->body->evaluateEBV(context: m_template->createContext(invoker: this, context, isCallTemplate: true)); |
63 | } |
64 | |
65 | void CallTemplate::evaluateToSequenceReceiver(const DynamicContext::Ptr &context) const |
66 | { |
67 | Q_ASSERT(m_template); |
68 | m_template->body->evaluateToSequenceReceiver(context: m_template->createContext(invoker: this, context, isCallTemplate: true)); |
69 | } |
70 | |
71 | Expression::Ptr CallTemplate::typeCheck(const StaticContext::Ptr &context, |
72 | const SequenceType::Ptr &reqType) |
73 | { |
74 | /* Check XTSE0680, that every @c xsl:with-param has a corresponding @c |
75 | * xsl:param declaration. */ |
76 | { |
77 | const WithParam::Hash::const_iterator end(m_withParams.constEnd()); |
78 | |
79 | for(WithParam::Hash::const_iterator it(m_withParams.constBegin()); |
80 | it != end; |
81 | ++it) |
82 | { |
83 | if(!VariableDeclaration::contains(list: m_template->templateParameters, lookup: it.value()->name())) |
84 | Template::raiseXTSE0680(context, name: it.value()->name(), reflection: this); |
85 | } |
86 | } |
87 | |
88 | const Expression::Ptr me(TemplateInvoker::typeCheck(context, reqType)); |
89 | |
90 | const VariableDeclaration::List args(m_template->templateParameters); |
91 | const VariableDeclaration::List::const_iterator end(args.constEnd()); |
92 | VariableDeclaration::List::const_iterator it(args.constBegin()); |
93 | |
94 | for(; it != end; ++it) |
95 | { |
96 | // TODO |
97 | Q_ASSERT((*it)->sequenceType); |
98 | } |
99 | |
100 | return me; |
101 | } |
102 | |
103 | Expression::Properties CallTemplate::properties() const |
104 | { |
105 | Q_ASSERT(!m_template || m_template->body); |
106 | |
107 | /* We may be called before our m_template is resolved, namely when we're |
108 | * the body of a variable. In that case querytransformparser.ypp will |
109 | * manually call TypeChecker::applyFunctionConversion(), which is before |
110 | * ExpressionFactory::createExpression() has resolved us. */ |
111 | if(m_template && !isRecursive()) |
112 | return m_template->properties(); |
113 | else |
114 | return Properties(); |
115 | } |
116 | |
117 | Expression::Properties CallTemplate::dependencies() const |
118 | { |
119 | if(m_template && !isRecursive()) |
120 | return m_template->dependencies(); |
121 | else |
122 | return Properties(); |
123 | } |
124 | |
125 | SequenceType::Ptr CallTemplate::staticType() const |
126 | { |
127 | return CommonSequenceTypes::ZeroOrMoreItems; |
128 | } |
129 | |
130 | ExpressionVisitorResult::Ptr CallTemplate::accept(const ExpressionVisitor::Ptr &visitor) const |
131 | { |
132 | return visitor->visit(this); |
133 | } |
134 | |
135 | bool CallTemplate::configureRecursion(const CallTargetDescription::Ptr &sign) |
136 | { |
137 | Q_UNUSED(sign); |
138 | return false; |
139 | } |
140 | |
141 | Expression::Ptr CallTemplate::body() const |
142 | { |
143 | return m_template->body; |
144 | } |
145 | |
146 | CallTargetDescription::Ptr CallTemplate::callTargetDescription() const |
147 | { |
148 | return CallTargetDescription::Ptr(); |
149 | } |
150 | |
151 | QT_END_NAMESPACE |
152 | |