/**************************************************************************** ** ** 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$ ** ****************************************************************************/ #include "qxsdschemaparser_p.h" #include "qbuiltintypes_p.h" QT_BEGIN_NAMESPACE using namespace QPatternist; /** * @page using_dfa_for_schema Using DFA for validation of correct XML tag occurrence * * This page describes how to use DFAs for validating that the XML child tags of an * XML parent tag occur in the right order. * * To validate the occurence of XML tags one need a regular expression that describes * which tags can appear how often in what context. For example the regular expression * of the global attribute tag in XML Schema is (annotation?, simpleType?). * That means the attribute tag can contain an annotation tag followed * by a simpleType tag, or just one simpleType tag and even no child * tag at all. * So the regular expression describes some kind of language and all the various occurrences * of the child tags can be seen as words of that language. * We can create a DFA now, that accepts all words (and only these words) of that language * and whenever we want to check if a sequence of child tags belongs to the language, * we test if the sequence passes the DFA successfully. * * The following example shows how to create the DFA for the regular expression method * above. * * \dotfile GlobalAttribute_diagram.dot * * At first we need a start state (1), that's the state the DFA is before it * starts running. As our regular expression allows that there are no child tags, the * start state is an end state as well (marked by the double circle). * Now we fetch the first token from the XML file (let's assume it is an annotation tag) * and check if there is an edge labled with the tag name leaving the current state of the DFA. * If there is no such edge, the input doesn't fullfill the rules of the regular expression, * so we throw an error. Otherwise we follow that edge and the DFA is set to the new state (2) the * edge points to. Now we fetch the next token from the XML file and do the previous steps again. * If there is no further input from the XML file, we check whether the DFA is in an end state and * throw an error if not. * * So the algorithm for checking is quite simple, the whole logic is encoded in the DFA and creating * one for a regular expression is sometimes not easy, however the ones for XML Schema are straight * forward. * *

Legend:

* \dotfile legend.dot *
* *

DFA for all tag

* \dotfile All_diagram.dot *
*

DFA for alternative tag

* \dotfile Alternative_diagram.dot *
*

DFA for annotation tag

* \dotfile Annotation_diagram.dot *
*

DFA for anyAttribute tag

* \dotfile AnyAttribute_diagram.dot *
*

DFA for any tag

* \dotfile Any_diagram.dot *
*

DFA for assert tag

* \dotfile Assert_diagram.dot *
*

DFA for choice tag

* \dotfile Choice_diagram.dot *
*

DFA for complexContent tag

* \dotfile ComplexContent_diagram.dot *
*

DFA for extension tag inside a complexContent tag

* \dotfile ComplexContentExtension_diagram.dot *
*

DFA for restriction tag inside a complexContent tag

* \dotfile ComplexContentRestriction_diagram.dot *
*

DFA for defaultOpenContent tag

* \dotfile DefaultOpenContent_diagram.dot *
*

DFA for enumeration tag

* \dotfile EnumerationFacet_diagram.dot *
*

DFA for field tag

* \dotfile Field_diagram.dot *
*

DFA for fractionDigits tag

* \dotfile FractionDigitsFacet_diagram.dot *
*

DFA for attribute tag

* \dotfile GlobalAttribute_diagram.dot *
*

DFA for complexType tag

* \dotfile GlobalComplexType_diagram.dot *
*

DFA for element tag

* \dotfile GlobalElement_diagram.dot *
*

DFA for simpleType tag

* \dotfile GlobalSimpleType_diagram.dot *
*

DFA for import tag

* \dotfile Import_diagram.dot *
*

DFA for include tag

* \dotfile Include_diagram.dot *
*

DFA for key tag

* \dotfile Key_diagram.dot *
*

DFA for keyref tag

* \dotfile KeyRef_diagram.dot *
*

DFA for length tag

* \dotfile LengthFacet_diagram.dot *
*

DFA for list tag

* \dotfile List_diagram.dot *
*

DFA for all tag

* \dotfile LocalAll_diagram.dot *
*

DFA for attribute tag

* \dotfile LocalAttribute_diagram.dot *
*

DFA for choice tag

* \dotfile LocalChoice_diagram.dot *
*

DFA for complexType tag

* \dotfile LocalComplexType_diagram.dot *
*

DFA for element tag

* \dotfile LocalElement_diagram.dot *
*

DFA for sequence tag

* \dotfile LocalSequence_diagram.dot *
*

DFA for simpleType tag that

* \dotfile LocalSimpleType_diagram.dot *
*

DFA for maxExclusive tag

* \dotfile MaxExclusiveFacet_diagram.dot *
*

DFA for maxInclusive tag

* \dotfile MaxInclusiveFacet_diagram.dot *
*

DFA for maxLength tag

* \dotfile MaxLengthFacet_diagram.dot *
*

DFA for minExclusive tag

* \dotfile MinExclusiveFacet_diagram.dot *
*

DFA for minInclusive tag

* \dotfile MinInclusiveFacet_diagram.dot *
*

DFA for minLength tag

* \dotfile MinLengthFacet_diagram.dot *
*

DFA for attributeGroup tag without ref attribute

* \dotfile NamedAttributeGroup_diagram.dot *
*

DFA for group tag without ref attribute

* \dotfile NamedGroup_diagram.dot *
*

DFA for notation tag

* \dotfile Notation_diagram.dot *
*

DFA for override tag

* \dotfile Override_diagram.dot *
*

DFA for pattern tag

* \dotfile PatternFacet_diagram.dot *
*

DFA for redefine tag

* \dotfile Redefine_diagram.dot *
*

DFA for attributeGroup tag with ref attribute

* \dotfile ReferredAttributeGroup_diagram.dot *
*

DFA for group tag with ref attribute

* \dotfile ReferredGroup_diagram.dot *
*

DFA for schema tag

* \dotfile Schema_diagram.dot *
*

DFA for selector tag

* \dotfile Selector_diagram.dot *
*

DFA for sequence tag

* \dotfile Sequence_diagram.dot *
*

DFA for simpleContent tag

* \dotfile SimpleContent_diagram.dot *
*

DFA for extension tag inside a simpleContent tag

* \dotfile SimpleContentExtension_diagram.dot *
*

DFA for restriction tag inside a simpleContent tag

* \dotfile SimpleContentRestriction_diagram.dot *
*

DFA for restriction tag inside a simpleType tag

* \dotfile SimpleRestriction_diagram.dot *
*

DFA for totalDigits tag

* \dotfile TotalDigitsFacet_diagram.dot *
*

DFA for union tag

* \dotfile Union_diagram.dot *
*

DFA for unique tag

* \dotfile Unique_diagram.dot *
*

DFA for whiteSpace tag

