Global PrintFilter -> MinimalLogger

2 files changed, 12 insertions, 21 deletions

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;
     }
diff --git a/misc/PrintFilter.java b/misc/PrintFilter.java
deleted file mode 100644
index 971ef04..0000000
--- a/misc/PrintFilter.java
+++ /dev/null
@@ -1,15 +0,0 @@
-package misc;
-
-
-public class PrintFilter {
-
-    public static void print(String message, boolean newline) {
-        boolean debug = true;
-        if (debug) {
-            System.out.print(message);
-            if (newline)
-                System.out.println();
-        }
-    }
-
-}