Age | Commit message (Collapse) | Author |
|
|
|
Augment BASE_COPYABLE_ANNOTATIONS with more type annotations from the
Checker Framework.
|
|
|
|
especially with save actions.
|
|
This approach has been benchmarked to be marginally faster.
Fixes #2030.
|
|
‘type use’ of a parameter (and, in case of arrays, on the outermost dimension which is actually the first one listed. Weird corner case of the JLS).
|
|
|
|
This makes it easier to see what is there and to know where to add other annotations.
|
|
|
|
|
|
|
|
SuppressFBWArnings => SuppressFBWarnings
no-ars => no-args
|
|
|
|
expression
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
finishAndInjectMethod call
|
|
|
|
methods
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|