 jaceksur
|
782b865c55
|
Annotate getters with @Pure when --java-checkerframework is specified. (#5510)
Together with @Nullable, this allows users to use static analysis tools
like CheckerFramework to catch NPEs caused by unset fields.
|
2019-09-10 10:01:27 -07:00 |
|