1 /****************************************************************************
3 ** Copyright (C) 2011 Nokia Corporation and/or its subsidiary(-ies).
4 ** All rights reserved.
5 ** Contact: Nokia Corporation (qt-info@nokia.com)
7 ** This file is part of the QtXmlPatterns module of the Qt Toolkit.
9 ** $QT_BEGIN_LICENSE:LGPL$
10 ** No Commercial Usage
11 ** This file contains pre-release code and may not be distributed.
12 ** You may use this file in accordance with the terms and conditions
13 ** contained in the Technology Preview License Agreement accompanying
16 ** GNU Lesser General Public License Usage
17 ** Alternatively, this file may be used under the terms of the GNU Lesser
18 ** General Public License version 2.1 as published by the Free Software
19 ** Foundation and appearing in the file LICENSE.LGPL included in the
20 ** packaging of this file. Please review the following information to
21 ** ensure the GNU Lesser General Public License version 2.1 requirements
22 ** will be met: http://www.gnu.org/licenses/old-licenses/lgpl-2.1.html.
24 ** In addition, as a special exception, Nokia gives you certain additional
25 ** rights. These rights are described in the Nokia Qt LGPL Exception
26 ** version 1.1, included in the file LGPL_EXCEPTION.txt in this package.
28 ** If you have questions regarding the use of this file, please contact
29 ** Nokia at qt-info@nokia.com.
40 ****************************************************************************/
42 #include "qxsdschemaparser_p.h"
44 #include "qbuiltintypes_p.h"
48 using namespace QPatternist;
51 * @page using_dfa_for_schema Using DFA for validation of correct XML tag occurrence
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.
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
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.
68 * The following example shows how to create the DFA for the regular expression method
71 * \dotfile GlobalAttribute_diagram.dot
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.
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
92 * <h2>DFA for <em>all</em> tag</h2>
93 * \dotfile All_diagram.dot
95 * <h2>DFA for <em>alternative</em> tag</h2>
96 * \dotfile Alternative_diagram.dot
98 * <h2>DFA for <em>annotation</em> tag</h2>
99 * \dotfile Annotation_diagram.dot
101 * <h2>DFA for <em>anyAttribute</em> tag</h2>
102 * \dotfile AnyAttribute_diagram.dot
104 * <h2>DFA for <em>any</em> tag</h2>
105 * \dotfile Any_diagram.dot
107 * <h2>DFA for <em>assert</em> tag</h2>
108 * \dotfile Assert_diagram.dot
110 * <h2>DFA for <em>choice</em> tag</h2>
111 * \dotfile Choice_diagram.dot
113 * <h2>DFA for <em>complexContent</em> tag</h2>
114 * \dotfile ComplexContent_diagram.dot
116 * <h2>DFA for <em>extension</em> tag inside a <em>complexContent</em> tag</h2>
117 * \dotfile ComplexContentExtension_diagram.dot
119 * <h2>DFA for <em>restriction</em> tag inside a <em>complexContent</em> tag</h2>
120 * \dotfile ComplexContentRestriction_diagram.dot
122 * <h2>DFA for <em>defaultOpenContent</em> tag</h2>
123 * \dotfile DefaultOpenContent_diagram.dot
125 * <h2>DFA for <em>enumeration</em> tag</h2>
126 * \dotfile EnumerationFacet_diagram.dot
128 * <h2>DFA for <em>field</em> tag</h2>
129 * \dotfile Field_diagram.dot
131 * <h2>DFA for <em>fractionDigits</em> tag</h2>
132 * \dotfile FractionDigitsFacet_diagram.dot
134 * <h2>DFA for <em>attribute</em> tag</h2>
135 * \dotfile GlobalAttribute_diagram.dot
137 * <h2>DFA for <em>complexType</em> tag</h2>
138 * \dotfile GlobalComplexType_diagram.dot
140 * <h2>DFA for <em>element</em> tag</h2>
141 * \dotfile GlobalElement_diagram.dot
143 * <h2>DFA for <em>simpleType</em> tag</h2>
144 * \dotfile GlobalSimpleType_diagram.dot
146 * <h2>DFA for <em>import</em> tag</h2>
147 * \dotfile Import_diagram.dot
149 * <h2>DFA for <em>include</em> tag</h2>
150 * \dotfile Include_diagram.dot
152 * <h2>DFA for <em>key</em> tag</h2>
153 * \dotfile Key_diagram.dot
155 * <h2>DFA for <em>keyref</em> tag</h2>
156 * \dotfile KeyRef_diagram.dot
158 * <h2>DFA for <em>length</em> tag</h2>
159 * \dotfile LengthFacet_diagram.dot
161 * <h2>DFA for <em>list</em> tag</h2>
162 * \dotfile List_diagram.dot
164 * <h2>DFA for <em>all</em> tag</h2>
165 * \dotfile LocalAll_diagram.dot
167 * <h2>DFA for <em>attribute</em> tag</h2>
168 * \dotfile LocalAttribute_diagram.dot
170 * <h2>DFA for <em>choice</em> tag</h2>
171 * \dotfile LocalChoice_diagram.dot
173 * <h2>DFA for <em>complexType</em> tag</h2>
174 * \dotfile LocalComplexType_diagram.dot
176 * <h2>DFA for <em>element</em> tag</h2>
177 * \dotfile LocalElement_diagram.dot
179 * <h2>DFA for <em>sequence</em> tag</h2>
180 * \dotfile LocalSequence_diagram.dot
182 * <h2>DFA for <em>simpleType</em> tag that </h2>
183 * \dotfile LocalSimpleType_diagram.dot
185 * <h2>DFA for <em>maxExclusive</em> tag</h2>
186 * \dotfile MaxExclusiveFacet_diagram.dot
188 * <h2>DFA for <em>maxInclusive</em> tag</h2>
189 * \dotfile MaxInclusiveFacet_diagram.dot
191 * <h2>DFA for <em>maxLength</em> tag</h2>
192 * \dotfile MaxLengthFacet_diagram.dot
194 * <h2>DFA for <em>minExclusive</em> tag</h2>
195 * \dotfile MinExclusiveFacet_diagram.dot
197 * <h2>DFA for <em>minInclusive</em> tag</h2>
198 * \dotfile MinInclusiveFacet_diagram.dot
200 * <h2>DFA for <em>minLength</em> tag</h2>
201 * \dotfile MinLengthFacet_diagram.dot
203 * <h2>DFA for <em>attributeGroup</em> tag without <em>ref</em> attribute</h2>
204 * \dotfile NamedAttributeGroup_diagram.dot
206 * <h2>DFA for <em>group</em> tag without <em>ref</em> attribute</h2>
207 * \dotfile NamedGroup_diagram.dot
209 * <h2>DFA for <em>notation</em> tag</h2>
210 * \dotfile Notation_diagram.dot
212 * <h2>DFA for <em>override</em> tag</h2>
213 * \dotfile Override_diagram.dot
215 * <h2>DFA for <em>pattern</em> tag</h2>
216 * \dotfile PatternFacet_diagram.dot
218 * <h2>DFA for <em>redefine</em> tag</h2>
219 * \dotfile Redefine_diagram.dot
221 * <h2>DFA for <em>attributeGroup</em> tag with <em>ref</em> attribute</h2>
222 * \dotfile ReferredAttributeGroup_diagram.dot
224 * <h2>DFA for <em>group</em> tag with <em>ref</em> attribute</h2>
225 * \dotfile ReferredGroup_diagram.dot
227 * <h2>DFA for <em>schema</em> tag</h2>
228 * \dotfile Schema_diagram.dot
230 * <h2>DFA for <em>selector</em> tag</h2>
231 * \dotfile Selector_diagram.dot
233 * <h2>DFA for <em>sequence</em> tag</h2>
234 * \dotfile Sequence_diagram.dot
236 * <h2>DFA for <em>simpleContent</em> tag</h2>
237 * \dotfile SimpleContent_diagram.dot
239 * <h2>DFA for <em>extension</em> tag inside a <em>simpleContent</em> tag</h2>
240 * \dotfile SimpleContentExtension_diagram.dot
242 * <h2>DFA for <em>restriction</em> tag inside a <em>simpleContent</em> tag</h2>
243 * \dotfile SimpleContentRestriction_diagram.dot
245 * <h2>DFA for <em>restriction</em> tag inside a <em>simpleType</em> tag</h2>
246 * \dotfile SimpleRestriction_diagram.dot
248 * <h2>DFA for <em>totalDigits</em> tag</h2>
249 * \dotfile TotalDigitsFacet_diagram.dot
251 * <h2>DFA for <em>union</em> tag</h2>
252 * \dotfile Union_diagram.dot
254 * <h2>DFA for <em>unique</em> tag</h2>
255 * \dotfile Unique_diagram.dot
257 * <h2>DFA for <em>whiteSpace</em> tag</h2>
258 * \dotfile WhiteSpaceFacet_diagram.dot
261 void XsdSchemaParser::setupStateMachines()
264 XsdStateMachine<XsdSchemaToken::NodeName> machine(m_namePool);
266 // setup state machine for (annotation?, simpleType?) : attribute
267 const XsdStateMachine<XsdSchemaToken::NodeName>::StateId startState = machine.addState(XsdStateMachine<XsdSchemaToken::NodeName>::StartEndState);
268 const XsdStateMachine<XsdSchemaToken::NodeName>::StateId s1 = machine.addState(XsdStateMachine<XsdSchemaToken::NodeName>::EndState);
269 const XsdStateMachine<XsdSchemaToken::NodeName>::StateId s2 = machine.addState(XsdStateMachine<XsdSchemaToken::NodeName>::EndState);
271 machine.addTransition(startState, XsdSchemaToken::Annotation, s1);
272 machine.addTransition(startState, XsdSchemaToken::SimpleType, s2);
273 machine.addTransition(s1, XsdSchemaToken::SimpleType, s2);
275 m_stateMachines.insert(XsdTagScope::GlobalAttribute, machine);
276 m_stateMachines.insert(XsdTagScope::LocalAttribute, machine);
280 XsdStateMachine<XsdSchemaToken::NodeName> machine(m_namePool);
282 // setup state machine for (annotation?, ((simpleType | complexType)?, alternative*, (unique | key | keyref)*)) : element
283 const XsdStateMachine<XsdSchemaToken::NodeName>::StateId startState = machine.addState(XsdStateMachine<XsdSchemaToken::NodeName>::StartEndState);
284 const XsdStateMachine<XsdSchemaToken::NodeName>::StateId s1 = machine.addState(XsdStateMachine<XsdSchemaToken::NodeName>::EndState);
285 const XsdStateMachine<XsdSchemaToken::NodeName>::StateId s2 = machine.addState(XsdStateMachine<XsdSchemaToken::NodeName>::EndState);
286 const XsdStateMachine<XsdSchemaToken::NodeName>::StateId s3 = machine.addState(XsdStateMachine<XsdSchemaToken::NodeName>::EndState);
287 const XsdStateMachine<XsdSchemaToken::NodeName>::StateId s4 = machine.addState(XsdStateMachine<XsdSchemaToken::NodeName>::EndState);
289 machine.addTransition(startState, XsdSchemaToken::Annotation, s1);
290 machine.addTransition(startState, XsdSchemaToken::SimpleType, s2);
291 machine.addTransition(startState, XsdSchemaToken::ComplexType, s2);
292 machine.addTransition(startState, XsdSchemaToken::Alternative, s3);
293 machine.addTransition(startState, XsdSchemaToken::Unique, s4);
294 machine.addTransition(startState, XsdSchemaToken::Key, s4);
295 machine.addTransition(startState, XsdSchemaToken::Keyref, s4);
297 machine.addTransition(s1, XsdSchemaToken::SimpleType, s2);
298 machine.addTransition(s1, XsdSchemaToken::ComplexType, s2);
299 machine.addTransition(s1, XsdSchemaToken::Alternative, s3);
300 machine.addTransition(s1, XsdSchemaToken::Unique, s4);
301 machine.addTransition(s1, XsdSchemaToken::Key, s4);
302 machine.addTransition(s1, XsdSchemaToken::Keyref, s4);
304 machine.addTransition(s2, XsdSchemaToken::Alternative, s3);
305 machine.addTransition(s2, XsdSchemaToken::Unique, s4);
306 machine.addTransition(s2, XsdSchemaToken::Key, s4);
307 machine.addTransition(s2, XsdSchemaToken::Keyref, s4);
309 machine.addTransition(s3, XsdSchemaToken::Alternative, s3);
310 machine.addTransition(s3, XsdSchemaToken::Unique, s4);
311 machine.addTransition(s3, XsdSchemaToken::Key, s4);
312 machine.addTransition(s3, XsdSchemaToken::Keyref, s4);
314 machine.addTransition(s4, XsdSchemaToken::Unique, s4);
315 machine.addTransition(s4, XsdSchemaToken::Key, s4);
316 machine.addTransition(s4, XsdSchemaToken::Keyref, s4);
318 m_stateMachines.insert(XsdTagScope::GlobalElement, machine);
319 m_stateMachines.insert(XsdTagScope::LocalElement, machine);
323 XsdStateMachine<XsdSchemaToken::NodeName> machine(m_namePool);
325 // setup state machine for (annotation?, (simpleContent | complexContent | (openContent?, (group | all | choice | sequence)?, ((attribute | attributeGroup)*, anyAttribute?), assert*))) : complexType
326 const XsdStateMachine<XsdSchemaToken::NodeName>::StateId startState = machine.addState(XsdStateMachine<XsdSchemaToken::NodeName>::StartEndState);
327 const XsdStateMachine<XsdSchemaToken::NodeName>::StateId s1 = machine.addState(XsdStateMachine<XsdSchemaToken::NodeName>::EndState);
328 const XsdStateMachine<XsdSchemaToken::NodeName>::StateId s2 = machine.addState(XsdStateMachine<XsdSchemaToken::NodeName>::EndState);
329 const XsdStateMachine<XsdSchemaToken::NodeName>::StateId s3 = machine.addState(XsdStateMachine<XsdSchemaToken::NodeName>::EndState);
330 const XsdStateMachine<XsdSchemaToken::NodeName>::StateId s4 = machine.addState(XsdStateMachine<XsdSchemaToken::NodeName>::EndState);
331 const XsdStateMachine<XsdSchemaToken::NodeName>::StateId s5 = machine.addState(XsdStateMachine<XsdSchemaToken::NodeName>::EndState);
332 const XsdStateMachine<XsdSchemaToken::NodeName>::StateId s6 = machine.addState(XsdStateMachine<XsdSchemaToken::NodeName>::EndState);
333 const XsdStateMachine<XsdSchemaToken::NodeName>::StateId s7 = machine.addState(XsdStateMachine<XsdSchemaToken::NodeName>::EndState);
335 machine.addTransition(startState, XsdSchemaToken::Annotation, s1);
336 machine.addTransition(startState, XsdSchemaToken::SimpleContent, s2);
337 machine.addTransition(startState, XsdSchemaToken::ComplexContent, s2);
338 machine.addTransition(startState, XsdSchemaToken::OpenContent, s3);
339 machine.addTransition(startState, XsdSchemaToken::Group, s4);
340 machine.addTransition(startState, XsdSchemaToken::All, s4);
341 machine.addTransition(startState, XsdSchemaToken::Choice, s4);
342 machine.addTransition(startState, XsdSchemaToken::Sequence, s4);
343 machine.addTransition(startState, XsdSchemaToken::Attribute, s5);
344 machine.addTransition(startState, XsdSchemaToken::AttributeGroup, s5);
345 machine.addTransition(startState, XsdSchemaToken::AnyAttribute, s6);
346 machine.addTransition(startState, XsdSchemaToken::Assert, s7);
348 machine.addTransition(s1, XsdSchemaToken::SimpleContent, s2);
349 machine.addTransition(s1, XsdSchemaToken::ComplexContent, s2);
350 machine.addTransition(s1, XsdSchemaToken::OpenContent, s3);
351 machine.addTransition(s1, XsdSchemaToken::Group, s4);
352 machine.addTransition(s1, XsdSchemaToken::All, s4);
353 machine.addTransition(s1, XsdSchemaToken::Choice, s4);
354 machine.addTransition(s1, XsdSchemaToken::Sequence, s4);
355 machine.addTransition(s1, XsdSchemaToken::Attribute, s5);
356 machine.addTransition(s1, XsdSchemaToken::AttributeGroup, s5);
357 machine.addTransition(s1, XsdSchemaToken::AnyAttribute, s6);
358 machine.addTransition(s1, XsdSchemaToken::Assert, s7);
360 machine.addTransition(s3, XsdSchemaToken::Group, s4);
361 machine.addTransition(s3, XsdSchemaToken::All, s4);
362 machine.addTransition(s3, XsdSchemaToken::Choice, s4);
363 machine.addTransition(s3, XsdSchemaToken::Sequence, s4);
364 machine.addTransition(s3, XsdSchemaToken::Attribute, s5);
365 machine.addTransition(s3, XsdSchemaToken::AttributeGroup, s5);
366 machine.addTransition(s3, XsdSchemaToken::AnyAttribute, s6);
367 machine.addTransition(s3, XsdSchemaToken::Assert, s7);
369 machine.addTransition(s4, XsdSchemaToken::Attribute, s5);
370 machine.addTransition(s4, XsdSchemaToken::AttributeGroup, s5);
371 machine.addTransition(s4, XsdSchemaToken::AnyAttribute, s6);
372 machine.addTransition(s4, XsdSchemaToken::Assert, s7);
374 machine.addTransition(s5, XsdSchemaToken::Attribute, s5);
375 machine.addTransition(s5, XsdSchemaToken::AttributeGroup, s5);
376 machine.addTransition(s5, XsdSchemaToken::AnyAttribute, s6);
377 machine.addTransition(s5, XsdSchemaToken::Assert, s7);
379 machine.addTransition(s6, XsdSchemaToken::Assert, s7);
381 machine.addTransition(s7, XsdSchemaToken::Assert, s7);
383 m_stateMachines.insert(XsdTagScope::GlobalComplexType, machine);
384 m_stateMachines.insert(XsdTagScope::LocalComplexType, machine);
388 XsdStateMachine<XsdSchemaToken::NodeName> machine(m_namePool);
390 // setup state machine for (annotation?, (restriction | extension)) : simpleContent/complexContent
391 const XsdStateMachine<XsdSchemaToken::NodeName>::StateId startState = machine.addState(XsdStateMachine<XsdSchemaToken::NodeName>::StartState);
392 const XsdStateMachine<XsdSchemaToken::NodeName>::StateId s1 = machine.addState(XsdStateMachine<XsdSchemaToken::NodeName>::InternalState);
393 const XsdStateMachine<XsdSchemaToken::NodeName>::StateId s2 = machine.addState(XsdStateMachine<XsdSchemaToken::NodeName>::EndState);
395 machine.addTransition(startState, XsdSchemaToken::Annotation, s1);
396 machine.addTransition(startState, XsdSchemaToken::Restriction, s2);
397 machine.addTransition(startState, XsdSchemaToken::Extension, s2);
399 machine.addTransition(s1, XsdSchemaToken::Restriction, s2);
400 machine.addTransition(s1, XsdSchemaToken::Extension, s2);
402 m_stateMachines.insert(XsdTagScope::SimpleContent, machine);
403 m_stateMachines.insert(XsdTagScope::ComplexContent, machine);
407 XsdStateMachine<XsdSchemaToken::NodeName> machine(m_namePool);
409 // 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
410 const XsdStateMachine<XsdSchemaToken::NodeName>::StateId startState = machine.addState(XsdStateMachine<XsdSchemaToken::NodeName>::StartEndState);
411 const XsdStateMachine<XsdSchemaToken::NodeName>::StateId s1 = machine.addState(XsdStateMachine<XsdSchemaToken::NodeName>::EndState);
412 const XsdStateMachine<XsdSchemaToken::NodeName>::StateId s2 = machine.addState(XsdStateMachine<XsdSchemaToken::NodeName>::EndState);
413 const XsdStateMachine<XsdSchemaToken::NodeName>::StateId s3 = machine.addState(XsdStateMachine<XsdSchemaToken::NodeName>::EndState);
414 const XsdStateMachine<XsdSchemaToken::NodeName>::StateId s4 = machine.addState(XsdStateMachine<XsdSchemaToken::NodeName>::EndState);
415 const XsdStateMachine<XsdSchemaToken::NodeName>::StateId s5 = machine.addState(XsdStateMachine<XsdSchemaToken::NodeName>::EndState);
416 const XsdStateMachine<XsdSchemaToken::NodeName>::StateId s6 = machine.addState(XsdStateMachine<XsdSchemaToken::NodeName>::EndState);
418 machine.addTransition(startState, XsdSchemaToken::Annotation, s1);
419 machine.addTransition(startState, XsdSchemaToken::SimpleType, s2);
420 machine.addTransition(startState, XsdSchemaToken::MinExclusive, s3);
421 machine.addTransition(startState, XsdSchemaToken::MinInclusive, s3);
422 machine.addTransition(startState, XsdSchemaToken::MaxExclusive, s3);
423 machine.addTransition(startState, XsdSchemaToken::MaxInclusive, s3);
424 machine.addTransition(startState, XsdSchemaToken::TotalDigits, s3);
425 machine.addTransition(startState, XsdSchemaToken::FractionDigits, s3);
426 machine.addTransition(startState, XsdSchemaToken::Length, s3);
427 machine.addTransition(startState, XsdSchemaToken::MinLength, s3);
428 machine.addTransition(startState, XsdSchemaToken::MaxLength, s3);
429 machine.addTransition(startState, XsdSchemaToken::Enumeration, s3);
430 machine.addTransition(startState, XsdSchemaToken::WhiteSpace, s3);
431 machine.addTransition(startState, XsdSchemaToken::Pattern, s3);
432 machine.addTransition(startState, XsdSchemaToken::Assertion, s3);
433 machine.addTransition(startState, XsdSchemaToken::Attribute, s4);
434 machine.addTransition(startState, XsdSchemaToken::AttributeGroup, s4);
435 machine.addTransition(startState, XsdSchemaToken::AnyAttribute, s5);
436 machine.addTransition(startState, XsdSchemaToken::Assert, s6);
438 machine.addTransition(s1, XsdSchemaToken::SimpleType, s2);
439 machine.addTransition(s1, XsdSchemaToken::MinExclusive, s3);
440 machine.addTransition(s1, XsdSchemaToken::MinInclusive, s3);
441 machine.addTransition(s1, XsdSchemaToken::MaxExclusive, s3);
442 machine.addTransition(s1, XsdSchemaToken::MaxInclusive, s3);
443 machine.addTransition(s1, XsdSchemaToken::TotalDigits, s3);
444 machine.addTransition(s1, XsdSchemaToken::FractionDigits, s3);
445 machine.addTransition(s1, XsdSchemaToken::Length, s3);
446 machine.addTransition(s1, XsdSchemaToken::MinLength, s3);
447 machine.addTransition(s1, XsdSchemaToken::MaxLength, s3);
448 machine.addTransition(s1, XsdSchemaToken::Enumeration, s3);
449 machine.addTransition(s1, XsdSchemaToken::WhiteSpace, s3);
450 machine.addTransition(s1, XsdSchemaToken::Pattern, s3);
451 machine.addTransition(s1, XsdSchemaToken::Assertion, s3);
452 machine.addTransition(s1, XsdSchemaToken::Attribute, s4);
453 machine.addTransition(s1, XsdSchemaToken::AttributeGroup, s4);
454 machine.addTransition(s1, XsdSchemaToken::AnyAttribute, s5);
455 machine.addTransition(s1, XsdSchemaToken::Assert, s6);
457 machine.addTransition(s2, XsdSchemaToken::MinExclusive, s3);
458 machine.addTransition(s2, XsdSchemaToken::MinInclusive, s3);
459 machine.addTransition(s2, XsdSchemaToken::MaxExclusive, s3);
460 machine.addTransition(s2, XsdSchemaToken::MaxInclusive, s3);
461 machine.addTransition(s2, XsdSchemaToken::TotalDigits, s3);
462 machine.addTransition(s2, XsdSchemaToken::FractionDigits, s3);
463 machine.addTransition(s2, XsdSchemaToken::Length, s3);
464 machine.addTransition(s2, XsdSchemaToken::MinLength, s3);
465 machine.addTransition(s2, XsdSchemaToken::MaxLength, s3);
466 machine.addTransition(s2, XsdSchemaToken::Enumeration, s3);
467 machine.addTransition(s2, XsdSchemaToken::WhiteSpace, s3);
468 machine.addTransition(s2, XsdSchemaToken::Pattern, s3);
469 machine.addTransition(s2, XsdSchemaToken::Assertion, s3);
470 machine.addTransition(s2, XsdSchemaToken::Attribute, s4);
471 machine.addTransition(s2, XsdSchemaToken::AttributeGroup, s4);
472 machine.addTransition(s2, XsdSchemaToken::AnyAttribute, s5);
473 machine.addTransition(s2, XsdSchemaToken::Assert, s6);
475 machine.addTransition(s3, XsdSchemaToken::MinExclusive, s3);
476 machine.addTransition(s3, XsdSchemaToken::MinInclusive, s3);
477 machine.addTransition(s3, XsdSchemaToken::MaxExclusive, s3);
478 machine.addTransition(s3, XsdSchemaToken::MaxInclusive, s3);
479 machine.addTransition(s3, XsdSchemaToken::TotalDigits, s3);
480 machine.addTransition(s3, XsdSchemaToken::FractionDigits, s3);
481 machine.addTransition(s3, XsdSchemaToken::Length, s3);
482 machine.addTransition(s3, XsdSchemaToken::MinLength, s3);
483 machine.addTransition(s3, XsdSchemaToken::MaxLength, s3);
484 machine.addTransition(s3, XsdSchemaToken::Enumeration, s3);
485 machine.addTransition(s3, XsdSchemaToken::WhiteSpace, s3);
486 machine.addTransition(s3, XsdSchemaToken::Pattern, s3);
487 machine.addTransition(s3, XsdSchemaToken::Assertion, s3);
488 machine.addTransition(s3, XsdSchemaToken::Attribute, s4);
489 machine.addTransition(s3, XsdSchemaToken::AttributeGroup, s4);
490 machine.addTransition(s3, XsdSchemaToken::AnyAttribute, s5);
491 machine.addTransition(s3, XsdSchemaToken::Assert, s6);
493 machine.addTransition(s4, XsdSchemaToken::Attribute, s4);
494 machine.addTransition(s4, XsdSchemaToken::AttributeGroup, s4);
495 machine.addTransition(s4, XsdSchemaToken::AnyAttribute, s5);
496 machine.addTransition(s4, XsdSchemaToken::Assert, s6);
498 machine.addTransition(s5, XsdSchemaToken::Assert, s6);
500 machine.addTransition(s6, XsdSchemaToken::Assert, s6);
502 m_stateMachines.insert(XsdTagScope::SimpleContentRestriction, machine);
506 XsdStateMachine<XsdSchemaToken::NodeName> machine(m_namePool);
508 // setup state machine for (annotation?, ((attribute | attributeGroup)*, anyAttribute?), assert*) : simple content extension
509 const XsdStateMachine<XsdSchemaToken::NodeName>::StateId startState = machine.addState(XsdStateMachine<XsdSchemaToken::NodeName>::StartEndState);
510 const XsdStateMachine<XsdSchemaToken::NodeName>::StateId s1 = machine.addState(XsdStateMachine<XsdSchemaToken::NodeName>::EndState);
511 const XsdStateMachine<XsdSchemaToken::NodeName>::StateId s2 = machine.addState(XsdStateMachine<XsdSchemaToken::NodeName>::EndState);
512 const XsdStateMachine<XsdSchemaToken::NodeName>::StateId s3 = machine.addState(XsdStateMachine<XsdSchemaToken::NodeName>::EndState);
513 const XsdStateMachine<XsdSchemaToken::NodeName>::StateId s4 = machine.addState(XsdStateMachine<XsdSchemaToken::NodeName>::EndState);
515 machine.addTransition(startState, XsdSchemaToken::Annotation, s1);
516 machine.addTransition(startState, XsdSchemaToken::Attribute, s2);
517 machine.addTransition(startState, XsdSchemaToken::AttributeGroup, s2);
518 machine.addTransition(startState, XsdSchemaToken::AnyAttribute, s3);
519 machine.addTransition(startState, XsdSchemaToken::Assert, s4);
521 machine.addTransition(s1, XsdSchemaToken::Attribute, s2);
522 machine.addTransition(s1, XsdSchemaToken::AttributeGroup, s2);
523 machine.addTransition(s1, XsdSchemaToken::AnyAttribute, s3);
524 machine.addTransition(s1, XsdSchemaToken::Assert, s4);
526 machine.addTransition(s2, XsdSchemaToken::Attribute, s2);
527 machine.addTransition(s2, XsdSchemaToken::AttributeGroup, s2);
528 machine.addTransition(s2, XsdSchemaToken::AnyAttribute, s3);
529 machine.addTransition(s2, XsdSchemaToken::Assert, s4);
531 machine.addTransition(s3, XsdSchemaToken::Assert, s4);
533 machine.addTransition(s4, XsdSchemaToken::Assert, s4);
535 m_stateMachines.insert(XsdTagScope::SimpleContentExtension, machine);
539 XsdStateMachine<XsdSchemaToken::NodeName> machine(m_namePool);
541 // setup state machine for (annotation?, openContent?, ((group | all | choice | sequence)?, ((attribute | attributeGroup)*, anyAttribute?), assert*)) : complex content restriction/complex content extension
542 const XsdStateMachine<XsdSchemaToken::NodeName>::StateId startState = machine.addState(XsdStateMachine<XsdSchemaToken::NodeName>::StartEndState);
543 const XsdStateMachine<XsdSchemaToken::NodeName>::StateId s1 = machine.addState(XsdStateMachine<XsdSchemaToken::NodeName>::EndState);
544 const XsdStateMachine<XsdSchemaToken::NodeName>::StateId s2 = machine.addState(XsdStateMachine<XsdSchemaToken::NodeName>::EndState);
545 const XsdStateMachine<XsdSchemaToken::NodeName>::StateId s3 = machine.addState(XsdStateMachine<XsdSchemaToken::NodeName>::EndState);
546 const XsdStateMachine<XsdSchemaToken::NodeName>::StateId s4 = machine.addState(XsdStateMachine<XsdSchemaToken::NodeName>::EndState);
547 const XsdStateMachine<XsdSchemaToken::NodeName>::StateId s5 = machine.addState(XsdStateMachine<XsdSchemaToken::NodeName>::EndState);
548 const XsdStateMachine<XsdSchemaToken::NodeName>::StateId s6 = machine.addState(XsdStateMachine<XsdSchemaToken::NodeName>::EndState);
550 machine.addTransition(startState, XsdSchemaToken::Annotation, s1);
551 machine.addTransition(startState, XsdSchemaToken::OpenContent, s2);
552 machine.addTransition(startState, XsdSchemaToken::Group, s3);
553 machine.addTransition(startState, XsdSchemaToken::All, s3);
554 machine.addTransition(startState, XsdSchemaToken::Choice, s3);
555 machine.addTransition(startState, XsdSchemaToken::Sequence, s3);
556 machine.addTransition(startState, XsdSchemaToken::Attribute, s4);
557 machine.addTransition(startState, XsdSchemaToken::AttributeGroup, s4);
558 machine.addTransition(startState, XsdSchemaToken::AnyAttribute, s5);
559 machine.addTransition(startState, XsdSchemaToken::Assert, s6);
561 machine.addTransition(s1, XsdSchemaToken::OpenContent, s2);
562 machine.addTransition(s1, XsdSchemaToken::Group, s3);
563 machine.addTransition(s1, XsdSchemaToken::All, s3);
564 machine.addTransition(s1, XsdSchemaToken::Choice, s3);
565 machine.addTransition(s1, XsdSchemaToken::Sequence, s3);
566 machine.addTransition(s1, XsdSchemaToken::Attribute, s4);
567 machine.addTransition(s1, XsdSchemaToken::AttributeGroup, s4);
568 machine.addTransition(s1, XsdSchemaToken::AnyAttribute, s5);
569 machine.addTransition(s1, XsdSchemaToken::Assert, s6);
571 machine.addTransition(s2, XsdSchemaToken::Group, s3);
572 machine.addTransition(s2, XsdSchemaToken::All, s3);
573 machine.addTransition(s2, XsdSchemaToken::Choice, s3);
574 machine.addTransition(s2, XsdSchemaToken::Sequence, s3);
575 machine.addTransition(s2, XsdSchemaToken::Attribute, s4);
576 machine.addTransition(s2, XsdSchemaToken::AttributeGroup, s4);
577 machine.addTransition(s2, XsdSchemaToken::AnyAttribute, s5);
578 machine.addTransition(s2, XsdSchemaToken::Assert, s6);
580 machine.addTransition(s3, XsdSchemaToken::Attribute, s4);
581 machine.addTransition(s3, XsdSchemaToken::AttributeGroup, s4);
582 machine.addTransition(s3, XsdSchemaToken::AnyAttribute, s5);
583 machine.addTransition(s3, XsdSchemaToken::Assert, s6);
585 machine.addTransition(s4, XsdSchemaToken::Attribute, s4);
586 machine.addTransition(s4, XsdSchemaToken::AttributeGroup, s4);
587 machine.addTransition(s4, XsdSchemaToken::AnyAttribute, s5);
588 machine.addTransition(s4, XsdSchemaToken::Assert, s6);
590 machine.addTransition(s5, XsdSchemaToken::Assert, s6);
592 machine.addTransition(s6, XsdSchemaToken::Assert, s6);
594 m_stateMachines.insert(XsdTagScope::ComplexContentRestriction, machine);
595 m_stateMachines.insert(XsdTagScope::ComplexContentExtension, machine);
599 XsdStateMachine<XsdSchemaToken::NodeName> machine(m_namePool);
601 // setup state machine for (annotation?, ((attribute | attributeGroup)*, anyAttribute?)) : named attribute group
602 const XsdStateMachine<XsdSchemaToken::NodeName>::StateId startState = machine.addState(XsdStateMachine<XsdSchemaToken::NodeName>::StartEndState);
603 const XsdStateMachine<XsdSchemaToken::NodeName>::StateId s1 = machine.addState(XsdStateMachine<XsdSchemaToken::NodeName>::EndState);
604 const XsdStateMachine<XsdSchemaToken::NodeName>::StateId s2 = machine.addState(XsdStateMachine<XsdSchemaToken::NodeName>::EndState);
605 const XsdStateMachine<XsdSchemaToken::NodeName>::StateId s3 = machine.addState(XsdStateMachine<XsdSchemaToken::NodeName>::EndState);
607 machine.addTransition(startState, XsdSchemaToken::Annotation, s1);
608 machine.addTransition(startState, XsdSchemaToken::Attribute, s2);
609 machine.addTransition(startState, XsdSchemaToken::AttributeGroup, s2);
610 machine.addTransition(startState, XsdSchemaToken::AnyAttribute, s3);
612 machine.addTransition(s1, XsdSchemaToken::Attribute, s2);
613 machine.addTransition(s1, XsdSchemaToken::AttributeGroup, s2);
614 machine.addTransition(s1, XsdSchemaToken::AnyAttribute, s3);
616 machine.addTransition(s2, XsdSchemaToken::Attribute, s2);
617 machine.addTransition(s2, XsdSchemaToken::AttributeGroup, s2);
618 machine.addTransition(s2, XsdSchemaToken::AnyAttribute, s3);
620 m_stateMachines.insert(XsdTagScope::NamedAttributeGroup, machine);
624 XsdStateMachine<XsdSchemaToken::NodeName> machine(m_namePool);
626 // setup state machine for (annotation?, (all | choice | sequence)?) : group
627 const XsdStateMachine<XsdSchemaToken::NodeName>::StateId startState = machine.addState(XsdStateMachine<XsdSchemaToken::NodeName>::StartEndState);
628 const XsdStateMachine<XsdSchemaToken::NodeName>::StateId s1 = machine.addState(XsdStateMachine<XsdSchemaToken::NodeName>::EndState);
629 const XsdStateMachine<XsdSchemaToken::NodeName>::StateId s2 = machine.addState(XsdStateMachine<XsdSchemaToken::NodeName>::EndState);
631 machine.addTransition(startState, XsdSchemaToken::Annotation, s1);
632 machine.addTransition(startState, XsdSchemaToken::All, s2);
633 machine.addTransition(startState, XsdSchemaToken::Choice, s2);
634 machine.addTransition(startState, XsdSchemaToken::Sequence, s2);
636 machine.addTransition(s1, XsdSchemaToken::All, s2);
637 machine.addTransition(s1, XsdSchemaToken::Choice, s2);
638 machine.addTransition(s1, XsdSchemaToken::Sequence, s2);
640 m_stateMachines.insert(XsdTagScope::NamedGroup, machine);
641 m_stateMachines.insert(XsdTagScope::ReferredGroup, machine);
645 XsdStateMachine<XsdSchemaToken::NodeName> machine(m_namePool);
647 // setup state machine for (annotation?, (element | any)*) : all
648 const XsdStateMachine<XsdSchemaToken::NodeName>::StateId startState = machine.addState(XsdStateMachine<XsdSchemaToken::NodeName>::StartEndState);
649 const XsdStateMachine<XsdSchemaToken::NodeName>::StateId s1 = machine.addState(XsdStateMachine<XsdSchemaToken::NodeName>::EndState);
650 const XsdStateMachine<XsdSchemaToken::NodeName>::StateId s2 = machine.addState(XsdStateMachine<XsdSchemaToken::NodeName>::EndState);
652 machine.addTransition(startState, XsdSchemaToken::Annotation, s1);
653 machine.addTransition(startState, XsdSchemaToken::Element, s2);
654 machine.addTransition(startState, XsdSchemaToken::Any, s2);
656 machine.addTransition(s1, XsdSchemaToken::Element, s2);
657 machine.addTransition(s1, XsdSchemaToken::Any, s2);
659 machine.addTransition(s2, XsdSchemaToken::Element, s2);
660 machine.addTransition(s2, XsdSchemaToken::Any, s2);
662 m_stateMachines.insert(XsdTagScope::All, machine);
663 m_stateMachines.insert(XsdTagScope::LocalAll, machine);
667 XsdStateMachine<XsdSchemaToken::NodeName> machine(m_namePool);
669 // setup state machine for (annotation?, (element | group | choice | sequence | any)*) : choice sequence
670 const XsdStateMachine<XsdSchemaToken::NodeName>::StateId startState = machine.addState(XsdStateMachine<XsdSchemaToken::NodeName>::StartEndState);
671 const XsdStateMachine<XsdSchemaToken::NodeName>::StateId s1 = machine.addState(XsdStateMachine<XsdSchemaToken::NodeName>::EndState);
672 const XsdStateMachine<XsdSchemaToken::NodeName>::StateId s2 = machine.addState(XsdStateMachine<XsdSchemaToken::NodeName>::EndState);
674 machine.addTransition(startState, XsdSchemaToken::Annotation, s1);
675 machine.addTransition(startState, XsdSchemaToken::Element, s2);
676 machine.addTransition(startState, XsdSchemaToken::Group, s2);
677 machine.addTransition(startState, XsdSchemaToken::Choice, s2);
678 machine.addTransition(startState, XsdSchemaToken::Sequence, s2);
679 machine.addTransition(startState, XsdSchemaToken::Any, s2);
681 machine.addTransition(s1, XsdSchemaToken::Element, s2);
682 machine.addTransition(s1, XsdSchemaToken::Group, s2);
683 machine.addTransition(s1, XsdSchemaToken::Choice, s2);
684 machine.addTransition(s1, XsdSchemaToken::Sequence, s2);
685 machine.addTransition(s1, XsdSchemaToken::Any, s2);
687 machine.addTransition(s2, XsdSchemaToken::Element, s2);
688 machine.addTransition(s2, XsdSchemaToken::Group, s2);
689 machine.addTransition(s2, XsdSchemaToken::Choice, s2);
690 machine.addTransition(s2, XsdSchemaToken::Sequence, s2);
691 machine.addTransition(s2, XsdSchemaToken::Any, s2);
693 m_stateMachines.insert(XsdTagScope::Choice, machine);
694 m_stateMachines.insert(XsdTagScope::LocalChoice, machine);
695 m_stateMachines.insert(XsdTagScope::Sequence, machine);
696 m_stateMachines.insert(XsdTagScope::LocalSequence, machine);
700 XsdStateMachine<XsdSchemaToken::NodeName> machine(m_namePool);
702 // setup state machine for (annotation?) : any/selector/field/notation/include/import/referred attribute group/anyAttribute/all facets/assert
703 const XsdStateMachine<XsdSchemaToken::NodeName>::StateId startState = machine.addState(XsdStateMachine<XsdSchemaToken::NodeName>::StartEndState);
704 const XsdStateMachine<XsdSchemaToken::NodeName>::StateId s1 = machine.addState(XsdStateMachine<XsdSchemaToken::NodeName>::EndState);
706 machine.addTransition(startState, XsdSchemaToken::Annotation, s1);
708 m_stateMachines.insert(XsdTagScope::Any, machine);
709 m_stateMachines.insert(XsdTagScope::Selector, machine);
710 m_stateMachines.insert(XsdTagScope::Field, machine);
711 m_stateMachines.insert(XsdTagScope::Notation, machine);
712 m_stateMachines.insert(XsdTagScope::Include, machine);
713 m_stateMachines.insert(XsdTagScope::Import, machine);
714 m_stateMachines.insert(XsdTagScope::ReferredAttributeGroup, machine);
715 m_stateMachines.insert(XsdTagScope::AnyAttribute, machine);
716 m_stateMachines.insert(XsdTagScope::MinExclusiveFacet, machine);
717 m_stateMachines.insert(XsdTagScope::MinInclusiveFacet, machine);
718 m_stateMachines.insert(XsdTagScope::MaxExclusiveFacet, machine);
719 m_stateMachines.insert(XsdTagScope::MaxInclusiveFacet, machine);
720 m_stateMachines.insert(XsdTagScope::TotalDigitsFacet, machine);
721 m_stateMachines.insert(XsdTagScope::FractionDigitsFacet, machine);
722 m_stateMachines.insert(XsdTagScope::LengthFacet, machine);
723 m_stateMachines.insert(XsdTagScope::MinLengthFacet, machine);
724 m_stateMachines.insert(XsdTagScope::MaxLengthFacet, machine);
725 m_stateMachines.insert(XsdTagScope::EnumerationFacet, machine);
726 m_stateMachines.insert(XsdTagScope::WhiteSpaceFacet, machine);
727 m_stateMachines.insert(XsdTagScope::PatternFacet, machine);
728 m_stateMachines.insert(XsdTagScope::Assert, machine);
729 m_stateMachines.insert(XsdTagScope::Assertion, machine);
733 XsdStateMachine<XsdSchemaToken::NodeName> machine(m_namePool);
735 // setup state machine for (annotation?, (selector, field+)) : unique/key/keyref
736 const XsdStateMachine<XsdSchemaToken::NodeName>::StateId startState = machine.addState(XsdStateMachine<XsdSchemaToken::NodeName>::StartState);
737 const XsdStateMachine<XsdSchemaToken::NodeName>::StateId s1 = machine.addState(XsdStateMachine<XsdSchemaToken::NodeName>::InternalState);
738 const XsdStateMachine<XsdSchemaToken::NodeName>::StateId s2 = machine.addState(XsdStateMachine<XsdSchemaToken::NodeName>::InternalState);
739 const XsdStateMachine<XsdSchemaToken::NodeName>::StateId s3 = machine.addState(XsdStateMachine<XsdSchemaToken::NodeName>::EndState);
741 machine.addTransition(startState, XsdSchemaToken::Annotation, s1);
742 machine.addTransition(startState, XsdSchemaToken::Selector, s2);
744 machine.addTransition(s1, XsdSchemaToken::Selector, s2);
745 machine.addTransition(s2, XsdSchemaToken::Field, s3);
746 machine.addTransition(s3, XsdSchemaToken::Field, s3);
748 m_stateMachines.insert(XsdTagScope::Unique, machine);
749 m_stateMachines.insert(XsdTagScope::Key, machine);
750 m_stateMachines.insert(XsdTagScope::KeyRef, machine);
754 XsdStateMachine<XsdSchemaToken::NodeName> machine(m_namePool);
756 // setup state machine for (annotation?, (simpleType | complexType)?) : alternative
757 const XsdStateMachine<XsdSchemaToken::NodeName>::StateId startState = machine.addState(XsdStateMachine<XsdSchemaToken::NodeName>::StartEndState);
758 const XsdStateMachine<XsdSchemaToken::NodeName>::StateId s1 = machine.addState(XsdStateMachine<XsdSchemaToken::NodeName>::EndState);
759 const XsdStateMachine<XsdSchemaToken::NodeName>::StateId s2 = machine.addState(XsdStateMachine<XsdSchemaToken::NodeName>::EndState);
761 machine.addTransition(startState, XsdSchemaToken::Annotation, s1);
762 machine.addTransition(startState, XsdSchemaToken::SimpleType, s2);
763 machine.addTransition(startState, XsdSchemaToken::ComplexType, s2);
765 machine.addTransition(s1, XsdSchemaToken::SimpleType, s2);
766 machine.addTransition(s1, XsdSchemaToken::ComplexType, s2);
768 m_stateMachines.insert(XsdTagScope::Alternative, machine);
772 XsdStateMachine<XsdSchemaToken::NodeName> machine(m_namePool);
774 // setup state machine for (appinfo | documentation)* : annotation
775 const XsdStateMachine<XsdSchemaToken::NodeName>::StateId startState = machine.addState(XsdStateMachine<XsdSchemaToken::NodeName>::StartEndState);
776 const XsdStateMachine<XsdSchemaToken::NodeName>::StateId s1 = machine.addState(XsdStateMachine<XsdSchemaToken::NodeName>::EndState);
778 machine.addTransition(startState, XsdSchemaToken::Appinfo, s1);
779 machine.addTransition(startState, XsdSchemaToken::Documentation, s1);
781 machine.addTransition(s1, XsdSchemaToken::Appinfo, s1);
782 machine.addTransition(s1, XsdSchemaToken::Documentation, s1);
784 m_stateMachines.insert(XsdTagScope::Annotation, machine);
788 XsdStateMachine<XsdSchemaToken::NodeName> machine(m_namePool);
790 // setup state machine for (annotation?, (restriction | list | union)) : simpleType
791 const XsdStateMachine<XsdSchemaToken::NodeName>::StateId startState = machine.addState(XsdStateMachine<XsdSchemaToken::NodeName>::StartState);
792 const XsdStateMachine<XsdSchemaToken::NodeName>::StateId s1 = machine.addState(XsdStateMachine<XsdSchemaToken::NodeName>::InternalState);
793 const XsdStateMachine<XsdSchemaToken::NodeName>::StateId s2 = machine.addState(XsdStateMachine<XsdSchemaToken::NodeName>::EndState);
795 machine.addTransition(startState, XsdSchemaToken::Annotation, s1);
796 machine.addTransition(startState, XsdSchemaToken::Restriction, s2);
797 machine.addTransition(startState, XsdSchemaToken::List, s2);
798 machine.addTransition(startState, XsdSchemaToken::Union, s2);
800 machine.addTransition(s1, XsdSchemaToken::Restriction, s2);
801 machine.addTransition(s1, XsdSchemaToken::List, s2);
802 machine.addTransition(s1, XsdSchemaToken::Union, s2);
804 m_stateMachines.insert(XsdTagScope::GlobalSimpleType, machine);
805 m_stateMachines.insert(XsdTagScope::LocalSimpleType, machine);
809 XsdStateMachine<XsdSchemaToken::NodeName> machine(m_namePool);
811 // setup state machine for (annotation?, (simpleType?, (minExclusive | minInclusive | maxExclusive | maxInclusive | totalDigits | fractionDigits | length | minLength | maxLength | enumeration | whiteSpace | pattern | assertion)*)) : simple type restriction
812 const XsdStateMachine<XsdSchemaToken::NodeName>::StateId startState = machine.addState(XsdStateMachine<XsdSchemaToken::NodeName>::StartEndState);
813 const XsdStateMachine<XsdSchemaToken::NodeName>::StateId s1 = machine.addState(XsdStateMachine<XsdSchemaToken::NodeName>::EndState);
814 const XsdStateMachine<XsdSchemaToken::NodeName>::StateId s2 = machine.addState(XsdStateMachine<XsdSchemaToken::NodeName>::EndState);
815 const XsdStateMachine<XsdSchemaToken::NodeName>::StateId s3 = machine.addState(XsdStateMachine<XsdSchemaToken::NodeName>::EndState);
817 machine.addTransition(startState, XsdSchemaToken::Annotation, s1);
818 machine.addTransition(startState, XsdSchemaToken::SimpleType, s2);
819 machine.addTransition(startState, XsdSchemaToken::MinExclusive, s3);
820 machine.addTransition(startState, XsdSchemaToken::MinInclusive, s3);
821 machine.addTransition(startState, XsdSchemaToken::MaxExclusive, s3);
822 machine.addTransition(startState, XsdSchemaToken::MaxInclusive, s3);
823 machine.addTransition(startState, XsdSchemaToken::TotalDigits, s3);
824 machine.addTransition(startState, XsdSchemaToken::FractionDigits, s3);
825 machine.addTransition(startState, XsdSchemaToken::Length, s3);
826 machine.addTransition(startState, XsdSchemaToken::MinLength, s3);
827 machine.addTransition(startState, XsdSchemaToken::MaxLength, s3);
828 machine.addTransition(startState, XsdSchemaToken::Enumeration, s3);
829 machine.addTransition(startState, XsdSchemaToken::WhiteSpace, s3);
830 machine.addTransition(startState, XsdSchemaToken::Pattern, s3);
831 machine.addTransition(startState, XsdSchemaToken::Assertion, s3);
833 machine.addTransition(s1, XsdSchemaToken::SimpleType, s2);
834 machine.addTransition(s1, XsdSchemaToken::MinExclusive, s3);
835 machine.addTransition(s1, XsdSchemaToken::MinInclusive, s3);
836 machine.addTransition(s1, XsdSchemaToken::MaxExclusive, s3);
837 machine.addTransition(s1, XsdSchemaToken::MaxInclusive, s3);
838 machine.addTransition(s1, XsdSchemaToken::TotalDigits, s3);
839 machine.addTransition(s1, XsdSchemaToken::FractionDigits, s3);
840 machine.addTransition(s1, XsdSchemaToken::Length, s3);
841 machine.addTransition(s1, XsdSchemaToken::MinLength, s3);
842 machine.addTransition(s1, XsdSchemaToken::MaxLength, s3);
843 machine.addTransition(s1, XsdSchemaToken::Enumeration, s3);
844 machine.addTransition(s1, XsdSchemaToken::WhiteSpace, s3);
845 machine.addTransition(s1, XsdSchemaToken::Pattern, s3);
846 machine.addTransition(s1, XsdSchemaToken::Assertion, s3);
848 machine.addTransition(s2, XsdSchemaToken::MinExclusive, s3);
849 machine.addTransition(s2, XsdSchemaToken::MinInclusive, s3);
850 machine.addTransition(s2, XsdSchemaToken::MaxExclusive, s3);
851 machine.addTransition(s2, XsdSchemaToken::MaxInclusive, s3);
852 machine.addTransition(s2, XsdSchemaToken::TotalDigits, s3);
853 machine.addTransition(s2, XsdSchemaToken::FractionDigits, s3);
854 machine.addTransition(s2, XsdSchemaToken::Length, s3);
855 machine.addTransition(s2, XsdSchemaToken::MinLength, s3);
856 machine.addTransition(s2, XsdSchemaToken::MaxLength, s3);
857 machine.addTransition(s2, XsdSchemaToken::Enumeration, s3);
858 machine.addTransition(s2, XsdSchemaToken::WhiteSpace, s3);
859 machine.addTransition(s2, XsdSchemaToken::Pattern, s3);
860 machine.addTransition(s2, XsdSchemaToken::Assertion, s3);
862 machine.addTransition(s3, XsdSchemaToken::MinExclusive, s3);
863 machine.addTransition(s3, XsdSchemaToken::MinInclusive, s3);
864 machine.addTransition(s3, XsdSchemaToken::MaxExclusive, s3);
865 machine.addTransition(s3, XsdSchemaToken::MaxInclusive, s3);
866 machine.addTransition(s3, XsdSchemaToken::TotalDigits, s3);
867 machine.addTransition(s3, XsdSchemaToken::FractionDigits, s3);
868 machine.addTransition(s3, XsdSchemaToken::Length, s3);
869 machine.addTransition(s3, XsdSchemaToken::MinLength, s3);
870 machine.addTransition(s3, XsdSchemaToken::MaxLength, s3);
871 machine.addTransition(s3, XsdSchemaToken::Enumeration, s3);
872 machine.addTransition(s3, XsdSchemaToken::WhiteSpace, s3);
873 machine.addTransition(s3, XsdSchemaToken::Pattern, s3);
874 machine.addTransition(s3, XsdSchemaToken::Assertion, s3);
876 m_stateMachines.insert(XsdTagScope::SimpleRestriction, machine);
880 XsdStateMachine<XsdSchemaToken::NodeName> machine(m_namePool);
882 // setup state machine for (annotation?, simpleType?) : list
883 const XsdStateMachine<XsdSchemaToken::NodeName>::StateId startState = machine.addState(XsdStateMachine<XsdSchemaToken::NodeName>::StartEndState);
884 const XsdStateMachine<XsdSchemaToken::NodeName>::StateId s1 = machine.addState(XsdStateMachine<XsdSchemaToken::NodeName>::EndState);
885 const XsdStateMachine<XsdSchemaToken::NodeName>::StateId s2 = machine.addState(XsdStateMachine<XsdSchemaToken::NodeName>::EndState);
887 machine.addTransition(startState, XsdSchemaToken::Annotation, s1);
888 machine.addTransition(startState, XsdSchemaToken::SimpleType, s2);
890 machine.addTransition(s1, XsdSchemaToken::SimpleType, s2);
892 m_stateMachines.insert(XsdTagScope::List, machine);
896 XsdStateMachine<XsdSchemaToken::NodeName> machine(m_namePool);
898 // setup state machine for (annotation?, simpleType*) : union
899 const XsdStateMachine<XsdSchemaToken::NodeName>::StateId startState = machine.addState(XsdStateMachine<XsdSchemaToken::NodeName>::StartEndState);
900 const XsdStateMachine<XsdSchemaToken::NodeName>::StateId s1 = machine.addState(XsdStateMachine<XsdSchemaToken::NodeName>::EndState);
901 const XsdStateMachine<XsdSchemaToken::NodeName>::StateId s2 = machine.addState(XsdStateMachine<XsdSchemaToken::NodeName>::EndState);
903 machine.addTransition(startState, XsdSchemaToken::Annotation, s1);
904 machine.addTransition(startState, XsdSchemaToken::SimpleType, s2);
906 machine.addTransition(s1, XsdSchemaToken::SimpleType, s2);
907 machine.addTransition(s2, XsdSchemaToken::SimpleType, s2);
909 m_stateMachines.insert(XsdTagScope::Union, machine);
913 XsdStateMachine<XsdSchemaToken::NodeName> machine(m_namePool);
915 // setup state machine for ((include | import | redefine |i override | annotation)*, (defaultOpenContent, annotation*)?, (((simpleType | complexType | group | attributeGroup) | element | attribute | notation), annotation*)*) : schema
916 const XsdStateMachine<XsdSchemaToken::NodeName>::StateId startState = machine.addState(XsdStateMachine<XsdSchemaToken::NodeName>::StartEndState);
917 const XsdStateMachine<XsdSchemaToken::NodeName>::StateId s1 = machine.addState(XsdStateMachine<XsdSchemaToken::NodeName>::EndState);
918 const XsdStateMachine<XsdSchemaToken::NodeName>::StateId s2 = machine.addState(XsdStateMachine<XsdSchemaToken::NodeName>::EndState);
919 const XsdStateMachine<XsdSchemaToken::NodeName>::StateId s3 = machine.addState(XsdStateMachine<XsdSchemaToken::NodeName>::EndState);
920 const XsdStateMachine<XsdSchemaToken::NodeName>::StateId s4 = machine.addState(XsdStateMachine<XsdSchemaToken::NodeName>::EndState);
921 const XsdStateMachine<XsdSchemaToken::NodeName>::StateId s5 = machine.addState(XsdStateMachine<XsdSchemaToken::NodeName>::EndState);
923 machine.addTransition(startState, XsdSchemaToken::Include, s1);
924 machine.addTransition(startState, XsdSchemaToken::Import, s1);
925 machine.addTransition(startState, XsdSchemaToken::Redefine, s1);
926 machine.addTransition(startState, XsdSchemaToken::Override, s1);
927 machine.addTransition(startState, XsdSchemaToken::Annotation, s1);
928 machine.addTransition(startState, XsdSchemaToken::DefaultOpenContent, s2);
929 machine.addTransition(startState, XsdSchemaToken::SimpleType, s4);
930 machine.addTransition(startState, XsdSchemaToken::ComplexType, s4);
931 machine.addTransition(startState, XsdSchemaToken::Group, s4);
932 machine.addTransition(startState, XsdSchemaToken::AttributeGroup, s4);
933 machine.addTransition(startState, XsdSchemaToken::Element, s4);
934 machine.addTransition(startState, XsdSchemaToken::Attribute, s4);
935 machine.addTransition(startState, XsdSchemaToken::Notation, s4);
937 machine.addTransition(s1, XsdSchemaToken::Include, s1);
938 machine.addTransition(s1, XsdSchemaToken::Import, s1);
939 machine.addTransition(s1, XsdSchemaToken::Redefine, s1);
940 machine.addTransition(s1, XsdSchemaToken::Override, s1);
941 machine.addTransition(s1, XsdSchemaToken::Annotation, s1);
942 machine.addTransition(s1, XsdSchemaToken::DefaultOpenContent, s2);
943 machine.addTransition(s1, XsdSchemaToken::SimpleType, s4);
944 machine.addTransition(s1, XsdSchemaToken::ComplexType, s4);
945 machine.addTransition(s1, XsdSchemaToken::Group, s4);
946 machine.addTransition(s1, XsdSchemaToken::AttributeGroup, s4);
947 machine.addTransition(s1, XsdSchemaToken::Element, s4);
948 machine.addTransition(s1, XsdSchemaToken::Attribute, s4);
949 machine.addTransition(s1, XsdSchemaToken::Notation, s4);
951 machine.addTransition(s2, XsdSchemaToken::Annotation, s3);
952 machine.addTransition(s2, XsdSchemaToken::SimpleType, s4);
953 machine.addTransition(s2, XsdSchemaToken::ComplexType, s4);
954 machine.addTransition(s2, XsdSchemaToken::Group, s4);
955 machine.addTransition(s2, XsdSchemaToken::AttributeGroup, s4);
956 machine.addTransition(s2, XsdSchemaToken::Element, s4);
957 machine.addTransition(s2, XsdSchemaToken::Attribute, s4);
958 machine.addTransition(s2, XsdSchemaToken::Notation, s4);
960 machine.addTransition(s3, XsdSchemaToken::SimpleType, s4);
961 machine.addTransition(s3, XsdSchemaToken::ComplexType, s4);
962 machine.addTransition(s3, XsdSchemaToken::Group, s4);
963 machine.addTransition(s3, XsdSchemaToken::AttributeGroup, s4);
964 machine.addTransition(s3, XsdSchemaToken::Element, s4);
965 machine.addTransition(s3, XsdSchemaToken::Attribute, s4);
966 machine.addTransition(s3, XsdSchemaToken::Notation, s4);
968 machine.addTransition(s4, XsdSchemaToken::SimpleType, s4);
969 machine.addTransition(s4, XsdSchemaToken::ComplexType, s4);
970 machine.addTransition(s4, XsdSchemaToken::Group, s4);
971 machine.addTransition(s4, XsdSchemaToken::AttributeGroup, s4);
972 machine.addTransition(s4, XsdSchemaToken::Element, s4);
973 machine.addTransition(s4, XsdSchemaToken::Attribute, s4);
974 machine.addTransition(s4, XsdSchemaToken::Notation, s4);
975 machine.addTransition(s4, XsdSchemaToken::Annotation, s5);
977 machine.addTransition(s5, XsdSchemaToken::SimpleType, s4);
978 machine.addTransition(s5, XsdSchemaToken::ComplexType, s4);
979 machine.addTransition(s5, XsdSchemaToken::Group, s4);
980 machine.addTransition(s5, XsdSchemaToken::AttributeGroup, s4);
981 machine.addTransition(s5, XsdSchemaToken::Element, s4);
982 machine.addTransition(s5, XsdSchemaToken::Attribute, s4);
983 machine.addTransition(s5, XsdSchemaToken::Notation, s4);
984 machine.addTransition(s5, XsdSchemaToken::Annotation, s5);
986 m_stateMachines.insert(XsdTagScope::Schema, machine);
990 XsdStateMachine<XsdSchemaToken::NodeName> machine(m_namePool);
992 // setup state machine for (annotation?, any) : defaultOpenContent
993 const XsdStateMachine<XsdSchemaToken::NodeName>::StateId startState = machine.addState(XsdStateMachine<XsdSchemaToken::NodeName>::StartEndState);
994 const XsdStateMachine<XsdSchemaToken::NodeName>::StateId s1 = machine.addState(XsdStateMachine<XsdSchemaToken::NodeName>::InternalState);
995 const XsdStateMachine<XsdSchemaToken::NodeName>::StateId s2 = machine.addState(XsdStateMachine<XsdSchemaToken::NodeName>::EndState);
997 machine.addTransition(startState, XsdSchemaToken::Annotation, s1);
998 machine.addTransition(startState, XsdSchemaToken::Any, s2);
1000 machine.addTransition(s1, XsdSchemaToken::Any, s2);
1002 m_stateMachines.insert(XsdTagScope::DefaultOpenContent, machine);
1006 XsdStateMachine<XsdSchemaToken::NodeName> machine(m_namePool);
1008 // setup state machine for (annotation | (simpleType | complexType | group | attributeGroup))* : redefine
1009 const XsdStateMachine<XsdSchemaToken::NodeName>::StateId startState = machine.addState(XsdStateMachine<XsdSchemaToken::NodeName>::StartEndState);
1010 const XsdStateMachine<XsdSchemaToken::NodeName>::StateId s1 = machine.addState(XsdStateMachine<XsdSchemaToken::NodeName>::EndState);
1012 machine.addTransition(startState, XsdSchemaToken::Annotation, s1);
1013 machine.addTransition(startState, XsdSchemaToken::SimpleType, s1);
1014 machine.addTransition(startState, XsdSchemaToken::ComplexType, s1);
1015 machine.addTransition(startState, XsdSchemaToken::Group, s1);
1016 machine.addTransition(startState, XsdSchemaToken::AttributeGroup, s1);
1018 machine.addTransition(s1, XsdSchemaToken::Annotation, s1);
1019 machine.addTransition(s1, XsdSchemaToken::SimpleType, s1);
1020 machine.addTransition(s1, XsdSchemaToken::ComplexType, s1);
1021 machine.addTransition(s1, XsdSchemaToken::Group, s1);
1022 machine.addTransition(s1, XsdSchemaToken::AttributeGroup, s1);
1024 m_stateMachines.insert(XsdTagScope::Redefine, machine);
1028 XsdStateMachine<XsdSchemaToken::NodeName> machine(m_namePool);
1030 // setup state machine for (annotation | (simpleType | complexType | group | attributeGroup | element | attribute | notation))* : override
1031 const XsdStateMachine<XsdSchemaToken::NodeName>::StateId startState = machine.addState(XsdStateMachine<XsdSchemaToken::NodeName>::StartEndState);
1032 const XsdStateMachine<XsdSchemaToken::NodeName>::StateId s1 = machine.addState(XsdStateMachine<XsdSchemaToken::NodeName>::EndState);
1034 machine.addTransition(startState, XsdSchemaToken::Annotation, s1);
1035 machine.addTransition(startState, XsdSchemaToken::SimpleType, s1);
1036 machine.addTransition(startState, XsdSchemaToken::ComplexType, s1);
1037 machine.addTransition(startState, XsdSchemaToken::Group, s1);
1038 machine.addTransition(startState, XsdSchemaToken::AttributeGroup, s1);
1039 machine.addTransition(startState, XsdSchemaToken::Element, s1);
1040 machine.addTransition(startState, XsdSchemaToken::Attribute, s1);
1041 machine.addTransition(startState, XsdSchemaToken::Notation, s1);
1043 machine.addTransition(s1, XsdSchemaToken::Annotation, s1);
1044 machine.addTransition(s1, XsdSchemaToken::SimpleType, s1);
1045 machine.addTransition(s1, XsdSchemaToken::ComplexType, s1);
1046 machine.addTransition(s1, XsdSchemaToken::Group, s1);
1047 machine.addTransition(s1, XsdSchemaToken::AttributeGroup, s1);
1048 machine.addTransition(s1, XsdSchemaToken::Element, s1);
1049 machine.addTransition(s1, XsdSchemaToken::Attribute, s1);
1050 machine.addTransition(s1, XsdSchemaToken::Notation, s1);
1052 m_stateMachines.insert(XsdTagScope::Override, machine);
1056 void XsdSchemaParser::setupBuiltinTypeNames()
1058 m_builtinTypeNames.reserve(48);
1060 m_builtinTypeNames.insert(BuiltinTypes::xsAnyType->name(m_namePool));
1061 m_builtinTypeNames.insert(BuiltinTypes::xsAnySimpleType->name(m_namePool));
1062 m_builtinTypeNames.insert(BuiltinTypes::xsUntyped->name(m_namePool));
1063 m_builtinTypeNames.insert(BuiltinTypes::xsAnyAtomicType->name(m_namePool));
1064 m_builtinTypeNames.insert(BuiltinTypes::xsUntypedAtomic->name(m_namePool));
1065 m_builtinTypeNames.insert(BuiltinTypes::xsDateTime->name(m_namePool));
1066 m_builtinTypeNames.insert(BuiltinTypes::xsDate->name(m_namePool));
1067 m_builtinTypeNames.insert(BuiltinTypes::xsTime->name(m_namePool));
1068 m_builtinTypeNames.insert(BuiltinTypes::xsDuration->name(m_namePool));
1069 m_builtinTypeNames.insert(BuiltinTypes::xsYearMonthDuration->name(m_namePool));
1070 m_builtinTypeNames.insert(BuiltinTypes::xsDayTimeDuration->name(m_namePool));
1071 m_builtinTypeNames.insert(BuiltinTypes::xsFloat->name(m_namePool));
1072 m_builtinTypeNames.insert(BuiltinTypes::xsDouble->name(m_namePool));
1073 m_builtinTypeNames.insert(BuiltinTypes::xsInteger->name(m_namePool));
1074 m_builtinTypeNames.insert(BuiltinTypes::xsDecimal->name(m_namePool));
1075 m_builtinTypeNames.insert(BuiltinTypes::xsNonPositiveInteger->name(m_namePool));
1076 m_builtinTypeNames.insert(BuiltinTypes::xsNegativeInteger->name(m_namePool));
1077 m_builtinTypeNames.insert(BuiltinTypes::xsLong->name(m_namePool));
1078 m_builtinTypeNames.insert(BuiltinTypes::xsInt->name(m_namePool));
1079 m_builtinTypeNames.insert(BuiltinTypes::xsShort->name(m_namePool));
1080 m_builtinTypeNames.insert(BuiltinTypes::xsByte->name(m_namePool));
1081 m_builtinTypeNames.insert(BuiltinTypes::xsNonNegativeInteger->name(m_namePool));
1082 m_builtinTypeNames.insert(BuiltinTypes::xsUnsignedLong->name(m_namePool));
1083 m_builtinTypeNames.insert(BuiltinTypes::xsUnsignedInt->name(m_namePool));
1084 m_builtinTypeNames.insert(BuiltinTypes::xsUnsignedShort->name(m_namePool));
1085 m_builtinTypeNames.insert(BuiltinTypes::xsUnsignedByte->name(m_namePool));
1086 m_builtinTypeNames.insert(BuiltinTypes::xsPositiveInteger->name(m_namePool));
1087 m_builtinTypeNames.insert(BuiltinTypes::xsGYearMonth->name(m_namePool));
1088 m_builtinTypeNames.insert(BuiltinTypes::xsGYear->name(m_namePool));
1089 m_builtinTypeNames.insert(BuiltinTypes::xsGMonthDay->name(m_namePool));
1090 m_builtinTypeNames.insert(BuiltinTypes::xsGDay->name(m_namePool));
1091 m_builtinTypeNames.insert(BuiltinTypes::xsGMonth->name(m_namePool));
1092 m_builtinTypeNames.insert(BuiltinTypes::xsBoolean->name(m_namePool));
1093 m_builtinTypeNames.insert(BuiltinTypes::xsBase64Binary->name(m_namePool));
1094 m_builtinTypeNames.insert(BuiltinTypes::xsHexBinary->name(m_namePool));
1095 m_builtinTypeNames.insert(BuiltinTypes::xsAnyURI->name(m_namePool));
1096 m_builtinTypeNames.insert(BuiltinTypes::xsQName->name(m_namePool));
1097 m_builtinTypeNames.insert(BuiltinTypes::xsString->name(m_namePool));
1098 m_builtinTypeNames.insert(BuiltinTypes::xsNormalizedString->name(m_namePool));
1099 m_builtinTypeNames.insert(BuiltinTypes::xsToken->name(m_namePool));
1100 m_builtinTypeNames.insert(BuiltinTypes::xsLanguage->name(m_namePool));
1101 m_builtinTypeNames.insert(BuiltinTypes::xsNMTOKEN->name(m_namePool));
1102 m_builtinTypeNames.insert(BuiltinTypes::xsName->name(m_namePool));
1103 m_builtinTypeNames.insert(BuiltinTypes::xsNCName->name(m_namePool));
1104 m_builtinTypeNames.insert(BuiltinTypes::xsID->name(m_namePool));
1105 m_builtinTypeNames.insert(BuiltinTypes::xsIDREF->name(m_namePool));
1106 m_builtinTypeNames.insert(BuiltinTypes::xsENTITY->name(m_namePool));
1107 m_builtinTypeNames.insert(BuiltinTypes::xsNOTATION->name(m_namePool));