#1057
93%

Ran 01 Feb 2023 08:04PM UTC

Jobs 1

Files 78

Run time 23s

Badge

Embed ▾

pending completion

Build # #1057

Build Type

push

github-actions

Committed by

web-flow

Commit Message

Model `Map.getOrDefault` (#724)

We model the method so that the nullability of the return matches the nullability of the second argument.  We also add an explicit model of `ImmutableMap.getOrDefault`, to override the annotations on that method for the case where `AcknowledgeRestrictiveAnnotations` is set.

Fixes #723 

Co-authored-by: Lázaro Clapp <lazaro@uber.com>

Run Details

5298 of 5693 relevant lines covered (93.06%)

0.93 hits per line

Jobs

ID	Job ID	Ran	Files	Coverage
1	#1057.1	01 Feb 2023 08:04PM UTC	0	93.06

Source Files on build #1057

Detailed source file information is not available for this build.

uber / NullAway / #1057
93%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build #1057

uber / NullAway / #1057 93%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build #1057

uber / NullAway / #1057
93%

README BADGES
x