(!e && e)

If there is a leftmost not, then parenthesis need to be inserted around the entire throws pattern to restore the strong binding of the nested not (otherwise it would bind weak)

Submitted on 10 July 2006 at 17:00

AJF-32, martin:

martin@logistico:~/wc/aspectj-front> echo ‘* *() throws (!Ex && !Ex)’ | parse-aspectj -s MethodConstrPattern | pp-aspectj
* () throws (!Ex && !Ex)
martin@logistico:~/wc/aspectj-front> echo ’ *() throws (Ex && !Ex)’ | parse-aspectj -s MethodConstrPattern | pp-aspectj
* () throws Ex && !Ex
martin@logistico:~/wc/aspectj-front> echo ’ *() throws (!Ex && Ex)’ | parse-aspectj -s MethodConstrPattern | pp-aspectj
* () throws (!Ex && Ex)
martin@logistico:~/wc/aspectj-front> echo ’ *() throws (!Ex || Ex)’ | parse-aspectj -s MethodConstrPattern | pp-aspectj
* () throws (!Ex || Ex)
martin@logistico:~/wc/aspectj-front> echo ’ *() throws (Ex || Ex)’ | parse-aspectj -s MethodConstrPattern | pp-aspectj
* *() throws Ex || Ex
martin@logistico:~/wc/aspectj-front>