diff options
Diffstat (limited to 'vaporize/library')
| -rw-r--r-- | vaporize/library/TotalSpill.java | 37 |
1 files changed, 25 insertions, 12 deletions
diff --git a/vaporize/library/TotalSpill.java b/vaporize/library/TotalSpill.java index 9af45ea..cd75712 100644 --- a/vaporize/library/TotalSpill.java +++ b/vaporize/library/TotalSpill.java @@ -8,47 +8,60 @@ import java.util.*; public class TotalSpill<P, R> extends VInstr.VisitorPR<P, R, RuntimeException> { - private void printNode(P p, Node n) { - PrintFilter.print(n.getClass().getSimpleName(), true); - } - public R visit(P p, VMemRead n) throws RuntimeException { - this.printNode(p, n); + PrintFilter.print(String.format("%s (%s)", + n.getClass().getSimpleName(), + n.sourcePos.toString()), true); return null; } public R visit(P p, VMemWrite n) throws RuntimeException { - this.printNode(p, n); + PrintFilter.print(String.format("%s (%s)", + n.getClass().getSimpleName(), + n.sourcePos.toString()), true); return null; } public R visit(P p, VAssign n) throws RuntimeException { - this.printNode(p, n); + PrintFilter.print(String.format("%s (%s)", + n.getClass().getSimpleName(), + n.sourcePos.toString()), true); return null; } public R visit(P p, VBranch n) throws RuntimeException { - this.printNode(p, n); + PrintFilter.print(String.format("%s (%s)", + n.getClass().getSimpleName(), + n.sourcePos.toString()), true); return null; } public R visit(P p, VGoto n) throws RuntimeException { - this.printNode(p, n); + PrintFilter.print(String.format("%s (%s)", + n.getClass().getSimpleName(), + n.sourcePos.toString()), true); return null; } public R visit(P p, VCall n) throws RuntimeException { - this.printNode(p, n); + PrintFilter.print(String.format("%s (%s)", + n.getClass().getSimpleName(), + n.sourcePos.toString()), true); return null; } public R visit(P p, VBuiltIn n) throws RuntimeException { - this.printNode(p, n); + PrintFilter.print(String.format("%s (%s:%s)", + n.getClass().getSimpleName(), + n.op.name, + n.sourcePos.toString()), true); return null; } public R visit(P p, VReturn n) throws RuntimeException { - this.printNode(p, n); + PrintFilter.print(String.format("%s (%s)", + n.getClass().getSimpleName(), + n.sourcePos.toString()), true); return null; } |