From 27de8a34f346cddef322c7b65555ddb803532d74 Mon Sep 17 00:00:00 2001
From: bd-912 <bdunahu@colostate.edu>
Date: Tue, 16 Apr 2024 16:45:30 -0600
Subject: Make symt a class variable in BoilSimp

---
 vaporize/library/ControlFlowGraph.java | 42 +++++++++++++++++++++++++++-------
 1 file changed, 34 insertions(+), 8 deletions(-)

(limited to 'vaporize/library/ControlFlowGraph.java')

diff --git a/vaporize/library/ControlFlowGraph.java b/vaporize/library/ControlFlowGraph.java
index 0153b38..787ef8f 100644
--- a/vaporize/library/ControlFlowGraph.java
+++ b/vaporize/library/ControlFlowGraph.java
@@ -7,35 +7,61 @@ import java.util.*;
 
 public class ControlFlowGraph<P, R> extends VInstr.VisitorPR<P, R, RuntimeException> {
 
-    public R visit(P p, VMemRead r) throws RuntimeException {
+
+    public R visit(P p, VMemRead n) throws RuntimeException {
+        PrintFilter.print(String.format("%s (%s)",
+                                        n.getClass().getSimpleName(),
+                                        n.sourcePos.toString()), true);
         return null;
     }
 
-    public R visit(P p, VMemWrite w) throws RuntimeException {
+    public R visit(P p, VMemWrite n) throws RuntimeException {
+        PrintFilter.print(String.format("%s (%s)",
+                                        n.getClass().getSimpleName(),
+                                        n.sourcePos.toString()), true);
         return null;
     }
 
-    public R visit(P p, VAssign a) throws RuntimeException {
+    public R visit(P p, VAssign n) throws RuntimeException {
+        PrintFilter.print(String.format("%s (%s)",
+                                        n.getClass().getSimpleName(),
+                                        n.sourcePos.toString()), true);
         return null;
     }
 
-    public R visit(P p, VBranch b) throws RuntimeException {
+    public R visit(P p, VBranch n) throws RuntimeException {
+        PrintFilter.print(String.format("%s (%s)",
+                                        n.getClass().getSimpleName(),
+                                        n.sourcePos.toString()), true);
         return null;
     }
 
-    public R visit(P p, VGoto g) throws RuntimeException {
+    public R visit(P p, VGoto n) throws RuntimeException {
+        PrintFilter.print(String.format("%s (%s)",
+                                        n.getClass().getSimpleName(),
+                                        n.sourcePos.toString()), true);
         return null;
     }
 
-    public R visit(P p, VCall c) throws RuntimeException {
+    public R visit(P p, VCall n) throws RuntimeException {
+        PrintFilter.print(String.format("%s (%s)",
+                                        n.getClass().getSimpleName(),
+                                        n.sourcePos.toString()), true);
         return null;
     }
 
-    public R visit(P p, VBuiltIn c) throws RuntimeException {
+    public R visit(P p, VBuiltIn n) throws RuntimeException {
+        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 r) throws RuntimeException {
+    public R visit(P p, VReturn n) throws RuntimeException {
+        PrintFilter.print(String.format("%s (%s)",
+                                        n.getClass().getSimpleName(),
+                                        n.sourcePos.toString()), true);
         return null;
     }
 
-- 
cgit v1.2.3