@deprecatedNOT! is

The following program reports a use of a deprecated method:

    class A {
/**
* @deprecatedNOT!
*/
void foo() {
}
    }

    class B {
void bar(A a) {
a.foo();
}
    }

Other things to try:

  /** @deprecated* */
  /** @deprecated-my-foot */
  /** @deprecatedly */

[The last of these is not currently a problem, but would become a problem
in Mustang if certain proposed javac changes were made without revision.
Good regression test, that.]

What does the spec say about where a tag name ends? What spec??
Based on the current implementation, I think we should be looking
either for end of comment or for white space (as defined by
Character.isWhitespace).


###@###.### 2005-2-16 04:54:27 GMT