1
93%
master: 93%

Ran 30 Aug 2023 08:49PM UTC

Files 81

Run time 1s

Badge

Embed ▾

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

Job # #1188.1

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

uber / NullAway / #1188 / 1
93%
master: 93%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job #1188.1

uber / NullAway / #1188 / 1 93% master: 93%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job #1188.1

uber / NullAway / #1188 / 1
93%
master: 93%

README BADGES
x