Add CI test for the templatefora-checker (#1048)

Co-authored-by: Werner Dietl <wdietl@gmail.com>
eisop · Jan 6, 2025 · f70c3f9 · f70c3f9
1 parent f97a80e
commit f70c3f9
Show file tree

Hide file tree

Showing 2 changed files with 41 additions and 0 deletions.
diff --git a/checker/bin-devel/test-misc.sh b/checker/bin-devel/test-misc.sh
@@ -16,6 +16,10 @@ PLUME_SCRIPTS="$SCRIPTDIR/.plume-scripts"
 "$GIT_SCRIPTS/git-clone-related" eisop checker-framework.demos
 ./gradlew :checker:demosTests --console=plain --warning-mode=all
 
+## Checker Framework templatefora-checker
+"$GIT_SCRIPTS/git-clone-related" eisop templatefora-checker
+./gradlew :checker:templateTests --console=plain --warning-mode=all
+
 status=0
 
 ## Code style and formatting

diff --git a/checker/build.gradle b/checker/build.gradle
@@ -355,6 +355,43 @@ task demosTests(dependsOn: assembleForJavac, group: 'Verification') {
     }
 }
 
+task templateTests(dependsOn: assembleForJavac, group: 'Verification') {
+    description = 'Test that the templatefora-checker is working as expected.'
+
+    def injected = project.objects.newInstance(InjectedExecOps)
+
+    doLast {
+        File templateforCheckerDir = new File(projectDir, '../../templatefora-checker');
+        if (!templateforCheckerDir.exists()) {
+            injected.execOps.exec {
+                workingDir file(templateforCheckerDir.toString() + '/../')
+                executable 'git'
+                args = [
+                    'clone',
+                    '--depth',
+                    '1',
+                    'https://github.com/eisop/templatefora-checker.git'
+                ]
+            }
+        } else {
+            injected.execOps.exec {
+                workingDir templateforCheckerDir
+                executable 'git'
+                args = [
+                    'pull',
+                    'https://github.com/eisop/templatefora-checker.git'
+                ]
+                ignoreExitValue = true
+            }
+        }
+        println "Running Gradle build in $templateforCheckerDir"
+        injected.execOps.exec {
+            workingDir = templateforCheckerDir
+            commandLine "./gradlew", "build"
+        }
+    }
+}
+
 task allNullnessTests(type: Test, group: 'Verification') {
     description = 'Run all JUnit tests for the Nullness Checker.'
     include '**/Nullness*.class'