Debugging

eisop · Aug 8, 2024 · 9e10cd8 · 9e10cd8
1 parent 45063ed
commit 9e10cd8
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 2 deletions.
diff --git a/dataflow/src/main/java/org/checkerframework/dataflow/cfg/CFGProcessor.java b/dataflow/src/main/java/org/checkerframework/dataflow/cfg/CFGProcessor.java
@@ -113,7 +113,7 @@ public Void visitMethod(MethodTree tree, Void p) {
                     // Stop execution by throwing an exception. This makes sure that compilation
                     // does not proceed, and thus the AST is not modified by further phases of the
                     // compilation (and we save the work to do the compilation).
-                    throw new RuntimeException();
+                    throw new RuntimeException("CFGProcessor found suitable method");
                 }
                 return null;
             }

diff --git a/javacutil/src/main/java/org/checkerframework/javacutil/BasicTypeProcessor.java b/javacutil/src/main/java/org/checkerframework/javacutil/BasicTypeProcessor.java
@@ -37,9 +37,10 @@ public void typeProcess(TypeElement e, TreePath p) {
             System.err.println(
                     "BasicTypeProcessor.typeProcess: unexpected Throwable ("
                             + t.getClass().getSimpleName()
-                            + ")  when processing "
+                            + ") when processing "
                             + currentRoot.getSourceFile().getName()
                             + (t.getMessage() != null ? "; message: " + t.getMessage() : ""));
         }
+        System.err.println("BasicTypeProcessor done with element: " + e);
     }
 }