search

biddyweb / checker-framework

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

Feature request: recognize android.support.annotation.Nullable #379

Closed GoogleCodeExporter closed 9 years ago

GoogleCodeExporter commented 9 years ago 
Android has its own set of Nullable annotations:

https://developer.android.com/reference/android/support/annotation/Nullable.html
https://developer.android.com/reference/android/support/annotation/NonNull.html

Can the nullness analysis recognize them as being equivalent to 
javax.annotations.Nullable/javax.annotation.Nonnull?

Original issue reported on code.google.com by cus...@google.com on 21 Nov 2014 at 7:06

GoogleCodeExporter commented 9 years ago 
Done:

https://code.google.com/p/checker-framework/source/detail?r=0d884a66d534fb536ea5
4b3aa444e0c2dd027a48

Original comment by wdi...@gmail.com on 21 Nov 2014 at 7:43

GoogleCodeExporter commented 9 years ago

Original comment by mcart...@cs.washington.edu on 26 Nov 2014 at 8:58