Qt 4.8
qtypechecker_p.h
Go to the documentation of this file.
1 /****************************************************************************
2 **
3 ** Copyright (C) 2014 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 //
43 // W A R N I N G
44 // -------------
45 //
46 // This file is not part of the Qt API. It exists purely as an
47 // implementation detail. This header file may change from version to
48 // version without notice, or even be removed.
49 //
50 // We mean it.
51 
52 #ifndef Patternist_TypeChecker_H
53 #define Patternist_TypeChecker_H
54 
55 #include "qstaticcontext_p.h"
56 #include "qexpression_p.h"
57 
59 
61 
62 namespace QPatternist
63 {
72  {
73  public:
74  enum Option
75  {
84 
93 
110  };
112 
130  static Expression::Ptr
132  const SequenceType::Ptr &reqType,
133  const StaticContext::Ptr &context,
135  const Options = Options(AutomaticallyConvert | CheckFocus));
136  private:
137 
138  static inline Expression::Ptr typeCheck(Expression *const op,
139  const StaticContext::Ptr &context,
140  const SequenceType::Ptr &reqType);
144  static Expression::Ptr verifyType(const Expression::Ptr &operand,
145  const SequenceType::Ptr &reqSeqType,
146  const StaticContext::Ptr &context,
147  const ReportContext::ErrorCode code,
148  const Options options);
149 
159  static bool promotionPossible(const ItemType::Ptr &fromType,
160  const ItemType::Ptr &toType,
161  const StaticContext::Ptr &context);
162 
167  static inline QString wrongType(const NamePool::Ptr &np,
168  const ItemType::Ptr &reqType,
169  const ItemType::Ptr &opType);
170 
175  inline TypeChecker();
176 
178  };
179 }
180 
182 
184 
185 #endif
#define QT_END_NAMESPACE
This macro expands to.
Definition: qglobal.h:90
Base class for all AST nodes in an XPath/XQuery/XSL-T expression.
static Expression::Ptr typeCheck(Expression *const op, const StaticContext::Ptr &context, const SequenceType::Ptr &reqType)
#define QT_BEGIN_HEADER
Definition: qglobal.h:136
#define Q_DISABLE_COPY(Class)
Disables the use of copy constructors and assignment operators for the given Class.
Definition: qglobal.h:2523
The QString class provides a Unicode character string.
Definition: qstring.h:83
QFlags< Option > Options
When set, the function conversion rules are applied.
#define QT_BEGIN_NAMESPACE
This macro expands to.
Definition: qglobal.h:89
The namespace for the internal API of QtXmlPatterns.
Contains functions that applies Function Conversion Rules and other kinds of compile-time type checki...
static Expression::Ptr verifyType(const Expression::Ptr &operand, const SequenceType::Ptr &reqSeqType, const StaticContext::Ptr &context, const ReportContext::ErrorCode code, const Options options)
Implements the type checking and promotion part of the Function Conversion Rules. ...
static Expression::Ptr applyFunctionConversion(const Expression::Ptr &operand, const SequenceType::Ptr &reqType, const StaticContext::Ptr &context, const ReportContext::ErrorCode code=ReportContext::XPTY0004, const Options=Options(AutomaticallyConvert|CheckFocus))
Builds a pipeline of artificial AST nodes that ensures operand conforms to the type reqType by applyi...
static QString wrongType(const NamePool::Ptr &np, const ItemType::Ptr &reqType, const ItemType::Ptr &opType)
Centralizes a message-string to reduce work for translators and increase consistency.
The QFlags class provides a type-safe way of storing OR-combinations of enum values.
Definition: qglobal.h:2313
#define QT_END_HEADER
Definition: qglobal.h:137
static QByteArray toType(const QByteArray &t)
Definition: qaxdump.cpp:110
static bool promotionPossible(const ItemType::Ptr &fromType, const ItemType::Ptr &toType, const StaticContext::Ptr &context)
Whether the focus should be checked or not.