src/xmlpatterns/janitors/qatomizer.cpp

   1 /****************************************************************************
   2 **
   3 ** Copyright (C) 2011 Nokia Corporation and/or its subsidiary(-ies).
   4 ** All rights reserved.
   5 ** Contact: Nokia Corporation (qt-info@nokia.com)
   6 **
   7 ** This file is part of the QtXmlPatterns module of the Qt Toolkit.
   8 **
   9 ** $QT_BEGIN_LICENSE:LGPL$
  10 ** GNU Lesser General Public License Usage
  11 ** This file may be used under the terms of the GNU Lesser General Public
  12 ** License version 2.1 as published by the Free Software Foundation and
  13 ** appearing in the file LICENSE.LGPL included in the packaging of this
  14 ** file. Please review the following information to ensure the GNU Lesser
  15 ** General Public License version 2.1 requirements will be met:
  16 ** http://www.gnu.org/licenses/old-licenses/lgpl-2.1.html.
  17 **
  18 ** In addition, as a special exception, Nokia gives you certain additional
  19 ** rights. These rights are described in the Nokia Qt LGPL Exception
  20 ** version 1.1, included in the file LGPL_EXCEPTION.txt in this package.
  21 **
  22 ** GNU General Public License Usage
  23 ** Alternatively, this file may be used under the terms of the GNU General
  24 ** Public License version 3.0 as published by the Free Software Foundation
  25 ** and appearing in the file LICENSE.GPL included in the packaging of this
  26 ** file. Please review the following information to ensure the GNU General
  27 ** Public License version 3.0 requirements will be met:
  28 ** http://www.gnu.org/copyleft/gpl.html.
  29 **
  30 ** Other Usage
  31 ** Alternatively, this file may be used in accordance with the terms and
  32 ** conditions contained in a signed written agreement between you and Nokia.
  33 **
  34 **
  35 **
  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"
  46 #include "qsequencemappingiterator_p.h"
  47
  48 #include "qatomizer_p.h"
  49
  50 QT_BEGIN_NAMESPACE
  51
  52 using namespace QPatternist;
  53
  54 Atomizer::Atomizer(const Expression::Ptr &operand) : SingleContainer(operand)
  55 {
  56 }
  57
  58 Item::Iterator::Ptr Atomizer::mapToSequence(const Item &item, const DynamicContext::Ptr &) const
  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
  67 Item::Iterator::Ptr Atomizer::evaluateSequence(const DynamicContext::Ptr &context) const
  68 {
  69     return makeSequenceMappingIterator<Item>(ConstPtr(this),
  70                                              m_operand->evaluateSequence(context),
  71                                              context);
  72 }
  73
  74 Item Atomizer::evaluateSingleton(const DynamicContext::Ptr &context) const
  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
  91 Expression::Ptr Atomizer::typeCheck(const StaticContext::Ptr &context,
  92                                     const SequenceType::Ptr &reqType)
  93 {
  94     /* Compress -- the earlier the better. */
  95     if(BuiltinTypes::xsAnyAtomicType->xdtTypeMatches(m_operand->staticType()->itemType()))
  96         return m_operand->typeCheck(context, reqType);
  97
  98     return SingleContainer::typeCheck(context, reqType);
  99 }
 100
 101 SequenceType::Ptr Atomizer::staticType() const
 102 {
 103     const SequenceType::Ptr opt(m_operand->staticType());
 104     return makeGenericSequenceType(opt->itemType()->atomizedType(),
 105                                    opt->cardinality());
 106 }
 107
 108 SequenceType::List Atomizer::expectedOperandTypes() const
 109 {
 110     SequenceType::List result;
 111     result.append(CommonSequenceTypes::ZeroOrMoreItems);
 112     return result;
 113 }
 114
 115 ExpressionVisitorResult::Ptr Atomizer::accept(const ExpressionVisitor::Ptr &visitor) const
 116 {
 117     return visitor->visit(this);
 118 }
 119
 120 const SourceLocationReflection *Atomizer::actualReflection() const
 121 {
 122     return m_operand->actualReflection();
 123 }
 124
 125 QT_END_NAMESPACE