Skip to content

Commit 73975fe

Browse files
committed
Minor update
1 parent 5fec7af commit 73975fe

File tree

1 file changed

+2
-2
lines changed
  • annotator-core/src/main/java/edu/ucr/cs/riple/core/checkers/nullaway

1 file changed

+2
-2
lines changed

annotator-core/src/main/java/edu/ucr/cs/riple/core/checkers/nullaway/NullAway.java

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -136,8 +136,8 @@ private NullAwayError deserializeErrorFromTSVLine(ModuleInfo moduleInfo, String
136136
annotations = Set.of();
137137
} else if (Utility.isTypeUseAnnotation(config.nullableAnnot)) {
138138
if (errorType.equals(NullAwayError.ASSIGN_NULLABLE_TO_NONNULL_ARRAY)) {
139-
// The typeIndex ImmutableList.of(1, 0) specifies that the annotation
140-
// should be applied to the array's component type.
139+
// The error ASSIGN_NULLABLE_TO_NONNULL_ARRAY from NullAway triggers a fix on an array variable
140+
// with [1, 0] indicating its component type.
141141
annotations =
142142
Set.of(
143143
new AddTypeUseMarkerAnnotation(

0 commit comments

Comments
 (0)