1 /****************************************************************************

     2 **

     3 ** Copyright (C) 2009 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 ** No Commercial Usage

    11 ** This file contains pre-release code and may not be distributed.

    12 ** You may use this file in accordance with the terms and conditions

    13 ** contained in the Technology Preview License Agreement accompanying

    14 ** this package.

    15 **

    16 ** GNU Lesser General Public License Usage

    17 ** Alternatively, this file may be used under the terms of the GNU Lesser

    18 ** General Public License version 2.1 as published by the Free Software

    19 ** Foundation and appearing in the file LICENSE.LGPL included in the

    20 ** packaging of this file.  Please review the following information to

    21 ** ensure the GNU Lesser General Public License version 2.1 requirements

    22 ** will be met: http://www.gnu.org/licenses/old-licenses/lgpl-2.1.html.

    23 **

    24 ** In addition, as a special exception, Nokia gives you certain additional

    25 ** rights.  These rights are described in the Nokia Qt LGPL Exception

    26 ** version 1.1, included in the file LGPL_EXCEPTION.txt in this package.

    27 **

    28 ** If you have questions regarding the use of this file, please contact

    29 ** Nokia at qt-info@nokia.com.

    30 **

    31 **

    32 **

    33 **

    34 **

    35 **

    36 **

    37 **

    38 ** $QT_END_LICENSE$

    39 **

    40 ****************************************************************************/

    41 

    42 #include "qcommonsequencetypes_p.h"

    43 #include "qgenericsequencetype_p.h"

    44 #include "qitemmappingiterator_p.h"

    45 

    46 #include "qquantifiedexpression_p.h"

    47 

    48 QT_BEGIN_NAMESPACE

    49 

    50 using namespace QPatternist;

    51 

    52 QuantifiedExpression::QuantifiedExpression(const VariableSlotID varSlot,

    53                                            const Operator quantifier,

    54                                            const Expression::Ptr &inClause,

    55                                            const Expression::Ptr &testExpression)

    56                                            : PairContainer(inClause, testExpression),

    57                                              m_varSlot(varSlot),

    58                                              m_quantifier(quantifier)

    59 {

    60     Q_ASSERT(quantifier == Some || quantifier == Every);

    61 }

    62 

    63 Item QuantifiedExpression::mapToItem(const Item &item,

    64                                           const DynamicContext::Ptr &context) const

    65 {

    66     context->setRangeVariable(m_varSlot, item);

    67     return item;

    68 }

    69 

    70 bool QuantifiedExpression::evaluateEBV(const DynamicContext::Ptr &context) const

    71 {

    72     const Item::Iterator::Ptr it(makeItemMappingIterator<Item>(ConstPtr(this),

    73                                                                m_operand1->evaluateSequence(context),

    74                                                                context));

    75 

    76     Item item(it->next());

    77 

    78     if(m_quantifier == Some)

    79     {

    80         while(item)

    81         {

    82             if(m_operand2->evaluateEBV(context))

    83                 return true;

    84             else

    85                 item = it->next();

    86         };

    87 

    88         return false;

    89     }

    90     else

    91     {

    92         Q_ASSERT(m_quantifier == Every);

    93 

    94         while(item)

    95         {

    96             if(m_operand2->evaluateEBV(context))

    97                 item = it->next();

    98             else

    99                 return false;

   100         }

   101 

   102         return true;

   103     }

   104 }

   105 

   106 QString QuantifiedExpression::displayName(const Operator quantifier)

   107 {

   108     if(quantifier == Some)

   109         return QLatin1String("some");

   110     else

   111     {

   112         Q_ASSERT(quantifier == Every);

   113         return QLatin1String("every");

   114     }

   115 }

   116 

   117 SequenceType::Ptr QuantifiedExpression::staticType() const

   118 {

   119     return CommonSequenceTypes::ExactlyOneBoolean;

   120 }

   121 

   122 SequenceType::List QuantifiedExpression::expectedOperandTypes() const

   123 {

   124     SequenceType::List result;

   125     result.append(CommonSequenceTypes::ZeroOrMoreItems);

   126     result.append(CommonSequenceTypes::EBV);

   127     return result;

   128 }

   129 

   130 QuantifiedExpression::Operator QuantifiedExpression::operatorID() const

   131 {

   132     return m_quantifier;

   133 }

   134 

   135 ExpressionVisitorResult::Ptr QuantifiedExpression::accept(const ExpressionVisitor::Ptr &visitor) const

   136 {

   137     return visitor->visit(this);

   138 }

   139 

   140 QT_END_NAMESPACE