1 /****************************************************************************
2 **
3 ** Copyright (C) 2015 The Qt Company Ltd.
4 ** Contact: http://www.qt.io/licensing/
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 The Qt Company. For licensing terms
14 ** and conditions see http://www.qt.io/terms-conditions. For further
15 ** information use the contact form at http://www.qt.io/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 or version 3 as published by the Free
20 ** Software Foundation and appearing in the file LICENSE.LGPLv21 and
21 ** LICENSE.LGPLv3 included in the packaging of this file. Please review the
22 ** following information to ensure the GNU Lesser General Public License
23 ** requirements will be met: https://www.gnu.org/licenses/lgpl.html and
24 ** http://www.gnu.org/licenses/old-licenses/lgpl-2.1.html.
25 **
26 ** As a special exception, The Qt Company gives you certain additional
27 ** rights. These rights are described in The Qt Company LGPL Exception
28 ** version 1.1, included in the file LGPL_EXCEPTION.txt in this package.
29 **
30 ** GNU General Public License Usage
31 ** Alternatively, this file may be used under the terms of the GNU
32 ** General Public License version 3.0 as published by the Free Software
33 ** Foundation and appearing in the file LICENSE.GPL included in the
34 ** packaging of this file.  Please review the following information to
35 ** ensure the GNU General Public License version 3.0 requirements will be
36 ** met: http://www.gnu.org/copyleft/gpl.html.
37 **
38 ** $QT_END_LICENSE$
39 **
40 ****************************************************************************/
41 
42 #include "qxsdvalidatinginstancereader_p.h"
43 
44 #include "qabstractdatetime_p.h"
45 #include "qacceltreeresourceloader_p.h"
46 #include "qbase64binary_p.h"
47 #include "qboolean_p.h"
48 #include "qcommonnamespaces_p.h"
49 #include "qderivedinteger_p.h"
50 #include "qduration_p.h"
51 #include "qgenericstaticcontext_p.h"
52 #include "qhexbinary_p.h"
53 #include "qnamespaceresolver_p.h"
54 #include "qpatternplatform_p.h"
55 #include "qqnamevalue_p.h"
56 #include "qsourcelocationreflection_p.h"
57 #include "qvaluefactory_p.h"
58 #include "qxmlnamepool.h"
59 #include "qxmlquery_p.h"
60 #include "qxmlschema_p.h"
61 #include "qxsdschemahelper_p.h"
62 #include "qxsdschemamerger_p.h"
63 #include "qxsdstatemachine_p.h"
64 #include "qxsdstatemachinebuilder_p.h"
65 #include "qxsdtypechecker_p.h"
66 
67 #include "qxsdschemadebugger_p.h"
68 
69 #include <QtCore/QFile>
70 #include <QtXmlPatterns/QXmlQuery>
71 #include <QtXmlPatterns/QXmlResultItems>
72 
73 QT_BEGIN_NAMESPACE
74 
75 using namespace QPatternist;
76 
77 namespace QPatternist
78 {
79     template <>
80     template <>
inputEqualsTransition(QXmlName name,XsdTerm::Ptr term) const81     bool XsdStateMachine<XsdTerm::Ptr>::inputEqualsTransition<QXmlName>(QXmlName name, XsdTerm::Ptr term) const
82     {
83         if (term->isElement()) {
84             return (XsdElement::Ptr(term)->name(m_namePool) == name);
85         } else if (term->isWildcard()) {
86             // wildcards using XsdWildcard::absentNamespace, so we have to fix that here
87             if (name.namespaceURI() == StandardNamespaces::empty) {
88                 name.setNamespaceURI(m_namePool->allocateNamespace(XsdWildcard::absentNamespace()));
89             }
90 
91             return XsdSchemaHelper::wildcardAllowsExpandedName(name, XsdWildcard::Ptr(term), m_namePool);
92         }
93 
94         return false;
95     }
96 }
97 
XsdValidatingInstanceReader(XsdValidatedXmlNodeModel * model,const QUrl & documentUri,const XsdSchemaContext::Ptr & context)98 XsdValidatingInstanceReader::XsdValidatingInstanceReader(XsdValidatedXmlNodeModel *model, const QUrl &documentUri, const XsdSchemaContext::Ptr &context)
99     : XsdInstanceReader(model, context)
100     , m_model(model)
101     , m_namePool(m_context->namePool())
102     , m_xsiNilName(m_namePool->allocateQName(CommonNamespaces::XSI, QLatin1String("nil")))
103     , m_xsiTypeName(m_namePool->allocateQName(CommonNamespaces::XSI, QLatin1String("type")))
104     , m_xsiSchemaLocationName(m_namePool->allocateQName(CommonNamespaces::XSI, QLatin1String("schemaLocation")))
105     , m_xsiNoNamespaceSchemaLocationName(m_namePool->allocateQName(CommonNamespaces::XSI, QLatin1String("noNamespaceSchemaLocation")))
106     , m_documentUri(documentUri)
107 {
108     m_idRefsType = m_context->schemaTypeFactory()->createSchemaType(m_namePool->allocateQName(CommonNamespaces::WXS, QLatin1String("IDREFS")));
109 }
110 
addSchema(const XsdSchema::Ptr & schema,const QUrl & locationUrl)111 void XsdValidatingInstanceReader::addSchema(const XsdSchema::Ptr &schema, const QUrl &locationUrl)
112 {
113     if (!m_mergedSchemas.contains(locationUrl)) {
114         m_mergedSchemas.insert(locationUrl, QStringList() << schema->targetNamespace());
115     } else {
116         QStringList &targetNamespaces = m_mergedSchemas[locationUrl];
117         if (targetNamespaces.contains(schema->targetNamespace()))
118             return;
119 
120         targetNamespaces.append(schema->targetNamespace());
121     }
122 
123     const XsdSchemaMerger merger(m_schema, schema);
124     m_schema = merger.mergedSchema();
125 /*
126     XsdSchemaDebugger dbg(m_namePool);
127     dbg.dumpSchema(m_schema);
128 */
129 }
130 
read()131 bool XsdValidatingInstanceReader::read()
132 {
133     while (!atEnd()) {
134         readNext();
135 
136         if (isEndElement())
137             return true;
138 
139         if (isStartElement()) {
140             const QXmlName elementName = name();
141             const QXmlItem currentItem = item();
142             bool hasStateMachine = false;
143             XsdElement::Ptr processedElement;
144 
145             if (!validate(hasStateMachine, processedElement))
146                 return false;
147 
148             read();
149 
150             if (processedElement) { // for wildcard with 'skip' we have no element
151                 m_model->setAssignedElement(currentItem.toNodeModelIndex(), processedElement);
152 
153                 // check identity constraints after all child nodes have been
154                 // validated, so that we know there assigned types
155                 validateIdentityConstraint(processedElement, currentItem);
156             }
157 
158             if (!m_stateMachines.isEmpty() && hasStateMachine) {
159                 if (!m_stateMachines.top().inEndState()) {
160                     error(QtXmlPatterns::tr("Element %1 is missing child element.").arg(formatKeyword(m_namePool->displayName(elementName))));
161                     return false;
162                 }
163                 m_stateMachines.pop();
164             }
165         }
166     }
167 
168     // final validations
169 
170     // check IDREF occurrences
171     const QStringList ids = m_model->idIdRefBindingIds();
172     QSetIterator<QString> it(m_idRefs);
173     while (it.hasNext()) {
174         const QString id = it.next();
175         if (!ids.contains(id)) {
176             error(QtXmlPatterns::tr("There is one IDREF value with no corresponding ID: %1.").arg(formatKeyword(id)));
177             return false;
178         }
179     }
180 
181     return true;
182 }
183 
error(const QString & msg) const184 void XsdValidatingInstanceReader::error(const QString &msg) const
185 {
186     m_context.data()->error(msg, XsdSchemaContext::XSDError, sourceLocation());
187 }
188 
loadSchema(const QString & targetNamespace,const QUrl & location)189 bool XsdValidatingInstanceReader::loadSchema(const QString &targetNamespace, const QUrl &location)
190 {
191     const AutoPtr<QNetworkReply> reply(AccelTreeResourceLoader::load(location, m_context->networkAccessManager(),
192                                                                      m_context, AccelTreeResourceLoader::ContinueOnError));
193     if (!reply)
194         return true;
195 
196     // we have to create a separated schema context here, that however shares the type factory
197     XsdSchemaContext::Ptr context(new XsdSchemaContext(m_namePool));
198     context->m_schemaTypeFactory = m_context->m_schemaTypeFactory;
199 
200     QXmlSchemaPrivate schema(context);
201     schema.load(reply.data(), location, targetNamespace);
202     if (!schema.isValid()) {
203         error(QtXmlPatterns::tr("Loaded schema file is invalid."));
204         return false;
205     }
206 
207     addSchema(schema.m_schemaParserContext->schema(), location);
208 
209     return true;
210 }
211 
validate(bool & hasStateMachine,XsdElement::Ptr & processedElement)212 bool XsdValidatingInstanceReader::validate(bool &hasStateMachine, XsdElement::Ptr &processedElement)
213 {
214     // first check if a custom schema is defined
215     if (hasAttribute(m_xsiSchemaLocationName)) {
216         const QString schemaLocation = attribute(m_xsiSchemaLocationName);
217         const QStringList parts = schemaLocation.split(QLatin1Char(' '), QString::SkipEmptyParts);
218         if ((parts.count()%2) == 1) {
219             error(QtXmlPatterns::tr("%1 contains invalid data.").arg(formatKeyword(m_namePool, m_xsiSchemaLocationName)));
220             return false;
221         }
222 
223         for (int i = 0; i < parts.count(); i += 2) {
224             const QString identifier = QString::fromLatin1("%1 %2").arg(parts.at(i)).arg(parts.at(i + 1));
225             if (m_processedSchemaLocations.contains(identifier))
226                 continue;
227             else
228                 m_processedSchemaLocations.insert(identifier);
229 
230             // check constraint 4) from http://www.w3.org/TR/xmlschema-1/#schema-loc (only valid for XML Schema 1.0?)
231             if (m_processedNamespaces.contains(parts.at(i))) {
232                 error(QtXmlPatterns::tr("xsi:schemaLocation namespace %1 has already appeared earlier in the instance document.").arg(formatKeyword(parts.at(i))));
233                 return false;
234             }
235 
236             QUrl url(parts.at(i + 1));
237             if (url.isRelative()) {
238                 Q_ASSERT(m_documentUri.isValid());
239 
240                 url = m_documentUri.resolved(url);
241             }
242 
243             loadSchema(parts.at(i), url);
244         }
245     }
246 
247     if (hasAttribute(m_xsiNoNamespaceSchemaLocationName)) {
248         const QString schemaLocation = attribute(m_xsiNoNamespaceSchemaLocationName);
249 
250         if (!m_processedSchemaLocations.contains(schemaLocation)) {
251             m_processedSchemaLocations.insert(schemaLocation);
252 
253             if (m_processedNamespaces.contains(QString())) {
254                 error(QtXmlPatterns::tr("xsi:noNamespaceSchemaLocation cannot appear after the first no-namespace element or attribute."));
255                 return false;
256             }
257 
258             QUrl url(schemaLocation);
259             if (url.isRelative()) {
260                 Q_ASSERT(m_documentUri.isValid());
261 
262                 url = m_documentUri.resolved(url);
263             }
264 
265             loadSchema(QString(), url);
266         }
267     }
268 
269     m_processedNamespaces.insert(m_namePool->stringForNamespace(name().namespaceURI()));
270 
271     if (!m_schema) {
272         error(QtXmlPatterns::tr("No schema defined for validation."));
273         return false;
274     }
275 
276     // check if we are 'inside' a type definition
277     if (m_stateMachines.isEmpty()) {
278         // find out the type of the top-level element
279         XsdElement::Ptr element = elementByName(name());
280         if (!element) {
281             if (!hasAttribute(m_xsiTypeName)) {
282                 error(QtXmlPatterns::tr("No definition for element %1 available.").arg(formatKeyword(m_namePool, name())));
283                 return false;
284             }
285 
286             // This instance document has an element with no definition in the schema
287             // but an explicitly given type, that is fine according to the spec.
288             // We will create an element definition manually here and continue the
289             // normal validation process
290             element = XsdElement::Ptr(new XsdElement());
291             element->setName(name());
292             element->setIsAbstract(false);
293             element->setIsNillable(hasAttribute(m_xsiNilName));
294 
295             const QString type = qNameAttribute(m_xsiTypeName);
296             const QXmlName typeName = convertToQName(type);
297 
298             const SchemaType::Ptr elementType = typeByName(typeName);
299             if (!elementType) {
300                 error(QtXmlPatterns::tr("Specified type %1 is not known to the schema.").arg(formatType(m_namePool, typeName)));
301                 return false;
302             }
303             element->setType(elementType);
304         }
305 
306         // rememeber the element we process
307         processedElement = element;
308 
309         if (!validateElement(element, hasStateMachine)) {
310             return false;
311         }
312 
313     } else {
314         if (!m_stateMachines.top().proceed<QXmlName>(name())) {
315             error(QtXmlPatterns::tr("Element %1 is not defined in this scope.").arg(formatKeyword(m_namePool, name())));
316             return false;
317         }
318 
319         const XsdTerm::Ptr term = m_stateMachines.top().lastTransition();
320         if (term->isElement()) {
321             const XsdElement::Ptr element(term);
322 
323             // rememeber the element we process
324             processedElement = element;
325 
326             if (!validateElement(element, hasStateMachine))
327                 return false;
328 
329         } else {
330             const XsdWildcard::Ptr wildcard(term);
331             if (wildcard->processContents() != XsdWildcard::Skip) {
332                 XsdElement::Ptr elementDeclaration = elementByName(name());
333                 if (!elementDeclaration) {
334                     if (hasAttribute(m_xsiTypeName)) {
335                         // This instance document has an element with no definition in the schema
336                         // but an explicitly given type, that is fine according to the spec.
337                         // We will create an element definition manually here and continue the
338                         // normal validation process
339                         elementDeclaration = XsdElement::Ptr(new XsdElement());
340                         elementDeclaration->setName(name());
341                         elementDeclaration->setIsAbstract(false);
342                         elementDeclaration->setIsNillable(hasAttribute(m_xsiNilName));
343 
344                         const QString type = qNameAttribute(m_xsiTypeName);
345                         const QXmlName typeName = convertToQName(type);
346 
347                         const SchemaType::Ptr elementType = typeByName(typeName);
348                         if (!elementType) {
349                             error(QtXmlPatterns::tr("Specified type %1 is not known to the schema.").arg(formatType(m_namePool, typeName)));
350                             return false;
351                         }
352                         elementDeclaration->setType(elementType);
353                     }
354                 }
355 
356                 if (!elementDeclaration) {
357                     if (wildcard->processContents() == XsdWildcard::Strict) {
358                         error(QtXmlPatterns::tr("Declaration for element %1 does not exist.").arg(formatKeyword(m_namePool->displayName(name()))));
359                         return false;
360                     } else {
361                         // in this case we put a state machine for the xs:anyType on the statemachine stack,
362                         // so we accept every content of this element
363 
364                         createAndPushStateMachine(anyType()->contentType()->particle());
365                         hasStateMachine = true;
366                     }
367                 } else {
368                     if (!validateElement(elementDeclaration, hasStateMachine)) {
369                         if (wildcard->processContents() == XsdWildcard::Strict) {
370                             error(QtXmlPatterns::tr("Element %1 contains invalid content.").arg(formatKeyword(m_namePool->displayName(name()))));
371                             return false;
372                         }
373                     }
374 
375                     // rememeber the type of that element node
376                     m_model->setAssignedType(item().toNodeModelIndex(), elementDeclaration->type());
377                 }
378             } else { // wildcard process contents type is Skip
379                 // in this case we put a state machine for the xs:anyType on the statemachine stack,
380                 // so we accept every content of this element
381 
382                 const XsdWildcard::Ptr wildcard(new XsdWildcard());
383                 wildcard->namespaceConstraint()->setVariety(XsdWildcard::NamespaceConstraint::Any);
384                 wildcard->setProcessContents(XsdWildcard::Skip);
385 
386                 const XsdParticle::Ptr outerParticle(new XsdParticle());
387                 outerParticle->setMinimumOccurs(1);
388                 outerParticle->setMaximumOccurs(1);
389 
390                 const XsdParticle::Ptr innerParticle(new XsdParticle());
391                 innerParticle->setMinimumOccurs(0);
392                 innerParticle->setMaximumOccursUnbounded(true);
393                 innerParticle->setTerm(wildcard);
394 
395                 const XsdModelGroup::Ptr outerModelGroup(new XsdModelGroup());
396                 outerModelGroup->setCompositor(XsdModelGroup::SequenceCompositor);
397                 outerModelGroup->setParticles(XsdParticle::List() << innerParticle);
398                 outerParticle->setTerm(outerModelGroup);
399 
400                 createAndPushStateMachine(outerParticle);
401                 hasStateMachine = true;
402             }
403         }
404     }
405 
406     return true;
407 }
408 
createAndPushStateMachine(const XsdParticle::Ptr & particle)409 void XsdValidatingInstanceReader::createAndPushStateMachine(const XsdParticle::Ptr &particle)
410 {
411     XsdStateMachine<XsdTerm::Ptr> stateMachine(m_namePool);
412 
413     XsdStateMachineBuilder builder(&stateMachine, m_namePool, XsdStateMachineBuilder::ValidatingMode);
414     const XsdStateMachine<XsdTerm::Ptr>::StateId endState = builder.reset();
415     const XsdStateMachine<XsdTerm::Ptr>::StateId startState = builder.buildParticle(particle, endState);
416     builder.addStartState(startState);
417 
418 /*
419     QString fileName = QString("/tmp/foo_%1.dot").arg(m_namePool->displayName(complexType->name(m_namePool)));
420     QString pngFileName = QString("/tmp/foo_%1.png").arg(m_namePool->displayName(complexType->name(m_namePool)));
421     QFile file(fileName);
422     file.open(QIODevice::WriteOnly);
423     stateMachine.outputGraph(&file, "Hello");
424     file.close();
425     ::system(QString("dot -Tpng %1 -o%2").arg(fileName).arg(pngFileName).toLatin1().data());
426 */
427 
428     stateMachine = stateMachine.toDFA();
429 
430     m_stateMachines.push(stateMachine);
431 }
432 
validateElement(const XsdElement::Ptr & declaration,bool & hasStateMachine)433 bool XsdValidatingInstanceReader::validateElement(const XsdElement::Ptr &declaration, bool &hasStateMachine)
434 {
435     // http://www.w3.org/TR/xmlschema11-1/#d0e10998
436 
437     bool isNilled = false;
438 
439     // 1 tested already, 'declaration' corresponds D
440 
441     // 2
442     if (declaration->isAbstract()) {
443         error(QtXmlPatterns::tr("Element %1 is declared as abstract.").arg(formatKeyword(declaration->displayName(m_namePool))));
444         return false;
445     }
446 
447     // 3
448     if (!declaration->isNillable()) {
449         if (hasAttribute(m_xsiNilName)) {
450             error(QtXmlPatterns::tr("Element %1 is not nillable.").arg(formatKeyword(declaration->displayName(m_namePool))));
451             return false; // 3.1
452         }
453     } else {
454         if (hasAttribute(m_xsiNilName)) {
455             const QString value = attribute(m_xsiNilName);
456             const Boolean::Ptr nil = Boolean::fromLexical(value);
457             if (nil->hasError()) {
458                 error(QtXmlPatterns::tr("Attribute %1 contains invalid data: %2").arg(formatKeyword(QLatin1String("nil."))).arg(formatData(value)));
459                 return false;
460             }
461 
462             // 3.2.3
463             if (nil->as<Boolean>()->value() == true) {
464                 // 3.2.3.1
465                 if (hasChildElement() || hasChildText()) {
466                     error(QtXmlPatterns::tr("Element contains content although it is nillable."));
467                     return false;
468                 }
469 
470                 // 3.2.3.2
471                 if (declaration->valueConstraint() && declaration->valueConstraint()->variety() == XsdElement::ValueConstraint::Fixed) {
472                     error(QtXmlPatterns::tr("Fixed value constraint not allowed if element is nillable."));
473                     return false;
474                 }
475             }
476 
477             isNilled = nil->as<Boolean>()->value();
478         }
479     }
480 
481     SchemaType::Ptr finalElementType = declaration->type();
482 
483     // 4
484     if (hasAttribute(m_xsiTypeName)) {
485         const QString type = qNameAttribute(m_xsiTypeName);
486         const QXmlName typeName = convertToQName(type);
487 
488         const SchemaType::Ptr elementType = typeByName(typeName);
489         // 4.1
490         if (!elementType) {
491             error(QtXmlPatterns::tr("Specified type %1 is not known to the schema.").arg(formatType(m_namePool, typeName)));
492             return false;
493         }
494 
495         // 4.2
496         SchemaType::DerivationConstraints constraints = 0;
497         if (declaration->disallowedSubstitutions() & NamedSchemaComponent::ExtensionConstraint)
498             constraints |= SchemaType::ExtensionConstraint;
499         if (declaration->disallowedSubstitutions() & NamedSchemaComponent::RestrictionConstraint)
500             constraints |= SchemaType::RestrictionConstraint;
501 
502         if (!XsdSchemaHelper::isValidlySubstitutable(elementType, declaration->type(), constraints)) {
503             if (declaration->type()->name(m_namePool) != BuiltinTypes::xsAnyType->name(m_namePool)) { // xs:anyType is a valid substitutable type here
504                 error(QtXmlPatterns::tr("Specified type %1 is not validly substitutable with element type %2.").arg(formatType(m_namePool, elementType)).arg(formatType(m_namePool, declaration->type())));
505                 return false;
506             }
507         }
508 
509         finalElementType = elementType;
510     }
511 
512     if (!validateElementType(declaration, finalElementType, isNilled, hasStateMachine))
513         return false;
514 
515     return true;
516 }
517 
validateElementType(const XsdElement::Ptr & declaration,const SchemaType::Ptr & type,bool isNilled,bool & hasStateMachine)518 bool XsdValidatingInstanceReader::validateElementType(const XsdElement::Ptr &declaration, const SchemaType::Ptr &type, bool isNilled, bool &hasStateMachine)
519 {
520     // @see http://www.w3.org/TR/xmlschema11-1/#d0e11749
521 
522     // 1 checked already
523 
524     // 2
525     if (type->isComplexType() && type->isDefinedBySchema()) {
526         if (XsdComplexType::Ptr(type)->isAbstract()) {
527             error(QtXmlPatterns::tr("Complex type %1 is not allowed to be abstract.").arg(formatType(m_namePool, type)));
528             return false;
529         }
530     }
531 
532     // 3
533     if (type->isSimpleType())
534         return validateElementSimpleType(declaration, type, isNilled); // 3.1
535     else
536         return validateElementComplexType(declaration, type, isNilled, hasStateMachine); // 3.2
537 }
538 
validateElementSimpleType(const XsdElement::Ptr & declaration,const SchemaType::Ptr & type,bool isNilled)539 bool XsdValidatingInstanceReader::validateElementSimpleType(const XsdElement::Ptr &declaration, const SchemaType::Ptr &type, bool isNilled)
540 {
541     // @see http://www.w3.org/TR/xmlschema11-1/#d0e11749
542 
543     // 3.1.1
544     const QSet<QXmlName> allowedAttributes(QSet<QXmlName>() << m_xsiNilName << m_xsiTypeName << m_xsiSchemaLocationName << m_xsiNoNamespaceSchemaLocationName);
545     QSet<QXmlName> elementAttributes = attributeNames();
546     elementAttributes.subtract(allowedAttributes);
547     if (!elementAttributes.isEmpty()) {
548         error(QtXmlPatterns::tr("Element %1 contains not allowed attributes.").arg(formatKeyword(declaration->displayName(m_namePool))));
549         return false;
550     }
551 
552     // 3.1.2
553     if (hasChildElement()) {
554         error(QtXmlPatterns::tr("Element %1 contains not allowed child element.").arg(formatKeyword(declaration->displayName(m_namePool))));
555         return false;
556     }
557 
558     // 3.1.3
559     if (!isNilled) {
560         const XsdFacet::Hash facets = XsdTypeChecker::mergedFacetsForType(type, m_context);
561 
562         QString actualValue;
563         if (hasChildText()) {
564             actualValue = XsdTypeChecker::normalizedValue(text(), facets);
565         } else {
566             if (declaration->valueConstraint())
567                 actualValue = XsdTypeChecker::normalizedValue(declaration->valueConstraint()->value(), facets);
568         }
569 
570         QString errorMsg;
571         AnySimpleType::Ptr boundType;
572 
573         const XsdTypeChecker checker(m_context, namespaceBindings(item().toNodeModelIndex()), sourceLocation());
574         if (!checker.isValidString(actualValue, type, errorMsg, &boundType)) {
575             error(QtXmlPatterns::tr("Content of element %1 does not match its type definition: %2.").arg(formatKeyword(declaration->displayName(m_namePool))).arg(errorMsg));
576             return false;
577         }
578 
579         // additional check
580         if (declaration->valueConstraint() && declaration->valueConstraint()->variety() == XsdElement::ValueConstraint::Fixed) {
581             const QString actualConstraintValue = XsdTypeChecker::normalizedValue(declaration->valueConstraint()->value(), facets);
582             if (!text().isEmpty() && !checker.valuesAreEqual(actualValue, actualConstraintValue, type)) {
583                 error(QtXmlPatterns::tr("Content of element %1 does not match defined value constraint.").arg(formatKeyword(declaration->displayName(m_namePool))));
584                 return false;
585             }
586         }
587     }
588 
589     // 4  checked in validateElement already
590 
591     // rememeber the type of that element node
592     m_model->setAssignedType(item().toNodeModelIndex(), type);
593 
594     const XsdFacet::Hash facets = XsdTypeChecker::mergedFacetsForType(type, m_context);
595     const QString actualValue = XsdTypeChecker::normalizedValue(text(), facets);
596 
597     if (BuiltinTypes::xsID->wxsTypeMatches(type)) {
598         addIdIdRefBinding(actualValue, declaration);
599     }
600 
601     if (m_idRefsType->wxsTypeMatches(type)) {
602         const QStringList idRefs = actualValue.split(QLatin1Char(' '), QString::SkipEmptyParts);
603         for (int i = 0; i < idRefs.count(); ++i) {
604             m_idRefs.insert(idRefs.at(i));
605         }
606     } else if (BuiltinTypes::xsIDREF->wxsTypeMatches(type)) {
607         m_idRefs.insert(actualValue);
608     }
609 
610     return true;
611 }
612 
hasIDAttributeUse(const XsdAttributeUse::List & uses)613 static bool hasIDAttributeUse(const XsdAttributeUse::List &uses)
614 {
615     const int count = uses.count();
616     for (int i = 0; i < count; ++i) {
617         if (BuiltinTypes::xsID->wxsTypeMatches(uses.at(i)->attribute()->type()))
618             return true;
619     }
620 
621     return false;
622 }
623 
validateElementComplexType(const XsdElement::Ptr & declaration,const SchemaType::Ptr & type,bool isNilled,bool & hasStateMachine)624 bool XsdValidatingInstanceReader::validateElementComplexType(const XsdElement::Ptr &declaration, const SchemaType::Ptr &type, bool isNilled, bool &hasStateMachine)
625 {
626     // @see http://www.w3.org/TR/xmlschema11-1/#cvc-complex-type
627 
628     // 1
629     if (!isNilled) {
630         XsdComplexType::Ptr complexType;
631 
632         if (type->isDefinedBySchema()) {
633             complexType = XsdComplexType::Ptr(type);
634         } else {
635             if (type->name(m_namePool) == BuiltinTypes::xsAnyType->name(m_namePool))
636                 complexType = anyType();
637         }
638 
639         if (complexType) {
640             // 1.1
641             if (complexType->contentType()->variety() == XsdComplexType::ContentType::Empty) {
642                 if (hasChildText() || hasChildElement()) {
643                     error(QtXmlPatterns::tr("Element %1 contains not allowed child content.").arg(formatKeyword(declaration->displayName(m_namePool))));
644                     return false;
645                 }
646             }
647 
648             // 1.2
649             if (complexType->contentType()->variety() == XsdComplexType::ContentType::Simple) {
650                 if (hasChildElement()) {
651                     error(QtXmlPatterns::tr("Element %1 contains not allowed child element.").arg(formatKeyword(declaration->displayName(m_namePool))));
652                     return false;
653                 }
654 
655                 const XsdFacet::Hash facets = XsdTypeChecker::mergedFacetsForType(complexType->contentType()->simpleType(), m_context);
656                 QString actualValue;
657                 if (hasChildText()) {
658                     actualValue = XsdTypeChecker::normalizedValue(text(), facets);
659                 } else {
660                     if (declaration->valueConstraint())
661                         actualValue = XsdTypeChecker::normalizedValue(declaration->valueConstraint()->value(), facets);
662                 }
663 
664                 QString errorMsg;
665                 AnySimpleType::Ptr boundType;
666                 const XsdTypeChecker checker(m_context, namespaceBindings(item().toNodeModelIndex()), sourceLocation());
667                 if (!checker.isValidString(actualValue, complexType->contentType()->simpleType(), errorMsg, &boundType)) {
668                     error(QtXmlPatterns::tr("Content of element %1 does not match its type definition: %2.").arg(formatKeyword(declaration->displayName(m_namePool))).arg(errorMsg));
669                     return false;
670                 }
671 
672                 // additional check
673                 if (declaration->valueConstraint() && declaration->valueConstraint()->variety() == XsdElement::ValueConstraint::Fixed) {
674                     if (!checker.valuesAreEqual(actualValue, declaration->valueConstraint()->value(), boundType)) {
675                         error(QtXmlPatterns::tr("Content of element %1 does not match defined value constraint.").arg(formatKeyword(declaration->displayName(m_namePool))));
676                         return false;
677                     }
678                 }
679             }
680 
681             // 1.3
682             if (complexType->contentType()->variety() == XsdComplexType::ContentType::ElementOnly) {
683                 if (!text().simplified().isEmpty()) {
684                     error(QtXmlPatterns::tr("Element %1 contains not allowed text content.").arg(formatKeyword(declaration->displayName(m_namePool))));
685                     return false;
686                 }
687             }
688 
689             // 1.4
690             if (complexType->contentType()->variety() == XsdComplexType::ContentType::ElementOnly ||
691                 complexType->contentType()->variety() == XsdComplexType::ContentType::Mixed) {
692 
693                 if (complexType->contentType()->particle()) {
694                     createAndPushStateMachine(complexType->contentType()->particle());
695                     hasStateMachine = true;
696                 }
697 
698                 // additional check
699                 if (complexType->contentType()->variety() == XsdComplexType::ContentType::Mixed) {
700                     if (declaration->valueConstraint() && declaration->valueConstraint()->variety() == XsdElement::ValueConstraint::Fixed) {
701                         if (hasChildElement()) {
702                             error(QtXmlPatterns::tr("Element %1 cannot contain other elements, as it has fixed content.").arg(formatKeyword(declaration->displayName(m_namePool))));
703                             return false;
704                         }
705 
706                         const XsdFacet::Hash facets = XsdTypeChecker::mergedFacetsForType(complexType->contentType()->simpleType(), m_context);
707                         QString actualValue;
708                         if (hasChildText()) {
709                             actualValue = XsdTypeChecker::normalizedValue(text(), facets);
710                         } else {
711                             if (declaration->valueConstraint())
712                                 actualValue = XsdTypeChecker::normalizedValue(declaration->valueConstraint()->value(), facets);
713                         }
714 
715                         if (actualValue != declaration->valueConstraint()->value()) {
716                             error(QtXmlPatterns::tr("Content of element %1 does not match defined value constraint.").arg(formatKeyword(declaration->displayName(m_namePool))));
717                             return false;
718                         }
719                     }
720                 }
721             }
722         }
723     }
724 
725     if (type->isDefinedBySchema()) {
726         const XsdComplexType::Ptr complexType(type);
727 
728         // create a lookup hash for faster access
729         QHash<QXmlName, XsdAttributeUse::Ptr> attributeUseHash;
730         {
731             const XsdAttributeUse::List attributeUses = complexType->attributeUses();
732             for (int i = 0; i < attributeUses.count(); ++i)
733                 attributeUseHash.insert(attributeUses.at(i)->attribute()->name(m_namePool), attributeUses.at(i));
734         }
735 
736         const QSet<QXmlName> attributes(attributeNames());
737 
738         // 3
739         QHashIterator<QXmlName, XsdAttributeUse::Ptr> usesIt(attributeUseHash);
740         while (usesIt.hasNext()) {
741             usesIt.next();
742 
743             if (usesIt.value()->isRequired()) {
744                 if (!attributes.contains(usesIt.key())) {
745                     error(QtXmlPatterns::tr("Element %1 is missing required attribute %2.").arg(formatKeyword(declaration->displayName(m_namePool)))
746                                                                                           .arg(formatKeyword(m_namePool->displayName(usesIt.key()))));
747                     return false;
748                 }
749             }
750         }
751 
752         bool hasIDAttribute = hasIDAttributeUse(complexType->attributeUses());
753 
754         // 2
755         QSetIterator<QXmlName> it(attributes);
756         while (it.hasNext()) {
757             const QXmlName attributeName = it.next();
758 
759             // skip builtin attributes
760             if (attributeName == m_xsiNilName ||
761                 attributeName == m_xsiTypeName ||
762                 attributeName == m_xsiSchemaLocationName ||
763                 attributeName == m_xsiNoNamespaceSchemaLocationName)
764                 continue;
765 
766             // 2.1
767             if (attributeUseHash.contains(attributeName) && (attributeUseHash.value(attributeName)->useType() != XsdAttributeUse::ProhibitedUse)) {
768                 if (!validateAttribute(attributeUseHash.value(attributeName), attribute(attributeName)))
769                     return false;
770             } else { // 2.2
771                 if (complexType->attributeWildcard()) {
772                     const XsdWildcard::Ptr wildcard(complexType->attributeWildcard());
773                     if (!validateAttributeWildcard(attributeName, wildcard)) {
774                         error(QtXmlPatterns::tr("Attribute %1 does not match the attribute wildcard.").arg(formatKeyword(m_namePool->displayName(attributeName))));
775                         return false;
776                     }
777 
778                     if (wildcard->processContents() != XsdWildcard::Skip) {
779                         const XsdAttribute::Ptr attributeDeclaration = attributeByName(attributeName);
780 
781                         if (!attributeDeclaration) {
782                             if (wildcard->processContents() == XsdWildcard::Strict) {
783                                 error(QtXmlPatterns::tr("Declaration for attribute %1 does not exist.").arg(formatKeyword(m_namePool->displayName(attributeName))));
784                                 return false;
785                             }
786                         } else {
787                             if (BuiltinTypes::xsID->wxsTypeMatches(attributeDeclaration->type())) {
788                                 if (hasIDAttribute) {
789                                     error(QtXmlPatterns::tr("Element %1 contains two attributes of type %2.")
790                                                            .arg(formatKeyword(declaration->displayName(m_namePool)))
791                                                            .arg(formatKeyword("ID")));
792                                     return false;
793                                 }
794 
795                                 hasIDAttribute = true;
796                             }
797 
798                             if (!validateAttribute(attributeDeclaration, attribute(attributeName))) {
799                                 if (wildcard->processContents() == XsdWildcard::Strict) {
800                                     error(QtXmlPatterns::tr("Attribute %1 contains invalid content.").arg(formatKeyword(m_namePool->displayName(attributeName))));
801                                     return false;
802                                 }
803                             }
804                         }
805                     }
806                 } else {
807                     error(QtXmlPatterns::tr("Element %1 contains unknown attribute %2.").arg(formatKeyword(declaration->displayName(m_namePool)))
808                                                                                        .arg(formatKeyword(m_namePool->displayName(attributeName))));
809                     return false;
810                 }
811             }
812         }
813     }
814 
815     // 4
816     // so what?...
817 
818     // 5
819     // hmm...
820 
821     // 6
822     // TODO: check assertions
823 
824     // 7
825     // TODO: check type table restrictions
826 
827     // rememeber the type of that element node
828     m_model->setAssignedType(item().toNodeModelIndex(), type);
829 
830     return true;
831 }
832 
validateAttribute(const XsdAttributeUse::Ptr & declaration,const QString & value)833 bool XsdValidatingInstanceReader::validateAttribute(const XsdAttributeUse::Ptr &declaration, const QString &value)
834 {
835     const AnySimpleType::Ptr attributeType = declaration->attribute()->type();
836     const XsdFacet::Hash facets = XsdTypeChecker::mergedFacetsForType(attributeType, m_context);
837 
838     const QString actualValue = XsdTypeChecker::normalizedValue(value, facets);
839 
840     QString errorMsg;
841     AnySimpleType::Ptr boundType;
842 
843     const QXmlNodeModelIndex index = attributeItem(declaration->attribute()->name(m_namePool)).toNodeModelIndex();
844 
845     const XsdTypeChecker checker(m_context, namespaceBindings(index), sourceLocation());
846     if (!checker.isValidString(actualValue, attributeType, errorMsg, &boundType)) {
847         error(QtXmlPatterns::tr("Content of attribute %1 does not match its type definition: %2.").arg(formatKeyword(declaration->attribute()->displayName(m_namePool))).arg(errorMsg));
848         return false;
849     }
850 
851     // @see http://www.w3.org/TR/xmlschema11-1/#cvc-au
852     if (declaration->valueConstraint() && declaration->valueConstraint()->variety() == XsdAttributeUse::ValueConstraint::Fixed) {
853         const QString actualConstraintValue = XsdTypeChecker::normalizedValue(declaration->valueConstraint()->value(), facets);
854         if (!checker.valuesAreEqual(actualValue, actualConstraintValue, attributeType)) {
855             error(QtXmlPatterns::tr("Content of attribute %1 does not match defined value constraint.").arg(formatKeyword(declaration->attribute()->displayName(m_namePool))));
856             return false;
857         }
858     }
859 
860     if (BuiltinTypes::xsID->wxsTypeMatches(declaration->attribute()->type())) {
861         addIdIdRefBinding(actualValue, declaration->attribute());
862     }
863 
864     if (m_idRefsType->wxsTypeMatches(declaration->attribute()->type())) {
865         const QStringList idRefs = actualValue.split(QLatin1Char(' '), QString::SkipEmptyParts);
866         for (int i = 0; i < idRefs.count(); ++i)
867             m_idRefs.insert(idRefs.at(i));
868     } else if (BuiltinTypes::xsIDREF->wxsTypeMatches(declaration->attribute()->type())) {
869         m_idRefs.insert(actualValue);
870     }
871 
872     m_model->setAssignedType(index, declaration->attribute()->type());
873     m_model->setAssignedAttribute(index, declaration->attribute());
874 
875     return true;
876 }
877 
878 //TODO: merge that with the method above
validateAttribute(const XsdAttribute::Ptr & declaration,const QString & value)879 bool XsdValidatingInstanceReader::validateAttribute(const XsdAttribute::Ptr &declaration, const QString &value)
880 {
881     const AnySimpleType::Ptr attributeType = declaration->type();
882     const XsdFacet::Hash facets = XsdTypeChecker::mergedFacetsForType(attributeType, m_context);
883 
884     const QString actualValue = XsdTypeChecker::normalizedValue(value, facets);
885 
886     QString errorMsg;
887     AnySimpleType::Ptr boundType;
888 
889     const QXmlNodeModelIndex index = attributeItem(declaration->name(m_namePool)).toNodeModelIndex();
890 
891     const XsdTypeChecker checker(m_context, namespaceBindings(index), sourceLocation());
892     if (!checker.isValidString(actualValue, attributeType, errorMsg, &boundType)) {
893         error(QtXmlPatterns::tr("Content of attribute %1 does not match its type definition: %2.").arg(formatKeyword(declaration->displayName(m_namePool))).arg(errorMsg));
894         return false;
895     }
896 
897     // @see http://www.w3.org/TR/xmlschema11-1/#cvc-au
898     if (declaration->valueConstraint() && declaration->valueConstraint()->variety() == XsdAttribute::ValueConstraint::Fixed) {
899         const QString actualConstraintValue = XsdTypeChecker::normalizedValue(declaration->valueConstraint()->value(), facets);
900         if (!checker.valuesAreEqual(actualValue, actualConstraintValue, attributeType)) {
901             error(QtXmlPatterns::tr("Content of attribute %1 does not match defined value constraint.").arg(formatKeyword(declaration->displayName(m_namePool))));
902             return false;
903         }
904     }
905 
906     if (BuiltinTypes::xsID->wxsTypeMatches(declaration->type())) {
907         addIdIdRefBinding(actualValue, declaration);
908     }
909 
910     if (m_idRefsType->wxsTypeMatches(declaration->type())) {
911         const QStringList idRefs = actualValue.split(QLatin1Char(' '), QString::SkipEmptyParts);
912         for (int i = 0; i < idRefs.count(); ++i)
913             m_idRefs.insert(idRefs.at(i));
914     } else if (BuiltinTypes::xsIDREF->wxsTypeMatches(declaration->type())) {
915         m_idRefs.insert(actualValue);
916     }
917 
918     m_model->setAssignedType(index, declaration->type());
919     m_model->setAssignedAttribute(index, declaration);
920 
921     return true;
922 }
923 
validateAttributeWildcard(const QXmlName & attributeName,const XsdWildcard::Ptr & wildcard)924 bool XsdValidatingInstanceReader::validateAttributeWildcard(const QXmlName &attributeName, const XsdWildcard::Ptr &wildcard)
925 {
926     // @see http://www.w3.org/TR/xmlschema11-1/#cvc-wildcard
927 
928     // wildcards using XsdWildcard::absentNamespace, so we have to fix that here
929     QXmlName name(attributeName);
930     if (name.namespaceURI() == StandardNamespaces::empty) {
931         name.setNamespaceURI(m_namePool->allocateNamespace(XsdWildcard::absentNamespace()));
932     }
933 
934     return XsdSchemaHelper::wildcardAllowsExpandedName(name, wildcard, m_namePool);
935 }
936 
validateIdentityConstraint(const XsdElement::Ptr & element,const QXmlItem & currentItem)937 bool XsdValidatingInstanceReader::validateIdentityConstraint(const XsdElement::Ptr &element, const QXmlItem &currentItem)
938 {
939     const XsdIdentityConstraint::List constraints = element->identityConstraints();
940 
941     for (int i = 0; i < constraints.count(); ++i) {
942         const XsdIdentityConstraint::Ptr constraint = constraints.at(i);
943 
944         TargetNode::Set targetNodeSet, qualifiedNodeSet;
945         selectNodeSets(element, currentItem, constraint, targetNodeSet, qualifiedNodeSet);
946 
947         if (constraint->category() == XsdIdentityConstraint::Unique) {
948             if (!validateUniqueIdentityConstraint(element, constraint, qualifiedNodeSet))
949                 return false;
950         } else if (constraint->category() == XsdIdentityConstraint::Key) {
951             if (!validateKeyIdentityConstraint(element, constraint, targetNodeSet, qualifiedNodeSet))
952                 return false;
953         }
954     }
955 
956     // we do the keyref check in a separated run to make sure that all keys are available
957     for (int i = 0; i < constraints.count(); ++i) {
958         const XsdIdentityConstraint::Ptr constraint = constraints.at(i);
959         if (constraint->category() == XsdIdentityConstraint::KeyReference) {
960             TargetNode::Set targetNodeSet, qualifiedNodeSet;
961             selectNodeSets(element, currentItem, constraint, targetNodeSet, qualifiedNodeSet);
962 
963             if (!validateKeyRefIdentityConstraint(element, constraint, qualifiedNodeSet))
964                 return false;
965         }
966     }
967 
968     return true;
969 }
970 
validateUniqueIdentityConstraint(const XsdElement::Ptr &,const XsdIdentityConstraint::Ptr & constraint,const TargetNode::Set & qualifiedNodeSet)971 bool XsdValidatingInstanceReader::validateUniqueIdentityConstraint(const XsdElement::Ptr&, const XsdIdentityConstraint::Ptr &constraint, const TargetNode::Set &qualifiedNodeSet)
972 {
973     // @see http://www.w3.org/TR/xmlschema11-1/#d0e32243
974 
975     // 4.1
976     const XsdSchemaSourceLocationReflection reflection(sourceLocation());
977 
978     QSetIterator<TargetNode> it(qualifiedNodeSet);
979     while (it.hasNext()) {
980         const TargetNode node = it.next();
981         QSetIterator<TargetNode> innerIt(qualifiedNodeSet);
982         while (innerIt.hasNext()) {
983             const TargetNode innerNode = innerIt.next();
984 
985             if (node == innerNode) // do not compare with ourself
986                 continue;
987 
988             if (node.fieldsAreEqual(innerNode, m_namePool, m_context, &reflection)) {
989                 error(QtXmlPatterns::tr("Non-unique value found for constraint %1.").arg(formatKeyword(constraint->displayName(m_namePool))));
990                 return false;
991             }
992         }
993     }
994 
995     m_idcKeys.insert(constraint->name(m_namePool), qualifiedNodeSet);
996 
997     return true;
998 }
999 
validateKeyIdentityConstraint(const XsdElement::Ptr & element,const XsdIdentityConstraint::Ptr & constraint,const TargetNode::Set & targetNodeSet,const TargetNode::Set & qualifiedNodeSet)1000 bool XsdValidatingInstanceReader::validateKeyIdentityConstraint(const XsdElement::Ptr &element, const XsdIdentityConstraint::Ptr &constraint, const TargetNode::Set &targetNodeSet, const TargetNode::Set &qualifiedNodeSet)
1001 {
1002     // @see http://www.w3.org/TR/xmlschema11-1/#d0e32243
1003 
1004     // 4.2
1005     const XsdSchemaSourceLocationReflection reflection(sourceLocation());
1006 
1007     // 4.2.1
1008     if (targetNodeSet.count() != qualifiedNodeSet.count()) {
1009         error(QtXmlPatterns::tr("Key constraint %1 contains absent fields.").arg(formatKeyword(constraint->displayName(m_namePool))));
1010         return false;
1011     }
1012 
1013     // 4.2.2
1014     if (!validateUniqueIdentityConstraint(element, constraint, qualifiedNodeSet))
1015         return false;
1016 
1017     // 4.2.3
1018     QSetIterator<TargetNode> it(qualifiedNodeSet);
1019     while (it.hasNext()) {
1020         const TargetNode node = it.next();
1021         const QVector<QXmlItem> fieldItems = node.fieldItems();
1022         for (int i = 0; i < fieldItems.count(); ++i) {
1023             const QXmlNodeModelIndex index = fieldItems.at(i).toNodeModelIndex();
1024             if (m_model->kind(index) == QXmlNodeModelIndex::Element) {
1025                 const XsdElement::Ptr declaration = m_model->assignedElement(index);
1026                 if (declaration && declaration->isNillable()) {
1027                     error(QtXmlPatterns::tr("Key constraint %1 contains references nillable element %2.")
1028                                            .arg(formatKeyword(constraint->displayName(m_namePool)))
1029                                            .arg(formatKeyword(declaration->displayName(m_namePool))));
1030                     return false;
1031                 }
1032             }
1033         }
1034     }
1035 
1036     m_idcKeys.insert(constraint->name(m_namePool), qualifiedNodeSet);
1037 
1038     return true;
1039 }
1040 
validateKeyRefIdentityConstraint(const XsdElement::Ptr &,const XsdIdentityConstraint::Ptr & constraint,const TargetNode::Set & qualifiedNodeSet)1041 bool XsdValidatingInstanceReader::validateKeyRefIdentityConstraint(const XsdElement::Ptr&, const XsdIdentityConstraint::Ptr &constraint, const TargetNode::Set &qualifiedNodeSet)
1042 {
1043     // @see http://www.w3.org/TR/xmlschema11-1/#d0e32243
1044 
1045     // 4.3
1046     const XsdSchemaSourceLocationReflection reflection(sourceLocation());
1047 
1048     const TargetNode::Set keySet = m_idcKeys.value(constraint->referencedKey()->name(m_namePool));
1049 
1050     QSetIterator<TargetNode> it(qualifiedNodeSet);
1051     while (it.hasNext()) {
1052         const TargetNode node = it.next();
1053 
1054         bool foundMatching = false;
1055 
1056         QSetIterator<TargetNode> keyIt(keySet);
1057         while (keyIt.hasNext()) {
1058             const TargetNode keyNode = keyIt.next();
1059 
1060             if (node.fieldsAreEqual(keyNode, m_namePool, m_context, &reflection)) {
1061                 foundMatching = true;
1062                 break;
1063             }
1064         }
1065 
1066         if (!foundMatching) {
1067             error(QtXmlPatterns::tr("No referenced value found for key reference %1.").arg(formatKeyword(constraint->displayName(m_namePool))));
1068             return false;
1069         }
1070     }
1071 
1072     return true;
1073 }
1074 
createXQuery(const QList<QXmlName> & namespaceBindings,const QXmlItem & contextNode,const QString & queryString) const1075 QXmlQuery XsdValidatingInstanceReader::createXQuery(const QList<QXmlName> &namespaceBindings, const QXmlItem &contextNode, const QString &queryString) const
1076 {
1077     // create a public name pool from our name pool
1078     QXmlNamePool namePool(m_namePool.data());
1079 
1080     // the QXmlQuery shall work with the same name pool as we do
1081     QXmlQuery query(namePool);
1082 
1083     // add additional namespace bindings
1084     QXmlQueryPrivate *queryPrivate = query.d;
1085 
1086     for (int i = 0; i < namespaceBindings.count(); ++i) {
1087         if (!namespaceBindings.at(i).prefix() == StandardPrefixes::empty)
1088             queryPrivate->addAdditionalNamespaceBinding(namespaceBindings.at(i));
1089     }
1090 
1091     // set the context node for that query and the query string
1092     query.setFocus(contextNode);
1093     query.setQuery(queryString, m_documentUri);
1094 
1095     return query;
1096 }
1097 
selectNodeSets(const XsdElement::Ptr &,const QXmlItem & currentItem,const XsdIdentityConstraint::Ptr & constraint,TargetNode::Set & targetNodeSet,TargetNode::Set & qualifiedNodeSet)1098 bool XsdValidatingInstanceReader::selectNodeSets(const XsdElement::Ptr&, const QXmlItem &currentItem, const XsdIdentityConstraint::Ptr &constraint, TargetNode::Set &targetNodeSet, TargetNode::Set &qualifiedNodeSet)
1099 {
1100     // at first select all target nodes
1101     const XsdXPathExpression::Ptr selector = constraint->selector();
1102     const XsdXPathExpression::List fields = constraint->fields();
1103 
1104     QXmlQuery query = createXQuery(selector->namespaceBindings(), currentItem, selector->expression());
1105 
1106     QXmlResultItems resultItems;
1107     query.evaluateTo(&resultItems);
1108 
1109     // now we iterate over all target nodes and select the fields for each node
1110     QXmlItem item(resultItems.next());
1111     while (!item.isNull()) {
1112 
1113         TargetNode targetNode(item);
1114 
1115         for (int i = 0; i < fields.count(); ++i) {
1116             const XsdXPathExpression::Ptr field = fields.at(i);
1117             QXmlQuery fieldQuery = createXQuery(field->namespaceBindings(), item, field->expression());
1118 
1119             QXmlResultItems fieldResultItems;
1120             fieldQuery.evaluateTo(&fieldResultItems);
1121 
1122             // copy result into vetor for better testing...
1123             QVector<QXmlItem> fieldVector;
1124             QXmlItem fieldItem(fieldResultItems.next());
1125             while (!fieldItem.isNull()) {
1126                 fieldVector.append(fieldItem);
1127                 fieldItem = fieldResultItems.next();
1128             }
1129 
1130             if (fieldVector.count() > 1) {
1131                 error(QtXmlPatterns::tr("More than one value found for field %1.").arg(formatData(field->expression())));
1132                 return false;
1133             }
1134 
1135             if (fieldVector.count() == 1) {
1136                 fieldItem = fieldVector.first();
1137 
1138                 const QXmlNodeModelIndex index = fieldItem.toNodeModelIndex();
1139                 const SchemaType::Ptr type = m_model->assignedType(index);
1140 
1141                 bool typeOk = true;
1142                 if (type->isComplexType()) {
1143                     if (type->isDefinedBySchema()) {
1144                         if (XsdComplexType::Ptr(type)->contentType()->variety() != XsdComplexType::ContentType::Simple)
1145                             typeOk = false;
1146                     } else {
1147                         typeOk = false;
1148                     }
1149                 }
1150                 if (!typeOk) {
1151                     error(QtXmlPatterns::tr("Field %1 has no simple type.").arg(formatData(field->expression())));
1152                     return false;
1153                 }
1154 
1155                 SchemaType::Ptr targetType = type;
1156                 QString value = m_model->stringValue(fieldItem.toNodeModelIndex());
1157 
1158                 if (type->isDefinedBySchema()) {
1159                     if (type->isSimpleType())
1160                         targetType = XsdSimpleType::Ptr(type)->primitiveType();
1161                     else
1162                         targetType = XsdComplexType::Ptr(type)->contentType()->simpleType();
1163                 } else {
1164                     if (BuiltinTypes::xsAnySimpleType->name(m_namePool) == type->name(m_namePool)) {
1165                         targetType = BuiltinTypes::xsString;
1166                         value = QLatin1String("___anySimpleType_value");
1167                     }
1168                 }
1169 
1170                 // if it is xs:QName derived type, we normalize the name content
1171                 // and do a string comparison
1172                 if (BuiltinTypes::xsQName->wxsTypeMatches(type)) {
1173                     targetType = BuiltinTypes::xsString;
1174 
1175                     const QXmlName qName = convertToQName(value.trimmed());
1176                     value = QString::fromLatin1("%1:%2").arg(m_namePool->stringForNamespace(qName.namespaceURI())).arg(m_namePool->stringForLocalName(qName.localName()));
1177                 }
1178 
1179                 targetNode.addField(fieldItem, value, targetType);
1180             } else {
1181                 // we add an empty entry here, that makes comparison easier later on
1182                 targetNode.addField(QXmlItem(), QString(), SchemaType::Ptr());
1183             }
1184         }
1185 
1186         targetNodeSet.insert(targetNode);
1187 
1188         item = resultItems.next();
1189     }
1190 
1191     // copy all items from target node set to qualified node set, that have no empty fields
1192     QSetIterator<TargetNode> it(targetNodeSet);
1193     while (it.hasNext()) {
1194         const TargetNode node = it.next();
1195         if (node.emptyFieldsCount() == 0)
1196             qualifiedNodeSet.insert(node);
1197     }
1198 
1199     return true;
1200 }
1201 
elementByName(const QXmlName & name) const1202 XsdElement::Ptr XsdValidatingInstanceReader::elementByName(const QXmlName &name) const
1203 {
1204     return m_schema->element(name);
1205 }
1206 
attributeByName(const QXmlName & name) const1207 XsdAttribute::Ptr XsdValidatingInstanceReader::attributeByName(const QXmlName &name) const
1208 {
1209     return m_schema->attribute(name);
1210 }
1211 
typeByName(const QXmlName & name) const1212 SchemaType::Ptr XsdValidatingInstanceReader::typeByName(const QXmlName &name) const
1213 {
1214     const SchemaType::Ptr type = m_schema->type(name);
1215     if (type)
1216         return type;
1217 
1218     return m_context->schemaTypeFactory()->createSchemaType(name);
1219 }
1220 
addIdIdRefBinding(const QString & id,const NamedSchemaComponent::Ptr & binding)1221 void XsdValidatingInstanceReader::addIdIdRefBinding(const QString &id, const NamedSchemaComponent::Ptr &binding)
1222 {
1223     if (!m_model->idIdRefBindings(id).isEmpty()) {
1224         error(QtXmlPatterns::tr("ID value '%1' is not unique.").arg(formatKeyword(id)));
1225         return;
1226     }
1227 
1228     m_model->addIdIdRefBinding(id, binding);
1229 }
1230 
qNameAttribute(const QXmlName & attributeName)1231 QString XsdValidatingInstanceReader::qNameAttribute(const QXmlName &attributeName)
1232 {
1233     const QString value = attribute(attributeName).simplified();
1234     if (!XPathHelper::isQName(value)) {
1235         error(QtXmlPatterns::tr("'%1' attribute contains invalid QName content: %2.").arg(m_namePool->displayName(attributeName)).arg(formatData(value)));
1236         return QString();
1237     } else {
1238         return value;
1239     }
1240 }
1241 
anyType()1242 XsdComplexType::Ptr XsdValidatingInstanceReader::anyType()
1243 {
1244     if (m_anyType)
1245         return m_anyType;
1246 
1247     const XsdWildcard::Ptr wildcard(new XsdWildcard());
1248     wildcard->namespaceConstraint()->setVariety(XsdWildcard::NamespaceConstraint::Any);
1249     wildcard->setProcessContents(XsdWildcard::Lax);
1250 
1251     const XsdParticle::Ptr outerParticle(new XsdParticle());
1252     outerParticle->setMinimumOccurs(1);
1253     outerParticle->setMaximumOccurs(1);
1254 
1255     const XsdParticle::Ptr innerParticle(new XsdParticle());
1256     innerParticle->setMinimumOccurs(0);
1257     innerParticle->setMaximumOccursUnbounded(true);
1258     innerParticle->setTerm(wildcard);
1259 
1260     const XsdModelGroup::Ptr outerModelGroup(new XsdModelGroup());
1261     outerModelGroup->setCompositor(XsdModelGroup::SequenceCompositor);
1262     outerModelGroup->setParticles(XsdParticle::List() << innerParticle);
1263     outerParticle->setTerm(outerModelGroup);
1264 
1265     m_anyType = XsdComplexType::Ptr(new XsdComplexType());
1266     m_anyType->setName(BuiltinTypes::xsAnyType->name(m_namePool));
1267     m_anyType->setDerivationMethod(XsdComplexType::DerivationRestriction);
1268     m_anyType->contentType()->setVariety(XsdComplexType::ContentType::Mixed);
1269     m_anyType->contentType()->setParticle(outerParticle);
1270     m_anyType->setAttributeWildcard(wildcard);
1271     m_anyType->setIsAbstract(false);
1272 
1273     return m_anyType;
1274 }
1275 
1276 QT_END_NAMESPACE
1277