From e188aa3f962df621fc49097418959c7d00ce9969 Mon Sep 17 00:00:00 2001
From: bd-912 <bdunahu@colostate.edu>
Date: Fri, 19 Apr 2024 19:36:03 -0600
Subject: Global PrintFilter -> MinimalLogger

---
 misc/PPrinter.java | 18 ++++++++++++------
 1 file changed, 12 insertions(+), 6 deletions(-)

(limited to 'misc/PPrinter.java')

diff --git a/misc/PPrinter.java b/misc/PPrinter.java
index eff2357..ad2842a 100644
--- a/misc/PPrinter.java
+++ b/misc/PPrinter.java
@@ -13,12 +13,16 @@ public class PPrinter<R,A> extends GJDepthFirst<R,A> {
     private int offset;
 
     private void printNode(Node n, A argu) {
+        String str = "";
         for (int i=0; i < this.offset; ++i)
-            PrintFilter.print(".", false);
-        PrintFilter.print(n.getClass().getSimpleName(), true);
+            str += ".";
+        MinimalLogger.info(String.format("%s%s",
+                                         str,
+                                         n.getClass().getSimpleName()));
         ++this.offset;
     }
 
+
     //
     // User-generated visitor methods below
     //
@@ -725,11 +729,13 @@ public class PPrinter<R,A> extends GJDepthFirst<R,A> {
     }
 
     public R visit(NodeToken n, A argu) {
+        String str = "";
         for (int i=0; i < this.offset; ++i)
-            PrintFilter.print(".", false);
-        PrintFilter.print(n.getClass().getSimpleName() +
-			  " => " +
-			  n.toString(), true);
+            str += ".";
+        MinimalLogger.info(String.format("%s%s => %s",
+                                         str,
+                                         n.getClass().getSimpleName(),
+                                         n.toString()));
         R _ret=null;
         return _ret;
     }
-- 
cgit v1.2.3