script jar and annotation add

tahiat · Apr 5, 2024 · 9cd32a1 · 9cd32a1
1 parent 103430b
commit 9cd32a1
Show file tree

Hide file tree

Showing 5 changed files with 34 additions and 1 deletion.
diff --git a/core/src/main/java/org/apache/calcite/util/ImmutableIntList.java b/core/src/main/java/org/apache/calcite/util/ImmutableIntList.java
@@ -35,6 +35,9 @@
 import java.util.ListIterator;
 import java.util.NoSuchElementException;
 
+import org.checkerframework.checker.nullness.qual.NonNull;
+import org.checkerframework.checker.nullness.qual.Nullable;
+
 /**
  * An immutable list of {@link Integer} values backed by an array of
  * {@code int}s.
@@ -112,7 +115,7 @@ private static ImmutableIntList copyFromCollection(
  return Arrays.hashCode(ints);
  }
 
- @Override public boolean equals(Object obj) {
+ @Override public boolean equals(@Nullable Object obj) {
  return this == obj
  || obj instanceof ImmutableIntList
  ? Arrays.equals(ints, ((ImmutableIntList) obj).ints)

diff --git a/specimin/build.gradle b/specimin/build.gradle
@@ -0,0 +1,26 @@
+plugins {
+ id 'java-library'
+ id 'org.checkerframework' version '0.6.37'
+}
+
+apply plugin: 'org.checkerframework'
+
+java {
+ toolchain {
+ languageVersion = JavaLanguageVersion.of(11)
+ }
+}
+repositories {
+ mavenCentral()
+}
+checkerFramework {
+ checkers = [
+ 'org.checkerframework.checker.nullness.NullnessChecker'
+ ]
+ excludeTests = true
+ incrementalize = false
+}
+dependencies {
+ compileOnly 'org.checkerframework:checker-qual:3.6.0'
+ checkerFramework 'org.checkerframework:checker:3.6.0'
+}
diff --git a/specimin/checker-qual.jar b/specimin/checker-qual.jar
diff --git a/specimin/expected_log.txt b/specimin/expected_log.txt
@@ -0,0 +1,3 @@
+ImmutableIntList.java:120: error: [contracts.conditional.postcondition.not.satisfied] the conditional postcondition about 'EnsuresNonNullIf' at this return statement is not satisfied
+ return this == obj
+ ^
diff --git a/specimin/settings.gradle b/specimin/settings.gradle
@@ -0,0 +1 @@
+rootProject.name = 'calcite'