* \dotfile WhiteSpaceFacet_diagram.dot */ void XsdSchemaParser::setupStateMachines() { { XsdStateMachine machine(m_namePool); // setup state machine for (annotation?, simpleType?) : attribute const XsdStateMachine::StateId startState = machine.addState(XsdStateMachine::StartEndState); const XsdStateMachine::StateId s1 = machine.addState(XsdStateMachine::EndState); const XsdStateMachine::StateId s2 = machine.addState(XsdStateMachine::EndState); machine.addTransition(startState, XsdSchemaToken::Annotation, s1); machine.addTransition(startState, XsdSchemaToken::SimpleType, s2); machine.addTransition(s1, XsdSchemaToken::SimpleType, s2); m_stateMachines.insert(XsdTagScope::GlobalAttribute, machine); m_stateMachines.insert(XsdTagScope::LocalAttribute, machine); } { XsdStateMachine machine(m_namePool); // setup state machine for (annotation?, ((simpleType | complexType)?, alternative*, (unique | key | keyref)*)) : element const XsdStateMachine::StateId startState = machine.addState(XsdStateMachine::StartEndState); const XsdStateMachine::StateId s1 = machine.addState(XsdStateMachine::EndState); const XsdStateMachine::StateId s2 = machine.addState(XsdStateMachine::EndState); const XsdStateMachine::StateId s3 = machine.addState(XsdStateMachine::EndState); const XsdStateMachine::StateId s4 = machine.addState(XsdStateMachine::EndState); machine.addTransition(startState, XsdSchemaToken::Annotation, s1); machine.addTransition(startState, XsdSchemaToken::SimpleType, s2); machine.addTransition(startState, XsdSchemaToken::ComplexType, s2); machine.addTransition(startState, XsdSchemaToken::Alternative, s3); machine.addTransition(startState, XsdSchemaToken::Unique, s4); machine.addTransition(startState, XsdSchemaToken::Key, s4); machine.addTransition(startState, XsdSchemaToken::Keyref, s4); machine.addTransition(s1, XsdSchemaToken::SimpleType, s2); machine.addTransition(s1, XsdSchemaToken::ComplexType, s2); machine.addTransition(s1, XsdSchemaToken::Alternative, s3); machine.addTransition(s1, XsdSchemaToken::Unique, s4); machine.addTransition(s1, XsdSchemaToken::Key, s4); machine.addTransition(s1, XsdSchemaToken::Keyref, s4); machine.addTransition(s2, XsdSchemaToken::Alternative, s3); machine.addTransition(s2, XsdSchemaToken::Unique, s4); machine.addTransition(s2, XsdSchemaToken::Key, s4); machine.addTransition(s2, XsdSchemaToken::Keyref, s4); machine.addTransition(s3, XsdSchemaToken::Alternative, s3); machine.addTransition(s3, XsdSchemaToken::Unique, s4); machine.addTransition(s3, XsdSchemaToken::Key, s4); machine.addTransition(s3, XsdSchemaToken::Keyref, s4); machine.addTransition(s4, XsdSchemaToken::Unique, s4); machine.addTransition(s4, XsdSchemaToken::Key, s4); machine.addTransition(s4, XsdSchemaToken::Keyref, s4); m_stateMachines.insert(XsdTagScope::GlobalElement, machine); m_stateMachines.insert(XsdTagScope::LocalElement, machine); } { XsdStateMachine machine(m_namePool); // setup state machine for (annotation?, (simpleContent | complexContent | (openContent?, (group | all | choice | sequence)?, ((attribute | attributeGroup)*, anyAttribute?), assert*))) : complexType const XsdStateMachine::StateId startState = machine.addState(XsdStateMachine::StartEndState); const XsdStateMachine::StateId s1 = machine.addState(XsdStateMachine::EndState); const XsdStateMachine::StateId s2 = machine.addState(XsdStateMachine::EndState); const XsdStateMachine::StateId s3 = machine.addState(XsdStateMachine::EndState); const XsdStateMachine::StateId s4 = machine.addState(XsdStateMachine::EndState); const XsdStateMachine::StateId s5 = machine.addState(XsdStateMachine::EndState); const XsdStateMachine::StateId s6 = machine.addState(XsdStateMachine::EndState); const XsdStateMachine::StateId s7 = machine.addState(XsdStateMachine::EndState); machine.addTransition(startState, XsdSchemaToken::Annotation, s1); machine.addTransition(startState, XsdSchemaToken::SimpleContent, s2); machine.addTransition(startState, XsdSchemaToken::ComplexContent, s2); machine.addTransition(startState, XsdSchemaToken::OpenContent, s3); machine.addTransition(startState, XsdSchemaToken::Group, s4); machine.addTransition(startState, XsdSchemaToken::All, s4); machine.addTransition(startState, XsdSchemaToken::Choice, s4); machine.addTransition(startState, XsdSchemaToken::Sequence, s4); machine.addTransition(startState, XsdSchemaToken::Attribute, s5); machine.addTransition(startState, XsdSchemaToken::AttributeGroup, s5); machine.addTransition(startState, XsdSchemaToken::AnyAttribute, s6); machine.addTransition(startState, XsdSchemaToken::Assert, s7); machine.addTransition(s1, XsdSchemaToken::SimpleContent, s2); machine.addTransition(s1, XsdSchemaToken::ComplexContent, s2); machine.addTransition(s1, XsdSchemaToken::OpenContent, s3); machine.addTransition(s1, XsdSchemaToken::Group, s4); machine.addTransition(s1, XsdSchemaToken::All, s4); machine.addTransition(s1, XsdSchemaToken::Choice, s4); machine.addTransition(s1, XsdSchemaToken::Sequence, s4); machine.addTransition(s1, XsdSchemaToken::Attribute, s5); machine.addTransition(s1, XsdSchemaToken::AttributeGroup, s5); machine.addTransition(s1, XsdSchemaToken::AnyAttribute, s6); machine.addTransition(s1, XsdSchemaToken::Assert, s7); machine.addTransition(s3, XsdSchemaToken::Group, s4); machine.addTransition(s3, XsdSchemaToken::All, s4); machine.addTransition(s3, XsdSchemaToken::Choice, s4); machine.addTransition(s3, XsdSchemaToken::Sequence, s4); machine.addTransition(s3, XsdSchemaToken::Attribute, s5); machine.addTransition(s3, XsdSchemaToken::AttributeGroup, s5); machine.addTransition(s3, XsdSchemaToken::AnyAttribute, s6); machine.addTransition(s3, XsdSchemaToken::Assert, s7); machine.addTransition(s4, XsdSchemaToken::Attribute, s5); machine.addTransition(s4, XsdSchemaToken::AttributeGroup, s5); machine.addTransition(s4, XsdSchemaToken::AnyAttribute, s6); machine.addTransition(s4, XsdSchemaToken::Assert, s7); machine.addTransition(s5, XsdSchemaToken::Attribute, s5); machine.addTransition(s5, XsdSchemaToken::AttributeGroup, s5); machine.addTransition(s5, XsdSchemaToken::AnyAttribute, s6); machine.addTransition(s5, XsdSchemaToken::Assert, s7); machine.addTransition(s6, XsdSchemaToken::Assert, s7); machine.addTransition(s7, XsdSchemaToken::Assert, s7); m_stateMachines.insert(XsdTagScope::GlobalComplexType, machine); m_stateMachines.insert(XsdTagScope::LocalComplexType, machine); } { XsdStateMachine machine(m_namePool); // setup state machine for (annotation?, (restriction | extension)) : simpleContent/complexContent const XsdStateMachine::StateId startState = machine.addState(XsdStateMachine::StartState); const XsdStateMachine::StateId s1 = machine.addState(XsdStateMachine::InternalState); const XsdStateMachine::StateId s2 = machine.addState(XsdStateMachine::EndState); machine.addTransition(startState, XsdSchemaToken::Annotation, s1); machine.addTransition(startState, XsdSchemaToken::Restriction, s2); machine.addTransition(startState, XsdSchemaToken::Extension, s2); machine.addTransition(s1, XsdSchemaToken::Restriction, s2); machine.addTransition(s1, XsdSchemaToken::Extension, s2); m_stateMachines.insert(XsdTagScope::SimpleContent, machine); m_stateMachines.insert(XsdTagScope::ComplexContent, machine); } { XsdStateMachine machine(m_namePool); // setup state machine for (annotation?, (simpleType?, (minExclusive | minInclusive | maxExclusive | maxInclusive | totalDigits | fractionDigits | length | minLength | maxLength | enumeration | whiteSpace | pattern | assertion)*)?, ((attribute | attributeGroup)*, anyAttribute?), assert*) : simpleContent restriction const XsdStateMachine::StateId startState = machine.addState(XsdStateMachine::StartEndState); const XsdStateMachine::StateId s1 = machine.addState(XsdStateMachine::EndState); const XsdStateMachine::StateId s2 = machine.addState(XsdStateMachine::EndState); const XsdStateMachine::StateId s3 = machine.addState(XsdStateMachine::EndState); const XsdStateMachine::StateId s4 = machine.addState(XsdStateMachine::EndState); const XsdStateMachine::StateId s5 = machine.addState(XsdStateMachine::EndState); const XsdStateMachine::StateId s6 = machine.addState(XsdStateMachine::EndState); machine.addTransition(startState, XsdSchemaToken::Annotation, s1); machine.addTransition(startState, XsdSchemaToken::SimpleType, s2); machine.addTransition(startState, XsdSchemaToken::MinExclusive, s3); machine.addTransition(startState, XsdSchemaToken::MinInclusive, s3); machine.addTransition(startState, XsdSchemaToken::MaxExclusive, s3); machine.addTransition(startState, XsdSchemaToken::MaxInclusive, s3); machine.addTransition(startState, XsdSchemaToken::TotalDigits, s3); machine.addTransition(startState, XsdSchemaToken::FractionDigits, s3); machine.addTransition(startState, XsdSchemaToken::Length, s3); machine.addTransition(startState, XsdSchemaToken::MinLength, s3); machine.addTransition(startState, XsdSchemaToken::MaxLength, s3); machine.addTransition(startState, XsdSchemaToken::Enumeration, s3); machine.addTransition(startState, XsdSchemaToken::WhiteSpace, s3); machine.addTransition(startState, XsdSchemaToken::Pattern, s3); machine.addTransition(startState, XsdSchemaToken::Assertion, s3); machine.addTransition(startState, XsdSchemaToken::Attribute, s4); machine.addTransition(startState, XsdSchemaToken::AttributeGroup, s4); machine.addTransition(startState, XsdSchemaToken::AnyAttribute, s5); machine.addTransition(startState, XsdSchemaToken::Assert, s6); machine.addTransition(s1, XsdSchemaToken::SimpleType, s2); machine.addTransition(s1, XsdSchemaToken::MinExclusive, s3); machine.addTransition(s1, XsdSchemaToken::MinInclusive, s3); machine.addTransition(s1, XsdSchemaToken::MaxExclusive, s3); machine.addTransition(s1, XsdSchemaToken::MaxInclusive, s3); machine.addTransition(s1, XsdSchemaToken::TotalDigits, s3); machine.addTransition(s1, XsdSchemaToken::FractionDigits, s3); machine.addTransition(s1, XsdSchemaToken::Length, s3); machine.addTransition(s1, XsdSchemaToken::MinLength, s3); machine.addTransition(s1, XsdSchemaToken::MaxLength, s3); machine.addTransition(s1, XsdSchemaToken::Enumeration, s3); machine.addTransition(s1, XsdSchemaToken::WhiteSpace, s3); machine.addTransition(s1, XsdSchemaToken::Pattern, s3); machine.addTransition(s1, XsdSchemaToken::Assertion, s3); machine.addTransition(s1, XsdSchemaToken::Attribute, s4); machine.addTransition(s1, XsdSchemaToken::AttributeGroup, s4); machine.addTransition(s1, XsdSchemaToken::AnyAttribute, s5); machine.addTransition(s1, XsdSchemaToken::Assert, s6); machine.addTransition(s2, XsdSchemaToken::MinExclusive, s3); machine.addTransition(s2, XsdSchemaToken::MinInclusive, s3); machine.addTransition(s2, XsdSchemaToken::MaxExclusive, s3); machine.addTransition(s2, XsdSchemaToken::MaxInclusive, s3); machine.addTransition(s2, XsdSchemaToken::TotalDigits, s3); machine.addTransition(s2, XsdSchemaToken::FractionDigits, s3); machine.addTransition(s2, XsdSchemaToken::Length, s3); machine.addTransition(s2, XsdSchemaToken::MinLength, s3); machine.addTransition(s2, XsdSchemaToken::MaxLength, s3); machine.addTransition(s2, XsdSchemaToken::Enumeration, s3); machine.addTransition(s2, XsdSchemaToken::WhiteSpace, s3); machine.addTransition(s2, XsdSchemaToken::Pattern, s3); machine.addTransition(s2, XsdSchemaToken::Assertion, s3); machine.addTransition(s2, XsdSchemaToken::Attribute, s4); machine.addTransition(s2, XsdSchemaToken::AttributeGroup, s4); machine.addTransition(s2, XsdSchemaToken::AnyAttribute, s5); machine.addTransition(s2, XsdSchemaToken::Assert, s6); machine.addTransition(s3, XsdSchemaToken::MinExclusive, s3); machine.addTransition(s3, XsdSchemaToken::MinInclusive, s3); machine.addTransition(s3, XsdSchemaToken::MaxExclusive, s3); machine.addTransition(s3, XsdSchemaToken::MaxInclusive, s3); machine.addTransition(s3, XsdSchemaToken::TotalDigits, s3); machine.addTransition(s3, XsdSchemaToken::FractionDigits, s3); machine.addTransition(s3, XsdSchemaToken::Length, s3); machine.addTransition(s3, XsdSchemaToken::MinLength, s3); machine.addTransition(s3, XsdSchemaToken::MaxLength, s3); machine.addTransition(s3, XsdSchemaToken::Enumeration, s3); machine.addTransition(s3, XsdSchemaToken::WhiteSpace, s3); machine.addTransition(s3, XsdSchemaToken::Pattern, s3); machine.addTransition(s3, XsdSchemaToken::Assertion, s3); machine.addTransition(s3, XsdSchemaToken::Attribute, s4); machine.addTransition(s3, XsdSchemaToken::AttributeGroup, s4); machine.addTransition(s3, XsdSchemaToken::AnyAttribute, s5); machine.addTransition(s3, XsdSchemaToken::Assert, s6); machine.addTransition(s4, XsdSchemaToken::Attribute, s4); machine.addTransition(s4, XsdSchemaToken::AttributeGroup, s4); machine.addTransition(s4, XsdSchemaToken::AnyAttribute, s5); machine.addTransition(s4, XsdSchemaToken::Assert, s6); machine.addTransition(s5, XsdSchemaToken::Assert, s6); machine.addTransition(s6, XsdSchemaToken::Assert, s6); m_stateMachines.insert(XsdTagScope::SimpleContentRestriction, machine); } { XsdStateMachine machine(m_namePool); // setup state machine for (annotation?, ((attribute | attributeGroup)*, anyAttribute?), assert*) : simple content extension const XsdStateMachine::StateId startState = machine.addState(XsdStateMachine::StartEndState); const XsdStateMachine::StateId s1 = machine.addState(XsdStateMachine::EndState); const XsdStateMachine::StateId s2 = machine.addState(XsdStateMachine::EndState); const XsdStateMachine::StateId s3 = machine.addState(XsdStateMachine::EndState); const XsdStateMachine::StateId s4 = machine.addState(XsdStateMachine::EndState); machine.addTransition(startState, XsdSchemaToken::Annotation, s1); machine.addTransition(startState, XsdSchemaToken::Attribute, s2); machine.addTransition(startState, XsdSchemaToken::AttributeGroup, s2); machine.addTransition(startState, XsdSchemaToken::AnyAttribute, s3); machine.addTransition(startState, XsdSchemaToken::Assert, s4); machine.addTransition(s1, XsdSchemaToken::Attribute, s2); machine.addTransition(s1, XsdSchemaToken::AttributeGroup, s2); machine.addTransition(s1, XsdSchemaToken::AnyAttribute, s3); machine.addTransition(s1, XsdSchemaToken::Assert, s4); machine.addTransition(s2, XsdSchemaToken::Attribute, s2); machine.addTransition(s2, XsdSchemaToken::AttributeGroup, s2); machine.addTransition(s2, XsdSchemaToken::AnyAttribute, s3); machine.addTransition(s2, XsdSchemaToken::Assert, s4); machine.addTransition(s3, XsdSchemaToken::Assert, s4); machine.addTransition(s4, XsdSchemaToken::Assert, s4); m_stateMachines.insert(XsdTagScope::SimpleContentExtension, machine); } { XsdStateMachine machine(m_namePool); // setup state machine for (annotation?, openContent?, ((group | all | choice | sequence)?, ((attribute | attributeGroup)*, anyAttribute?), assert*)) : complex content restriction/complex content extension const XsdStateMachine::StateId startState = machine.addState(XsdStateMachine::StartEndState); const XsdStateMachine::StateId s1 = machine.addState(XsdStateMachine::EndState); const XsdStateMachine::StateId s2 = machine.addState(XsdStateMachine::EndState); const XsdStateMachine::StateId s3 = machine.addState(XsdStateMachine::EndState); const XsdStateMachine::StateId s4 = machine.addState(XsdStateMachine::EndState); const XsdStateMachine::StateId s5 = machine.addState(XsdStateMachine::EndState); const XsdStateMachine::StateId s6 = machine.addState(XsdStateMachine::EndState); machine.addTransition(startState, XsdSchemaToken::Annotation, s1); machine.addTransition(startState, XsdSchemaToken::OpenContent, s2); machine.addTransition(startState, XsdSchemaToken::Group, s3); machine.addTransition(startState, XsdSchemaToken::All, s3); machine.addTransition(startState, XsdSchemaToken::Choice, s3); machine.addTransition(startState, XsdSchemaToken::Sequence, s3); machine.addTransition(startState, XsdSchemaToken::Attribute, s4); machine.addTransition(startState, XsdSchemaToken::AttributeGroup, s4); machine.addTransition(startState, XsdSchemaToken::AnyAttribute, s5); machine.addTransition(startState, XsdSchemaToken::Assert, s6); machine.addTransition(s1, XsdSchemaToken::OpenContent, s2); machine.addTransition(s1, XsdSchemaToken::Group, s3); machine.addTransition(s1, XsdSchemaToken::All, s3); machine.addTransition(s1, XsdSchemaToken::Choice, s3); machine.addTransition(s1, XsdSchemaToken::Sequence, s3); machine.addTransition(s1, XsdSchemaToken::Attribute, s4); machine.addTransition(s1, XsdSchemaToken::AttributeGroup, s4); machine.addTransition(s1, XsdSchemaToken::AnyAttribute, s5); machine.addTransition(s1, XsdSchemaToken::Assert, s6); machine.addTransition(s2, XsdSchemaToken::Group, s3); machine.addTransition(s2, XsdSchemaToken::All, s3); machine.addTransition(s2, XsdSchemaToken::Choice, s3); machine.addTransition(s2, XsdSchemaToken::Sequence, s3); machine.addTransition(s2, XsdSchemaToken::Attribute, s4); machine.addTransition(s2, XsdSchemaToken::AttributeGroup, s4); machine.addTransition(s2, XsdSchemaToken::AnyAttribute, s5); machine.addTransition(s2, XsdSchemaToken::Assert, s6); machine.addTransition(s3, XsdSchemaToken::Attribute, s4); machine.addTransition(s3, XsdSchemaToken::AttributeGroup, s4); machine.addTransition(s3, XsdSchemaToken::AnyAttribute, s5); machine.addTransition(s3, XsdSchemaToken::Assert, s6); machine.addTransition(s4, XsdSchemaToken::Attribute, s4); machine.addTransition(s4, XsdSchemaToken::AttributeGroup, s4); machine.addTransition(s4, XsdSchemaToken::AnyAttribute, s5); machine.addTransition(s4, XsdSchemaToken::Assert, s6); machine.addTransition(s5, XsdSchemaToken::Assert, s6); machine.addTransition(s6, XsdSchemaToken::Assert, s6); m_stateMachines.insert(XsdTagScope::ComplexContentRestriction, machine); m_stateMachines.insert(XsdTagScope::ComplexContentExtension, machine); } { XsdStateMachine machine(m_namePool); // setup state machine for (annotation?, ((attribute | attributeGroup)*, anyAttribute?)) : named attribute group const XsdStateMachine::StateId startState = machine.addState(XsdStateMachine::StartEndState); const XsdStateMachine::StateId s1 = machine.addState(XsdStateMachine::EndState); const XsdStateMachine::StateId s2 = machine.addState(XsdStateMachine::EndState); const XsdStateMachine::StateId s3 = machine.addState(XsdStateMachine::EndState); machine.addTransition(startState, XsdSchemaToken::Annotation, s1); machine.addTransition(startState, XsdSchemaToken::Attribute, s2); machine.addTransition(startState, XsdSchemaToken::AttributeGroup, s2); machine.addTransition(startState, XsdSchemaToken::AnyAttribute, s3); machine.addTransition(s1, XsdSchemaToken::Attribute, s2); machine.addTransition(s1, XsdSchemaToken::AttributeGroup, s2); machine.addTransition(s1, XsdSchemaToken::AnyAttribute, s3); machine.addTransition(s2, XsdSchemaToken::Attribute, s2); machine.addTransition(s2, XsdSchemaToken::AttributeGroup, s2); machine.addTransition(s2, XsdSchemaToken::AnyAttribute, s3); m_stateMachines.insert(XsdTagScope::NamedAttributeGroup, machine); } { XsdStateMachine machine(m_namePool); // setup state machine for (annotation?, (all | choice | sequence)?) : group const XsdStateMachine::StateId startState = machine.addState(XsdStateMachine::StartEndState); const XsdStateMachine::StateId s1 = machine.addState(XsdStateMachine::EndState); const XsdStateMachine::StateId s2 = machine.addState(XsdStateMachine::EndState); machine.addTransition(startState, XsdSchemaToken::Annotation, s1); machine.addTransition(startState, XsdSchemaToken::All, s2); machine.addTransition(startState, XsdSchemaToken::Choice, s2); machine.addTransition(startState, XsdSchemaToken::Sequence, s2); machine.addTransition(s1, XsdSchemaToken::All, s2); machine.addTransition(s1, XsdSchemaToken::Choice, s2); machine.addTransition(s1, XsdSchemaToken::Sequence, s2); m_stateMachines.insert(XsdTagScope::NamedGroup, machine); m_stateMachines.insert(XsdTagScope::ReferredGroup, machine); } { XsdStateMachine machine(m_namePool); // setup state machine for (annotation?, (element | any)*) : all const XsdStateMachine::StateId startState = machine.addState(XsdStateMachine::StartEndState); const XsdStateMachine::StateId s1 = machine.addState(XsdStateMachine::EndState); const XsdStateMachine::StateId s2 = machine.addState(XsdStateMachine::EndState); machine.addTransition(startState, XsdSchemaToken::Annotation, s1); machine.addTransition(startState, XsdSchemaToken::Element, s2); machine.addTransition(startState, XsdSchemaToken::Any, s2); machine.addTransition(s1, XsdSchemaToken::Element, s2); machine.addTransition(s1, XsdSchemaToken::Any, s2); machine.addTransition(s2, XsdSchemaToken::Element, s2); machine.addTransition(s2, XsdSchemaToken::Any, s2); m_stateMachines.insert(XsdTagScope::All, machine); m_stateMachines.insert(XsdTagScope::LocalAll, machine); } { XsdStateMachine machine(m_namePool); // setup state machine for (annotation?, (element | group | choice | sequence | any)*) : choice sequence const XsdStateMachine::StateId startState = machine.addState(XsdStateMachine::StartEndState); const XsdStateMachine::StateId s1 = machine.addState(XsdStateMachine::EndState); const XsdStateMachine::StateId s2 = machine.addState(XsdStateMachine::EndState); machine.addTransition(startState, XsdSchemaToken::Annotation, s1); machine.addTransition(startState, XsdSchemaToken::Element, s2); machine.addTransition(startState, XsdSchemaToken::Group, s2); machine.addTransition(startState, XsdSchemaToken::Choice, s2); machine.addTransition(startState, XsdSchemaToken::Sequence, s2); machine.addTransition(startState, XsdSchemaToken::Any, s2); machine.addTransition(s1, XsdSchemaToken::Element, s2); machine.addTransition(s1, XsdSchemaToken::Group, s2); machine.addTransition(s1, XsdSchemaToken::Choice, s2); machine.addTransition(s1, XsdSchemaToken::Sequence, s2); machine.addTransition(s1, XsdSchemaToken::Any, s2); machine.addTransition(s2, XsdSchemaToken::Element, s2); machine.addTransition(s2, XsdSchemaToken::Group, s2); machine.addTransition(s2, XsdSchemaToken::Choice, s2); machine.addTransition(s2, XsdSchemaToken::Sequence, s2); machine.addTransition(s2, XsdSchemaToken::Any, s2); m_stateMachines.insert(XsdTagScope::Choice, machine); m_stateMachines.insert(XsdTagScope::LocalChoice, machine); m_stateMachines.insert(XsdTagScope::Sequence, machine); m_stateMachines.insert(XsdTagScope::LocalSequence, machine); } { XsdStateMachine machine(m_namePool); // setup state machine for (annotation?) : any/selector/field/notation/include/import/referred attribute group/anyAttribute/all facets/assert const XsdStateMachine::StateId startState = machine.addState(XsdStateMachine::StartEndState); const XsdStateMachine::StateId s1 = machine.addState(XsdStateMachine::EndState); machine.addTransition(startState, XsdSchemaToken::Annotation, s1); m_stateMachines.insert(XsdTagScope::Any, machine); m_stateMachines.insert(XsdTagScope::Selector, machine); m_stateMachines.insert(XsdTagScope::Field, machine); m_stateMachines.insert(XsdTagScope::Notation, machine); m_stateMachines.insert(XsdTagScope::Include, machine); m_stateMachines.insert(XsdTagScope::Import, machine); m_stateMachines.insert(XsdTagScope::ReferredAttributeGroup, machine); m_stateMachines.insert(XsdTagScope::AnyAttribute, machine); m_stateMachines.insert(XsdTagScope::MinExclusiveFacet, machine); m_stateMachines.insert(XsdTagScope::MinInclusiveFacet, machine); m_stateMachines.insert(XsdTagScope::MaxExclusiveFacet, machine); m_stateMachines.insert(XsdTagScope::MaxInclusiveFacet, machine); m_stateMachines.insert(XsdTagScope::TotalDigitsFacet, machine); m_stateMachines.insert(XsdTagScope::FractionDigitsFacet, machine); m_stateMachines.insert(XsdTagScope::LengthFacet, machine); m_stateMachines.insert(XsdTagScope::MinLengthFacet, machine); m_stateMachines.insert(XsdTagScope::MaxLengthFacet, machine); m_stateMachines.insert(XsdTagScope::EnumerationFacet, machine); m_stateMachines.insert(XsdTagScope::WhiteSpaceFacet, machine); m_stateMachines.insert(XsdTagScope::PatternFacet, machine); m_stateMachines.insert(XsdTagScope::Assert, machine); m_stateMachines.insert(XsdTagScope::Assertion, machine); } { XsdStateMachine machine(m_namePool); // setup state machine for (annotation?, (selector, field+)) : unique/key/keyref const XsdStateMachine::StateId startState = machine.addState(XsdStateMachine::StartState); const XsdStateMachine::StateId s1 = machine.addState(XsdStateMachine::InternalState); const XsdStateMachine::StateId s2 = machine.addState(XsdStateMachine::InternalState); const XsdStateMachine::StateId s3 = machine.addState(XsdStateMachine::EndState); machine.addTransition(startState, XsdSchemaToken::Annotation, s1); machine.addTransition(startState, XsdSchemaToken::Selector, s2); machine.addTransition(s1, XsdSchemaToken::Selector, s2); machine.addTransition(s2, XsdSchemaToken::Field, s3); machine.addTransition(s3, XsdSchemaToken::Field, s3); m_stateMachines.insert(XsdTagScope::Unique, machine); m_stateMachines.insert(XsdTagScope::Key, machine); m_stateMachines.insert(XsdTagScope::KeyRef, machine); } { XsdStateMachine machine(m_namePool); // setup state machine for (annotation?, (simpleType | complexType)?) : alternative const XsdStateMachine::StateId startState = machine.addState(XsdStateMachine::StartEndState); const XsdStateMachine::StateId s1 = machine.addState(XsdStateMachine::EndState); const XsdStateMachine::StateId s2 = machine.addState(XsdStateMachine::EndState); machine.addTransition(startState, XsdSchemaToken::Annotation, s1); machine.addTransition(startState, XsdSchemaToken::SimpleType, s2); machine.addTransition(startState, XsdSchemaToken::ComplexType, s2); machine.addTransition(s1, XsdSchemaToken::SimpleType, s2); machine.addTransition(s1, XsdSchemaToken::ComplexType, s2); m_stateMachines.insert(XsdTagScope::Alternative, machine); } { XsdStateMachine machine(m_namePool); // setup state machine for (appinfo | documentation)* : annotation const XsdStateMachine::StateId startState = machine.addState(XsdStateMachine::StartEndState); const XsdStateMachine::StateId s1 = machine.addState(XsdStateMachine::EndState); machine.addTransition(startState, XsdSchemaToken::Appinfo, s1); machine.addTransition(startState, XsdSchemaToken::Documentation, s1); machine.addTransition(s1, XsdSchemaToken::Appinfo, s1); machine.addTransition(s1, XsdSchemaToken::Documentation, s1); m_stateMachines.insert(XsdTagScope::Annotation, machine); } { XsdStateMachine machine(m_namePool); // setup state machine for (annotation?, (restriction | list | union)) : simpleType const XsdStateMachine::StateId startState = machine.addState(XsdStateMachine::StartState); const XsdStateMachine::StateId s1 = machine.addState(XsdStateMachine::InternalState); const XsdStateMachine::StateId s2 = machine.addState(XsdStateMachine::EndState); machine.addTransition(startState, XsdSchemaToken::Annotation, s1); machine.addTransition(startState, XsdSchemaToken::Restriction, s2); machine.addTransition(startState, XsdSchemaToken::List, s2); machine.addTransition(startState, XsdSchemaToken::Union, s2); machine.addTransition(s1, XsdSchemaToken::Restriction, s2); machine.addTransition(s1, XsdSchemaToken::List, s2); machine.addTransition(s1, XsdSchemaToken::Union, s2); m_stateMachines.insert(XsdTagScope::GlobalSimpleType, machine); m_stateMachines.insert(XsdTagScope::LocalSimpleType, machine); } { XsdStateMachine machine(m_namePool); // setup state machine for (annotation?, (simpleType?, (minExclusive | minInclusive | maxExclusive | maxInclusive | totalDigits | fractionDigits | length | minLength | maxLength | enumeration | whiteSpace | pattern | assertion)*)) : simple type restriction const XsdStateMachine::StateId startState = machine.addState(XsdStateMachine::StartEndState); const XsdStateMachine::StateId s1 = machine.addState(XsdStateMachine::EndState); const XsdStateMachine::StateId s2 = machine.addState(XsdStateMachine::EndState); const XsdStateMachine::StateId s3 = machine.addState(XsdStateMachine::EndState); machine.addTransition(startState, XsdSchemaToken::Annotation, s1); machine.addTransition(startState, XsdSchemaToken::SimpleType, s2); machine.addTransition(startState, XsdSchemaToken::MinExclusive, s3); machine.addTransition(startState, XsdSchemaToken::MinInclusive, s3); machine.addTransition(startState, XsdSchemaToken::MaxExclusive, s3); machine.addTransition(startState, XsdSchemaToken::MaxInclusive, s3); machine.addTransition(startState, XsdSchemaToken::TotalDigits, s3); machine.addTransition(startState, XsdSchemaToken::FractionDigits, s3); machine.addTransition(startState, XsdSchemaToken::Length, s3); machine.addTransition(startState, XsdSchemaToken::MinLength, s3); machine.addTransition(startState, XsdSchemaToken::MaxLength, s3); machine.addTransition(startState, XsdSchemaToken::Enumeration, s3); machine.addTransition(startState, XsdSchemaToken::WhiteSpace, s3); machine.addTransition(startState, XsdSchemaToken::Pattern, s3); machine.addTransition(startState, XsdSchemaToken::Assertion, s3); machine.addTransition(s1, XsdSchemaToken::SimpleType, s2); machine.addTransition(s1, XsdSchemaToken::MinExclusive, s3); machine.addTransition(s1, XsdSchemaToken::MinInclusive, s3); machine.addTransition(s1, XsdSchemaToken::MaxExclusive, s3); machine.addTransition(s1, XsdSchemaToken::MaxInclusive, s3); machine.addTransition(s1, XsdSchemaToken::TotalDigits, s3); machine.addTransition(s1, XsdSchemaToken::FractionDigits, s3); machine.addTransition(s1, XsdSchemaToken::Length, s3); machine.addTransition(s1, XsdSchemaToken::MinLength, s3); machine.addTransition(s1, XsdSchemaToken::MaxLength, s3); machine.addTransition(s1, XsdSchemaToken::Enumeration, s3); machine.addTransition(s1, XsdSchemaToken::WhiteSpace, s3); machine.addTransition(s1, XsdSchemaToken::Pattern, s3); machine.addTransition(s1, XsdSchemaToken::Assertion, s3); machine.addTransition(s2, XsdSchemaToken::MinExclusive, s3); machine.addTransition(s2, XsdSchemaToken::MinInclusive, s3); machine.addTransition(s2, XsdSchemaToken::MaxExclusive, s3); machine.addTransition(s2, XsdSchemaToken::MaxInclusive, s3); machine.addTransition(s2, XsdSchemaToken::TotalDigits, s3); machine.addTransition(s2, XsdSchemaToken::FractionDigits, s3); machine.addTransition(s2, XsdSchemaToken::Length, s3); machine.addTransition(s2, XsdSchemaToken::MinLength, s3); machine.addTransition(s2, XsdSchemaToken::MaxLength, s3); machine.addTransition(s2, XsdSchemaToken::Enumeration, s3); machine.addTransition(s2, XsdSchemaToken::WhiteSpace, s3); machine.addTransition(s2, XsdSchemaToken::Pattern, s3); machine.addTransition(s2, XsdSchemaToken::Assertion, s3); machine.addTransition(s3, XsdSchemaToken::MinExclusive, s3); machine.addTransition(s3, XsdSchemaToken::MinInclusive, s3); machine.addTransition(s3, XsdSchemaToken::MaxExclusive, s3); machine.addTransition(s3, XsdSchemaToken::MaxInclusive, s3); machine.addTransition(s3, XsdSchemaToken::TotalDigits, s3); machine.addTransition(s3, XsdSchemaToken::FractionDigits, s3); machine.addTransition(s3, XsdSchemaToken::Length, s3); machine.addTransition(s3, XsdSchemaToken::MinLength, s3); machine.addTransition(s3, XsdSchemaToken::MaxLength, s3); machine.addTransition(s3, XsdSchemaToken::Enumeration, s3); machine.addTransition(s3, XsdSchemaToken::WhiteSpace, s3); machine.addTransition(s3, XsdSchemaToken::Pattern, s3); machine.addTransition(s3, XsdSchemaToken::Assertion, s3); m_stateMachines.insert(XsdTagScope::SimpleRestriction, machine); } { XsdStateMachine machine(m_namePool); // setup state machine for (annotation?, simpleType?) : list const XsdStateMachine::StateId startState = machine.addState(XsdStateMachine::StartEndState); const XsdStateMachine::StateId s1 = machine.addState(XsdStateMachine::EndState); const XsdStateMachine::StateId s2 = machine.addState(XsdStateMachine::EndState); machine.addTransition(startState, XsdSchemaToken::Annotation, s1); machine.addTransition(startState, XsdSchemaToken::SimpleType, s2); machine.addTransition(s1, XsdSchemaToken::SimpleType, s2); m_stateMachines.insert(XsdTagScope::List, machine); } { XsdStateMachine machine(m_namePool); // setup state machine for (annotation?, simpleType*) : union const XsdStateMachine::StateId startState = machine.addState(XsdStateMachine::StartEndState); const XsdStateMachine::StateId s1 = machine.addState(XsdStateMachine::EndState); const XsdStateMachine::StateId s2 = machine.addState(XsdStateMachine::EndState); machine.addTransition(startState, XsdSchemaToken::Annotation, s1); machine.addTransition(startState, XsdSchemaToken::SimpleType, s2); machine.addTransition(s1, XsdSchemaToken::SimpleType, s2); machine.addTransition(s2, XsdSchemaToken::SimpleType, s2); m_stateMachines.insert(XsdTagScope::Union, machine); } { XsdStateMachine machine(m_namePool); // setup state machine for ((include | import | redefine |i override | annotation)*, (defaultOpenContent, annotation*)?, (((simpleType | complexType | group | attributeGroup) | element | attribute | notation), annotation*)*) : schema const XsdStateMachine::StateId startState = machine.addState(XsdStateMachine::StartEndState); const XsdStateMachine::StateId s1 = machine.addState(XsdStateMachine::EndState); const XsdStateMachine::StateId s2 = machine.addState(XsdStateMachine::EndState); const XsdStateMachine::StateId s3 = machine.addState(XsdStateMachine::EndState); const XsdStateMachine::StateId s4 = machine.addState(XsdStateMachine::EndState); const XsdStateMachine::StateId s5 = machine.addState(XsdStateMachine::EndState); machine.addTransition(startState, XsdSchemaToken::Include, s1); machine.addTransition(startState, XsdSchemaToken::Import, s1); machine.addTransition(startState, XsdSchemaToken::Redefine, s1); machine.addTransition(startState, XsdSchemaToken::Override, s1); machine.addTransition(startState, XsdSchemaToken::Annotation, s1); machine.addTransition(startState, XsdSchemaToken::DefaultOpenContent, s2); machine.addTransition(startState, XsdSchemaToken::SimpleType, s4); machine.addTransition(startState, XsdSchemaToken::ComplexType, s4); machine.addTransition(startState, XsdSchemaToken::Group, s4); machine.addTransition(startState, XsdSchemaToken::AttributeGroup, s4); machine.addTransition(startState, XsdSchemaToken::Element, s4); machine.addTransition(startState, XsdSchemaToken::Attribute, s4); machine.addTransition(startState, XsdSchemaToken::Notation, s4); machine.addTransition(s1, XsdSchemaToken::Include, s1); machine.addTransition(s1, XsdSchemaToken::Import, s1); machine.addTransition(s1, XsdSchemaToken::Redefine, s1); machine.addTransition(s1, XsdSchemaToken::Override, s1); machine.addTransition(s1, XsdSchemaToken::Annotation, s1); machine.addTransition(s1, XsdSchemaToken::DefaultOpenContent, s2); machine.addTransition(s1, XsdSchemaToken::SimpleType, s4); machine.addTransition(s1, XsdSchemaToken::ComplexType, s4); machine.addTransition(s1, XsdSchemaToken::Group, s4); machine.addTransition(s1, XsdSchemaToken::AttributeGroup, s4); machine.addTransition(s1, XsdSchemaToken::Element, s4); machine.addTransition(s1, XsdSchemaToken::Attribute, s4); machine.addTransition(s1, XsdSchemaToken::Notation, s4); machine.addTransition(s2, XsdSchemaToken::Annotation, s3); machine.addTransition(s2, XsdSchemaToken::SimpleType, s4); machine.addTransition(s2, XsdSchemaToken::ComplexType, s4); machine.addTransition(s2, XsdSchemaToken::Group, s4); machine.addTransition(s2, XsdSchemaToken::AttributeGroup, s4); machine.addTransition(s2, XsdSchemaToken::Element, s4); machine.addTransition(s2, XsdSchemaToken::Attribute, s4); machine.addTransition(s2, XsdSchemaToken::Notation, s4); machine.addTransition(s3, XsdSchemaToken::SimpleType, s4); machine.addTransition(s3, XsdSchemaToken::ComplexType, s4); machine.addTransition(s3, XsdSchemaToken::Group, s4); machine.addTransition(s3, XsdSchemaToken::AttributeGroup, s4); machine.addTransition(s3, XsdSchemaToken::Element, s4); machine.addTransition(s3, XsdSchemaToken::Attribute, s4); machine.addTransition(s3, XsdSchemaToken::Notation, s4); machine.addTransition(s4, XsdSchemaToken::SimpleType, s4); machine.addTransition(s4, XsdSchemaToken::ComplexType, s4); machine.addTransition(s4, XsdSchemaToken::Group, s4); machine.addTransition(s4, XsdSchemaToken::AttributeGroup, s4); machine.addTransition(s4, XsdSchemaToken::Element, s4); machine.addTransition(s4, XsdSchemaToken::Attribute, s4); machine.addTransition(s4, XsdSchemaToken::Notation, s4); machine.addTransition(s4, XsdSchemaToken::Annotation, s5); machine.addTransition(s5, XsdSchemaToken::SimpleType, s4); machine.addTransition(s5, XsdSchemaToken::ComplexType, s4); machine.addTransition(s5, XsdSchemaToken::Group, s4); machine.addTransition(s5, XsdSchemaToken::AttributeGroup, s4); machine.addTransition(s5, XsdSchemaToken::Element, s4); machine.addTransition(s5, XsdSchemaToken::Attribute, s4); machine.addTransition(s5, XsdSchemaToken::Notation, s4); machine.addTransition(s5, XsdSchemaToken::Annotation, s5); m_stateMachines.insert(XsdTagScope::Schema, machine); } { XsdStateMachine machine(m_namePool); // setup state machine for (annotation?, any) : defaultOpenContent const XsdStateMachine::StateId startState = machine.addState(XsdStateMachine::StartEndState); const XsdStateMachine::StateId s1 = machine.addState(XsdStateMachine::InternalState); const XsdStateMachine::StateId s2 = machine.addState(XsdStateMachine::EndState); machine.addTransition(startState, XsdSchemaToken::Annotation, s1); machine.addTransition(startState, XsdSchemaToken::Any, s2); machine.addTransition(s1, XsdSchemaToken::Any, s2); m_stateMachines.insert(XsdTagScope::DefaultOpenContent, machine); } { XsdStateMachine machine(m_namePool); // setup state machine for (annotation | (simpleType | complexType | group | attributeGroup))* : redefine const XsdStateMachine::StateId startState = machine.addState(XsdStateMachine::StartEndState); const XsdStateMachine::StateId s1 = machine.addState(XsdStateMachine::EndState); machine.addTransition(startState, XsdSchemaToken::Annotation, s1); machine.addTransition(startState, XsdSchemaToken::SimpleType, s1); machine.addTransition(startState, XsdSchemaToken::ComplexType, s1); machine.addTransition(startState, XsdSchemaToken::Group, s1); machine.addTransition(startState, XsdSchemaToken::AttributeGroup, s1); machine.addTransition(s1, XsdSchemaToken::Annotation, s1); machine.addTransition(s1, XsdSchemaToken::SimpleType, s1); machine.addTransition(s1, XsdSchemaToken::ComplexType, s1); machine.addTransition(s1, XsdSchemaToken::Group, s1); machine.addTransition(s1, XsdSchemaToken::AttributeGroup, s1); m_stateMachines.insert(XsdTagScope::Redefine, machine); } { XsdStateMachine machine(m_namePool); // setup state machine for (annotation | (simpleType | complexType | group | attributeGroup | element | attribute | notation))* : override const XsdStateMachine::StateId startState = machine.addState(XsdStateMachine::StartEndState); const XsdStateMachine::StateId s1 = machine.addState(XsdStateMachine::EndState); machine.addTransition(startState, XsdSchemaToken::Annotation, s1); machine.addTransition(startState, XsdSchemaToken::SimpleType, s1); machine.addTransition(startState, XsdSchemaToken::ComplexType, s1); machine.addTransition(startState, XsdSchemaToken::Group, s1); machine.addTransition(startState, XsdSchemaToken::AttributeGroup, s1); machine.addTransition(startState, XsdSchemaToken::Element, s1); machine.addTransition(startState, XsdSchemaToken::Attribute, s1); machine.addTransition(startState, XsdSchemaToken::Notation, s1); machine.addTransition(s1, XsdSchemaToken::Annotation, s1); machine.addTransition(s1, XsdSchemaToken::SimpleType, s1); machine.addTransition(s1, XsdSchemaToken::ComplexType, s1); machine.addTransition(s1, XsdSchemaToken::Group, s1); machine.addTransition(s1, XsdSchemaToken::AttributeGroup, s1); machine.addTransition(s1, XsdSchemaToken::Element, s1); machine.addTransition(s1, XsdSchemaToken::Attribute, s1); machine.addTransition(s1, XsdSchemaToken::Notation, s1); m_stateMachines.insert(XsdTagScope::Override, machine); } } void XsdSchemaParser::setupBuiltinTypeNames() { m_builtinTypeNames.reserve(48); m_builtinTypeNames.insert(BuiltinTypes::xsAnyType->name(m_namePool)); m_builtinTypeNames.insert(BuiltinTypes::xsAnySimpleType->name(m_namePool)); m_builtinTypeNames.insert(BuiltinTypes::xsUntyped->name(m_namePool)); m_builtinTypeNames.insert(BuiltinTypes::xsAnyAtomicType->name(m_namePool)); m_builtinTypeNames.insert(BuiltinTypes::xsUntypedAtomic->name(m_namePool)); m_builtinTypeNames.insert(BuiltinTypes::xsDateTime->name(m_namePool)); m_builtinTypeNames.insert(BuiltinTypes::xsDate->name(m_namePool)); m_builtinTypeNames.insert(BuiltinTypes::xsTime->name(m_namePool)); m_builtinTypeNames.insert(BuiltinTypes::xsDuration->name(m_namePool)); m_builtinTypeNames.insert(BuiltinTypes::xsYearMonthDuration->name(m_namePool)); m_builtinTypeNames.insert(BuiltinTypes::xsDayTimeDuration->name(m_namePool)); m_builtinTypeNames.insert(BuiltinTypes::xsFloat->name(m_namePool)); m_builtinTypeNames.insert(BuiltinTypes::xsDouble->name(m_namePool)); m_builtinTypeNames.insert(BuiltinTypes::xsInteger->name(m_namePool)); m_builtinTypeNames.insert(BuiltinTypes::xsDecimal->name(m_namePool)); m_builtinTypeNames.insert(BuiltinTypes::xsNonPositiveInteger->name(m_namePool)); m_builtinTypeNames.insert(BuiltinTypes::xsNegativeInteger->name(m_namePool)); m_builtinTypeNames.insert(BuiltinTypes::xsLong->name(m_namePool)); m_builtinTypeNames.insert(BuiltinTypes::xsInt->name(m_namePool)); m_builtinTypeNames.insert(BuiltinTypes::xsShort->name(m_namePool)); m_builtinTypeNames.insert(BuiltinTypes::xsByte->name(m_namePool)); m_builtinTypeNames.insert(BuiltinTypes::xsNonNegativeInteger->name(m_namePool)); m_builtinTypeNames.insert(BuiltinTypes::xsUnsignedLong->name(m_namePool)); m_builtinTypeNames.insert(BuiltinTypes::xsUnsignedInt->name(m_namePool)); m_builtinTypeNames.insert(BuiltinTypes::xsUnsignedShort->name(m_namePool)); m_builtinTypeNames.insert(BuiltinTypes::xsUnsignedByte->name(m_namePool)); m_builtinTypeNames.insert(BuiltinTypes::xsPositiveInteger->name(m_namePool)); m_builtinTypeNames.insert(BuiltinTypes::xsGYearMonth->name(m_namePool)); m_builtinTypeNames.insert(BuiltinTypes::xsGYear->name(m_namePool)); m_builtinTypeNames.insert(BuiltinTypes::xsGMonthDay->name(m_namePool)); m_builtinTypeNames.insert(BuiltinTypes::xsGDay->name(m_namePool)); m_builtinTypeNames.insert(BuiltinTypes::xsGMonth->name(m_namePool)); m_builtinTypeNames.insert(BuiltinTypes::xsBoolean->name(m_namePool)); m_builtinTypeNames.insert(BuiltinTypes::xsBase64Binary->name(m_namePool)); m_builtinTypeNames.insert(BuiltinTypes::xsHexBinary->name(m_namePool)); m_builtinTypeNames.insert(BuiltinTypes::xsAnyURI->name(m_namePool)); m_builtinTypeNames.insert(BuiltinTypes::xsQName->name(m_namePool)); m_builtinTypeNames.insert(BuiltinTypes::xsString->name(m_namePool)); m_builtinTypeNames.insert(BuiltinTypes::xsNormalizedString->name(m_namePool)); m_builtinTypeNames.insert(BuiltinTypes::xsToken->name(m_namePool)); m_builtinTypeNames.insert(BuiltinTypes::xsLanguage->name(m_namePool)); m_builtinTypeNames.insert(BuiltinTypes::xsNMTOKEN->name(m_namePool)); m_builtinTypeNames.insert(BuiltinTypes::xsName->name(m_namePool)); m_builtinTypeNames.insert(BuiltinTypes::xsNCName->name(m_namePool)); m_builtinTypeNames.insert(BuiltinTypes::xsID->name(m_namePool)); m_builtinTypeNames.insert(BuiltinTypes::xsIDREF->name(m_namePool)); m_builtinTypeNames.insert(BuiltinTypes::xsENTITY->name(m_namePool)); m_builtinTypeNames.insert(BuiltinTypes::xsNOTATION->name(m_namePool)); } QT_END_NAMESPACE