W3C home > Mailing lists > Public > xml-editor@w3.org > April to June 2000

RE: error in xml specs: PubidLiteral

From: (wrong string) çois Yergeau <yergeau@alis.com>
Date: Tue, 20 Jun 2000 11:09:09 -0400
To: "'Frank Thommen'" <thommen@inf.ethz.ch>, <xml-editor@w3.org>
Message-ID: <018e01bfdac9$7cdec880$f8ddfdcf@fyergeau2.intra.alis.com>
Frank Thommen wrote:
> [12]  PubidLiteral ::= '"' PubidChar* '"' | "'" (PubidChar - "'")* "'"
>
>
> since the delimiter itself must not be included in the
> literal, the definition
> should be:
>
> [12]  PubidLiteral ::= '"' (PubidChar - '"')* '"' | "'"
> (PubidChar - "'")* "'"

If you look at production [13] PubidChar, you'll find that it does not allow
the double quote ".  Consequently, (PubidChar - '"')* and PubidChar* match
the same thing and that excludes the " in both cases.

--
François Yergeau
Received on Tuesday, 20 June 2000 11:19:09 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 7 December 2009 10:59:30 GMT