#1188
93%

Ran 30 Aug 2023 08:49PM UTC

Jobs 1

Files 81

Run time 3s

Badge

Embed ▾

Committed 30 Aug 2023 08:45PM UTC coverage: 93.431% (+0.03%) from 93.405%

Build # #1188

Build Type

push

github-actions

Committed by

web-flow

Commit Message

Issue #740: Adding visitors for handling different types along with ClassType in Generic Type invariance check (#806)

- Description: Only ClassTypes are supported for checking the invariance
of the nullability annotations for Generic types and hence TypeVisitors
and a TreeVisitor are added to handle different scenarios like for
example:
  ` Foo<Foo<@Nullable String>[]> x = new Foo<Foo<String>[]>(); `

  - Issue Number: 740

- All the tests in NullAwayJSpecifyGenericTests.java have passed for
these changes.

Fixes #740

---------

Co-authored-by: Manu Sridharan <msridhar@gmail.com>

Run Details

5760 of 6165 relevant lines covered (93.43%)

0.93 hits per line

Jobs

ID	Job ID	Ran	Files	Coverage
1	#1188.1	30 Aug 2023 08:49PM UTC	0	93.43

Source Files on build #1188

Detailed source file information is not available for this build.

uber / NullAway / #1188
93%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build #1188

uber / NullAway / #1188 93%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build #1188

uber / NullAway / #1188
93%

README BADGES
x