#1077
93%

Ran 20 Mar 2023 07:49PM UTC

Jobs 1

Files 78

Run time 3s

Badge

Embed ▾

pending completion

Build # #1077

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

Uncovered Existing Lines

Lines	Coverage	∆	File
5	97.3	0.44%	../nullaway/src/main/java/com/uber/nullaway/GenericsChecks.java
16	95.89	0.01%	../nullaway/src/main/java/com/uber/nullaway/NullAway.java

Jobs

ID	Job ID	Ran	Files	Coverage
1	#1077.1	20 Mar 2023 07:49PM UTC	78	93.11

uber / NullAway / #1077
93%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Uncovered Existing Lines

Jobs

Source Files on build #1077

uber / NullAway / #1077 93%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Uncovered Existing Lines

Jobs

Source Files on build #1077

uber / NullAway / #1077
93%

README BADGES
x