src/xmlpatterns/expr/qelementconstructor.cpp

   1 /****************************************************************************
   2 **
   3 ** Copyright (C) 2012 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 #include "qcommonsequencetypes_p.h"
  43 #include "qdelegatingnamespaceresolver_p.h"
  44 #include "qnamespaceconstructor_p.h"
  45 #include "qnodebuilder_p.h"
  46 #include "qoutputvalidator_p.h"
  47 #include "qqnamevalue_p.h"
  48 #include "qstaticnamespacecontext_p.h"
  49
  50 #include "qelementconstructor_p.h"
  51
  52 QT_BEGIN_NAMESPACE
  53
  54 using namespace QPatternist;
  55
  56 ElementConstructor::ElementConstructor(const Expression::Ptr &op1,
  57                                        const Expression::Ptr &op2,
  58                                        const bool isXSLT) : PairContainer(op1, op2)
  59                                                           , m_isXSLT(isXSLT)
  60 {
  61 }
  62
  63 Item ElementConstructor::evaluateSingleton(const DynamicContext::Ptr &context) const
  64 {
  65     const Item name(m_operand1->evaluateSingleton(context));
  66
  67     const NodeBuilder::Ptr nodeBuilder(context->nodeBuilder(m_staticBaseURI));
  68     OutputValidator validator(nodeBuilder.data(), context, this, m_isXSLT);
  69
  70     const DynamicContext::Ptr receiverContext(context->createReceiverContext(&validator));
  71
  72     nodeBuilder->startElement(name.as<QNameValue>()->qName());
  73     m_operand2->evaluateToSequenceReceiver(receiverContext);
  74     nodeBuilder->endElement();
  75
  76     const QAbstractXmlNodeModel::Ptr nm(nodeBuilder->builtDocument());
  77     context->addNodeModel(nm);
  78
  79     return nm->root(QXmlNodeModelIndex());
  80 }
  81
  82 void ElementConstructor::evaluateToSequenceReceiver(const DynamicContext::Ptr &context) const
  83 {
  84     /* We create an OutputValidator here too. If we're serializing(a common
  85      * case, unfortunately) the receiver is already validating in order to
  86      * catch cases where a computed attribute constructor is followed by an
  87      * element constructor, but in the cases where we're not serializing it's
  88      * necessary that we validate in this step. */
  89     const Item name(m_operand1->evaluateSingleton(context));
  90     QAbstractXmlReceiver *const receiver = context->outputReceiver();
  91
  92     OutputValidator validator(receiver, context, this, m_isXSLT);
  93     const DynamicContext::Ptr receiverContext(context->createReceiverContext(&validator));
  94
  95     receiver->startElement(name.as<QNameValue>()->qName());
  96     m_operand2->evaluateToSequenceReceiver(receiverContext);
  97     receiver->endElement();
  98 }
  99
 100 Expression::Ptr ElementConstructor::typeCheck(const StaticContext::Ptr &context,
 101                                               const SequenceType::Ptr &reqType)
 102 {
 103     /* What does this code do? When type checking our children, our namespace
 104      * bindings, which are also children of the form of NamespaceConstructor
 105      * instances, must be statically in-scope for them, so find them and
 106      * shuffle their bindings into the StaticContext. */
 107
 108     m_staticBaseURI = context->baseURI();
 109
 110     /* Namespace declarations changes the in-scope bindings, so let's
 111      * first lookup our child NamespaceConstructors. */
 112     const ID operandID = m_operand2->id();
 113
 114     NamespaceResolver::Bindings overrides;
 115     if(operandID == IDExpressionSequence)
 116     {
 117         const Expression::List operands(m_operand2->operands());
 118         const int len = operands.count();
 119
 120         for(int i = 0; i < len; ++i)
 121         {
 122             if(operands.at(i)->is(IDNamespaceConstructor))
 123             {
 124                 const QXmlName &nb = operands.at(i)->as<NamespaceConstructor>()->namespaceBinding();
 125                 overrides.insert(nb.prefix(), nb.namespaceURI());
 126             }
 127         }
 128     }
 129
 130     const NamespaceResolver::Ptr newResolver(new DelegatingNamespaceResolver(context->namespaceBindings(), overrides));
 131     const StaticContext::Ptr augmented(new StaticNamespaceContext(newResolver, context));
 132
 133     return PairContainer::typeCheck(augmented, reqType);
 134 }
 135
 136 SequenceType::Ptr ElementConstructor::staticType() const
 137 {
 138     return CommonSequenceTypes::ExactlyOneElement;
 139 }
 140
 141 SequenceType::List ElementConstructor::expectedOperandTypes() const
 142 {
 143     SequenceType::List result;
 144     result.append(CommonSequenceTypes::ExactlyOneQName);
 145     result.append(CommonSequenceTypes::ZeroOrMoreItems);
 146     return result;
 147 }
 148
 149 Expression::Properties ElementConstructor::properties() const
 150 {
 151     return DisableElimination | IsNodeConstructor;
 152 }
 153
 154 ExpressionVisitorResult::Ptr
 155 ElementConstructor::accept(const ExpressionVisitor::Ptr &visitor) const
 156 {
 157     return visitor->visit(this);
 158 }
 159
 160 QT_END_NAMESPACE