#1001
93%

Ran 16 Nov 2022 10:04PM UTC

Jobs 1

Files 74

Run time 9s

Badge

Embed ▾

pending completion

Build # #1001

Build Type

push

github-actions

Committed by

web-flow

Commit Message

Add checks for proper JSpecify generic type instantiations (#680)

This PR adds initial checks for JSpecify generic type validity.  In particular it adds checks that for a type instantiation `Foo<@Nullable Bar>`, `Foo` is actually declared to allow a `@Nullable` type variable in that position (e.g., it is declared as `class Foo<T extends @Nullable Object>`.

These checks are only performed if a new `-XepOpt:NullAway:JSpecifyMode` configuration is enabled, and it is off by default.  We want to merge these checks to the main branch to enable easier testing by users, but we do not want them to be on by default yet, as they require further vetting on real, large repos.

Run Details

5124 of 5516 relevant lines covered (92.89%)

0.93 hits per line

Uncovered Existing Lines

Lines	Coverage	∆	File
2	95.77	-1.06%	../nullaway/src/main/java/com/uber/nullaway/dataflow/AccessPath.java
4	93.85	0.1%	../nullaway/src/main/java/com/uber/nullaway/AbstractConfig.java
5	93.98	0.07%	../nullaway/src/main/java/com/uber/nullaway/ErrorProneCLIFlagsConfig.java
34	96.01	0.01%	../nullaway/src/main/java/com/uber/nullaway/NullAway.java

Jobs

ID	Job ID	Ran	Files	Coverage
1	#1001.1	16 Nov 2022 10:04PM UTC	74	92.89

uber / NullAway / #1001
93%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Uncovered Existing Lines

Jobs

Source Files on build #1001

uber / NullAway / #1001 93%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Uncovered Existing Lines

Jobs

Source Files on build #1001

uber / NullAway / #1001
93%

README BADGES
x