correct updatedAddedTargetFilesForPotentialEnum return value

njit-jerse · Nov 6, 2024 · 8689f0f · 8689f0f
1 parent 3ec9d29
commit 8689f0f
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/src/main/java/org/checkerframework/specimin/SpeciminRunner.java b/src/main/java/org/checkerframework/specimin/SpeciminRunner.java
@@ -237,10 +237,10 @@ private static void performMinimizationImpl(
     Map<String, String> nonPrimaryClassesToPrimaryClass = new HashMap<>();
     SourceRoot sourceRoot = new SourceRoot(Path.of(root));
     sourceRoot.tryToParse();
-    //getCompilationUnits does not seem to include all files, causing some to be deleted
+    // getCompilationUnits does not seem to include all files, causing some to be deleted
     for (ParseResult<CompilationUnit> res : sourceRoot.getCache()) {
       CompilationUnit compilationUnit =
-          res.getResult().orElseThrow(() -> new RuntimeException("" + res.getProblems()));
+          res.getResult().orElseThrow(() -> new RuntimeException(res.getProblems().toString()));
       Path pathOfCurrentJavaFile =
           compilationUnit.getStorage().get().getPath().toAbsolutePath().normalize();
       String primaryTypeQualifiedName = "";

diff --git a/src/main/java/org/checkerframework/specimin/UnsolvedSymbolVisitor.java b/src/main/java/org/checkerframework/specimin/UnsolvedSymbolVisitor.java
@@ -1589,7 +1589,7 @@ public boolean updatedAddedTargetFilesForPotentialEnum(FieldAccessExpr expr) {
     }
     if (resolved.isEnumConstant()) {
       if (JavaLangUtils.inJdkPackage(resolved.getType().describe())) {
-        return true;
+        return false;
       }
       String filePathName = qualifiedNameToFilePath(resolved.getType().describe());
       if (!addedTargetFiles.contains(filePathName)) {