#941
93%

Ran 07 Sep 2022 04:24AM UTC

Jobs 1

Files 73

Run time 3s

Badge

Embed ▾

pending completion

Build # #941

Build Type

push

github-actions

Committed by

web-flow

Commit Message

[JSpecify] Support @NullUnmarked. (#651)

This PR adds support for JSpecify 0.3.0's `@NullUnmarked` annotation in the following scopes:

- Packages
- Classes
- Methods

We do not yet support the module scope, since we still retain JDK 8 compatibility in NullAway.

Most of this PR is comprised of test cases for `@NullUnmarked` and its interactions with `@NullMarked` and out existing annotated/unannotated code flags. Unfortunately, the matrix of possible interactions is far too large for the test suite to be exhaustive.

Note that there are a few follow up cases to fix regarding the interaction of `@NullUnmarked`/`@NullMarked` and `AcknowledgeRestrictiveAnnotations`, but that requires a slightly more general change in `RestrictiveAnnotationHandler` (see #573).

Run Details

4904 of 5298 relevant lines covered (92.56%)

0.93 hits per line

Uncovered Existing Lines

Lines	Coverage	∆	File
6	92.93	0.0%	../nullaway/src/main/java/com/uber/nullaway/NullabilityUtil.java
29	95.56	0.11%	../nullaway/src/main/java/com/uber/nullaway/NullAway.java

Jobs

ID	Job ID	Ran	Files	Coverage
1	#941.1	07 Sep 2022 04:24AM UTC	73	92.56

uber / NullAway / #941
93%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Uncovered Existing Lines

Jobs

Source Files on build #941

uber / NullAway / #941 93%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Uncovered Existing Lines

Jobs

Source Files on build #941

uber / NullAway / #941
93%

README BADGES
x