A facility for getting the current method's name
Michael Ernst
mernst at cs.washington.edu
Sat Oct 1 14:40:10 PDT 2011
> 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
More information about the jdk8-dev
mailing list