[aspectj-dev] type pattern matching

[Oege de Moor <Oege.de.Moor@xxxxxxxxxxxxxxx>]

We (the abc-ers) are writing a paper on the semantics of
pointcut matching (by expanding existing AspectJ pointcuts
to a more primitive pointcut language that is more powerful
but with a less elegant syntax).

We're still confused about the intended semantics of
matching type name patterns; yet obviously it is
very important to get this absolutely right.

Wes has made a proposal to fix the current mismatch
between docs and implementation:

https://bugs.eclipse.org/bugs/show_bug.cgi?id=141133

Is this now the official, universally accepted definition?

Also see

https://bugs.eclipse.org/bugs/show_bug.cgi?id=73073

and (somewhat further afield)

https://bugs.eclipse.org/bugs/show_bug.cgi?id=73050

> From the first, abc has implemented a different rule
for type pattern matching. However, we would now like
to be totally consistent with ajc, and make sure that
our new paper doesn't spread lies and confusion about
the language definition.

It's pretty urgent for us to know what the intended
semantics are... any help much would be much appreciated!

Thanks,

-Oege