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 "qxsdschemaparser_p.h"
43 
44 #include "qbuiltintypes_p.h"
45 
46 QT_BEGIN_NAMESPACE
47 
48 using namespace QPatternist;
49 
50 /**
51  * @page using_dfa_for_schema Using DFA for validation of correct XML tag occurrence
52  *
53  * This page describes how to use DFAs for validating that the XML child tags of an
54  * XML parent tag occur in the right order.
55  *
56  * To validate the occurrence of XML tags one need a regular expression that describes
57  * which tags can appear how often in what context. For example the regular expression
58  * of the global <em>attribute</em> tag in XML Schema is (annotation?, simpleType?).
59  * That means the <em>attribute</em> tag can contain an <em>annotation</em> tag followed
60  * by a <em>simpleType</em> tag, or just one <em>simpleType</em> tag and even no child
61  * tag at all.
62  * So the regular expression describes some kind of language and all the various occurrences
63  * of the child tags can be seen as words of that language.
64  * We can create a DFA now, that accepts all words (and only these words) of that language
65  * and whenever we want to check if a sequence of child tags belongs to the language,
66  * we test if the sequence passes the DFA successfully.
67  *
68  * The following example shows how to create the DFA for the regular expression method
69  * above.
70  *
71  * \dotfile GlobalAttribute_diagram.dot
72  *
73  * At first we need a start state (1), that's the state the DFA is before it
74  * starts running. As our regular expression allows that there are no child tags, the
75  * start state is an end state as well (marked by the double circle).
76  * Now we fetch the first token from the XML file (let's assume it is an <em>annotation</em> tag)
77  * and check if there is an edge labled with the tag name leaving the current state of the DFA.
78  * If there is no such edge, the input doesn't fullfill the rules of the regular expression,
79  * so we throw an error. Otherwise we follow that edge and the DFA is set to the new state (2) the
80  * edge points to. Now we fetch the next token from the XML file and do the previous steps again.
81  * If there is no further input from the XML file, we check whether the DFA is in an end state and
82  * throw an error if not.
83  *
84  * So the algorithm for checking is quite simple, the whole logic is encoded in the DFA and creating
85  * one for a regular expression is sometimes not easy, however the ones for XML Schema are straight
86  * forward.
87  *
88  * <h2>Legend:</h2>
89  * \dotfile legend.dot
90  * <br>
91  *
92  * <h2>DFA for <em>all</em> tag</h2>
93  * \dotfile All_diagram.dot
94  * <br>
95  * <h2>DFA for <em>alternative</em> tag</h2>
96  * \dotfile Alternative_diagram.dot
97  * <br>
98  * <h2>DFA for <em>annotation</em> tag</h2>
99  * \dotfile Annotation_diagram.dot
100  * <br>
101  * <h2>DFA for <em>anyAttribute</em> tag</h2>
102  * \dotfile AnyAttribute_diagram.dot
103  * <br>
104  * <h2>DFA for <em>any</em> tag</h2>
105  * \dotfile Any_diagram.dot
106  * <br>
107  * <h2>DFA for <em>assert</em> tag</h2>
108  * \dotfile Assert_diagram.dot
109  * <br>
110  * <h2>DFA for <em>choice</em> tag</h2>
111  * \dotfile Choice_diagram.dot
112  * <br>
113  * <h2>DFA for <em>complexContent</em> tag</h2>
114  * \dotfile ComplexContent_diagram.dot
115  * <br>
116  * <h2>DFA for <em>extension</em> tag inside a <em>complexContent</em> tag</h2>
117  * \dotfile ComplexContentExtension_diagram.dot
118  * <br>
119  * <h2>DFA for <em>restriction</em> tag inside a <em>complexContent</em> tag</h2>
120  * \dotfile ComplexContentRestriction_diagram.dot
121  * <br>
122  * <h2>DFA for <em>defaultOpenContent</em> tag</h2>
123  * \dotfile DefaultOpenContent_diagram.dot
124  * <br>
125  * <h2>DFA for <em>enumeration</em> tag</h2>
126  * \dotfile EnumerationFacet_diagram.dot
127  * <br>
128  * <h2>DFA for <em>field</em> tag</h2>
129  * \dotfile Field_diagram.dot
130  * <br>
131  * <h2>DFA for <em>fractionDigits</em> tag</h2>
132  * \dotfile FractionDigitsFacet_diagram.dot
133  * <br>
134  * <h2>DFA for <em>attribute</em> tag</h2>
135  * \dotfile GlobalAttribute_diagram.dot
136  * <br>
137  * <h2>DFA for <em>complexType</em> tag</h2>
138  * \dotfile GlobalComplexType_diagram.dot
139  * <br>
140  * <h2>DFA for <em>element</em> tag</h2>
141  * \dotfile GlobalElement_diagram.dot
142  * <br>
143  * <h2>DFA for <em>simpleType</em> tag</h2>
144  * \dotfile GlobalSimpleType_diagram.dot
145  * <br>
146  * <h2>DFA for <em>import</em> tag</h2>
147  * \dotfile Import_diagram.dot
148  * <br>
149  * <h2>DFA for <em>include</em> tag</h2>
150  * \dotfile Include_diagram.dot
151  * <br>
152  * <h2>DFA for <em>key</em> tag</h2>
153  * \dotfile Key_diagram.dot
154  * <br>
155  * <h2>DFA for <em>keyref</em> tag</h2>
156  * \dotfile KeyRef_diagram.dot
157  * <br>
158  * <h2>DFA for <em>length</em> tag</h2>
159  * \dotfile LengthFacet_diagram.dot
160  * <br>
161  * <h2>DFA for <em>list</em> tag</h2>
162  * \dotfile List_diagram.dot
163  * <br>
164  * <h2>DFA for <em>all</em> tag</h2>
165  * \dotfile LocalAll_diagram.dot
166  * <br>
167  * <h2>DFA for <em>attribute</em> tag</h2>
168  * \dotfile LocalAttribute_diagram.dot
169  * <br>
170  * <h2>DFA for <em>choice</em> tag</h2>
171  * \dotfile LocalChoice_diagram.dot
172  * <br>
173  * <h2>DFA for <em>complexType</em> tag</h2>
174  * \dotfile LocalComplexType_diagram.dot
175  * <br>
176  * <h2>DFA for <em>element</em> tag</h2>
177  * \dotfile LocalElement_diagram.dot
178  * <br>
179  * <h2>DFA for <em>sequence</em> tag</h2>
180  * \dotfile LocalSequence_diagram.dot
181  * <br>
182  * <h2>DFA for <em>simpleType</em> tag that </h2>
183  * \dotfile LocalSimpleType_diagram.dot
184  * <br>
185  * <h2>DFA for <em>maxExclusive</em> tag</h2>
186  * \dotfile MaxExclusiveFacet_diagram.dot
187  * <br>
188  * <h2>DFA for <em>maxInclusive</em> tag</h2>
189  * \dotfile MaxInclusiveFacet_diagram.dot
190  * <br>
191  * <h2>DFA for <em>maxLength</em> tag</h2>
192  * \dotfile MaxLengthFacet_diagram.dot
193  * <br>
194  * <h2>DFA for <em>minExclusive</em> tag</h2>
195  * \dotfile MinExclusiveFacet_diagram.dot
196  * <br>
197  * <h2>DFA for <em>minInclusive</em> tag</h2>
198  * \dotfile MinInclusiveFacet_diagram.dot
199  * <br>
200  * <h2>DFA for <em>minLength</em> tag</h2>
201  * \dotfile MinLengthFacet_diagram.dot
202  * <br>
203  * <h2>DFA for <em>attributeGroup</em> tag without <em>ref</em> attribute</h2>
204  * \dotfile NamedAttributeGroup_diagram.dot
205  * <br>
206  * <h2>DFA for <em>group</em> tag without <em>ref</em> attribute</h2>
207  * \dotfile NamedGroup_diagram.dot
208  * <br>
209  * <h2>DFA for <em>notation</em> tag</h2>
210  * \dotfile Notation_diagram.dot
211  * <br>
212  * <h2>DFA for <em>override</em> tag</h2>
213  * \dotfile Override_diagram.dot
214  * <br>
215  * <h2>DFA for <em>pattern</em> tag</h2>
216  * \dotfile PatternFacet_diagram.dot
217  * <br>
218  * <h2>DFA for <em>redefine</em> tag</h2>
219  * \dotfile Redefine_diagram.dot
220  * <br>
221  * <h2>DFA for <em>attributeGroup</em> tag with <em>ref</em> attribute</h2>
222  * \dotfile ReferredAttributeGroup_diagram.dot
223  * <br>
224  * <h2>DFA for <em>group</em> tag with <em>ref</em> attribute</h2>
225  * \dotfile ReferredGroup_diagram.dot
226  * <br>
227  * <h2>DFA for <em>schema</em> tag</h2>
228  * \dotfile Schema_diagram.dot
229  * <br>
230  * <h2>DFA for <em>selector</em> tag</h2>
231  * \dotfile Selector_diagram.dot
232  * <br>
233  * <h2>DFA for <em>sequence</em> tag</h2>
234  * \dotfile Sequence_diagram.dot
235  * <br>
236  * <h2>DFA for <em>simpleContent</em> tag</h2>
237  * \dotfile SimpleContent_diagram.dot
238  * <br>
239  * <h2>DFA for <em>extension</em> tag inside a <em>simpleContent</em> tag</h2>
240  * \dotfile SimpleContentExtension_diagram.dot
241  * <br>
242  * <h2>DFA for <em>restriction</em> tag inside a <em>simpleContent</em> tag</h2>
243  * \dotfile SimpleContentRestriction_diagram.dot
244  * <br>
245  * <h2>DFA for <em>restriction</em> tag inside a <em>simpleType</em> tag</h2>
246  * \dotfile SimpleRestriction_diagram.dot
247  * <br>
248  * <h2>DFA for <em>totalDigits</em> tag</h2>
249  * \dotfile TotalDigitsFacet_diagram.dot
250  * <br>
251  * <h2>DFA for <em>union</em> tag</h2>
252  * \dotfile Union_diagram.dot
253  * <br>
254  * <h2>DFA for <em>unique</em> tag</h2>
255  * \dotfile Unique_diagram.dot
256  * <br>
257  * <h2>DFA for <em>whiteSpace</em> tag</h2>
258  * \dotfile WhiteSpaceFacet_diagram.dot
259  */
260 
setupStateMachines()261 void XsdSchemaParser::setupStateMachines()
262 {
263     NamePool::Ptr namePool(m_namePool);
264     {
265         XsdStateMachine<XsdSchemaToken::NodeName> machine(namePool);
266 
267         // setup state machine for (annotation?, simpleType?) : attribute
268         const XsdStateMachine<XsdSchemaToken::NodeName>::StateId startState = machine.addState(XsdStateMachine<XsdSchemaToken::NodeName>::StartEndState);
269         const XsdStateMachine<XsdSchemaToken::NodeName>::StateId s1 = machine.addState(XsdStateMachine<XsdSchemaToken::NodeName>::EndState);
270         const XsdStateMachine<XsdSchemaToken::NodeName>::StateId s2 = machine.addState(XsdStateMachine<XsdSchemaToken::NodeName>::EndState);
271 
272         machine.addTransition(startState, XsdSchemaToken::Annotation, s1);
273         machine.addTransition(startState, XsdSchemaToken::SimpleType, s2);
274         machine.addTransition(s1, XsdSchemaToken::SimpleType, s2);
275 
276         m_stateMachines.insert(XsdTagScope::GlobalAttribute, machine);
277         m_stateMachines.insert(XsdTagScope::LocalAttribute, machine);
278     }
279 
280     {
281         XsdStateMachine<XsdSchemaToken::NodeName> machine(namePool);
282 
283         // setup state machine for (annotation?, ((simpleType | complexType)?, alternative*, (unique | key | keyref)*)) : element
284         const XsdStateMachine<XsdSchemaToken::NodeName>::StateId startState = machine.addState(XsdStateMachine<XsdSchemaToken::NodeName>::StartEndState);
285         const XsdStateMachine<XsdSchemaToken::NodeName>::StateId s1 = machine.addState(XsdStateMachine<XsdSchemaToken::NodeName>::EndState);
286         const XsdStateMachine<XsdSchemaToken::NodeName>::StateId s2 = machine.addState(XsdStateMachine<XsdSchemaToken::NodeName>::EndState);
287         const XsdStateMachine<XsdSchemaToken::NodeName>::StateId s3 = machine.addState(XsdStateMachine<XsdSchemaToken::NodeName>::EndState);
288         const XsdStateMachine<XsdSchemaToken::NodeName>::StateId s4 = machine.addState(XsdStateMachine<XsdSchemaToken::NodeName>::EndState);
289 
290         machine.addTransition(startState, XsdSchemaToken::Annotation, s1);
291         machine.addTransition(startState, XsdSchemaToken::SimpleType, s2);
292         machine.addTransition(startState, XsdSchemaToken::ComplexType, s2);
293         machine.addTransition(startState, XsdSchemaToken::Alternative, s3);
294         machine.addTransition(startState, XsdSchemaToken::Unique, s4);
295         machine.addTransition(startState, XsdSchemaToken::Key, s4);
296         machine.addTransition(startState, XsdSchemaToken::Keyref, s4);
297 
298         machine.addTransition(s1, XsdSchemaToken::SimpleType, s2);
299         machine.addTransition(s1, XsdSchemaToken::ComplexType, s2);
300         machine.addTransition(s1, XsdSchemaToken::Alternative, s3);
301         machine.addTransition(s1, XsdSchemaToken::Unique, s4);
302         machine.addTransition(s1, XsdSchemaToken::Key, s4);
303         machine.addTransition(s1, XsdSchemaToken::Keyref, s4);
304 
305         machine.addTransition(s2, XsdSchemaToken::Alternative, s3);
306         machine.addTransition(s2, XsdSchemaToken::Unique, s4);
307         machine.addTransition(s2, XsdSchemaToken::Key, s4);
308         machine.addTransition(s2, XsdSchemaToken::Keyref, s4);
309 
310         machine.addTransition(s3, XsdSchemaToken::Alternative, s3);
311         machine.addTransition(s3, XsdSchemaToken::Unique, s4);
312         machine.addTransition(s3, XsdSchemaToken::Key, s4);
313         machine.addTransition(s3, XsdSchemaToken::Keyref, s4);
314 
315         machine.addTransition(s4, XsdSchemaToken::Unique, s4);
316         machine.addTransition(s4, XsdSchemaToken::Key, s4);
317         machine.addTransition(s4, XsdSchemaToken::Keyref, s4);
318 
319         m_stateMachines.insert(XsdTagScope::GlobalElement, machine);
320         m_stateMachines.insert(XsdTagScope::LocalElement, machine);
321     }
322 
323     {
324         XsdStateMachine<XsdSchemaToken::NodeName> machine(namePool);
325 
326         // setup state machine for (annotation?, (simpleContent | complexContent | (openContent?, (group | all | choice | sequence)?, ((attribute | attributeGroup)*, anyAttribute?), assert*))) : complexType
327         const XsdStateMachine<XsdSchemaToken::NodeName>::StateId startState = machine.addState(XsdStateMachine<XsdSchemaToken::NodeName>::StartEndState);
328         const XsdStateMachine<XsdSchemaToken::NodeName>::StateId s1 = machine.addState(XsdStateMachine<XsdSchemaToken::NodeName>::EndState);
329         const XsdStateMachine<XsdSchemaToken::NodeName>::StateId s2 = machine.addState(XsdStateMachine<XsdSchemaToken::NodeName>::EndState);
330         const XsdStateMachine<XsdSchemaToken::NodeName>::StateId s3 = machine.addState(XsdStateMachine<XsdSchemaToken::NodeName>::EndState);
331         const XsdStateMachine<XsdSchemaToken::NodeName>::StateId s4 = machine.addState(XsdStateMachine<XsdSchemaToken::NodeName>::EndState);
332         const XsdStateMachine<XsdSchemaToken::NodeName>::StateId s5 = machine.addState(XsdStateMachine<XsdSchemaToken::NodeName>::EndState);
333         const XsdStateMachine<XsdSchemaToken::NodeName>::StateId s6 = machine.addState(XsdStateMachine<XsdSchemaToken::NodeName>::EndState);
334         const XsdStateMachine<XsdSchemaToken::NodeName>::StateId s7 = machine.addState(XsdStateMachine<XsdSchemaToken::NodeName>::EndState);
335 
336         machine.addTransition(startState, XsdSchemaToken::Annotation, s1);
337         machine.addTransition(startState, XsdSchemaToken::SimpleContent, s2);
338         machine.addTransition(startState, XsdSchemaToken::ComplexContent, s2);
339         machine.addTransition(startState, XsdSchemaToken::OpenContent, s3);
340         machine.addTransition(startState, XsdSchemaToken::Group, s4);
341         machine.addTransition(startState, XsdSchemaToken::All, s4);
342         machine.addTransition(startState, XsdSchemaToken::Choice, s4);
343         machine.addTransition(startState, XsdSchemaToken::Sequence, s4);
344         machine.addTransition(startState, XsdSchemaToken::Attribute, s5);
345         machine.addTransition(startState, XsdSchemaToken::AttributeGroup, s5);
346         machine.addTransition(startState, XsdSchemaToken::AnyAttribute, s6);
347         machine.addTransition(startState, XsdSchemaToken::Assert, s7);
348 
349         machine.addTransition(s1, XsdSchemaToken::SimpleContent, s2);
350         machine.addTransition(s1, XsdSchemaToken::ComplexContent, s2);
351         machine.addTransition(s1, XsdSchemaToken::OpenContent, s3);
352         machine.addTransition(s1, XsdSchemaToken::Group, s4);
353         machine.addTransition(s1, XsdSchemaToken::All, s4);
354         machine.addTransition(s1, XsdSchemaToken::Choice, s4);
355         machine.addTransition(s1, XsdSchemaToken::Sequence, s4);
356         machine.addTransition(s1, XsdSchemaToken::Attribute, s5);
357         machine.addTransition(s1, XsdSchemaToken::AttributeGroup, s5);
358         machine.addTransition(s1, XsdSchemaToken::AnyAttribute, s6);
359         machine.addTransition(s1, XsdSchemaToken::Assert, s7);
360 
361         machine.addTransition(s3, XsdSchemaToken::Group, s4);
362         machine.addTransition(s3, XsdSchemaToken::All, s4);
363         machine.addTransition(s3, XsdSchemaToken::Choice, s4);
364         machine.addTransition(s3, XsdSchemaToken::Sequence, s4);
365         machine.addTransition(s3, XsdSchemaToken::Attribute, s5);
366         machine.addTransition(s3, XsdSchemaToken::AttributeGroup, s5);
367         machine.addTransition(s3, XsdSchemaToken::AnyAttribute, s6);
368         machine.addTransition(s3, XsdSchemaToken::Assert, s7);
369 
370         machine.addTransition(s4, XsdSchemaToken::Attribute, s5);
371         machine.addTransition(s4, XsdSchemaToken::AttributeGroup, s5);
372         machine.addTransition(s4, XsdSchemaToken::AnyAttribute, s6);
373         machine.addTransition(s4, XsdSchemaToken::Assert, s7);
374 
375         machine.addTransition(s5, XsdSchemaToken::Attribute, s5);
376         machine.addTransition(s5, XsdSchemaToken::AttributeGroup, s5);
377         machine.addTransition(s5, XsdSchemaToken::AnyAttribute, s6);
378         machine.addTransition(s5, XsdSchemaToken::Assert, s7);
379 
380         machine.addTransition(s6, XsdSchemaToken::Assert, s7);
381 
382         machine.addTransition(s7, XsdSchemaToken::Assert, s7);
383 
384         m_stateMachines.insert(XsdTagScope::GlobalComplexType, machine);
385         m_stateMachines.insert(XsdTagScope::LocalComplexType, machine);
386     }
387 
388     {
389         XsdStateMachine<XsdSchemaToken::NodeName> machine(namePool);
390 
391         // setup state machine for (annotation?, (restriction | extension)) : simpleContent/complexContent
392         const XsdStateMachine<XsdSchemaToken::NodeName>::StateId startState = machine.addState(XsdStateMachine<XsdSchemaToken::NodeName>::StartState);
393         const XsdStateMachine<XsdSchemaToken::NodeName>::StateId s1 = machine.addState(XsdStateMachine<XsdSchemaToken::NodeName>::InternalState);
394         const XsdStateMachine<XsdSchemaToken::NodeName>::StateId s2 = machine.addState(XsdStateMachine<XsdSchemaToken::NodeName>::EndState);
395 
396         machine.addTransition(startState, XsdSchemaToken::Annotation, s1);
397         machine.addTransition(startState, XsdSchemaToken::Restriction, s2);
398         machine.addTransition(startState, XsdSchemaToken::Extension, s2);
399 
400         machine.addTransition(s1, XsdSchemaToken::Restriction, s2);
401         machine.addTransition(s1, XsdSchemaToken::Extension, s2);
402 
403         m_stateMachines.insert(XsdTagScope::SimpleContent, machine);
404         m_stateMachines.insert(XsdTagScope::ComplexContent, machine);
405     }
406 
407     {
408         XsdStateMachine<XsdSchemaToken::NodeName> machine(namePool);
409 
410         // 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
411         const XsdStateMachine<XsdSchemaToken::NodeName>::StateId startState = machine.addState(XsdStateMachine<XsdSchemaToken::NodeName>::StartEndState);
412         const XsdStateMachine<XsdSchemaToken::NodeName>::StateId s1 = machine.addState(XsdStateMachine<XsdSchemaToken::NodeName>::EndState);
413         const XsdStateMachine<XsdSchemaToken::NodeName>::StateId s2 = machine.addState(XsdStateMachine<XsdSchemaToken::NodeName>::EndState);
414         const XsdStateMachine<XsdSchemaToken::NodeName>::StateId s3 = machine.addState(XsdStateMachine<XsdSchemaToken::NodeName>::EndState);
415         const XsdStateMachine<XsdSchemaToken::NodeName>::StateId s4 = machine.addState(XsdStateMachine<XsdSchemaToken::NodeName>::EndState);
416         const XsdStateMachine<XsdSchemaToken::NodeName>::StateId s5 = machine.addState(XsdStateMachine<XsdSchemaToken::NodeName>::EndState);
417         const XsdStateMachine<XsdSchemaToken::NodeName>::StateId s6 = machine.addState(XsdStateMachine<XsdSchemaToken::NodeName>::EndState);
418 
419         machine.addTransition(startState, XsdSchemaToken::Annotation, s1);
420         machine.addTransition(startState, XsdSchemaToken::SimpleType, s2);
421         machine.addTransition(startState, XsdSchemaToken::MinExclusive, s3);
422         machine.addTransition(startState, XsdSchemaToken::MinInclusive, s3);
423         machine.addTransition(startState, XsdSchemaToken::MaxExclusive, s3);
424         machine.addTransition(startState, XsdSchemaToken::MaxInclusive, s3);
425         machine.addTransition(startState, XsdSchemaToken::TotalDigits, s3);
426         machine.addTransition(startState, XsdSchemaToken::FractionDigits, s3);
427         machine.addTransition(startState, XsdSchemaToken::Length, s3);
428         machine.addTransition(startState, XsdSchemaToken::MinLength, s3);
429         machine.addTransition(startState, XsdSchemaToken::MaxLength, s3);
430         machine.addTransition(startState, XsdSchemaToken::Enumeration, s3);
431         machine.addTransition(startState, XsdSchemaToken::WhiteSpace, s3);
432         machine.addTransition(startState, XsdSchemaToken::Pattern, s3);
433         machine.addTransition(startState, XsdSchemaToken::Assertion, s3);
434         machine.addTransition(startState, XsdSchemaToken::Attribute, s4);
435         machine.addTransition(startState, XsdSchemaToken::AttributeGroup, s4);
436         machine.addTransition(startState, XsdSchemaToken::AnyAttribute, s5);
437         machine.addTransition(startState, XsdSchemaToken::Assert, s6);
438 
439         machine.addTransition(s1, XsdSchemaToken::SimpleType, s2);
440         machine.addTransition(s1, XsdSchemaToken::MinExclusive, s3);
441         machine.addTransition(s1, XsdSchemaToken::MinInclusive, s3);
442         machine.addTransition(s1, XsdSchemaToken::MaxExclusive, s3);
443         machine.addTransition(s1, XsdSchemaToken::MaxInclusive, s3);
444         machine.addTransition(s1, XsdSchemaToken::TotalDigits, s3);
445         machine.addTransition(s1, XsdSchemaToken::FractionDigits, s3);
446         machine.addTransition(s1, XsdSchemaToken::Length, s3);
447         machine.addTransition(s1, XsdSchemaToken::MinLength, s3);
448         machine.addTransition(s1, XsdSchemaToken::MaxLength, s3);
449         machine.addTransition(s1, XsdSchemaToken::Enumeration, s3);
450         machine.addTransition(s1, XsdSchemaToken::WhiteSpace, s3);
451         machine.addTransition(s1, XsdSchemaToken::Pattern, s3);
452         machine.addTransition(s1, XsdSchemaToken::Assertion, s3);
453         machine.addTransition(s1, XsdSchemaToken::Attribute, s4);
454         machine.addTransition(s1, XsdSchemaToken::AttributeGroup, s4);
455         machine.addTransition(s1, XsdSchemaToken::AnyAttribute, s5);
456         machine.addTransition(s1, XsdSchemaToken::Assert, s6);
457 
458         machine.addTransition(s2, XsdSchemaToken::MinExclusive, s3);
459         machine.addTransition(s2, XsdSchemaToken::MinInclusive, s3);
460         machine.addTransition(s2, XsdSchemaToken::MaxExclusive, s3);
461         machine.addTransition(s2, XsdSchemaToken::MaxInclusive, s3);
462         machine.addTransition(s2, XsdSchemaToken::TotalDigits, s3);
463         machine.addTransition(s2, XsdSchemaToken::FractionDigits, s3);
464         machine.addTransition(s2, XsdSchemaToken::Length, s3);
465         machine.addTransition(s2, XsdSchemaToken::MinLength, s3);
466         machine.addTransition(s2, XsdSchemaToken::MaxLength, s3);
467         machine.addTransition(s2, XsdSchemaToken::Enumeration, s3);
468         machine.addTransition(s2, XsdSchemaToken::WhiteSpace, s3);
469         machine.addTransition(s2, XsdSchemaToken::Pattern, s3);
470         machine.addTransition(s2, XsdSchemaToken::Assertion, s3);
471         machine.addTransition(s2, XsdSchemaToken::Attribute, s4);
472         machine.addTransition(s2, XsdSchemaToken::AttributeGroup, s4);
473         machine.addTransition(s2, XsdSchemaToken::AnyAttribute, s5);
474         machine.addTransition(s2, XsdSchemaToken::Assert, s6);
475 
476         machine.addTransition(s3, XsdSchemaToken::MinExclusive, s3);
477         machine.addTransition(s3, XsdSchemaToken::MinInclusive, s3);
478         machine.addTransition(s3, XsdSchemaToken::MaxExclusive, s3);
479         machine.addTransition(s3, XsdSchemaToken::MaxInclusive, s3);
480         machine.addTransition(s3, XsdSchemaToken::TotalDigits, s3);
481         machine.addTransition(s3, XsdSchemaToken::FractionDigits, s3);
482         machine.addTransition(s3, XsdSchemaToken::Length, s3);
483         machine.addTransition(s3, XsdSchemaToken::MinLength, s3);
484         machine.addTransition(s3, XsdSchemaToken::MaxLength, s3);
485         machine.addTransition(s3, XsdSchemaToken::Enumeration, s3);
486         machine.addTransition(s3, XsdSchemaToken::WhiteSpace, s3);
487         machine.addTransition(s3, XsdSchemaToken::Pattern, s3);
488         machine.addTransition(s3, XsdSchemaToken::Assertion, s3);
489         machine.addTransition(s3, XsdSchemaToken::Attribute, s4);
490         machine.addTransition(s3, XsdSchemaToken::AttributeGroup, s4);
491         machine.addTransition(s3, XsdSchemaToken::AnyAttribute, s5);
492         machine.addTransition(s3, XsdSchemaToken::Assert, s6);
493 
494         machine.addTransition(s4, XsdSchemaToken::Attribute, s4);
495         machine.addTransition(s4, XsdSchemaToken::AttributeGroup, s4);
496         machine.addTransition(s4, XsdSchemaToken::AnyAttribute, s5);
497         machine.addTransition(s4, XsdSchemaToken::Assert, s6);
498 
499         machine.addTransition(s5, XsdSchemaToken::Assert, s6);
500 
501         machine.addTransition(s6, XsdSchemaToken::Assert, s6);
502 
503         m_stateMachines.insert(XsdTagScope::SimpleContentRestriction, machine);
504     }
505 
506     {
507         XsdStateMachine<XsdSchemaToken::NodeName> machine(namePool);
508 
509         // setup state machine for (annotation?, ((attribute | attributeGroup)*, anyAttribute?), assert*) : simple content extension
510         const XsdStateMachine<XsdSchemaToken::NodeName>::StateId startState = machine.addState(XsdStateMachine<XsdSchemaToken::NodeName>::StartEndState);
511         const XsdStateMachine<XsdSchemaToken::NodeName>::StateId s1 = machine.addState(XsdStateMachine<XsdSchemaToken::NodeName>::EndState);
512         const XsdStateMachine<XsdSchemaToken::NodeName>::StateId s2 = machine.addState(XsdStateMachine<XsdSchemaToken::NodeName>::EndState);
513         const XsdStateMachine<XsdSchemaToken::NodeName>::StateId s3 = machine.addState(XsdStateMachine<XsdSchemaToken::NodeName>::EndState);
514         const XsdStateMachine<XsdSchemaToken::NodeName>::StateId s4 = machine.addState(XsdStateMachine<XsdSchemaToken::NodeName>::EndState);
515 
516         machine.addTransition(startState, XsdSchemaToken::Annotation, s1);
517         machine.addTransition(startState, XsdSchemaToken::Attribute, s2);
518         machine.addTransition(startState, XsdSchemaToken::AttributeGroup, s2);
519         machine.addTransition(startState, XsdSchemaToken::AnyAttribute, s3);
520         machine.addTransition(startState, XsdSchemaToken::Assert, s4);
521 
522         machine.addTransition(s1, XsdSchemaToken::Attribute, s2);
523         machine.addTransition(s1, XsdSchemaToken::AttributeGroup, s2);
524         machine.addTransition(s1, XsdSchemaToken::AnyAttribute, s3);
525         machine.addTransition(s1, XsdSchemaToken::Assert, s4);
526 
527         machine.addTransition(s2, XsdSchemaToken::Attribute, s2);
528         machine.addTransition(s2, XsdSchemaToken::AttributeGroup, s2);
529         machine.addTransition(s2, XsdSchemaToken::AnyAttribute, s3);
530         machine.addTransition(s2, XsdSchemaToken::Assert, s4);
531 
532         machine.addTransition(s3, XsdSchemaToken::Assert, s4);
533 
534         machine.addTransition(s4, XsdSchemaToken::Assert, s4);
535 
536         m_stateMachines.insert(XsdTagScope::SimpleContentExtension, machine);
537     }
538 
539     {
540         XsdStateMachine<XsdSchemaToken::NodeName> machine(namePool);
541 
542         // setup state machine for (annotation?, openContent?, ((group | all | choice | sequence)?, ((attribute | attributeGroup)*, anyAttribute?), assert*)) : complex content restriction/complex content extension
543         const XsdStateMachine<XsdSchemaToken::NodeName>::StateId startState = machine.addState(XsdStateMachine<XsdSchemaToken::NodeName>::StartEndState);
544         const XsdStateMachine<XsdSchemaToken::NodeName>::StateId s1 = machine.addState(XsdStateMachine<XsdSchemaToken::NodeName>::EndState);
545         const XsdStateMachine<XsdSchemaToken::NodeName>::StateId s2 = machine.addState(XsdStateMachine<XsdSchemaToken::NodeName>::EndState);
546         const XsdStateMachine<XsdSchemaToken::NodeName>::StateId s3 = machine.addState(XsdStateMachine<XsdSchemaToken::NodeName>::EndState);
547         const XsdStateMachine<XsdSchemaToken::NodeName>::StateId s4 = machine.addState(XsdStateMachine<XsdSchemaToken::NodeName>::EndState);
548         const XsdStateMachine<XsdSchemaToken::NodeName>::StateId s5 = machine.addState(XsdStateMachine<XsdSchemaToken::NodeName>::EndState);
549         const XsdStateMachine<XsdSchemaToken::NodeName>::StateId s6 = machine.addState(XsdStateMachine<XsdSchemaToken::NodeName>::EndState);
550 
551         machine.addTransition(startState, XsdSchemaToken::Annotation, s1);
552         machine.addTransition(startState, XsdSchemaToken::OpenContent, s2);
553         machine.addTransition(startState, XsdSchemaToken::Group, s3);
554         machine.addTransition(startState, XsdSchemaToken::All, s3);
555         machine.addTransition(startState, XsdSchemaToken::Choice, s3);
556         machine.addTransition(startState, XsdSchemaToken::Sequence, s3);
557         machine.addTransition(startState, XsdSchemaToken::Attribute, s4);
558         machine.addTransition(startState, XsdSchemaToken::AttributeGroup, s4);
559         machine.addTransition(startState, XsdSchemaToken::AnyAttribute, s5);
560         machine.addTransition(startState, XsdSchemaToken::Assert, s6);
561 
562         machine.addTransition(s1, XsdSchemaToken::OpenContent, s2);
563         machine.addTransition(s1, XsdSchemaToken::Group, s3);
564         machine.addTransition(s1, XsdSchemaToken::All, s3);
565         machine.addTransition(s1, XsdSchemaToken::Choice, s3);
566         machine.addTransition(s1, XsdSchemaToken::Sequence, s3);
567         machine.addTransition(s1, XsdSchemaToken::Attribute, s4);
568         machine.addTransition(s1, XsdSchemaToken::AttributeGroup, s4);
569         machine.addTransition(s1, XsdSchemaToken::AnyAttribute, s5);
570         machine.addTransition(s1, XsdSchemaToken::Assert, s6);
571 
572         machine.addTransition(s2, XsdSchemaToken::Group, s3);
573         machine.addTransition(s2, XsdSchemaToken::All, s3);
574         machine.addTransition(s2, XsdSchemaToken::Choice, s3);
575         machine.addTransition(s2, XsdSchemaToken::Sequence, s3);
576         machine.addTransition(s2, XsdSchemaToken::Attribute, s4);
577         machine.addTransition(s2, XsdSchemaToken::AttributeGroup, s4);
578         machine.addTransition(s2, XsdSchemaToken::AnyAttribute, s5);
579         machine.addTransition(s2, XsdSchemaToken::Assert, s6);
580 
581         machine.addTransition(s3, XsdSchemaToken::Attribute, s4);
582         machine.addTransition(s3, XsdSchemaToken::AttributeGroup, s4);
583         machine.addTransition(s3, XsdSchemaToken::AnyAttribute, s5);
584         machine.addTransition(s3, XsdSchemaToken::Assert, s6);
585 
586         machine.addTransition(s4, XsdSchemaToken::Attribute, s4);
587         machine.addTransition(s4, XsdSchemaToken::AttributeGroup, s4);
588         machine.addTransition(s4, XsdSchemaToken::AnyAttribute, s5);
589         machine.addTransition(s4, XsdSchemaToken::Assert, s6);
590 
591         machine.addTransition(s5, XsdSchemaToken::Assert, s6);
592 
593         machine.addTransition(s6, XsdSchemaToken::Assert, s6);
594 
595         m_stateMachines.insert(XsdTagScope::ComplexContentRestriction, machine);
596         m_stateMachines.insert(XsdTagScope::ComplexContentExtension, machine);
597     }
598 
599     {
600         XsdStateMachine<XsdSchemaToken::NodeName> machine(namePool);
601 
602         // setup state machine for (annotation?, ((attribute | attributeGroup)*, anyAttribute?)) : named attribute group
603         const XsdStateMachine<XsdSchemaToken::NodeName>::StateId startState = machine.addState(XsdStateMachine<XsdSchemaToken::NodeName>::StartEndState);
604         const XsdStateMachine<XsdSchemaToken::NodeName>::StateId s1 = machine.addState(XsdStateMachine<XsdSchemaToken::NodeName>::EndState);
605         const XsdStateMachine<XsdSchemaToken::NodeName>::StateId s2 = machine.addState(XsdStateMachine<XsdSchemaToken::NodeName>::EndState);
606         const XsdStateMachine<XsdSchemaToken::NodeName>::StateId s3 = machine.addState(XsdStateMachine<XsdSchemaToken::NodeName>::EndState);
607 
608         machine.addTransition(startState, XsdSchemaToken::Annotation, s1);
609         machine.addTransition(startState, XsdSchemaToken::Attribute, s2);
610         machine.addTransition(startState, XsdSchemaToken::AttributeGroup, s2);
611         machine.addTransition(startState, XsdSchemaToken::AnyAttribute, s3);
612 
613         machine.addTransition(s1, XsdSchemaToken::Attribute, s2);
614         machine.addTransition(s1, XsdSchemaToken::AttributeGroup, s2);
615         machine.addTransition(s1, XsdSchemaToken::AnyAttribute, s3);
616 
617         machine.addTransition(s2, XsdSchemaToken::Attribute, s2);
618         machine.addTransition(s2, XsdSchemaToken::AttributeGroup, s2);
619         machine.addTransition(s2, XsdSchemaToken::AnyAttribute, s3);
620 
621         m_stateMachines.insert(XsdTagScope::NamedAttributeGroup, machine);
622     }
623 
624     {
625         XsdStateMachine<XsdSchemaToken::NodeName> machine(namePool);
626 
627         // setup state machine for (annotation?, (all | choice | sequence)?) : group
628         const XsdStateMachine<XsdSchemaToken::NodeName>::StateId startState = machine.addState(XsdStateMachine<XsdSchemaToken::NodeName>::StartEndState);
629         const XsdStateMachine<XsdSchemaToken::NodeName>::StateId s1 = machine.addState(XsdStateMachine<XsdSchemaToken::NodeName>::EndState);
630         const XsdStateMachine<XsdSchemaToken::NodeName>::StateId s2 = machine.addState(XsdStateMachine<XsdSchemaToken::NodeName>::EndState);
631 
632         machine.addTransition(startState, XsdSchemaToken::Annotation, s1);
633         machine.addTransition(startState, XsdSchemaToken::All, s2);
634         machine.addTransition(startState, XsdSchemaToken::Choice, s2);
635         machine.addTransition(startState, XsdSchemaToken::Sequence, s2);
636 
637         machine.addTransition(s1, XsdSchemaToken::All, s2);
638         machine.addTransition(s1, XsdSchemaToken::Choice, s2);
639         machine.addTransition(s1, XsdSchemaToken::Sequence, s2);
640 
641         m_stateMachines.insert(XsdTagScope::NamedGroup, machine);
642         m_stateMachines.insert(XsdTagScope::ReferredGroup, machine);
643     }
644 
645     {
646         XsdStateMachine<XsdSchemaToken::NodeName> machine(namePool);
647 
648         // setup state machine for (annotation?, (element | any)*) : all
649         const XsdStateMachine<XsdSchemaToken::NodeName>::StateId startState = machine.addState(XsdStateMachine<XsdSchemaToken::NodeName>::StartEndState);
650         const XsdStateMachine<XsdSchemaToken::NodeName>::StateId s1 = machine.addState(XsdStateMachine<XsdSchemaToken::NodeName>::EndState);
651         const XsdStateMachine<XsdSchemaToken::NodeName>::StateId s2 = machine.addState(XsdStateMachine<XsdSchemaToken::NodeName>::EndState);
652 
653         machine.addTransition(startState, XsdSchemaToken::Annotation, s1);
654         machine.addTransition(startState, XsdSchemaToken::Element, s2);
655         machine.addTransition(startState, XsdSchemaToken::Any, s2);
656 
657         machine.addTransition(s1, XsdSchemaToken::Element, s2);
658         machine.addTransition(s1, XsdSchemaToken::Any, s2);
659 
660         machine.addTransition(s2, XsdSchemaToken::Element, s2);
661         machine.addTransition(s2, XsdSchemaToken::Any, s2);
662 
663         m_stateMachines.insert(XsdTagScope::All, machine);
664         m_stateMachines.insert(XsdTagScope::LocalAll, machine);
665     }
666 
667     {
668         XsdStateMachine<XsdSchemaToken::NodeName> machine(namePool);
669 
670         // setup state machine for (annotation?, (element | group | choice | sequence | any)*) : choice sequence
671         const XsdStateMachine<XsdSchemaToken::NodeName>::StateId startState = machine.addState(XsdStateMachine<XsdSchemaToken::NodeName>::StartEndState);
672         const XsdStateMachine<XsdSchemaToken::NodeName>::StateId s1 = machine.addState(XsdStateMachine<XsdSchemaToken::NodeName>::EndState);
673         const XsdStateMachine<XsdSchemaToken::NodeName>::StateId s2 = machine.addState(XsdStateMachine<XsdSchemaToken::NodeName>::EndState);
674 
675         machine.addTransition(startState, XsdSchemaToken::Annotation, s1);
676         machine.addTransition(startState, XsdSchemaToken::Element, s2);
677         machine.addTransition(startState, XsdSchemaToken::Group, s2);
678         machine.addTransition(startState, XsdSchemaToken::Choice, s2);
679         machine.addTransition(startState, XsdSchemaToken::Sequence, s2);
680         machine.addTransition(startState, XsdSchemaToken::Any, s2);
681 
682         machine.addTransition(s1, XsdSchemaToken::Element, s2);
683         machine.addTransition(s1, XsdSchemaToken::Group, s2);
684         machine.addTransition(s1, XsdSchemaToken::Choice, s2);
685         machine.addTransition(s1, XsdSchemaToken::Sequence, s2);
686         machine.addTransition(s1, XsdSchemaToken::Any, s2);
687 
688         machine.addTransition(s2, XsdSchemaToken::Element, s2);
689         machine.addTransition(s2, XsdSchemaToken::Group, s2);
690         machine.addTransition(s2, XsdSchemaToken::Choice, s2);
691         machine.addTransition(s2, XsdSchemaToken::Sequence, s2);
692         machine.addTransition(s2, XsdSchemaToken::Any, s2);
693 
694         m_stateMachines.insert(XsdTagScope::Choice, machine);
695         m_stateMachines.insert(XsdTagScope::LocalChoice, machine);
696         m_stateMachines.insert(XsdTagScope::Sequence, machine);
697         m_stateMachines.insert(XsdTagScope::LocalSequence, machine);
698     }
699 
700     {
701         XsdStateMachine<XsdSchemaToken::NodeName> machine(namePool);
702 
703         // setup state machine for (annotation?) : any/selector/field/notation/include/import/referred attribute group/anyAttribute/all facets/assert
704         const XsdStateMachine<XsdSchemaToken::NodeName>::StateId startState = machine.addState(XsdStateMachine<XsdSchemaToken::NodeName>::StartEndState);
705         const XsdStateMachine<XsdSchemaToken::NodeName>::StateId s1 = machine.addState(XsdStateMachine<XsdSchemaToken::NodeName>::EndState);
706 
707         machine.addTransition(startState, XsdSchemaToken::Annotation, s1);
708 
709         m_stateMachines.insert(XsdTagScope::Any, machine);
710         m_stateMachines.insert(XsdTagScope::Selector, machine);
711         m_stateMachines.insert(XsdTagScope::Field, machine);
712         m_stateMachines.insert(XsdTagScope::Notation, machine);
713         m_stateMachines.insert(XsdTagScope::Include, machine);
714         m_stateMachines.insert(XsdTagScope::Import, machine);
715         m_stateMachines.insert(XsdTagScope::ReferredAttributeGroup, machine);
716         m_stateMachines.insert(XsdTagScope::AnyAttribute, machine);
717         m_stateMachines.insert(XsdTagScope::MinExclusiveFacet, machine);
718         m_stateMachines.insert(XsdTagScope::MinInclusiveFacet, machine);
719         m_stateMachines.insert(XsdTagScope::MaxExclusiveFacet, machine);
720         m_stateMachines.insert(XsdTagScope::MaxInclusiveFacet, machine);
721         m_stateMachines.insert(XsdTagScope::TotalDigitsFacet, machine);
722         m_stateMachines.insert(XsdTagScope::FractionDigitsFacet, machine);
723         m_stateMachines.insert(XsdTagScope::LengthFacet, machine);
724         m_stateMachines.insert(XsdTagScope::MinLengthFacet, machine);
725         m_stateMachines.insert(XsdTagScope::MaxLengthFacet, machine);
726         m_stateMachines.insert(XsdTagScope::EnumerationFacet, machine);
727         m_stateMachines.insert(XsdTagScope::WhiteSpaceFacet, machine);
728         m_stateMachines.insert(XsdTagScope::PatternFacet, machine);
729         m_stateMachines.insert(XsdTagScope::Assert, machine);
730         m_stateMachines.insert(XsdTagScope::Assertion, machine);
731     }
732 
733     {
734         XsdStateMachine<XsdSchemaToken::NodeName> machine(namePool);
735 
736         // setup state machine for (annotation?, (selector, field+)) : unique/key/keyref
737         const XsdStateMachine<XsdSchemaToken::NodeName>::StateId startState = machine.addState(XsdStateMachine<XsdSchemaToken::NodeName>::StartState);
738         const XsdStateMachine<XsdSchemaToken::NodeName>::StateId s1 = machine.addState(XsdStateMachine<XsdSchemaToken::NodeName>::InternalState);
739         const XsdStateMachine<XsdSchemaToken::NodeName>::StateId s2 = machine.addState(XsdStateMachine<XsdSchemaToken::NodeName>::InternalState);
740         const XsdStateMachine<XsdSchemaToken::NodeName>::StateId s3 = machine.addState(XsdStateMachine<XsdSchemaToken::NodeName>::EndState);
741 
742         machine.addTransition(startState, XsdSchemaToken::Annotation, s1);
743         machine.addTransition(startState, XsdSchemaToken::Selector, s2);
744 
745         machine.addTransition(s1, XsdSchemaToken::Selector, s2);
746         machine.addTransition(s2, XsdSchemaToken::Field, s3);
747         machine.addTransition(s3, XsdSchemaToken::Field, s3);
748 
749         m_stateMachines.insert(XsdTagScope::Unique, machine);
750         m_stateMachines.insert(XsdTagScope::Key, machine);
751         m_stateMachines.insert(XsdTagScope::KeyRef, machine);
752     }
753 
754     {
755         XsdStateMachine<XsdSchemaToken::NodeName> machine(namePool);
756 
757         // setup state machine for (annotation?, (simpleType | complexType)?) : alternative
758         const XsdStateMachine<XsdSchemaToken::NodeName>::StateId startState = machine.addState(XsdStateMachine<XsdSchemaToken::NodeName>::StartEndState);
759         const XsdStateMachine<XsdSchemaToken::NodeName>::StateId s1 = machine.addState(XsdStateMachine<XsdSchemaToken::NodeName>::EndState);
760         const XsdStateMachine<XsdSchemaToken::NodeName>::StateId s2 = machine.addState(XsdStateMachine<XsdSchemaToken::NodeName>::EndState);
761 
762         machine.addTransition(startState, XsdSchemaToken::Annotation, s1);
763         machine.addTransition(startState, XsdSchemaToken::SimpleType, s2);
764         machine.addTransition(startState, XsdSchemaToken::ComplexType, s2);
765 
766         machine.addTransition(s1, XsdSchemaToken::SimpleType, s2);
767         machine.addTransition(s1, XsdSchemaToken::ComplexType, s2);
768 
769         m_stateMachines.insert(XsdTagScope::Alternative, machine);
770     }
771 
772     {
773         XsdStateMachine<XsdSchemaToken::NodeName> machine(namePool);
774 
775         // setup state machine for (appinfo | documentation)* : annotation
776         const XsdStateMachine<XsdSchemaToken::NodeName>::StateId startState = machine.addState(XsdStateMachine<XsdSchemaToken::NodeName>::StartEndState);
777         const XsdStateMachine<XsdSchemaToken::NodeName>::StateId s1 = machine.addState(XsdStateMachine<XsdSchemaToken::NodeName>::EndState);
778 
779         machine.addTransition(startState, XsdSchemaToken::Appinfo, s1);
780         machine.addTransition(startState, XsdSchemaToken::Documentation, s1);
781 
782         machine.addTransition(s1, XsdSchemaToken::Appinfo, s1);
783         machine.addTransition(s1, XsdSchemaToken::Documentation, s1);
784 
785         m_stateMachines.insert(XsdTagScope::Annotation, machine);
786     }
787 
788     {
789         XsdStateMachine<XsdSchemaToken::NodeName> machine(namePool);
790 
791         // setup state machine for (annotation?, (restriction | list | union)) : simpleType
792         const XsdStateMachine<XsdSchemaToken::NodeName>::StateId startState = machine.addState(XsdStateMachine<XsdSchemaToken::NodeName>::StartState);
793         const XsdStateMachine<XsdSchemaToken::NodeName>::StateId s1 = machine.addState(XsdStateMachine<XsdSchemaToken::NodeName>::InternalState);
794         const XsdStateMachine<XsdSchemaToken::NodeName>::StateId s2 = machine.addState(XsdStateMachine<XsdSchemaToken::NodeName>::EndState);
795 
796         machine.addTransition(startState, XsdSchemaToken::Annotation, s1);
797         machine.addTransition(startState, XsdSchemaToken::Restriction, s2);
798         machine.addTransition(startState, XsdSchemaToken::List, s2);
799         machine.addTransition(startState, XsdSchemaToken::Union, s2);
800 
801         machine.addTransition(s1, XsdSchemaToken::Restriction, s2);
802         machine.addTransition(s1, XsdSchemaToken::List, s2);
803         machine.addTransition(s1, XsdSchemaToken::Union, s2);
804 
805         m_stateMachines.insert(XsdTagScope::GlobalSimpleType, machine);
806         m_stateMachines.insert(XsdTagScope::LocalSimpleType, machine);
807     }
808 
809     {
810         XsdStateMachine<XsdSchemaToken::NodeName> machine(namePool);
811 
812         // setup state machine for (annotation?, (simpleType?, (minExclusive | minInclusive | maxExclusive | maxInclusive | totalDigits | fractionDigits | length | minLength | maxLength | enumeration | whiteSpace | pattern | assertion)*)) : simple type restriction
813         const XsdStateMachine<XsdSchemaToken::NodeName>::StateId startState = machine.addState(XsdStateMachine<XsdSchemaToken::NodeName>::StartEndState);
814         const XsdStateMachine<XsdSchemaToken::NodeName>::StateId s1 = machine.addState(XsdStateMachine<XsdSchemaToken::NodeName>::EndState);
815         const XsdStateMachine<XsdSchemaToken::NodeName>::StateId s2 = machine.addState(XsdStateMachine<XsdSchemaToken::NodeName>::EndState);
816         const XsdStateMachine<XsdSchemaToken::NodeName>::StateId s3 = machine.addState(XsdStateMachine<XsdSchemaToken::NodeName>::EndState);
817 
818         machine.addTransition(startState, XsdSchemaToken::Annotation, s1);
819         machine.addTransition(startState, XsdSchemaToken::SimpleType, s2);
820         machine.addTransition(startState, XsdSchemaToken::MinExclusive, s3);
821         machine.addTransition(startState, XsdSchemaToken::MinInclusive, s3);
822         machine.addTransition(startState, XsdSchemaToken::MaxExclusive, s3);
823         machine.addTransition(startState, XsdSchemaToken::MaxInclusive, s3);
824         machine.addTransition(startState, XsdSchemaToken::TotalDigits, s3);
825         machine.addTransition(startState, XsdSchemaToken::FractionDigits, s3);
826         machine.addTransition(startState, XsdSchemaToken::Length, s3);
827         machine.addTransition(startState, XsdSchemaToken::MinLength, s3);
828         machine.addTransition(startState, XsdSchemaToken::MaxLength, s3);
829         machine.addTransition(startState, XsdSchemaToken::Enumeration, s3);
830         machine.addTransition(startState, XsdSchemaToken::WhiteSpace, s3);
831         machine.addTransition(startState, XsdSchemaToken::Pattern, s3);
832         machine.addTransition(startState, XsdSchemaToken::Assertion, s3);
833 
834         machine.addTransition(s1, XsdSchemaToken::SimpleType, s2);
835         machine.addTransition(s1, XsdSchemaToken::MinExclusive, s3);
836         machine.addTransition(s1, XsdSchemaToken::MinInclusive, s3);
837         machine.addTransition(s1, XsdSchemaToken::MaxExclusive, s3);
838         machine.addTransition(s1, XsdSchemaToken::MaxInclusive, s3);
839         machine.addTransition(s1, XsdSchemaToken::TotalDigits, s3);
840         machine.addTransition(s1, XsdSchemaToken::FractionDigits, s3);
841         machine.addTransition(s1, XsdSchemaToken::Length, s3);
842         machine.addTransition(s1, XsdSchemaToken::MinLength, s3);
843         machine.addTransition(s1, XsdSchemaToken::MaxLength, s3);
844         machine.addTransition(s1, XsdSchemaToken::Enumeration, s3);
845         machine.addTransition(s1, XsdSchemaToken::WhiteSpace, s3);
846         machine.addTransition(s1, XsdSchemaToken::Pattern, s3);
847         machine.addTransition(s1, XsdSchemaToken::Assertion, s3);
848 
849         machine.addTransition(s2, XsdSchemaToken::MinExclusive, s3);
850         machine.addTransition(s2, XsdSchemaToken::MinInclusive, s3);
851         machine.addTransition(s2, XsdSchemaToken::MaxExclusive, s3);
852         machine.addTransition(s2, XsdSchemaToken::MaxInclusive, s3);
853         machine.addTransition(s2, XsdSchemaToken::TotalDigits, s3);
854         machine.addTransition(s2, XsdSchemaToken::FractionDigits, s3);
855         machine.addTransition(s2, XsdSchemaToken::Length, s3);
856         machine.addTransition(s2, XsdSchemaToken::MinLength, s3);
857         machine.addTransition(s2, XsdSchemaToken::MaxLength, s3);
858         machine.addTransition(s2, XsdSchemaToken::Enumeration, s3);
859         machine.addTransition(s2, XsdSchemaToken::WhiteSpace, s3);
860         machine.addTransition(s2, XsdSchemaToken::Pattern, s3);
861         machine.addTransition(s2, XsdSchemaToken::Assertion, s3);
862 
863         machine.addTransition(s3, XsdSchemaToken::MinExclusive, s3);
864         machine.addTransition(s3, XsdSchemaToken::MinInclusive, s3);
865         machine.addTransition(s3, XsdSchemaToken::MaxExclusive, s3);
866         machine.addTransition(s3, XsdSchemaToken::MaxInclusive, s3);
867         machine.addTransition(s3, XsdSchemaToken::TotalDigits, s3);
868         machine.addTransition(s3, XsdSchemaToken::FractionDigits, s3);
869         machine.addTransition(s3, XsdSchemaToken::Length, s3);
870         machine.addTransition(s3, XsdSchemaToken::MinLength, s3);
871         machine.addTransition(s3, XsdSchemaToken::MaxLength, s3);
872         machine.addTransition(s3, XsdSchemaToken::Enumeration, s3);
873         machine.addTransition(s3, XsdSchemaToken::WhiteSpace, s3);
874         machine.addTransition(s3, XsdSchemaToken::Pattern, s3);
875         machine.addTransition(s3, XsdSchemaToken::Assertion, s3);
876 
877         m_stateMachines.insert(XsdTagScope::SimpleRestriction, machine);
878     }
879 
880     {
881         XsdStateMachine<XsdSchemaToken::NodeName> machine(namePool);
882 
883         // setup state machine for (annotation?, simpleType?) : list
884         const XsdStateMachine<XsdSchemaToken::NodeName>::StateId startState = machine.addState(XsdStateMachine<XsdSchemaToken::NodeName>::StartEndState);
885         const XsdStateMachine<XsdSchemaToken::NodeName>::StateId s1 = machine.addState(XsdStateMachine<XsdSchemaToken::NodeName>::EndState);
886         const XsdStateMachine<XsdSchemaToken::NodeName>::StateId s2 = machine.addState(XsdStateMachine<XsdSchemaToken::NodeName>::EndState);
887 
888         machine.addTransition(startState, XsdSchemaToken::Annotation, s1);
889         machine.addTransition(startState, XsdSchemaToken::SimpleType, s2);
890 
891         machine.addTransition(s1, XsdSchemaToken::SimpleType, s2);
892 
893         m_stateMachines.insert(XsdTagScope::List, machine);
894     }
895 
896     {
897         XsdStateMachine<XsdSchemaToken::NodeName> machine(namePool);
898 
899         // setup state machine for (annotation?, simpleType*) : union
900         const XsdStateMachine<XsdSchemaToken::NodeName>::StateId startState = machine.addState(XsdStateMachine<XsdSchemaToken::NodeName>::StartEndState);
901         const XsdStateMachine<XsdSchemaToken::NodeName>::StateId s1 = machine.addState(XsdStateMachine<XsdSchemaToken::NodeName>::EndState);
902         const XsdStateMachine<XsdSchemaToken::NodeName>::StateId s2 = machine.addState(XsdStateMachine<XsdSchemaToken::NodeName>::EndState);
903 
904         machine.addTransition(startState, XsdSchemaToken::Annotation, s1);
905         machine.addTransition(startState, XsdSchemaToken::SimpleType, s2);
906 
907         machine.addTransition(s1, XsdSchemaToken::SimpleType, s2);
908         machine.addTransition(s2, XsdSchemaToken::SimpleType, s2);
909 
910         m_stateMachines.insert(XsdTagScope::Union, machine);
911     }
912 
913     {
914         XsdStateMachine<XsdSchemaToken::NodeName> machine(namePool);
915 
916         // setup state machine for ((include | import | redefine |i override |  annotation)*, (defaultOpenContent, annotation*)?, (((simpleType | complexType | group | attributeGroup) | element | attribute | notation), annotation*)*) : schema
917         const XsdStateMachine<XsdSchemaToken::NodeName>::StateId startState = machine.addState(XsdStateMachine<XsdSchemaToken::NodeName>::StartEndState);
918         const XsdStateMachine<XsdSchemaToken::NodeName>::StateId s1 = machine.addState(XsdStateMachine<XsdSchemaToken::NodeName>::EndState);
919         const XsdStateMachine<XsdSchemaToken::NodeName>::StateId s2 = machine.addState(XsdStateMachine<XsdSchemaToken::NodeName>::EndState);
920         const XsdStateMachine<XsdSchemaToken::NodeName>::StateId s3 = machine.addState(XsdStateMachine<XsdSchemaToken::NodeName>::EndState);
921         const XsdStateMachine<XsdSchemaToken::NodeName>::StateId s4 = machine.addState(XsdStateMachine<XsdSchemaToken::NodeName>::EndState);
922         const XsdStateMachine<XsdSchemaToken::NodeName>::StateId s5 = machine.addState(XsdStateMachine<XsdSchemaToken::NodeName>::EndState);
923 
924         machine.addTransition(startState, XsdSchemaToken::Include, s1);
925         machine.addTransition(startState, XsdSchemaToken::Import, s1);
926         machine.addTransition(startState, XsdSchemaToken::Redefine, s1);
927         machine.addTransition(startState, XsdSchemaToken::Override, s1);
928         machine.addTransition(startState, XsdSchemaToken::Annotation, s1);
929         machine.addTransition(startState, XsdSchemaToken::DefaultOpenContent, s2);
930         machine.addTransition(startState, XsdSchemaToken::SimpleType, s4);
931         machine.addTransition(startState, XsdSchemaToken::ComplexType, s4);
932         machine.addTransition(startState, XsdSchemaToken::Group, s4);
933         machine.addTransition(startState, XsdSchemaToken::AttributeGroup, s4);
934         machine.addTransition(startState, XsdSchemaToken::Element, s4);
935         machine.addTransition(startState, XsdSchemaToken::Attribute, s4);
936         machine.addTransition(startState, XsdSchemaToken::Notation, s4);
937 
938         machine.addTransition(s1, XsdSchemaToken::Include, s1);
939         machine.addTransition(s1, XsdSchemaToken::Import, s1);
940         machine.addTransition(s1, XsdSchemaToken::Redefine, s1);
941         machine.addTransition(s1, XsdSchemaToken::Override, s1);
942         machine.addTransition(s1, XsdSchemaToken::Annotation, s1);
943         machine.addTransition(s1, XsdSchemaToken::DefaultOpenContent, s2);
944         machine.addTransition(s1, XsdSchemaToken::SimpleType, s4);
945         machine.addTransition(s1, XsdSchemaToken::ComplexType, s4);
946         machine.addTransition(s1, XsdSchemaToken::Group, s4);
947         machine.addTransition(s1, XsdSchemaToken::AttributeGroup, s4);
948         machine.addTransition(s1, XsdSchemaToken::Element, s4);
949         machine.addTransition(s1, XsdSchemaToken::Attribute, s4);
950         machine.addTransition(s1, XsdSchemaToken::Notation, s4);
951 
952         machine.addTransition(s2, XsdSchemaToken::Annotation, s3);
953         machine.addTransition(s2, XsdSchemaToken::SimpleType, s4);
954         machine.addTransition(s2, XsdSchemaToken::ComplexType, s4);
955         machine.addTransition(s2, XsdSchemaToken::Group, s4);
956         machine.addTransition(s2, XsdSchemaToken::AttributeGroup, s4);
957         machine.addTransition(s2, XsdSchemaToken::Element, s4);
958         machine.addTransition(s2, XsdSchemaToken::Attribute, s4);
959         machine.addTransition(s2, XsdSchemaToken::Notation, s4);
960 
961         machine.addTransition(s3, XsdSchemaToken::SimpleType, s4);
962         machine.addTransition(s3, XsdSchemaToken::ComplexType, s4);
963         machine.addTransition(s3, XsdSchemaToken::Group, s4);
964         machine.addTransition(s3, XsdSchemaToken::AttributeGroup, s4);
965         machine.addTransition(s3, XsdSchemaToken::Element, s4);
966         machine.addTransition(s3, XsdSchemaToken::Attribute, s4);
967         machine.addTransition(s3, XsdSchemaToken::Notation, s4);
968 
969         machine.addTransition(s4, XsdSchemaToken::SimpleType, s4);
970         machine.addTransition(s4, XsdSchemaToken::ComplexType, s4);
971         machine.addTransition(s4, XsdSchemaToken::Group, s4);
972         machine.addTransition(s4, XsdSchemaToken::AttributeGroup, s4);
973         machine.addTransition(s4, XsdSchemaToken::Element, s4);
974         machine.addTransition(s4, XsdSchemaToken::Attribute, s4);
975         machine.addTransition(s4, XsdSchemaToken::Notation, s4);
976         machine.addTransition(s4, XsdSchemaToken::Annotation, s5);
977 
978         machine.addTransition(s5, XsdSchemaToken::SimpleType, s4);
979         machine.addTransition(s5, XsdSchemaToken::ComplexType, s4);
980         machine.addTransition(s5, XsdSchemaToken::Group, s4);
981         machine.addTransition(s5, XsdSchemaToken::AttributeGroup, s4);
982         machine.addTransition(s5, XsdSchemaToken::Element, s4);
983         machine.addTransition(s5, XsdSchemaToken::Attribute, s4);
984         machine.addTransition(s5, XsdSchemaToken::Notation, s4);
985         machine.addTransition(s5, XsdSchemaToken::Annotation, s5);
986 
987         m_stateMachines.insert(XsdTagScope::Schema, machine);
988     }
989 
990     {
991         XsdStateMachine<XsdSchemaToken::NodeName> machine(namePool);
992 
993         // setup state machine for (annotation?, any) : defaultOpenContent
994         const XsdStateMachine<XsdSchemaToken::NodeName>::StateId startState = machine.addState(XsdStateMachine<XsdSchemaToken::NodeName>::StartEndState);
995         const XsdStateMachine<XsdSchemaToken::NodeName>::StateId s1 = machine.addState(XsdStateMachine<XsdSchemaToken::NodeName>::InternalState);
996         const XsdStateMachine<XsdSchemaToken::NodeName>::StateId s2 = machine.addState(XsdStateMachine<XsdSchemaToken::NodeName>::EndState);
997 
998         machine.addTransition(startState, XsdSchemaToken::Annotation, s1);
999         machine.addTransition(startState, XsdSchemaToken::Any, s2);
1000 
1001         machine.addTransition(s1, XsdSchemaToken::Any, s2);
1002 
1003         m_stateMachines.insert(XsdTagScope::DefaultOpenContent, machine);
1004     }
1005 
1006     {
1007         XsdStateMachine<XsdSchemaToken::NodeName> machine(namePool);
1008 
1009         // setup state machine for (annotation | (simpleType | complexType | group | attributeGroup))* : redefine
1010         const XsdStateMachine<XsdSchemaToken::NodeName>::StateId startState = machine.addState(XsdStateMachine<XsdSchemaToken::NodeName>::StartEndState);
1011         const XsdStateMachine<XsdSchemaToken::NodeName>::StateId s1 = machine.addState(XsdStateMachine<XsdSchemaToken::NodeName>::EndState);
1012 
1013         machine.addTransition(startState, XsdSchemaToken::Annotation, s1);
1014         machine.addTransition(startState, XsdSchemaToken::SimpleType, s1);
1015         machine.addTransition(startState, XsdSchemaToken::ComplexType, s1);
1016         machine.addTransition(startState, XsdSchemaToken::Group, s1);
1017         machine.addTransition(startState, XsdSchemaToken::AttributeGroup, s1);
1018 
1019         machine.addTransition(s1, XsdSchemaToken::Annotation, s1);
1020         machine.addTransition(s1, XsdSchemaToken::SimpleType, s1);
1021         machine.addTransition(s1, XsdSchemaToken::ComplexType, s1);
1022         machine.addTransition(s1, XsdSchemaToken::Group, s1);
1023         machine.addTransition(s1, XsdSchemaToken::AttributeGroup, s1);
1024 
1025         m_stateMachines.insert(XsdTagScope::Redefine, machine);
1026     }
1027 
1028     {
1029         XsdStateMachine<XsdSchemaToken::NodeName> machine(namePool);
1030 
1031         // setup state machine for (annotation | (simpleType | complexType | group | attributeGroup | element | attribute | notation))* : override
1032         const XsdStateMachine<XsdSchemaToken::NodeName>::StateId startState = machine.addState(XsdStateMachine<XsdSchemaToken::NodeName>::StartEndState);
1033         const XsdStateMachine<XsdSchemaToken::NodeName>::StateId s1 = machine.addState(XsdStateMachine<XsdSchemaToken::NodeName>::EndState);
1034 
1035         machine.addTransition(startState, XsdSchemaToken::Annotation, s1);
1036         machine.addTransition(startState, XsdSchemaToken::SimpleType, s1);
1037         machine.addTransition(startState, XsdSchemaToken::ComplexType, s1);
1038         machine.addTransition(startState, XsdSchemaToken::Group, s1);
1039         machine.addTransition(startState, XsdSchemaToken::AttributeGroup, s1);
1040         machine.addTransition(startState, XsdSchemaToken::Element, s1);
1041         machine.addTransition(startState, XsdSchemaToken::Attribute, s1);
1042         machine.addTransition(startState, XsdSchemaToken::Notation, s1);
1043 
1044         machine.addTransition(s1, XsdSchemaToken::Annotation, s1);
1045         machine.addTransition(s1, XsdSchemaToken::SimpleType, s1);
1046         machine.addTransition(s1, XsdSchemaToken::ComplexType, s1);
1047         machine.addTransition(s1, XsdSchemaToken::Group, s1);
1048         machine.addTransition(s1, XsdSchemaToken::AttributeGroup, s1);
1049         machine.addTransition(s1, XsdSchemaToken::Element, s1);
1050         machine.addTransition(s1, XsdSchemaToken::Attribute, s1);
1051         machine.addTransition(s1, XsdSchemaToken::Notation, s1);
1052 
1053         m_stateMachines.insert(XsdTagScope::Override, machine);
1054     }
1055 }
1056 
setupBuiltinTypeNames()1057 void XsdSchemaParser::setupBuiltinTypeNames()
1058 {
1059     NamePool::Ptr namePool(m_namePool);
1060     m_builtinTypeNames.reserve(48);
1061 
1062     m_builtinTypeNames.insert(BuiltinTypes::xsAnyType->name(namePool));
1063     m_builtinTypeNames.insert(BuiltinTypes::xsAnySimpleType->name(namePool));
1064     m_builtinTypeNames.insert(BuiltinTypes::xsUntyped->name(namePool));
1065     m_builtinTypeNames.insert(BuiltinTypes::xsAnyAtomicType->name(namePool));
1066     m_builtinTypeNames.insert(BuiltinTypes::xsUntypedAtomic->name(namePool));
1067     m_builtinTypeNames.insert(BuiltinTypes::xsDateTime->name(namePool));
1068     m_builtinTypeNames.insert(BuiltinTypes::xsDate->name(namePool));
1069     m_builtinTypeNames.insert(BuiltinTypes::xsTime->name(namePool));
1070     m_builtinTypeNames.insert(BuiltinTypes::xsDuration->name(namePool));
1071     m_builtinTypeNames.insert(BuiltinTypes::xsYearMonthDuration->name(namePool));
1072     m_builtinTypeNames.insert(BuiltinTypes::xsDayTimeDuration->name(namePool));
1073     m_builtinTypeNames.insert(BuiltinTypes::xsFloat->name(namePool));
1074     m_builtinTypeNames.insert(BuiltinTypes::xsDouble->name(namePool));
1075     m_builtinTypeNames.insert(BuiltinTypes::xsInteger->name(namePool));
1076     m_builtinTypeNames.insert(BuiltinTypes::xsDecimal->name(namePool));
1077     m_builtinTypeNames.insert(BuiltinTypes::xsNonPositiveInteger->name(namePool));
1078     m_builtinTypeNames.insert(BuiltinTypes::xsNegativeInteger->name(namePool));
1079     m_builtinTypeNames.insert(BuiltinTypes::xsLong->name(namePool));
1080     m_builtinTypeNames.insert(BuiltinTypes::xsInt->name(namePool));
1081     m_builtinTypeNames.insert(BuiltinTypes::xsShort->name(namePool));
1082     m_builtinTypeNames.insert(BuiltinTypes::xsByte->name(namePool));
1083     m_builtinTypeNames.insert(BuiltinTypes::xsNonNegativeInteger->name(namePool));
1084     m_builtinTypeNames.insert(BuiltinTypes::xsUnsignedLong->name(namePool));
1085     m_builtinTypeNames.insert(BuiltinTypes::xsUnsignedInt->name(namePool));
1086     m_builtinTypeNames.insert(BuiltinTypes::xsUnsignedShort->name(namePool));
1087     m_builtinTypeNames.insert(BuiltinTypes::xsUnsignedByte->name(namePool));
1088     m_builtinTypeNames.insert(BuiltinTypes::xsPositiveInteger->name(namePool));
1089     m_builtinTypeNames.insert(BuiltinTypes::xsGYearMonth->name(namePool));
1090     m_builtinTypeNames.insert(BuiltinTypes::xsGYear->name(namePool));
1091     m_builtinTypeNames.insert(BuiltinTypes::xsGMonthDay->name(namePool));
1092     m_builtinTypeNames.insert(BuiltinTypes::xsGDay->name(namePool));
1093     m_builtinTypeNames.insert(BuiltinTypes::xsGMonth->name(namePool));
1094     m_builtinTypeNames.insert(BuiltinTypes::xsBoolean->name(namePool));
1095     m_builtinTypeNames.insert(BuiltinTypes::xsBase64Binary->name(namePool));
1096     m_builtinTypeNames.insert(BuiltinTypes::xsHexBinary->name(namePool));
1097     m_builtinTypeNames.insert(BuiltinTypes::xsAnyURI->name(namePool));
1098     m_builtinTypeNames.insert(BuiltinTypes::xsQName->name(namePool));
1099     m_builtinTypeNames.insert(BuiltinTypes::xsString->name(namePool));
1100     m_builtinTypeNames.insert(BuiltinTypes::xsNormalizedString->name(namePool));
1101     m_builtinTypeNames.insert(BuiltinTypes::xsToken->name(namePool));
1102     m_builtinTypeNames.insert(BuiltinTypes::xsLanguage->name(namePool));
1103     m_builtinTypeNames.insert(BuiltinTypes::xsNMTOKEN->name(namePool));
1104     m_builtinTypeNames.insert(BuiltinTypes::xsName->name(namePool));
1105     m_builtinTypeNames.insert(BuiltinTypes::xsNCName->name(namePool));
1106     m_builtinTypeNames.insert(BuiltinTypes::xsID->name(namePool));
1107     m_builtinTypeNames.insert(BuiltinTypes::xsIDREF->name(namePool));
1108     m_builtinTypeNames.insert(BuiltinTypes::xsENTITY->name(namePool));
1109     m_builtinTypeNames.insert(BuiltinTypes::xsNOTATION->name(namePool));
1110 }
1111 
1112 QT_END_NAMESPACE
1113