Improve diagnostics (#6929)

typetools · Dec 17, 2024 · 976cf08 · 976cf08
1 parent f8f11f7
commit 976cf08
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 5 deletions.
diff --git a/...ework/src/main/java/org/checkerframework/framework/ajava/JointJavacJavaParserVisitor.java b/...ework/src/main/java/org/checkerframework/framework/ajava/JointJavacJavaParserVisitor.java
@@ -2368,12 +2368,12 @@ public abstract void processCompoundAssignment(
   private void visitLists(List<? extends Tree> javacTrees, List<? extends Node> javaParserNodes) {
     if (javacTrees.size() != javaParserNodes.size()) {
       throw new BugInCF(
-          "%s.visitLists(%s [size %d], %s [size %d])",
+          "%s.visitLists([sizes %d, %d] %s, %s)",
           this.getClass().getCanonicalName(),
-          javacTrees,
           javacTrees.size(),
-          javaParserNodes,
-          javaParserNodes.size());
+          javaParserNodes.size(),
+          javacTrees,
+          javaParserNodes);
     }
     Iterator<? extends Node> nodeIter = javaParserNodes.iterator();
     for (Tree tree : javacTrees) {

diff --git a/framework/src/main/java/org/checkerframework/framework/source/SourceChecker.java b/framework/src/main/java/org/checkerframework/framework/source/SourceChecker.java
@@ -740,7 +740,7 @@ protected void setParentChecker(SourceChecker parentChecker) {
    */
   @SuppressWarnings("interning:assignment") // used in == tests
   public void setRoot(CompilationUnitTree newRoot) {
-    this.currentRoot = newRoot;
+    currentRoot = newRoot;
     visitor.setRoot(currentRoot);
     if (parentChecker == null) {
       // Only clear the path cache if this is the main checker.