Re: [abc] this afternoon

On Mon, Dec 06, 2004 at 10:06:03AM +0000, Oege de Moor wrote:
> on musketeer. Also read Sascha's wiki page at
>
> http://musketeer.comlab.ox.ac.uk/ProgToolsWiki/PlansForJava5
>
> or even better: add to it! I've added a few remarks about the
> syntax for annotations in patterns.

I expect the ajc team to reject the [] idea, because it violates an
unwritten but so far consistently observed principle in the design of
patterns: every signature is also a pattern matching itself.

For the ugly case that this is trying to solve:
(@Foo || @Goo A || B)
why can't we just make the space between the attribute and the name have
higher precedence than the ||? The above would then be a syntax error;
we would force the parentheses:
((@Foo || @Goo) (A || B))

Also, in general, are we trying to come up with a grammar extension that
is unambiguous in relation to the Java 1.4 grammar, or in relation to
the Java 1.5 grammar? It seems the latter would be more appropriate, but
the former seems to be what you guys are discussing. Hopefully, there
won't be too many problems with ambiguity because of the parser state.
Am I correct in assuming that @ in patterns will always be scanned in
pointcut state and @ in annotations will always be scanned in Java
state?

Ondrej
Received on Mon Dec 6 14:40:09 2004