[sc34wg3] TMQL: Grammar -- "predicate-invocation"

[Robert Barta]

On Sun, Jun 22, 2008 at 12:39:18PM +0200, Lars Heuer wrote:
> Hi all,
> 
> Comments against TMQL draft dtd. 2007-07-13.
> 
> The rule:
> 
>  [54] predicate-invocation : anchor '(' (anchor ':' value-expression)+
>                                          ','* '...'*
>                                      ')'
> seems to be wrong.

Looks like the XSLT-rendering into the 80ies style ("wasn't disco
great?") is wrong.

> Should be something like:
> 
>   pred-invocation : anchor '(' pred-roles ')'
> 
>   pred-roles      : pred-role (',' pred-role)*
> 
>   pred-role       : anchor ':' value-expression
>                   | '...'

That's what is encoded currently, although in your form the ... were
allowed anywhere. That is how it looks at the moment:

  anchor   '('    < anchor   ':'   value-expression >   [  ','  ]   [  '...'  ]    ')' 


[] means "optional"

<> means "at least one, separated by ,"

\rho