test: more nullness array tests

Author: thisisalexandercook

checker/src/test/java/io/github/eisop/checker/nullness/NullnessDirectoryTest.java

@@ -37,6 +37,30 @@ public void testArrayScenarios() throws Exception {
         false);
   }
 
+  @Test
+  public void testGradualArrayScenarios() throws Exception {
+    runDirectoryTest(
+        "nullness-array-gradual",
+        "io.github.eisop.runtimeframework.checker.nullness.NullnessRuntimeChecker",
+        false);
+  }
+
+  @Test
+  public void testGradualArrayGlobalScenarios() throws Exception {
+    runDirectoryTest(
+        "nullness-array-gradual-global",
+        "io.github.eisop.runtimeframework.checker.nullness.NullnessRuntimeChecker",
+        true);
+  }
+
+  @Test
+  public void testGradualArrayGlobalOverrideScenarios() throws Exception {
+    runDirectoryTest(
+        "nullness-array-gradual-global-override",
+        "io.github.eisop.runtimeframework.checker.nullness.NullnessRuntimeChecker",
+        true);
+  }
+
   @Test
   public void testFieldWriteScenarios() throws Exception {
     runDirectoryTest(

checker/src/test/resources/test-cases/nullness-array-gradual-global-override/ArrayOverrideRunner.java

@@ -0,0 +1,10 @@
+public class ArrayOverrideRunner {
+
+    public static void main(String[] args) {
+        SafeArrayContract contract = new LegacyArrayTrojan();
+        contract.acceptArray(null);
+        // :: error: (Parameter 0 in overridden method acceptArray must be NonNull)
+
+        contract.getArray();
+    }
+}

checker/src/test/resources/test-cases/nullness-array-gradual-global-override/LegacyArrayTrojan.java

@@ -0,0 +1,11 @@
+public class LegacyArrayTrojan extends SafeArrayContract {
+
+    @Override
+    public void acceptArray(String[] input) {}
+
+    @Override
+    public String[] getArray() {
+        return null;
+        // :: error: (Return value of overridden method getArray must be NonNull)
+    }
+}

checker/src/test/resources/test-cases/nullness-array-gradual-global-override/SafeArrayContract.java

@@ -0,0 +1,12 @@
+import io.github.eisop.runtimeframework.qual.AnnotatedFor;
+import org.checkerframework.checker.nullness.qual.NonNull;
+
+@AnnotatedFor("nullness")
+public class SafeArrayContract {
+
+    public void acceptArray(String @NonNull [] input) {}
+
+    public String @NonNull [] getArray() {
+        return new String[1];
+    }
+}

checker/src/test/resources/test-cases/nullness-array-gradual-global/ArrayFieldWriteElements.java

@@ -0,0 +1,18 @@
+import io.github.eisop.runtimeframework.qual.AnnotatedFor;
+
+@AnnotatedFor("nullness")
+public class ArrayFieldWriteElements {
+
+    public String[] data = new String[1];
+
+    static class UncheckedWriter {
+        static void poison(ArrayFieldWriteElements target) {
+            target.data[0] = null;
+            // :: error: (Array Element Write must be NonNull)
+        }
+    }
+
+    public static void main(String[] args) {
+        UncheckedWriter.poison(new ArrayFieldWriteElements());
+    }
+}

checker/src/test/resources/test-cases/nullness-array-gradual-global/ArrayFieldWriteReference.java

@@ -0,0 +1,19 @@
+import io.github.eisop.runtimeframework.qual.AnnotatedFor;
+import org.checkerframework.checker.nullness.qual.NonNull;
+
+@AnnotatedFor("nullness")
+public class ArrayFieldWriteReference {
+
+    public String @NonNull [] data = new String[1];
+
+    static class UncheckedWriter {
+        static void poison(ArrayFieldWriteReference target) {
+            target.data = null;
+            // :: error: (Field 'data' must be NonNull)
+        }
+    }
+
+    public static void main(String[] args) {
+        UncheckedWriter.poison(new ArrayFieldWriteReference());
+    }
+}

checker/src/test/resources/test-cases/nullness-array-gradual/ArrayBoundaryReturnElements.java

@@ -0,0 +1,22 @@
+import io.github.eisop.runtimeframework.qual.AnnotatedFor;
+import org.checkerframework.checker.nullness.qual.NonNull;
+import org.checkerframework.checker.nullness.qual.Nullable;
+
+@AnnotatedFor("nullness")
+public class ArrayBoundaryReturnElements {
+
+    static class UncheckedLib {
+        static @Nullable String[] getNullableElementArray() {
+            return new @Nullable String[1];
+        }
+    }
+
+    static void accept(@NonNull String value) {}
+
+    public static void main(String[] args) {
+        @Nullable String[] values = UncheckedLib.getNullableElementArray();
+        values[0] = null;
+        accept(values[0]);
+        // :: error: (Parameter 0 must be NonNull)
+    }
+}

checker/src/test/resources/test-cases/nullness-array-gradual/ArrayBoundaryReturnReference.java

@@ -0,0 +1,16 @@
+import io.github.eisop.runtimeframework.qual.AnnotatedFor;
+
+@AnnotatedFor("nullness")
+public class ArrayBoundaryReturnReference {
+
+    static class UncheckedLib {
+        static String[] getNullArray() {
+            return null;
+        }
+    }
+
+    public static void main(String[] args) {
+        UncheckedLib.getNullArray();
+        // :: error: (Return value of getNullArray (Boundary) must be NonNull)
+    }
+}

checker/src/test/resources/test-cases/nullness-array-gradual/ArrayBridgeTest.java

@@ -0,0 +1,16 @@
+import io.github.eisop.runtimeframework.qual.AnnotatedFor;
+
+@AnnotatedFor("nullness")
+public class ArrayBridgeTest extends UncheckedParentArrays {
+
+    public static void main(String[] args) {
+        ArrayBridgeTest test = new ArrayBridgeTest();
+
+        test.dangerousArray(new String[1]);
+        test.dangerousArray(null);
+        // :: error: (Parameter 0 in inherited method dangerousArray must be NonNull)
+
+        test.returnArray();
+        // :: error: (Return value of inherited method returnArray must be NonNull)
+    }
+}

checker/src/test/resources/test-cases/nullness-array-gradual/ArrayFieldReadElements.java

@@ -0,0 +1,20 @@
+import io.github.eisop.runtimeframework.qual.AnnotatedFor;
+import org.checkerframework.checker.nullness.qual.NonNull;
+import org.checkerframework.checker.nullness.qual.Nullable;
+
+@AnnotatedFor("nullness")
+public class ArrayFieldReadElements {
+
+    static class UncheckedLib {
+        public @Nullable String[] values = new @Nullable String[1];
+    }
+
+    static void accept(@NonNull String value) {}
+
+    public static void main(String[] args) {
+        UncheckedLib lib = new UncheckedLib();
+        lib.values[0] = null;
+        accept(lib.values[0]);
+        // :: error: (Parameter 0 must be NonNull)
+    }
+}