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 #include "qgenericsequencetype_p.h"
42 #include "qoptimizationpasses_p.h"
43
44 #include "qifthenclause_p.h"
45
46 QT_BEGIN_NAMESPACE
47
48 using namespace QPatternist;
49
IfThenClause(const Expression::Ptr & test,const Expression::Ptr & then,const Expression::Ptr & el)50 IfThenClause::IfThenClause(const Expression::Ptr &test,
51 const Expression::Ptr &then,
52 const Expression::Ptr &el) : TripleContainer(test, then, el)
53 {
54 }
55
evaluateSequence(const DynamicContext::Ptr & context) const56 Item::Iterator::Ptr IfThenClause::evaluateSequence(const DynamicContext::Ptr &context) const
57 {
58 return m_operand1->evaluateEBV(context)
59 ? m_operand2->evaluateSequence(context)
60 : m_operand3->evaluateSequence(context);
61 }
62
evaluateSingleton(const DynamicContext::Ptr & context) const63 Item IfThenClause::evaluateSingleton(const DynamicContext::Ptr &context) const
64 {
65 return m_operand1->evaluateEBV(context)
66 ? m_operand2->evaluateSingleton(context)
67 : m_operand3->evaluateSingleton(context);
68 }
69
evaluateEBV(const DynamicContext::Ptr & context) const70 bool IfThenClause::evaluateEBV(const DynamicContext::Ptr &context) const
71 {
72 return m_operand1->evaluateEBV(context)
73 ? m_operand2->evaluateEBV(context)
74 : m_operand3->evaluateEBV(context);
75 }
76
evaluateToSequenceReceiver(const DynamicContext::Ptr & context) const77 void IfThenClause::evaluateToSequenceReceiver(const DynamicContext::Ptr &context) const
78 {
79 if(m_operand1->evaluateEBV(context))
80 m_operand2->evaluateToSequenceReceiver(context);
81 else
82 m_operand3->evaluateToSequenceReceiver(context);
83 }
84
compress(const StaticContext::Ptr & context)85 Expression::Ptr IfThenClause::compress(const StaticContext::Ptr &context)
86 {
87 const Expression::Ptr me(TripleContainer::compress(context));
88
89 if(me != this)
90 return me;
91
92 /* All operands mustn't be evaluated in order for const folding to
93 * be possible. Let's see how far we get. */
94
95 if(m_operand1->isEvaluated())
96 {
97 if(m_operand1->evaluateEBV(context->dynamicContext()))
98 return m_operand2;
99 else
100 return m_operand3;
101 }
102 else
103 return me;
104 }
105
optimizationPasses() const106 QList<QExplicitlySharedDataPointer<OptimizationPass> > IfThenClause::optimizationPasses() const
107 {
108 return OptimizationPasses::ifThenPasses;
109 }
110
expectedOperandTypes() const111 SequenceType::List IfThenClause::expectedOperandTypes() const
112 {
113 SequenceType::List result;
114 result.append(CommonSequenceTypes::EBV);
115 result.append(CommonSequenceTypes::ZeroOrMoreItems);
116 result.append(CommonSequenceTypes::ZeroOrMoreItems);
117 return result;
118 }
119
staticType() const120 SequenceType::Ptr IfThenClause::staticType() const
121 {
122 const SequenceType::Ptr t1(m_operand2->staticType());
123 const SequenceType::Ptr t2(m_operand3->staticType());
124
125 return makeGenericSequenceType(t1->itemType() | t2->itemType(),
126 t1->cardinality() | t2->cardinality());
127 }
128
accept(const ExpressionVisitor::Ptr & visitor) const129 ExpressionVisitorResult::Ptr IfThenClause::accept(const ExpressionVisitor::Ptr &visitor) const
130 {
131 return visitor->visit(this);
132 }
133
id() const134 Expression::ID IfThenClause::id() const
135 {
136 return IDIfThenClause;
137 }
138
139 /*
140 Expression::Properties IfThenClause::properties() const
141 {
142 return m_operand1->properties()
143 | m_operand2->properties()
144 | m_operand3->properties()
145 & ( Expression::RequiresFocus
146 | Expression::IsEvaluated
147 | Expression::DisableElimination);
148 }
149 */
150 QT_END_NAMESPACE
151