Re: combining enumeration and pattern

Hi Simon,

> The point about how the facets are combined is the critical one.
> XML Spy agrees with your proposition.
> I was looking for where this is explained in the rec.  
> Can you point out where this behaviour is specified?

In 4.1.4 Simple Definition Validation Rules [1], Validation Rule:
Datatype Valid states:

  A string is datatype-valid with respect to a datatype definition if:

  1 it ·match·es a literal in the ·lexical space· of the datatype,
    determined as follows:
    1.1 if ·pattern· is a member of {facets}, then the string must
        be pattern valid (§4.3.4.4);
    [snip]

  2 the value denoted by the literal ·match·ed in the previous step
    is a member of the ·value space· of the datatype, as determined by
    it being Facet Valid (§4.1.4) with respect to each member of
    {facets} (except for ·pattern·).

Clauses 1 and 2 both need to be true for a string to be
datatype-valid, which means that the string has to be *both* pattern
valid and valid with respect to enumeration. Note that clause 2
indicates that other combinations of facets are ANDed rather than
ORed.
    
Cheers,

Jeni

[1] http://www.w3.org/TR/xmlschema-2/#defn-validation-rules

---
Jeni Tennison
http://www.jenitennison.com/

Received on Monday, 30 June 2003 07:42:59 UTC