Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

JSpecify: Handle @Nonnull elements in @Nullable content arrays #963

Merged
merged 17 commits into from
Jun 18, 2024

Merge branch 'master' into jspecify-array-index

5df5697
Select commit
Loading
Failed to load commit list.
Merged

JSpecify: Handle @Nonnull elements in @Nullable content arrays #963

Merge branch 'master' into jspecify-array-index
5df5697
Select commit
Loading
Failed to load commit list.
Codecov / codecov/patch succeeded Jun 18, 2024 in 0s

86.25% of diff hit (target 85.88%)

View this Pull Request on Codecov

86.25% of diff hit (target 85.88%)

Annotations

Check warning on line 47 in nullaway/src/main/java/com/uber/nullaway/dataflow/ArrayIndexElement.java

See this annotation in the file changed.

@codecov codecov / codecov/patch

nullaway/src/main/java/com/uber/nullaway/dataflow/ArrayIndexElement.java#L47 

Added line #L47 was not covered by tests

Check warning on line 52 in nullaway/src/main/java/com/uber/nullaway/dataflow/ArrayIndexElement.java

See this annotation in the file changed.

@codecov codecov / codecov/patch

nullaway/src/main/java/com/uber/nullaway/dataflow/ArrayIndexElement.java#L52 

Added line #L52 was not covered by tests

Check warning on line 66 in nullaway/src/main/java/com/uber/nullaway/dataflow/ArrayIndexElement.java

See this annotation in the file changed.

@codecov codecov / codecov/patch

nullaway/src/main/java/com/uber/nullaway/dataflow/ArrayIndexElement.java#L66 

Added line #L66 was not covered by tests

Check warning on line 43 in nullaway/src/main/java/com/uber/nullaway/dataflow/FieldOrMethodCallElement.java

See this annotation in the file changed.

@codecov codecov / codecov/patch

nullaway/src/main/java/com/uber/nullaway/dataflow/FieldOrMethodCallElement.java#L43 

Added line #L43 was not covered by tests

Check warning on line 55 in nullaway/src/main/java/com/uber/nullaway/dataflow/FieldOrMethodCallElement.java

See this annotation in the file changed.

@codecov codecov / codecov/patch

nullaway/src/main/java/com/uber/nullaway/dataflow/FieldOrMethodCallElement.java#L55 

Added line #L55 was not covered by tests
View more details on Codecov