/****************************************************************************

**

** Copyright (C) 2010 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 <em>attribute</em> tag in XML Schema is (annotation?, simpleType?).

 * That means the <em>attribute</em> tag can contain an <em>annotation</em> tag followed

 * by a <em>simpleType</em> tag, or just one <em>simpleType</em> 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 <em>annotation</em> 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.

 *

 * <h2>Legend:</h2>

 * \dotfile legend.dot

 * <br>

 *

 * <h2>DFA for <em>all</em> tag</h2>

 * \dotfile All_diagram.dot

 * <br>

 * <h2>DFA for <em>alternative</em> tag</h2>

 * \dotfile Alternative_diagram.dot

 * <br>

 * <h2>DFA for <em>annotation</em> tag</h2>

 * \dotfile Annotation_diagram.dot

 * <br>

 * <h2>DFA for <em>anyAttribute</em> tag</h2>

 * \dotfile AnyAttribute_diagram.dot

 * <br>

 * <h2>DFA for <em>any</em> tag</h2>

 * \dotfile Any_diagram.dot

 * <br>

 * <h2>DFA for <em>assert</em> tag</h2>

 * \dotfile Assert_diagram.dot

 * <br>

 * <h2>DFA for <em>choice</em> tag</h2>

 * \dotfile Choice_diagram.dot

 * <br>

 * <h2>DFA for <em>complexContent</em> tag</h2>

 * \dotfile ComplexContent_diagram.dot

 * <br>

 * <h2>DFA for <em>extension</em> tag inside a <em>complexContent</em> tag</h2>

 * \dotfile ComplexContentExtension_diagram.dot

 * <br>

 * <h2>DFA for <em>restriction</em> tag inside a <em>complexContent</em> tag</h2>

 * \dotfile ComplexContentRestriction_diagram.dot

 * <br>

 * <h2>DFA for <em>defaultOpenContent</em> tag</h2>

 * \dotfile DefaultOpenContent_diagram.dot

 * <br>

 * <h2>DFA for <em>enumeration</em> tag</h2>

 * \dotfile EnumerationFacet_diagram.dot

 * <br>

 * <h2>DFA for <em>field</em> tag</h2>

 * \dotfile Field_diagram.dot

 * <br>

 * <h2>DFA for <em>fractionDigits</em> tag</h2>

 * \dotfile FractionDigitsFacet_diagram.dot

 * <br>

 * <h2>DFA for <em>attribute</em> tag</h2>

 * \dotfile GlobalAttribute_diagram.dot

 * <br>

 * <h2>DFA for <em>complexType</em> tag</h2>

 * \dotfile GlobalComplexType_diagram.dot

 * <br>

 * <h2>DFA for <em>element</em> tag</h2>

 * \dotfile GlobalElement_diagram.dot

 * <br>

 * <h2>DFA for <em>simpleType</em> tag</h2>

 * \dotfile GlobalSimpleType_diagram.dot

 * <br>

 * <h2>DFA for <em>import</em> tag</h2>

 * \dotfile Import_diagram.dot

 * <br>

 * <h2>DFA for <em>include</em> tag</h2>

 * \dotfile Include_diagram.dot

 * <br>

 * <h2>DFA for <em>key</em> tag</h2>

 * \dotfile Key_diagram.dot

 * <br>

 * <h2>DFA for <em>keyref</em> tag</h2>

 * \dotfile KeyRef_diagram.dot

 * <br>

 * <h2>DFA for <em>length</em> tag</h2>

 * \dotfile LengthFacet_diagram.dot

 * <br>

 * <h2>DFA for <em>list</em> tag</h2>

 * \dotfile List_diagram.dot

 * <br>

 * <h2>DFA for <em>all</em> tag</h2>

 * \dotfile LocalAll_diagram.dot

 * <br>

 * <h2>DFA for <em>attribute</em> tag</h2>

 * \dotfile LocalAttribute_diagram.dot

 * <br>

 * <h2>DFA for <em>choice</em> tag</h2>

 * \dotfile LocalChoice_diagram.dot

 * <br>

 * <h2>DFA for <em>complexType</em> tag</h2>

 * \dotfile LocalComplexType_diagram.dot

 * <br>

 * <h2>DFA for <em>element</em> tag</h2>

 * \dotfile LocalElement_diagram.dot

 * <br>

 * <h2>DFA for <em>sequence</em> tag</h2>

 * \dotfile LocalSequence_diagram.dot

 * <br>

 * <h2>DFA for <em>simpleType</em> tag that </h2>

 * \dotfile LocalSimpleType_diagram.dot

 * <br>

 * <h2>DFA for <em>maxExclusive</em> tag</h2>

 * \dotfile MaxExclusiveFacet_diagram.dot

 * <br>

 * <h2>DFA for <em>maxInclusive</em> tag</h2>

 * \dotfile MaxInclusiveFacet_diagram.dot

 * <br>

 * <h2>DFA for <em>maxLength</em> tag</h2>

 * \dotfile MaxLengthFacet_diagram.dot

 * <br>

 * <h2>DFA for <em>minExclusive</em> tag</h2>

 * \dotfile MinExclusiveFacet_diagram.dot

 * <br>

 * <h2>DFA for <em>minInclusive</em> tag</h2>

 * \dotfile MinInclusiveFacet_diagram.dot

 * <br>

 * <h2>DFA for <em>minLength</em> tag</h2>

 * \dotfile MinLengthFacet_diagram.dot

 * <br>

 * <h2>DFA for <em>attributeGroup</em> tag without <em>ref</em> attribute</h2>

 * \dotfile NamedAttributeGroup_diagram.dot

 * <br>

 * <h2>DFA for <em>group</em> tag without <em>ref</em> attribute</h2>

 * \dotfile NamedGroup_diagram.dot

 * <br>

 * <h2>DFA for <em>notation</em> tag</h2>

 * \dotfile Notation_diagram.dot

 * <br>

 * <h2>DFA for <em>override</em> tag</h2>

 * \dotfile Override_diagram.dot

 * <br>

 * <h2>DFA for <em>pattern</em> tag</h2>

 * \dotfile PatternFacet_diagram.dot

 * <br>

 * <h2>DFA for <em>redefine</em> tag</h2>

 * \dotfile Redefine_diagram.dot

 * <br>

 * <h2>DFA for <em>attributeGroup</em> tag with <em>ref</em> attribute</h2>

 * \dotfile ReferredAttributeGroup_diagram.dot

 * <br>

 * <h2>DFA for <em>group</em> tag with <em>ref</em> attribute</h2>

 * \dotfile ReferredGroup_diagram.dot

 * <br>

 * <h2>DFA for <em>schema</em> tag</h2>

 * \dotfile Schema_diagram.dot

 * <br>

 * <h2>DFA for <em>selector</em> tag</h2>

 * \dotfile Selector_diagram.dot

 * <br>

 * <h2>DFA for <em>sequence</em> tag</h2>

 * \dotfile Sequence_diagram.dot

 * <br>

 * <h2>DFA for <em>simpleContent</em> tag</h2>

 * \dotfile SimpleContent_diagram.dot

 * <br>

 * <h2>DFA for <em>extension</em> tag inside a <em>simpleContent</em> tag</h2>

 * \dotfile SimpleContentExtension_diagram.dot

 * <br>

 * <h2>DFA for <em>restriction</em> tag inside a <em>simpleContent</em> tag</h2>

 * \dotfile SimpleContentRestriction_diagram.dot

 * <br>

 * <h2>DFA for <em>restriction</em> tag inside a <em>simpleType</em> tag</h2>

 * \dotfile SimpleRestriction_diagram.dot

 * <br>

 * <h2>DFA for <em>totalDigits</em> tag</h2>

 * \dotfile TotalDigitsFacet_diagram.dot

 * <br>

 * <h2>DFA for <em>union</em> tag</h2>

 * \dotfile Union_diagram.dot

 * <br>

 * <h2>DFA for <em>unique</em> tag</h2>

 * \dotfile Unique_diagram.dot

 * <br>

 * <h2>DFA for <em>whiteSpace</em> tag</h2>

 * \dotfile WhiteSpaceFacet_diagram.dot

 */

