#883
93%

Ran 24 Jun 2022 04:42PM UTC

Jobs 1

Files 75

Run time 75min

Badge

Embed ▾

pending completion

Build # #883

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

Jobs

ID	Job ID	Ran	Files	Coverage
1	#883.1	24 Jun 2022 04:42PM UTC	0	92.55

Source Files on build #883

Detailed source file information is not available for this build.

uber / NullAway / #883
93%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build #883

uber / NullAway / #883 93%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build #883

uber / NullAway / #883
93%

README BADGES
x