search

lovubuntu / checker-framework

Automatically exported from code.google.com/p/checker-framework
0 stars 0 forks source link

The JavaDoc of @RequiresNonNull is out-dated #324

Closed GoogleCodeExporter closed 9 years ago

GoogleCodeExporter commented 9 years ago 
The JavaDoc of @RequiresNonNull is out-dated because it uses @NonNullOnEntry 
instead of @RequiresNonNull. See 
https://code.google.com/p/checker-framework/source/browse/checker/src/org/checke
rframework/checker/nullness/qual/RequiresNonNull.java

Original issue reported on code.google.com by reprogra...@gmail.com on 30 Apr 2014 at 1:30

GoogleCodeExporter commented 9 years ago 
Thanks for pointing out this bug.  I've fixed it and will push the change right 
after the May 1 release.

Original comment by michael.ernst@gmail.com on 30 Apr 2014 at 2:05

GoogleCodeExporter commented 9 years ago

Original comment by michael.ernst@gmail.com on 25 May 2014 at 4:19

GoogleCodeExporter commented 9 years ago

Original comment by jtha...@cs.washington.edu on 3 Jun 2014 at 12:48