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
46QT_BEGIN_NAMESPACE
47
48using namespace QPatternist;
49
50IfThenClause::IfThenClause(const Expression::Ptr &test,
51 const Expression::Ptr &then,
52 const Expression::Ptr &el) : TripleContainer(test, then, el)
53{
54}
55
56Item::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
63Item 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
70bool 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
77void 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
85Expression::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: context->dynamicContext()))
98 return m_operand2;
99 else
100 return m_operand3;
101 }
102 else
103 return me;
104}
105
106QList<QExplicitlySharedDataPointer<OptimizationPass> > IfThenClause::optimizationPasses() const
107{
108 return OptimizationPasses::ifThenPasses;
109}
110
111SequenceType::List IfThenClause::expectedOperandTypes() const
112{
113 SequenceType::List result;
114 result.append(t: CommonSequenceTypes::EBV);
115 result.append(t: CommonSequenceTypes::ZeroOrMoreItems);
116 result.append(t: CommonSequenceTypes::ZeroOrMoreItems);
117 return result;
118}
119
120SequenceType::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(itemType: t1->itemType() | t2->itemType(),
126 cardinality: t1->cardinality() | t2->cardinality());
127}
128
129ExpressionVisitorResult::Ptr IfThenClause::accept(const ExpressionVisitor::Ptr &visitor) const
130{
131 return visitor->visit(this);
132}
133
134Expression::ID IfThenClause::id() const
135{
136 return IDIfThenClause;
137}
138
139/*
140Expression::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*/
150QT_END_NAMESPACE
151

source code of qtxmlpatterns/src/xmlpatterns/expr/qifthenclause.cpp