Fix bug rendering file trees in workspaces

ascopes · ascopes · commit 7b4abe3b644c · 2025-01-09T09:15:58.000Z
diff --git a/java-compiler-testing/src/main/java/io/github/ascopes/jct/workspaces/impl/WorkspaceDumper.java b/java-compiler-testing/src/main/java/io/github/ascopes/jct/workspaces/impl/WorkspaceDumper.java
@@ -115,6 +115,7 @@ public FileVisitResult postVisitDirectory(
     public FileVisitResult visitFile(Path file, BasicFileAttributes attrs) throws IOException {
       doIndent();
       appendable.append(file.getFileName().toString()).append("\n");
+      ++index;
       return super.visitFile(file, attrs);
     }
 

Original file line number	Diff line number	Diff line change
`@@ -115,6 +115,7 @@ public FileVisitResult postVisitDirectory(`
`115`	`115`	`public FileVisitResult visitFile(Path file, BasicFileAttributes attrs) throws IOException {`
`116`	`116`	`doIndent();`
`117`	`117`	`appendable.append(file.getFileName().toString()).append("\n");`
	`118`	`+ ++index;`
`118`	`119`	`return super.visitFile(file, attrs);`
`119`	`120`	`}`
`120`	`121`