E1-18: typo and phrasing problem in 3.14.4

Erratum E1-18 adds a second rule (itself with three parts) to
Validation Rule: String Valid.  The second part of that new rule reads

     2.2 If The definition is ENTITIES or is validly derived from
     ENTITIES given the empty set, as defined in Type Derivation OK
     (Simple) (§3.14.6), then every whitespace-deliminted substring of
     the string must be a ·declared entity name·.

First, for 'deliminted' read 'delimited'.

Second, I think that the word 'substring' should be replaced by
'token' here.  The term 'whitespace-delimited substring' is not
defined, but I take it to mean a substring of the original string,
with whitespace or the beginning or the ending of the string on each
end.  And I believe what we are trying to say is that given the string
"alpha bravo charlie delta", each of the following must be a declared
entity name:

  alpha
  bravo
  charlie
  delta

But on the interpretation of 'whitespace-delimited substring' given
above, if we are given the string "alpha bravo charlie delta", then
all of the following are also whitespace-delimited substrings:

  "alpha bravo charlie delta"
  "alpha bravo charlie "
  "alpha bravo delta"
  "alpha bravo"
  "alpha charlie delta"
  "alpha charlie "
  "alpha delta"
  "bravo charlie delta"
  "bravo charlie "
  "bravo delta"
  "charlie delta"

I think 'whitespace-delimited token' would be clearer.  (The existence
of a grammatical production for token, in the context of our XPath
subset, is slightly troubling, so perhaps we should say 'Name' or
'whitespace-delimited Name' instead. Since we are talking about
a lexical form for an ENTITIES value, the string is required to be
a series of names, separated by whitespace.)

-CMSMcQ

Received on Thursday, 23 January 2003 18:08:47 UTC