#902
93%

Ran 05 Aug 2022 05:02PM UTC

Jobs 1

Files 73

Run time 4s

Badge

Embed ▾

pending completion

Build # #902

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

Jobs

ID	Job ID	Ran	Files	Coverage
1	#902.1	05 Aug 2022 05:02PM UTC	0	92.53

Source Files on build #902

Detailed source file information is not available for this build.

uber / NullAway / #902
93%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build #902

uber / NullAway / #902 93%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build #902

uber / NullAway / #902
93%

README BADGES
x