[Bug 5030] Assertions on simple types

http://www.w3.org/Bugs/Public/show_bug.cgi?id=5030


David_E3@VERIFONE.com changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|                            |needsDrafting




------- Comment #1 from David_E3@VERIFONE.com  2008-01-23 21:21 -------
Phase I agreement:
1 yes, assertions on simple types
2 do not change the existing built-ins-only rule (n.b. this also prevents
circularity)
3 appears as new property of simple types (not as new facet)
4 context item is string value of the item, as xs:untypedAtomic
(alternatives: string value as xs:string, or string value as the appropriate
primitive (anySimpleType for lists or unions), or string value as
anySimpleType)
5 Assertions legal on restriction and on list and on union (i.e. any simple
type constructor).  (Alternative:  on restriction only.) 

The WG discussed that another alternative for point 4 would be to use the base
type, both for atomics and for lists, i.e. if I'm asserting something of a list
of my:specialDate, take it into XPath as a list of xs:date.  MKay said IIRC the
context item cannot be a list.  

Ref: M. Kay's note
http://lists.w3.org/Archives/Member/w3c-xml-schema-ig/2008Jan/0013.html

Received on Wednesday, 23 January 2008 21:21:24 UTC