W3C home > Mailing lists > Public > public-rif-wg@w3.org > September 2009

Re: EBNF grammar of presentation syntax

From: Sandro Hawke <sandro@w3.org>
Date: Wed, 30 Sep 2009 12:46:05 -0400
To: Axel Polleres <axel.polleres@deri.org>
cc: "Stella Mitchell" <stellamit@gmail.com>, "RIF \(E-mail\)" <public-rif-wg@w3.org>
Message-ID: <397.1254329165@waldron>
> 
> On 30 Sep 2009, at 16:54, Sandro Hawke wrote:
> 
> > > The easiest and quickest way around this is:
> > >
> > > change:
> > >    Name:=  NCName
> > > to
> > >    Name:=  NCName | ('"' UNICODESTRING '"')
> > >
> > > any objections against this?
> >
> > What if the variable name has a double-quote character in it?
> >
> > (As far as I know, the PS can't handle the even xs:strings with quotes
> > in them.  This is part of the why the PS isn't real.)
> >
> 
> That problem was solved a while ago:
> 
> http://www.w3.org/2005/rules/wiki/DTB#Shortcuts_for_Constants_in_RIF.27s_Pres
> entation_Syntax
> 
> "UNICODESTRING, any Unicode string where quotes are escaped and  
> additionally all the other escape sequences defined in http://www.w3.org/TR/r
> df-sparql-query/#grammarEscapes 
>   and http://www.w3.org/TR/rdf-sparql-query/#codepointEscape."

Ah, I was only looking in BLD.

> Indeed, however, BLD and FLD didn't define a production or point to  
> the UNICODESTRING definition DTB, actually
> that was inconsistent, I just fixed that, check:
> 
> http://www.w3.org/2005/rules/wiki/index.php?title=BLD&diff=11420&oldid=11029
> http://www.w3.org/2005/rules/wiki/index.php?title=FLD&diff=11419&oldid=11030
> 
> BTW, I realize that we still had the old version of the Name  
> production in the appendix of FLD and BLD,
> but before I fix it there, we need agreement that
> 
>     Name:=  NCName | ('"' UNICODESTRING '"')
> 
> is ok.

Can we change Prefix to use NCName, then, instead of Name?  If so, this
seems fine.

     -- Sandro
Received on Wednesday, 30 September 2009 16:46:09 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Wednesday, 30 September 2009 16:46:10 GMT