1
93%
master: 93%

Ran 20 Mar 2023 07:49PM UTC

Files 78

Run time 2s

Badge

Embed ▾

Committed 20 Mar 2023 07:49PM UTC coverage: 93.113% (+0.08%) from 93.038%

Job # #1077.1

Build Type

push

github-actions

Committed by

web-flow

Commit Message

Generics checks for parameter passing (#746)

For method calls, the nullability annotations of the type parameters for formal parameter types and actual parameter types should be exactly the same. 
This pull request adds code to compare nullability annotations of actual and formal parameters of generic type and reports an error if the annotations don't match. example:
  ```
    static class A<T extends @Nullable Object> { }
    static A<String> sampleMethod(A<A<String>> a1, A<String> a2) {
       return a2;
    }
    static void methodCall(A<A<@Nullable String>> a1, A<String> a2) {

   // **_here the code will report an error as the annotations of formal and actual parameters don't match_**

         A<String> a = sampleMethod(a1, a2);

    }
```

Run Details

5516 of 5924 relevant lines covered (93.11%)

0.93 hits per line

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

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job #1077.1

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

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job #1077.1

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

README BADGES
x