Qt 4.8
qatomizer.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 "qatomictype_p.h"
43 #include "qbuiltintypes_p.h"
44 #include "qcommonsequencetypes_p.h"
45 #include "qgenericsequencetype_p.h"
47 
48 #include "qatomizer_p.h"
49 
51 
52 using namespace QPatternist;
53 
55 {
56 }
57 
59 {
60  /* Function & Operators, 2.4.2 fn:data, says "If the node does not have a
61  * typed value an error is raised [err:FOTY0012]."
62  * When does a node not have a typed value? */
63  Q_ASSERT(item);
64  return item.sequencedTypedValue();
65 }
66 
68 {
69  return makeSequenceMappingIterator<Item>(ConstPtr(this),
70  m_operand->evaluateSequence(context),
71  context);
72 }
73 
75 {
76  const Item item(m_operand->evaluateSingleton(context));
77 
78  if(!item) /* Empty is allowed, cardinality is considered '?' */
79  return Item();
80 
81  const Item::Iterator::Ptr it(mapToSequence(item, context));
82  Q_ASSERT_X(it, Q_FUNC_INFO, "A valid QAbstractXmlForwardIterator must always be returned.");
83 
84  Item result(it->next());
85  Q_ASSERT_X(!it->next(), Q_FUNC_INFO,
86  "evaluateSingleton should never be used if the cardinality is two or more");
87 
88  return result;
89 }
90 
92  const SequenceType::Ptr &reqType)
93 {
94  /* Compress -- the earlier the better. */
96  return m_operand->typeCheck(context, reqType);
97 
98  return SingleContainer::typeCheck(context, reqType);
99 }
100 
102 {
103  const SequenceType::Ptr opt(m_operand->staticType());
104  return makeGenericSequenceType(opt->itemType()->atomizedType(),
105  opt->cardinality());
106 }
107 
109 {
110  SequenceType::List result;
112  return result;
113 }
114 
116 {
117  return visitor->visit(this);
118 }
119 
121 {
122  return m_operand->actualReflection();
123 }
124 
virtual const SourceLocationReflection * actualReflection() const
Returns this.
Definition: qatomizer.cpp:120
virtual SequenceType::Ptr staticType() const
Definition: qatomizer.cpp:101
#define QT_END_NAMESPACE
This macro expands to.
Definition: qglobal.h:90
static const SequenceType::Ptr ZeroOrMoreItems
#define it(className, varName)
virtual ExpressionVisitorResult::Ptr accept(const ExpressionVisitor::Ptr &visitor) const
Definition: qatomizer.cpp:115
virtual Expression::Ptr typeCheck(const StaticContext::Ptr &context, const SequenceType::Ptr &reqType)
Definition: qexpression.cpp:70
QExplicitlySharedDataPointer< const Atomizer > ConstPtr
Definition: qatomizer_p.h:102
#define Q_ASSERT(cond)
Definition: qglobal.h:1823
virtual const SourceLocationReflection * actualReflection() const
Returns this.
void append(const T &t)
Inserts value at the end of the list.
Definition: qlist.h:507
Atomizer(const Expression::Ptr &operand)
Definition: qatomizer.cpp:54
#define QT_BEGIN_NAMESPACE
This macro expands to.
Definition: qglobal.h:89
virtual Item::Iterator::Ptr evaluateSequence(const DynamicContext::Ptr &) const
Definition: qatomizer.cpp:67
The namespace for the internal API of QtXmlPatterns.
virtual Item evaluateSingleton(const DynamicContext::Ptr &) const
Definition: qatomizer.cpp:74
virtual SequenceType::List expectedOperandTypes() const
Definition: qatomizer.cpp:108
virtual SequenceType::Ptr staticType() const =0
#define Q_ASSERT_X(cond, where, what)
Definition: qglobal.h:1837
Represents an item in the XPath 2.0 Data Model.
Definition: qitem_p.h:182
virtual Expression::Ptr typeCheck(const StaticContext::Ptr &context, const SequenceType::Ptr &reqType)
Definition: qatomizer.cpp:91
Item::Iterator::Ptr mapToSequence(const Item &item, const DynamicContext::Ptr &context) const
Definition: qatomizer.cpp:58
static const AtomicType::Ptr xsAnyAtomicType
virtual ItemType::Ptr itemType() const =0
Item::Iterator::Ptr sequencedTypedValue() const
Returns the typed value of this item.
Definition: qitem.cpp:50
virtual Item evaluateSingleton(const DynamicContext::Ptr &context) const
The QList class is a template class that provides lists.
Definition: qdatastream.h:62
Base class for all instances that represents something at a certain location.
virtual Item::Iterator::Ptr evaluateSequence(const DynamicContext::Ptr &context) const
Base class for expressions that has exactly one operand.
#define Q_FUNC_INFO
Definition: qglobal.h:1871