ORA-XQ-095-B: EBNF for PragmaContents, ExtensionContents and ExprCommentContent is ambiguous from Stephen Buxton on 2004-02-16 (public-qt-comments@w3.org from February 2004)

From: Stephen Buxton <Stephen.Buxton@oracle.com>
Date: 16 Feb 04 11:46:42
To: public-qt-comments@w3.org
Cc:
Message-Id: <200402161946.i1GJkgb14432@rgmgw4.us.oracle.com>

SECTION 2.6.5: pragmas

Rules [1] "Pragma" and [5] "PragmaContents" are ambiguous
because they do not exclude the possibility of "::)" 
being among the PragmaContents* .  See the way XML 1.0
rule [15] defines "Comment".  Actually, that rule 
prohibits "--" from being in the body of a Comment,
and not merely "-->", perhaps so that you only need one
character lookahead to decide if the comment is coming to
an end.  You may want to have a similar rule excluding
"::" from the body of a Pragma (or excluding "::)" if
you are willing to tolerate two-character look-ahead).  
Similar remarks apply
to rule [2], "MUExtension".  As for Rules [3] "ExprComment"
and [4] "ExprCommentContent", you want to exclude
":)" from ExprCommentContent.

- Steve B.

Received on Monday, 16 February 2004 14:46:45 UTC