Incorporate function parameters in Reachability

1 files changed, 11 insertions, 0 deletions

diff --git a/vaporize/library/CFGNode.java b/vaporize/library/CFGNode.java
index 9d627a0..aefcd28 100644
--- a/vaporize/library/CFGNode.java
+++ b/vaporize/library/CFGNode.java
@@ -59,6 +59,13 @@ class CFGNode {
         this.reaching.add(add);
     }
 
+    protected void addLive(String add) {
+        MinimalLogger.info(String.format("Use %s at %s",
+                                         add,
+                                         this.line));
+        this.liveness.add(add);
+    }
+
     protected Node getInstruction() {
         return this.instruction;
     }
@@ -75,6 +82,10 @@ class CFGNode {
         return this.reaching;
     }
 
+    protected HashSet<String> getLiveness() {
+        return this.liveness;
+    }
+
     protected int getLine() {
         return this.line;
     }