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

    43 

    44 #include "qcalltargetdescription_p.h"

    45 

    46 QT_BEGIN_NAMESPACE

    47 

    48 using namespace QPatternist;

    49 

    50 CallTargetDescription::CallTargetDescription(const QXmlName &name) : m_name(name)

    51 {

    52     Q_ASSERT(!m_name.isNull());

    53 }

    54 

    55 QXmlName CallTargetDescription::name() const

    56 {

    57     return m_name;

    58 }

    59 

    60 void CallTargetDescription::checkArgumentsCircularity(CallTargetDescription::List &signList,

    61                                                       const Expression::Ptr callsite)

    62 {

    63     /* Check the arguments. */

    64     const Expression::List ops(callsite->operands());

    65     const Expression::List::const_iterator end(ops.constEnd());

    66     Expression::List::const_iterator it(ops.constBegin());

    67 

    68     for(; it != end; ++it)

    69         checkCallsiteCircularity(signList, *it);

    70 }

    71 

    72 void CallTargetDescription::checkCallsiteCircularity(CallTargetDescription::List &signList,

    73                                                      const Expression::Ptr expr)

    74 {

    75     Q_ASSERT(expr);

    76 

    77     if(expr->is(Expression::IDUserFunctionCallsite))

    78     {

    79         CallTargetDescription::List::const_iterator it(signList.constBegin());

    80         const CallTargetDescription::List::const_iterator end(signList.constEnd());

    81         CallSite *const callsite = static_cast<CallSite *>(expr.data());

    82 

    83         for(; it != end; ++it)

    84         {

    85             if(callsite->configureRecursion(*it))

    86             {

    87                 /* A callsite inside the function body to the function. This user function

    88                  * is recursive if it's to the same function, in other words. Which it was

    89                  * if configureRecursion() returned true. */

    90 

    91                 /* Now we continue and check the arguments of the callsite. That is, the arguments.

    92                  * This catches for instance local:foo(local:foo(3)). */

    93                 checkArgumentsCircularity(signList, expr);

    94                 return;

    95             }

    96         }

    97         /* Check the body of the function so this callsite isn't "indirectly" a

    98          * recursive call to the function we're checking. XQTS test case

    99          * default_namespace-011 is an example of this. */

   100         signList.append(callsite->callTargetDescription());

   101         checkCallsiteCircularity(signList, callsite->body());

   102     }

   103 

   104     checkArgumentsCircularity(signList, expr); /* We're done in this case. */

   105 }

   106 

   107 QT_END_NAMESPACE