public VariableNode getVariableNodeNoMutation( TempDescriptor td ) was added for...

diff --git a/Robust/src/Analysis/Disjoint/ReachGraph.java b/Robust/src/Analysis/Disjoint/ReachGraph.java
index 51f83fe0e9c73485ad8ec250e10cf206f45242fb..7794af4a01bccb851fce57f34d108430658534d6 100644 (file)
--- 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 );
   }