#728
93%

Ran 24 Jan 2022 06:36PM UTC

Jobs 1

Files 55

Run time 12min

Badge

Embed ▾

pending completion

Build # #728

Build Type

push

github-actions

Committed by

web-flow

Commit Message

Reason about key set iteration for subtypes of Map (#559)

Fixes #558 

Most of the changes here are to thread around a `VisitorState` instead of a `Types` object, which allows us to use recommended Error Prone APIs to get a reference to a `Type` object and do subtype tests.

Run Details

4198 of 4693 relevant lines covered (89.45%)

0.89 hits per line

Uncovered Existing Lines

Lines	Coverage	∆	File
6	94.44	0.39%	../nullaway/src/main/java/com/uber/nullaway/NullabilityUtil.java
9	91.43	0.08%	../nullaway/src/main/java/com/uber/nullaway/dataflow/AccessPathNullnessAnalysis.java
10	95.05	-1.13%	../nullaway/src/main/java/com/uber/nullaway/dataflow/AccessPath.java
10	93.76	0.0%	../nullaway/src/main/java/com/uber/nullaway/NullAway.java
30	90.23	0.16%	../nullaway/src/main/java/com/uber/nullaway/dataflow/AccessPathNullnessPropagation.java

Jobs

ID	Job ID	Ran	Files	Coverage
1	#728.1	24 Jan 2022 06:36PM UTC	55	89.45

uber / NullAway / #728
93%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Uncovered Existing Lines

Jobs

Source Files on build #728

uber / NullAway / #728 93%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Uncovered Existing Lines

Jobs

Source Files on build #728

uber / NullAway / #728
93%

README BADGES
x