Qt 4.8
qdeepequalfn.cpp
Go to the documentation of this file.
1 /****************************************************************************
2 **
3 ** Copyright (C) 2014 Digia Plc and/or its subsidiary(-ies).
4 ** Contact: http://www.qt-project.org/legal
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 Digia. For licensing terms and
14 ** conditions see http://qt.digia.com/licensing. For further information
15 ** use the contact form at http://qt.digia.com/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 2.1 as published by the Free Software
20 ** Foundation and appearing in the file LICENSE.LGPL included in the
21 ** packaging of this file. Please review the following information to
22 ** ensure the GNU Lesser General Public License version 2.1 requirements
23 ** will be met: http://www.gnu.org/licenses/old-licenses/lgpl-2.1.html.
24 **
25 ** In addition, as a special exception, Digia gives you certain additional
26 ** rights. These rights are described in the Digia Qt LGPL Exception
27 ** version 1.1, included in the file LGPL_EXCEPTION.txt in this package.
28 **
29 ** GNU General Public License Usage
30 ** Alternatively, this file may be used under the terms of the GNU
31 ** General Public License version 3.0 as published by the Free Software
32 ** Foundation and appearing in the file LICENSE.GPL included in the
33 ** packaging of this file. Please review the following information to
34 ** ensure the GNU General Public License version 3.0 requirements will be
35 ** met: http://www.gnu.org/copyleft/gpl.html.
36 **
37 **
38 ** $QT_END_LICENSE$
39 **
40 ****************************************************************************/
41 
42 #include "qbuiltintypes_p.h"
43 #include "qcommonsequencetypes_p.h"
44 #include "qcommonvalues_p.h"
45 #include "qliteral_p.h"
46 #include "qschemanumeric_p.h"
47 
48 #include "qdeepequalfn_p.h"
49 
51 
52 using namespace QPatternist;
53 
55 {
57  const Item::Iterator::Ptr it2(m_operands.at(1)->evaluateSequence(context));
58 
59  while(true)
60  {
61  const Item item1(it1->next());
62  const Item item2(it2->next());
63 
64  if(!item1)
65  {
66  if(item2)
67  return false;
68  else
69  return true;
70  }
71  else if(!item2)
72  {
73  if(item1)
74  return false;
75  else
76  return true;
77  }
78  else if(item1.isNode())
79  {
80  if(item2.isNode())
81  {
82  if(item1.asNode().isDeepEqual(item2.asNode()))
83  continue;
84  else
85  return false;
86  }
87  else
88  return false;
89  }
90  else if(item2.isNode())
91  {
92  /* We know that item1 is not a node due to the check above. */
93  return false;
94  }
95  else if(flexibleCompare(item1, item2, context))
96  continue;
97  else if(BuiltinTypes::numeric->itemMatches(item1) &&
98  item1.as<Numeric>()->isNaN() &&
99  item2.as<Numeric>()->isNaN())
100  {
101  // TODO
102  /* Handle the specific NaN circumstances. item2 isn't checked whether it's of
103  * type numeric, since the AtomicComparator lookup would have failed if both weren't
104  * numeric. */
105  continue;
106  }
107  else
108  return false;
109  };
110 }
111 
113  const SequenceType::Ptr &reqType)
114 {
115  const Expression::Ptr me(FunctionCall::typeCheck(context, reqType));
117  const ItemType::Ptr t2(m_operands.at(1)->staticType()->itemType());
118  /* TODO This can be much more improved, and the optimizations should be moved
119  * to compress(). */
120 
121  if(*CommonSequenceTypes::Empty == *t1)
122  {
123  if(*CommonSequenceTypes::Empty == *t2)
124  return wrapLiteral(CommonValues::BooleanTrue, context, this);
125  else
126  return me;
127  }
128  else if(*CommonSequenceTypes::Empty == *t2)
129  {
130  if(*CommonSequenceTypes::Empty == *t1)
131  return wrapLiteral(CommonValues::BooleanTrue, context, this);
132  else
133  return me;
134  }
135  else if(BuiltinTypes::node->xdtTypeMatches(t1) &&
136  BuiltinTypes::node->xdtTypeMatches(t2))
137  return me; /* We're comparing nodes. */
138  else if(BuiltinTypes::xsAnyAtomicType->xdtTypeMatches(t1) &&
139  BuiltinTypes::xsAnyAtomicType->xdtTypeMatches(t2))
140  {
141  prepareComparison(fetchComparator(t1, t2, context));
142  return me;
143  }
144  else
145  {
146  if ((BuiltinTypes::node->xdtTypeMatches(t1) && BuiltinTypes::xsAnyAtomicType->xdtTypeMatches(t2))
147  || (BuiltinTypes::node->xdtTypeMatches(t2) && BuiltinTypes::xsAnyAtomicType->xdtTypeMatches(t1)))
148  {
149  /* One operand contains nodes and the other atomic values, or vice versa. They can never
150  * be identical. */
151  // TODO warn?
152  return wrapLiteral(CommonValues::BooleanFalse, context, this);
153  }
154  else
155  {
156  // TODO Warn?
157  return me;
158  }
159  }
160 }
161 
virtual Expression::Ptr typeCheck(const StaticContext::Ptr &context, const SequenceType::Ptr &reqType)
#define QT_END_NAMESPACE
This macro expands to.
Definition: qglobal.h:90
static const AtomicValue::Ptr BooleanTrue
virtual Expression::Ptr typeCheck(const StaticContext::Ptr &context, const SequenceType::Ptr &reqType)
AtomicComparator::Ptr fetchComparator(const ItemType::Ptr &type1, const ItemType::Ptr &type2, const ReportContext::Ptr &context) const
#define QT_BEGIN_NAMESPACE
This macro expands to.
Definition: qglobal.h:89
const TCastTarget * as() const
const T & at(int i) const
Returns the item at index position i in the list.
Definition: qlist.h:468
The namespace for the internal API of QtXmlPatterns.
static const AnyNodeType::Ptr node
T & first()
Returns a reference to the first item in the list.
Definition: qlist.h:282
virtual SequenceType::Ptr staticType() const =0
static const EmptySequenceType::Ptr Empty
Represents an item in the XPath 2.0 Data Model.
Definition: qitem_p.h:182
Base class for all numeric values.
Contains class Numeric. This file was originally called qnumeric_p.h, but various build systems canno...
static const AtomicType::Ptr numeric
static const AtomicType::Ptr xsAnyAtomicType
bool flexibleCompare(const Item &it1, const Item &it2, const DynamicContext::Ptr &context) const
Compares it1 against it2, using comparator() and operatorID().
virtual ItemType::Ptr itemType() const =0
static const AtomicValue::Ptr BooleanFalse
virtual Item::Iterator::Ptr evaluateSequence(const DynamicContext::Ptr &context) const
void prepareComparison(const AtomicComparator::Ptr &comparator)
virtual bool evaluateEBV(const DynamicContext::Ptr &context) const