From c7acf7a7bdd3bc1f0eb8e7e56e5ad82cc6023145 Mon Sep 17 00:00:00 2001
From: stephey <stephey>
Date: Wed, 7 Jul 2010 21:56:49 +0000
Subject: [PATCH] public VariableNode getVariableNodeNoMutation( TempDescriptor
 td ) was added for client modules to access the Reachgraph after the analysis
 is done and no modifications are to be made by the client module.

---
 Robust/src/Analysis/Disjoint/ReachGraph.java | 12 ++++++++++++
 1 file changed, 12 insertions(+)

diff --git a/Robust/src/Analysis/Disjoint/ReachGraph.java b/Robust/src/Analysis/Disjoint/ReachGraph.java
index 51f83fe0..7794af4a 100644
--- a/Robust/src/Analysis/Disjoint/ReachGraph.java
+++ b/Robust/src/Analysis/Disjoint/ReachGraph.java
@@ -64,6 +64,18 @@ public class ReachGraph {
     return td2vn.get( td );
   }
 
+  //This method is created for client modules to access the Reachgraph 
+  //after the analysis is done and no modifications are to be made.
+  public VariableNode getVariableNodeNoMutation( TempDescriptor td ) {
+    assert td != null;
+
+    if( !td2vn.containsKey( td ) ) {
+      return null;
+    }
+
+    return td2vn.get( td );
+  }
+  
   public boolean hasVariable( TempDescriptor td ) {
     return td2vn.containsKey( td );
   }
-- 
2.34.1