/****************************************************************************

**

** All rights reserved.

** Contact: Nokia Corporation (qt-info@nokia.com)

**

** This file is part of the QtXmlPatterns module of the Qt Toolkit.

**

** $QT_BEGIN_LICENSE:LGPL$

** No Commercial Usage

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

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

** contained in the Technology Preview License Agreement accompanying

** this package.

**

** GNU Lesser General Public License Usage

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

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

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

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

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

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

**

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

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

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

**

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

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

**

**

**

**

**

**

**

**

** $QT_END_LICENSE$

**

****************************************************************************/

//

//  W A R N I N G

//  -------------

//

// This file is not part of the Qt API.  It exists purely as an

// implementation detail.  This header file may change from version to

// version without notice, or even be removed.

//

// We mean it.

#ifndef Patternist_OptimizerBlocks_H

#define Patternist_OptimizerBlocks_H

#include "qatomiccomparator_p.h"

#include "qexpression_p.h"

#include "qoptimizerframework_p.h"

QT_BEGIN_HEADER

QT_BEGIN_NAMESPACE

namespace QPatternist

{

    /**

     * @short Identifies Expression instances by their Expression::id().

     *

     * @author Frans englich <frans.englich@nokia.com>

     * @ingroup Patternist_expressions

     */

    class ByIDIdentifier : public ExpressionIdentifier

    {

    public:

        ByIDIdentifier(const Expression::ID id);

        virtual bool matches(const Expression::Ptr &expr) const;

    private:

        const Expression::ID m_id;

    };

    /**

     * @short Identifies Expression instances based on their static type.

     *

     * BySequenceTypeIdentifier identifies Expression instances

     * if their Expression::staticType() matches the requested one,

     * regardless of whether the Expression is a particular one, such

     * as AndExpression.

     *

     * For example, constructing a BySequenceTypeIdentifier while

     * passing CommonSequenceTypes::EBV in its constructor will create

     * a ExpressionIdentifier that returns @c true for a static type with

     * item type <tt>xs:string</tt>, but returns @c false for a static type involving

     * <tt>xs:date</tt>.

     *

     * @author Frans englich <frans.englich@nokia.com>

     * @ingroup Patternist_expressions

     */

    class BySequenceTypeIdentifier : public ExpressionIdentifier

    {

    public:

        BySequenceTypeIdentifier(const SequenceType::Ptr &seqType);

        /**

         * @returns @c true, if the static type of @p expr is matches

         * the SequenceType passed in the BySequenceTypeIdentifier()

         * constructor, otherwise @c false.

         */

        virtual bool matches(const Expression::Ptr &expr) const;

    private:

        const SequenceType::Ptr m_seqType;

    };

    /**

     * @short Determines whether an Expression is a value or general comparison or both,

     * with a certain operator.

     *

     * @author Frans englich <frans.englich@nokia.com>

     * @ingroup Patternist_expressions

     */

    class ComparisonIdentifier : public ExpressionIdentifier

    {

    public:

        /**

         * @param comparatorHosts the possible parent that may have

         * the operator. This may be Expression::IDGeneralComparison or

         * Expression::IDValueComparison. The two values may also be OR'd,

         * meaning any of them will do.

         *

         * @param op the operator that the comparator host must have. For example,

         * if @p op is AtomicComparator::OperatorGreatorOrEqual this ComparisonIdentifier

         * will match operator >= in the case of IDGeneralComparison and 'ge' in the

         * case of IDValueComparison.

         */

        ComparisonIdentifier(const QVector<Expression::ID> comparatorHosts,

                             const AtomicComparator::Operator op);

        /**

         * @returns @c true, if @p expr is a ValueComparison with the operator

         * passed in ComparisonIdentifier().

         */

        virtual bool matches(const Expression::Ptr &expr) const;

    private:

        const QVector<Expression::ID> m_hosts;

        const AtomicComparator::Operator m_op;

    };

    /**

     * @short Matches numeric literals that are of type xs:integer and

     * has a specific value.

     *

     * For example IntegerIdentifier(4) would match the former but

     * not the latter operand in this expression: "4 + 5".

     *

     * @author Frans englich <frans.englich@nokia.com>

     * @ingroup Patternist_expressions

     */

    class IntegerIdentifier : public ExpressionIdentifier

    {

    public:

        IntegerIdentifier(const xsInteger num);

        virtual bool matches(const Expression::Ptr &expr) const;

    private:

        const xsInteger m_num;

    };

    /**

     * @short Matches boolean literals.

     *

     * For example BooleanIdentifier(true) would match the former but

     * not the latter operand in this expression: "true() + false()".

     *

     * @author Frans englich <frans.englich@nokia.com>

     * @ingroup Patternist_expressions

     */

    class BooleanIdentifier : public ExpressionIdentifier

    {

    public:

        BooleanIdentifier(const bool value);

        virtual bool matches(const Expression::Ptr &expr) const;

    private:

        const bool m_value;

    };

    /**

     * @short Creates a particular Expression instance identified by an Expression::ID.

     *

     * For example, if ByIDCreator() is passed Expression::IDCountFN, create()

     * will return CountFN instances.

     *

     * @author Frans englich <frans.englich@nokia.com>

     * @ingroup Patternist_expressions

     */

    class ByIDCreator : public ExpressionCreator

    {

    public:

        /**

         * Creates a ByIDCreator that creates expressions

         * of the type that @p id identifies.

         */

        ByIDCreator(const Expression::ID id);

        virtual Expression::Ptr create(const Expression::List &operands,

                                       const StaticContext::Ptr &context,

                                       const SourceLocationReflection *const r) const;

        /**

         * Creates an expression by id @p id with the arguments @p operands.

         */

        static Expression::Ptr create(const Expression::ID id,

                                      const Expression::List &operands,

                                      const StaticContext::Ptr &context,

                                      const SourceLocationReflection *const r);

    private:

        const Expression::ID m_id;

    };

}

QT_END_NAMESPACE

QT_END_HEADER

#endif