W3C home > Mailing lists > Public > public-qt-comments@w3.org > January 2004

Re: [XQuery] A.2.2 Lexical Rules: erroneous patterns

From: <scott_boag@us.ibm.com>
Date: Fri, 23 Jan 2004 12:28:17 -0500
To: Michael Dyck <jmdyck@ibiblio.org>
Cc: public-qt-comments@w3.org, public-qt-comments-request@w3.org
Message-ID: <OF61CF5313.1E008FC1-ON85256E24.005E017D-85256E24.005FE814@lotus.com>

Hi again Michael.  I agree.  I'm looking at ways to mechanically detect 
this kind of thing, but in the meantime will work on the fixes you've 
provided.  I'll send out an official response when I'm satisfied that this 
is fully fixed.

-scott

public-qt-comments-request@w3.org wrote on 01/23/2004 03:58:04 AM:

> 
> XQuery 1.0: An XML Query Language
> W3C Working Draft 12 November 2003
> 
> A.2.2 Lexical Rules
> 
> Many states have transitions on patterns that aren't valid for that
> state. That is, for a query to put the lexer in the given state
> with the remaining input matching the given pattern, the query
> would have to have a syntax error.  By accepting the erroneous
> pattern, the lexer delays detection of the syntax error.
> 
> Specifically, I believe the following patterns are erroneous in
> the given states.
> 
> DEFAULT
>     "]"
>     ","
>     "["
> 
> OPERATOR
>     <"declare"_"function">
>     <"at"_StringLiteral>
>     "global"
>     "("
>     <"validate"_"{">
>     <"typeswitch"_"(">
>     <"declare"_"default"_"collation">
>     <"import"_"schema">
>     <"import"_"module">
>     <"declare"_"default"_"element">
>     <"declare"_"default"_"function">
>     <"declare"_"namespace">
>     <"declare"_"base-uri">
>     <"declare"_"xmlspace">
>     <"some"_"$">
>     <"every"_"$">
>     IntegerLiteral
>     DecimalLiteral
>     DoubleLiteral
>     QName
>     <NCName_":"_"*">
>     <"*"_":"_NCName>
>     "."
>     ".."
> 
> NAMESPACEKEYWORD
>     <"at"_StringLiteral>
>     <"declare"_"default"_"element">
>     <"declare"_"default"_"function">
> 
> KINDTEST
>     "@"
>     StringLiteral
> 
> SCHEMACONTEXTSTEP
>     "@"
> 
> START_TAG
>     "{"
> 
> END_TAG
>     "{"
> 
> -Michael Dyck
> 
Received on Friday, 23 January 2004 12:35:25 UTC

This archive was generated by hypermail 2.3.1 : Wednesday, 7 January 2015 15:45:16 UTC