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 "qboolean_p.h"
41#include "qcommonsequencetypes_p.h"
42#include "qcommonvalues_p.h"
43#include "qliteral_p.h"
44
45#include "qandexpression_p.h"
46
47QT_BEGIN_NAMESPACE
48
49using namespace QPatternist;
50
51AndExpression::AndExpression(const Expression::Ptr &operand1,
52 const Expression::Ptr &operand2) : PairContainer(operand1, operand2)
53{
54}
55
56bool AndExpression::evaluateEBV(const DynamicContext::Ptr &context) const
57{
58 return m_operand1->evaluateEBV(context) && m_operand2->evaluateEBV(context);
59}
60
61Expression::Ptr AndExpression::compress(const StaticContext::Ptr &context)
62{
63 const Expression::Ptr newMe(PairContainer::compress(context));
64
65 if(newMe != this)
66 return newMe;
67
68 /* Both operands mustn't be evaluated in order to be able to compress. */
69 if(m_operand1->isEvaluated() && !m_operand1->evaluateEBV(context: context->dynamicContext()))
70 return wrapLiteral(item: CommonValues::BooleanFalse, context, r: this);
71 else if(m_operand2->isEvaluated() && !m_operand2->evaluateEBV(context: context->dynamicContext()))
72 return wrapLiteral(item: CommonValues::BooleanFalse, context, r: this);
73 else
74 return Expression::Ptr(this);
75}
76
77SequenceType::List AndExpression::expectedOperandTypes() const
78{
79 SequenceType::List result;
80 result.append(t: CommonSequenceTypes::EBV);
81 result.append(t: CommonSequenceTypes::EBV);
82 return result;
83}
84
85SequenceType::Ptr AndExpression::staticType() const
86{
87 return CommonSequenceTypes::ExactlyOneBoolean;
88}
89
90ExpressionVisitorResult::Ptr AndExpression::accept(const ExpressionVisitor::Ptr &visitor) const
91{
92 return visitor->visit(this);
93}
94
95QT_END_NAMESPACE
96

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