void XsdSchemaParser::setupStateMachines()

{

    {

        XsdStateMachine<XsdSchemaToken::NodeName> machine(m_namePool);

        // setup state machine for (annotation?, simpleType?) : attribute

        const XsdStateMachine<XsdSchemaToken::NodeName>::StateId startState = machine.addState(XsdStateMachine<XsdSchemaToken::NodeName>::StartEndState);

        const XsdStateMachine<XsdSchemaToken::NodeName>::StateId s1 = machine.addState(XsdStateMachine<XsdSchemaToken::NodeName>::EndState);

        const XsdStateMachine<XsdSchemaToken::NodeName>::StateId s2 = machine.addState(XsdStateMachine<XsdSchemaToken::NodeName>::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<XsdSchemaToken::NodeName> machine(m_namePool);

        // setup state machine for (annotation?, ((simpleType | complexType)?, alternative*, (unique | key | keyref)*)) : element

        const XsdStateMachine<XsdSchemaToken::NodeName>::StateId startState = machine.addState(XsdStateMachine<XsdSchemaToken::NodeName>::StartEndState);

        const XsdStateMachine<XsdSchemaToken::NodeName>::StateId s1 = machine.addState(XsdStateMachine<XsdSchemaToken::NodeName>::EndState);

        const XsdStateMachine<XsdSchemaToken::NodeName>::StateId s2 = machine.addState(XsdStateMachine<XsdSchemaToken::NodeName>::EndState);

        const XsdStateMachine<XsdSchemaToken::NodeName>::StateId s3 = machine.addState(XsdStateMachine<XsdSchemaToken::NodeName>::EndState);

        const XsdStateMachine<XsdSchemaToken::NodeName>::StateId s4 = machine.addState(XsdStateMachine<XsdSchemaToken::NodeName>::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<XsdSchemaToken::NodeName> machine(m_namePool);

        // setup state machine for (annotation?, (simpleContent | complexContent | (openContent?, (group | all | choice | sequence)?, ((attribute | attributeGroup)*, anyAttribute?), assert*))) : complexType

        const XsdStateMachine<XsdSchemaToken::NodeName>::StateId startState = machine.addState(XsdStateMachine<XsdSchemaToken::NodeName>::StartEndState);

        const XsdStateMachine<XsdSchemaToken::NodeName>::StateId s1 = machine.addState(XsdStateMachine<XsdSchemaToken::NodeName>::EndState);

        const XsdStateMachine<XsdSchemaToken::NodeName>::StateId s2 = machine.addState(XsdStateMachine<XsdSchemaToken::NodeName>::EndState);

        const XsdStateMachine<XsdSchemaToken::NodeName>::StateId s3 = machine.addState(XsdStateMachine<XsdSchemaToken::NodeName>::EndState);

        const XsdStateMachine<XsdSchemaToken::NodeName>::StateId s4 = machine.addState(XsdStateMachine<XsdSchemaToken::NodeName>::EndState);

        const XsdStateMachine<XsdSchemaToken::NodeName>::StateId s5 = machine.addState(XsdStateMachine<XsdSchemaToken::NodeName>::EndState);

        const XsdStateMachine<XsdSchemaToken::NodeName>::StateId s6 = machine.addState(XsdStateMachine<XsdSchemaToken::NodeName>::EndState);

        const XsdStateMachine<XsdSchemaToken::NodeName>::StateId s7 = machine.addState(XsdStateMachine<XsdSchemaToken::NodeName>::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<XsdSchemaToken::NodeName> machine(m_namePool);

        // setup state machine for (annotation?, (restriction | extension)) : simpleContent/complexContent

        const XsdStateMachine<XsdSchemaToken::NodeName>::StateId startState = machine.addState(XsdStateMachine<XsdSchemaToken::NodeName>::StartState);

        const XsdStateMachine<XsdSchemaToken::NodeName>::StateId s1 = machine.addState(XsdStateMachine<XsdSchemaToken::NodeName>::InternalState);

        const XsdStateMachine<XsdSchemaToken::NodeName>::StateId s2 = machine.addState(XsdStateMachine<XsdSchemaToken::NodeName>::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<XsdSchemaToken::NodeName> 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<XsdSchemaToken::NodeName>::StateId startState = machine.addState(XsdStateMachine<XsdSchemaToken::NodeName>::StartEndState);

        const XsdStateMachine<XsdSchemaToken::NodeName>::StateId s1 = machine.addState(XsdStateMachine<XsdSchemaToken::NodeName>::EndState);

        const XsdStateMachine<XsdSchemaToken::NodeName>::StateId s2 = machine.addState(XsdStateMachine<XsdSchemaToken::NodeName>::EndState);

        const XsdStateMachine<XsdSchemaToken::NodeName>::StateId s3 = machine.addState(XsdStateMachine<XsdSchemaToken::NodeName>::EndState);

        const XsdStateMachine<XsdSchemaToken::NodeName>::StateId s4 = machine.addState(XsdStateMachine<XsdSchemaToken::NodeName>::EndState);

        const XsdStateMachine<XsdSchemaToken::NodeName>::StateId s5 = machine.addState(XsdStateMachine<XsdSchemaToken::NodeName>::EndState);

        const XsdStateMachine<XsdSchemaToken::NodeName>::StateId s6 = machine.addState(XsdStateMachine<XsdSchemaToken::NodeName>::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<XsdSchemaToken::NodeName> machine(m_namePool);

        // setup state machine for (annotation?, ((attribute | attributeGroup)*, anyAttribute?), assert*) : simple content extension

        const XsdStateMachine<XsdSchemaToken::NodeName>::StateId startState = machine.addState(XsdStateMachine<XsdSchemaToken::NodeName>::StartEndState);

        const XsdStateMachine<XsdSchemaToken::NodeName>::StateId s1 = machine.addState(XsdStateMachine<XsdSchemaToken::NodeName>::EndState);

        const XsdStateMachine<XsdSchemaToken::NodeName>::StateId s2 = machine.addState(XsdStateMachine<XsdSchemaToken::NodeName>::EndState);

        const XsdStateMachine<XsdSchemaToken::NodeName>::StateId s3 = machine.addState(XsdStateMachine<XsdSchemaToken::NodeName>::EndState);

        const XsdStateMachine<XsdSchemaToken::NodeName>::StateId s4 = machine.addState(XsdStateMachine<XsdSchemaToken::NodeName>::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);