[Checkers] Static Member Access

Mahmood Ali mahmood at MIT.EDU
Wed Jun 25 17:20:51 EDT 2008


Hi Mike,

I am reading the JSR308 proposal again.

I am not quite clear on the motivation of annotating static member  
access (e.g. @NonNull Type.field).  How does it differ from static  
method invocation?  What should it mean in the Framework?

- Mahmood



More information about the checkers mailing list