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 "qforclause_p.h"

    43 #include "qfunctionfactory_p.h"

    44 #include "qrangevariablereference_p.h"

    45 

    46 #include "qdocumentfn_p.h"

    47 

    48 QT_BEGIN_NAMESPACE

    49 

    50 using namespace QPatternist;

    51 

    52 Expression::Ptr DocumentFN::typeCheck(const StaticContext::Ptr &context,

    53                                       const SequenceType::Ptr &reqType)

    54 {

    55     /* See the class documentation for the rewrite that we're doing here. */

    56 

    57     /* Generate type checking code for our operands such that they match. */

    58     typeCheckOperands(context);

    59 

    60     const QSourceLocation myLocation(context->locationFor(this));

    61     const FunctionFactory::Ptr functions(context->functionSignatures());

    62 

    63     Expression::Ptr uriSource;

    64 

    65     {

    66         Expression::List distinctValuesArgs;

    67         distinctValuesArgs.append(m_operands.first());

    68 

    69         uriSource = functions->createFunctionCall(QXmlName(StandardNamespaces::fn, StandardLocalNames::distinct_values),

    70                                                   distinctValuesArgs,

    71                                                   context,

    72                                                   this);

    73         context->addLocation(uriSource.data(), myLocation);

    74     }

    75 

    76     const VariableSlotID rangeSlot = context->allocateRangeSlot();

    77     const Expression::Ptr uriReference(new RangeVariableReference(uriSource, rangeSlot));

    78     context->addLocation(uriReference.data(), myLocation);

    79 

    80     Expression::List docArgs;

    81 

    82     if(m_operands.count() == 2)

    83     {

    84         Expression::List baseUriArgs;

    85         baseUriArgs.append(uriReference);

    86         baseUriArgs.append(m_operands.at(1));

    87 

    88         const Expression::Ptr fnBaseUri(functions->createFunctionCall(QXmlName(StandardNamespaces::fn, StandardLocalNames::resolve_uri),

    89                                                                       baseUriArgs,

    90                                                                       context,

    91                                                                       this));

    92         context->addLocation(fnBaseUri.data(), myLocation);

    93         docArgs.append(fnBaseUri);

    94     }

    95     else

    96         docArgs.append(uriReference);

    97 

    98     const Expression::Ptr fnDoc(functions->createFunctionCall(QXmlName(StandardNamespaces::fn, StandardLocalNames::doc),

    99                                                               docArgs,

   100                                                               context,

   101                                                               this));

   102     context->addLocation(fnDoc.data(), myLocation);

   103 

   104 

   105     Expression::Ptr newMe(new ForClause(rangeSlot,

   106                                         uriSource,

   107                                         fnDoc,

   108                                         -1 /* We have no position variable. */));

   109 

   110     Expression::Ptr oldMe(this);

   111     rewrite(oldMe, newMe, context);

   112     return newMe->typeCheck(context, reqType);

   113 }

   114 

   115 QT_END_NAMESPACE