Use ImmutableSortedSets according to JSpecify release

eisop · Apr 3, 2024 · 801e5a4 · 801e5a4
1 parent 26dc4b8
commit 801e5a4
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 2 deletions.
diff --git a/src/test/java/conformance/NullnessJSpecifyConformanceTest.java b/src/test/java/conformance/NullnessJSpecifyConformanceTest.java
@@ -7,6 +7,8 @@
 import com.google.common.base.Splitter;
 import com.google.common.collect.ImmutableList;
 import com.google.common.collect.ImmutableSet;
+import com.google.common.collect.ImmutableSortedSet;
+
 import java.io.File;
 import java.io.IOException;
 import java.nio.file.Path;
@@ -76,7 +78,7 @@ public void conformanceTests() throws IOException {
    * @param deps the dependencies of the conformance tests.
    */
   private static ImmutableSet<ReportedFact> analyze(
-      Path testDir, ImmutableList<Path> files, ImmutableList<Path> deps) {
+      Path testDir, ImmutableSortedSet<Path> files, ImmutableList<Path> deps) {
     ImmutableSet<File> fileInputs = files.stream().map(Path::toFile).collect(toImmutableSet());
 
     ImmutableList<String> depsAsStrings =

diff --git a/src/test/resources/jspecify-conformance-test-report.txt b/src/test/resources/jspecify-conformance-test-report.txt
@@ -1,4 +1,4 @@
-# 14 pass; 100 fail; 114 total; 12.3% score
+# 14 pass; 100 fail; 114 total; 12,3% score
 FAIL: Basic.java:28:test:expression-type:Object?:nullable
 FAIL: Basic.java:28:test:sink-type:Object!:return
 FAIL: Basic.java:28:test:cannot-convert:Object? to Object!