A facility for getting the current method's name

[Michael Ernst]

> I think about this @NotNull annotation, how are these implemented?

(This is slightly off the original topic of the thread.)

A tool that checks a nullness annotation can be written as an annotation
processor, which is invoked as part of running javac.  Or, the annotation
can be checked by a separate tool that is not integrated with compilation.

There are many different nullness annotations, and as many different tools
for processing them.  You can see a list of nullness annotations at
http://types.cs.washington.edu/checker-framework/current/checkers-manual.html#nullness-related-work

		    -Mike