From 543cff69f2e2d5c96140149f994299791005a420 Mon Sep 17 00:00:00 2001
From: bd-912 <bdunahu@colostate.edu>
Date: Sat, 20 Apr 2024 14:17:31 -0600
Subject: Incorporate function parameters in Reachability

---
 vaporize/library/CFGNode.java | 11 +++++++++++
 1 file changed, 11 insertions(+)

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

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;
     }
-- 
cgit v1.2.3