1
93%
master: 93%

Ran 24 Jun 2022 04:42PM UTC

Files 75

Run time 43min

Badge

Embed ▾

Committed 24 Jun 2022 04:40PM UTC coverage: 92.547% (+0.009%) from 92.538%

Job # #883.1

Build Type

push

github-actions

Committed by

web-flow

Commit Message

Generalize support for castToNonNull methods, using library models (#614)

This allows for `castToNonNull` methods taking additional arguments, such as a custom message
or a specific logger object to be monitored, in order to detect and warn about values known
statically to be non-null flowing into them, and also for special treatment during initialization. 
See #594 for more details.

Since these more complex `castToNonNull` method definitions require custom library models,
we still should support the basic identity `castToNonNull` configuration through 
`-XepOpt:NullAway:CastToNonNullMethod`, simply for ease of use. 

Also, please note that NullAway can't use the more complex `castToNonNull` method signatures for 
automated suppressions, since doing so would require being able to synthesize their non-casted arguments. 
In the future, we could detect the single-argument `castToNonNull` equivalently whether it is added 
by the CLI flag or via a library model, but, for now, the mechanisms are disjoint and the library models 
are only really taken into account for our `checkCastToNonNullTakesNullable` check. Using casts as 
fix suggestions _requires_ passing the CLI flag.

A good portion of this diff is library models and handler plumbing.

Run Details

4855 of 5246 relevant lines covered (92.55%)

0.93 hits per line

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

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job #883.1

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

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job #883.1

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

README BADGES
x