diff -r 000000000000 -r 1918ee327afb src/xmlpatterns/environment/qstaticcontext_p.h --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/src/xmlpatterns/environment/qstaticcontext_p.h Mon Jan 11 14:00:40 2010 +0000 @@ -0,0 +1,299 @@ +/**************************************************************************** +** +** Copyright (C) 2009 Nokia Corporation and/or its subsidiary(-ies). +** 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_StaticContext_H +#define Patternist_StaticContext_H + +#include "qexternalvariableloader_p.h" +#include "qitemtype_p.h" +#include "qnamepool_p.h" +#include "qnamespaceresolver_p.h" +#include "qreportcontext_p.h" +#include "qresourceloader_p.h" + +QT_BEGIN_HEADER + +QT_BEGIN_NAMESPACE + +class QUrl; +template class QHash; + +namespace QPatternist +{ + class DynamicContext; + class Expression; + class FunctionFactory; + class SchemaTypeFactory; + + /** + * @short Carries information and facilities used at compilation time. + * + * A representation of the Static Context in XPath 2.0. The Static Context + * contains information which doesn't change and is the "outer scope" of the + * expression. It provides for example a base URI the expression can relate to and + * what functions and variables that are available for the expression. + * + * @see XML Path + * Language (XPath) 2.0, 2.1.1 Static Context + * @author Frans Englich + */ + class StaticContext : public ReportContext + { + public: + /** + * A smart pointer wrapping StaticContext instances. + */ + typedef QExplicitlySharedDataPointer Ptr; + + /** + * @see XQuery 1.0: + * An XML Query Language, 4.3 Boundary-space Declaration + * @see XQuery 1.0: + * An XML Query Language, Definition: Boundary-space policy + */ + enum BoundarySpacePolicy + { + BSPPreserve, + BSPStrip + }; + + /** + * @see XQuery 1.0: + * An XML Query Language, 4.6 Construction Declaration + * @see XQuery 1.0: + * An XML Query Language, Definition: Construction mode + */ + enum ConstructionMode + { + CMPreserve, + CMStrip + }; + + /** + * @see XQuery 1.0: + * An XML Query Language, 4.7 Ordering Mode Declaration + * @see XQuery 1.0: + * An XML Query Language, Definition: Ordering mode + */ + enum OrderingMode + { + Ordered, + Unordered + }; + + /** + * @see XQuery 1.0: + * An XML Query Language, 4.8 Empty Order Declaration + * @see XQuery 1.0: + * An XML Query Language, Definition: Default order for empty sequences + */ + enum OrderingEmptySequence + { + Greatest, + Least + }; + + enum InheritMode + { + Inherit, + NoInherit + }; + + enum PreserveMode + { + Preserve, + NoPreserve + }; + + inline StaticContext() + { + } + + virtual ~StaticContext(); + + virtual NamespaceResolver::Ptr namespaceBindings() const = 0; + virtual void setNamespaceBindings(const NamespaceResolver::Ptr &) = 0; + virtual QExplicitlySharedDataPointer functionSignatures() const = 0; + virtual QExplicitlySharedDataPointer schemaDefinitions() const = 0; + + /** + * The base URI of the context. Typically, this is the base URI + * if of the element that contained the expression. + * + * The base URI is in this implementation is never undefined, but is + * always valid. + */ + virtual QUrl baseURI() const = 0; + + virtual void setBaseURI(const QUrl &uri) = 0; + + /** + * @returns always the standard function namespace defined in + * XQuery 1.0 and + * XPath 2.0 Functions and Operators + */ + virtual QString defaultFunctionNamespace() const = 0; + virtual void setDefaultFunctionNamespace(const QString &ns) = 0; + + virtual QString defaultElementNamespace() const = 0; + virtual void setDefaultElementNamespace(const QString &ns) = 0; + + /** + * @returns the URI identifying the default collation. The function + * is responsible for ensuring a collation is always returned. If + * a collation is not provided by the user or the host language in the + * context, the Unicode codepoint URI should be returned. + */ + virtual QUrl defaultCollation() const = 0; + + virtual void setDefaultCollation(const QUrl &uri) = 0; + + /** + * Determine whether Backwards Compatible Mode is used. + * + * @see XML Path + * Language (XPath) 2.0, I Backwards Compatibility with XPath 1.0 (Non-Normative) + * @see XML Path + * Language (XPath) 2.0, Definition: XPath 1.0 compatibility mode + */ + virtual bool compatModeEnabled() const = 0; + + virtual void setCompatModeEnabled(const bool newVal) = 0; + + /** + * This is the DynamicContext that is used for pre-evaluation at + * compilation time, const-folding at the static stage. + */ + virtual QExplicitlySharedDataPointer dynamicContext() const = 0; + + virtual BoundarySpacePolicy boundarySpacePolicy() const = 0; + virtual void setBoundarySpacePolicy(const BoundarySpacePolicy policy) = 0; + + virtual ConstructionMode constructionMode() const = 0; + virtual void setConstructionMode(const ConstructionMode mode) = 0; + + virtual OrderingMode orderingMode() const = 0; + virtual void setOrderingMode(const OrderingMode mode) = 0; + virtual OrderingEmptySequence orderingEmptySequence() const = 0; + virtual void setOrderingEmptySequence(const OrderingEmptySequence ordering) = 0; + + virtual InheritMode inheritMode() const = 0; + virtual void setInheritMode(const InheritMode mode) = 0; + + virtual PreserveMode preserveMode() const = 0; + virtual void setPreserveMode(const PreserveMode mode) = 0; + + /** + * @short The static type of the context item. + * + * Different StaticContext instances are used for different nodes in the + * AST to properly reflect the type of the focus. If the focus is undefined, + * this function must return @c null. + * + * @see XQuery + * 1.0: An XML Query Language, Definition: Context item static type + */ + virtual ItemType::Ptr contextItemType() const = 0; + + /** + * @short The static type of the current item, as returned by @c + * fn:current(). + */ + virtual ItemType::Ptr currentItemType() const = 0; + + /** + * Copies this StaticContext and returns the copy. + * + * The copy and original must not be independent. Since the StaticContext is modified + * during the compilation process, the copy must be independent from the original + * to the degree that is required for the subclass in question. + */ + virtual StaticContext::Ptr copy() const = 0; + + virtual ExternalVariableLoader::Ptr externalVariableLoader() const = 0; + virtual ResourceLoader::Ptr resourceLoader() const = 0; + virtual NamePool::Ptr namePool() const = 0; + + /** + * @short Adds @p location for @p reflection. + */ + virtual void addLocation(const SourceLocationReflection *const reflection, + const QSourceLocation &location) = 0; + + /** + * @short Returns a hash of the contained locations. + * + * The key is the address for the expression, and the value is its location. Note + * that the key cannot be dereferenced, there's no guarantee the + * Expression is in scope. The key is merely an identifier. + */ + virtual LocationHash sourceLocations() const = 0; + + virtual VariableSlotID currentRangeSlot() const = 0; + virtual VariableSlotID allocateRangeSlot() = 0; + + /** + * @short Ensures source locations are handled in such a manner that @p + * existingNode wraps @p newNode. + * + * Ensures that the source locations for @p existingNode, applies to + * @p newNode. + */ + void wrapExpressionWith(const SourceLocationReflection *const existingNode, + const QExplicitlySharedDataPointer &newNode); + }; +} + +QT_END_NAMESPACE + +QT_END_HEADER + +#endif