src/xmlpatterns/expr/qcurrentitemstore.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 "qbuiltintypes_p.h"
  43 #include "qcommonsequencetypes_p.h"
  44 #include "qcurrentitemcontext_p.h"
  45 #include "qstaticcurrentcontext_p.h"
  46
  47 #include "qcurrentitemstore_p.h"
  48
  49 QT_BEGIN_NAMESPACE
  50
  51 using namespace QPatternist;
  52
  53 CurrentItemStore::CurrentItemStore(const Expression::Ptr &operand) : SingleContainer(operand)
  54 {
  55 }
  56
  57 DynamicContext::Ptr CurrentItemStore::createContext(const DynamicContext::Ptr &old) const
  58 {
  59     return DynamicContext::Ptr(new CurrentItemContext(old->contextItem(), old));
  60 }
  61
  62 bool CurrentItemStore::evaluateEBV(const DynamicContext::Ptr &context) const
  63 {
  64     return m_operand->evaluateEBV(createContext(context));
  65 }
  66
  67 Item::Iterator::Ptr CurrentItemStore::evaluateSequence(const DynamicContext::Ptr &context) const
  68 {
  69     return m_operand->evaluateSequence(createContext(context));
  70 }
  71
  72 Item CurrentItemStore::evaluateSingleton(const DynamicContext::Ptr &context) const
  73 {
  74     return m_operand->evaluateSingleton(createContext(context));
  75 }
  76
  77 SequenceType::Ptr CurrentItemStore::staticType() const
  78 {
  79     return m_operand->staticType();
  80 }
  81
  82 SequenceType::List CurrentItemStore::expectedOperandTypes() const
  83 {
  84     SequenceType::List result;
  85     result.append(CommonSequenceTypes::ZeroOrMoreItems);
  86     return result;
  87 }
  88
  89 StaticContext::Ptr CurrentItemStore::newStaticContext(const StaticContext::Ptr &context)
  90 {
  91     /* It might be we are generated despite there is no focus. In that case
  92      * an error will reported in case current() is used, but in any case we cannot
  93      * crash, so use item() in case we have no focus.
  94      *
  95      * Such a case is when we're inside a named template, and it's invoked
  96      * without focus. */
  97     const ItemType::Ptr t(context->contextItemType());
  98     return StaticContext::Ptr(new StaticCurrentContext(t ? t : BuiltinTypes::item, context));
  99 }
 100
 101 Expression::Ptr CurrentItemStore::compress(const StaticContext::Ptr &context)
 102 {
 103     const Expression::Ptr me(SingleContainer::compress(newStaticContext(context)));
 104
 105     if(me != this)
 106         return me;
 107     else
 108     {
 109         /* If fn:current() isn't called, there's no point in us sticking
 110          * around. */
 111         if(m_operand->deepProperties().testFlag(RequiresCurrentItem))
 112             return me;
 113         else
 114             return m_operand;
 115     }
 116 }
 117
 118 Expression::Ptr CurrentItemStore::typeCheck(const StaticContext::Ptr &context,
 119                                             const SequenceType::Ptr &reqType)
 120 {
 121     return SingleContainer::typeCheck(newStaticContext(context), reqType);
 122 }
 123
 124 ExpressionVisitorResult::Ptr CurrentItemStore::accept(const ExpressionVisitor::Ptr &visitor) const
 125 {
 126     return visitor->visit(this);
 127 }
 128
 129 const SourceLocationReflection *CurrentItemStore::actualReflection() const
 130 {
 131     return m_operand->actualReflection();
 132 }
 133
 134 Expression::Properties CurrentItemStore::properties() const
 135 {
 136     return m_operand->properties() & (RequiresFocus | IsEvaluated | DisableElimination);
 137 }
 138
 139 QT_END_NAMESPACE