Use EISOP dependencies (#1)

Co-authored-by: Werner Dietl <[email protected]>
eisop · Jan 6, 2025 · 4d53c0d · 4d53c0d
1 parent 968f9a0
commit 4d53c0d
Show file tree

Hide file tree

Showing 5 changed files with 9 additions and 10 deletions.
diff --git a/README.md b/README.md
@@ -102,7 +102,7 @@ repositories {
     mavenCentral()
 }
 dependencies {
-    annotationProcessor 'org.checkerframework:templatefora-checker:0.1-SNAPSHOT'
+    annotationProcessor 'io.github.eisop:templatefora-checker:0.1-SNAPSHOT'
 }
 ```
 

diff --git a/build.gradle b/build.gradle
@@ -15,7 +15,7 @@ configurations {
 }
 
 ext.versions = [
-    checkerFramework: "3.48.2",
+        eisopVersion: '3.42.0-eisop5',
 ]
 
 def checkerframework_local = false  // Set this variable to [true] while using local version of checker framework.
@@ -27,15 +27,15 @@ dependencies {
         implementation files('${CHECKERFRAMEWORK}/checker/dist/checker.jar')
     }
     else {
-        implementation "org.checkerframework:checker:${versions.checkerFramework}"
-        implementation "org.checkerframework:checker-qual:${versions.checkerFramework}"
+        implementation "io.github.eisop:checker:${versions.eisopVersion}"
+        implementation "io.github.eisop:checker-qual:${versions.eisopVersion}"
     }
 
     compileOnly "com.google.errorprone:javac:9+181-r4173-1"
 
     // Testing
     testImplementation 'junit:junit:4.13.2'
-    testImplementation "org.checkerframework:framework-test:${versions.checkerFramework}"
+    testImplementation "io.github.eisop:framework-test:${versions.eisopVersion}"
 
     errorproneJavac "com.google.errorprone:javac:9+181-r4173-1"
 }
@@ -50,7 +50,7 @@ tasks.withType(JavaCompile).all {
 publishing {
     publications {
         maven(MavenPublication) {
-            groupId = 'org.checkerframework'
+            groupId = 'io.github.eisop'
             artifactId = 'templatefora-checker'
             version = '0.1-SNAPSHOT'
 

diff --git a/src/main/java/org/checkerframework/checker/templatefora/qual/TemplateforaBottom.java b/src/main/java/org/checkerframework/checker/templatefora/qual/TemplateforaBottom.java
@@ -15,5 +15,4 @@
 @SubtypeOf({TemplateforaUnknown.class})
 @Retention(RetentionPolicy.RUNTIME)
 @Target({ElementType.TYPE_USE, ElementType.TYPE_PARAMETER})
-@TargetLocations({TypeUseLocation.EXPLICIT_LOWER_BOUND, TypeUseLocation.EXPLICIT_UPPER_BOUND})
 public @interface TemplateforaBottom {}
diff --git a/templatefora-checker-qual/build.gradle b/templatefora-checker-qual/build.gradle
@@ -7,8 +7,8 @@ repositories {
 }
 
 dependencies {
-    implementation "org.checkerframework:checker:${versions.checkerFramework}"
-    implementation "org.checkerframework:checker-qual:${versions.checkerFramework}"
+    implementation "io.github.eisop:checker:${versions.eisopVersion}"
+    implementation "io.github.eisop:checker-qual:${versions.eisopVersion}"
 }
 
 task copySources(type: Copy) {

diff --git a/tests/templatefora/SubtypingTest.java b/tests/templatefora/SubtypingTest.java
@@ -5,7 +5,7 @@ class SubtypeTest {
   void allSubtypingRelationships(@TemplateforaUnknown int x, @TemplateforaBottom int y) {
     @TemplateforaUnknown int a = x;
     @TemplateforaUnknown int b = y;
-    // :: error: assignment
+    // :: error: (assignment.type.incompatible)
     @TemplateforaBottom int c = x; // expected error on this line
     @TemplateforaBottom int d = y;
   }