ilya-klyuchnikov / faba

Fast Bytecode Analysis
15 stars 1 forks source link

`@WeakNotNull` annotation #10

Open ilya-klyuchnikov opened 10 years ago

ilya-klyuchnikov commented 10 years ago

I consider current @NotNull to be a strong @NotNull. @WeakNotNull - there is a path where a parameter is dereferenced. May be used for more "paranoidal" code analysis.

ilya-klyuchnikov commented 9 years ago

BTW, Resharper infers @WeakNotNull annotations