diff options
Diffstat (limited to 'misc')
| -rw-r--r-- | misc/PPrinter.java | 18 | ||||
| -rw-r--r-- | misc/PrintFilter.java | 15 |
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(); - } - } - -} |