src/xmlpatterns/janitors/qatomizer.cpp

   1 /****************************************************************************
   2 **
   3 ** Copyright (C) 2012 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"
  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