Summary: NMTOKENS_minLength001_1464 should be invalid
Product: XML Schema Test Suite
Component: Microsoft tests
AssignedTo: [hidden email] ReportedBy: [hidden email] QAContact: [hidden email]
In test NMTOKENS_minLength001_1464 of set MS-DataTypes2006-07-15 a simple type
restricts xs:NMTOKENS with minLength="0". As defined at
http://www.w3.org/TR/xmlschema11-2/#NMTOKENS, NMTOKENS has minLength="1" making
a restriction with minLength="0" less restrictive and therefore invalid.
In my opinion this testcase should be invalid for schema 1.1 and (but not as
clear as for schema 1.1) also for 1.0.
In schema 1.0 the minLength="1" of NMTOKENS is only defined by "A Schema for
Datatype Definitions" - which is normative. The textual description only
specifies the value space of NMTOKENS as the "set of finite, non-zero-length
sequences of NMTOKENs", but doesn't explicitly define a value for the minLength
facet. So there is some place left for discussions in case of schema 1.0.
--- Comment #1 from Andreas Meissl <[hidden email]> 2012-02-06 11:02:50 UTC ---
The same for test NMTOKENS_minLength004_1467 and a similar case in
NMTOKENS_maxLength001_1468 (maxLength="0" of restricted type isn't greater than
or equal to minLength="1" of xs:NMTOKENS).
--- Comment #2 from Andreas Meissl <[hidden email]> 2012-02-06 14:34:52 UTC ---
Other similar cases are positiveInteger_maxExclusive001_1834 and
positiveInteger_maxExclusive002_1835 in the same test set, where
maxExclusive="1" in the derived type conflicts with minInclusive="1" of the
built-in type definition xs:positiveInteger.