1
93%
master: 93%

Ran 05 Aug 2022 05:02PM UTC

Files 73

Run time 3s

Badge

Embed ▾

Committed 05 Aug 2022 05:02PM UTC coverage: 92.528% (+0.04%) from 92.488%

Job # #902.1

Build Type

push

github-actions

Committed by

web-flow

Commit Message

Add library model for Guava's Closer.register (#632)

This is a follow up to #628 and our support for `@ParametricNullness` in NullAway 0.9.9.
It turns out that `com.google.common.io.Closer` annotates it's `register` method as:

```
  @CanIgnoreReturnValue
  @ParametricNullness
  public <C extends @Nullable Closeable> C register(@ParametricNullness C closeable) {...}
```

Where the return is only really `@Nullable` if the argument is `@Nullable` (it is the same reference).

This PR adds a Library Model for this method, which is equivalent to adding the `@Contract("null -> null")`
annotation to it.

Note that, in order for this model to be helpful, `AcknowledgeLibraryModelsOfAnnotatedCode` 
must be set, which would seem to argue for making that the default.

Run Details

4805 of 5193 relevant lines covered (92.53%)

0.93 hits per line

uber / NullAway / #902 / 1
93%
master: 93%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job #902.1

uber / NullAway / #902 / 1 93% master: 93%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job #902.1

uber / NullAway / #902 / 1
93%
master: 93%

README BADGES
x