Use EISOP CF sources

[wmdietl]

As discussed, this is an attempt to break down the changes into smaller PRs.

The scripts should try to clone eisop/checker-framework automatically. If you already have a fork of the CF, it will use that, so you'll need to either update that fork or manually clone the CF first.

After this, ./gradlew test should work, so everything should compile and a minimal sanity check passes. Neither the conformance tests nor the samples will work as well as before. The goal is to have more PRs in the future that will break less and less.

[wmdietl]

The remaining build failure seems to be caused by this line.

> Task :checker-framework:framework:copyAndMinimizeAnnotatedJdkFiles
Error: Exception in thread "main" java.lang.NoClassDefFoundError: org/checkerframework/javacutil/BugInCF
	at org.checkerframework.framework.stub.JavaStubifier.process(JavaStubifier.java:73)
	at org.checkerframework.framework.stub.JavaStubifier.main(JavaStubifier.java:58)
Caused by: java.lang.ClassNotFoundException: org.checkerframework.javacutil.BugInCF
	at java.base/jdk.internal.loader.BuiltinClassLoader.loadClass(BuiltinClassLoader.java:641)
	at java.base/jdk.internal.loader.ClassLoaders$AppClassLoader.loadClass(ClassLoaders.java:188)
	at java.base/java.lang.ClassLoader.loadClass(ClassLoader.java:525)
	... 2 more

> Task :checker-framework:framework:copyAndMinimizeAnnotatedJdkFiles FAILED

It seems to not find the CF classes, likely because sourceSets.main.runtimeClasspath refers to the jspecify-reference-checker classpath instead of the CF classpath.

Does somebody know how to refer to the correct project in gradle?

[wmdietl]

Does somebody know how to refer to the correct project in gradle?

eisop/checker-framework#654 should fix the issue.

[wmdietl]

Does somebody know how to refer to the correct project in gradle?

eisop/checker-framework#654 should fix the issue.

That worked!

[wmdietl]

Final status of conformance tests:

tests.ConformanceTest > checkConformance FAILED
    expected:
        # 10 pass; 6 fail; 16 total; 62.5% score
    but was:
        # 4 pass; 12 fail; 16 total; 25.0% score

and a snippet of the samples failures:

tests.NullSpecTest$Lenient > run[/home/runner/work/jspecify-reference-checker/jspecify/samples] FAILED
    java.lang.AssertionError: 1134 out of 1225 expected diagnostics were found.
    25 unexpected diagnostics were found:
....
    91 expected diagnostics were not found:
....
tests.NullSpecTest$Strict > run[/home/runner/work/jspecify-reference-checker/jspecify/samples] FAILED
    java.lang.AssertionError: 1169 out of 1225 expected diagnostics were found.
    350 unexpected diagnostics were found:
....
    56 expected diagnostics were not found:
....