From: stephey <stephey>
Date: Wed, 7 Jul 2010 21:56:49 +0000 (+0000)
Subject: public VariableNode getVariableNodeNoMutation( TempDescriptor td ) was added for... 
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=c7acf7a7bdd3bc1f0eb8e7e56e5ad82cc6023145;p=IRC.git

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.
---

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 );
   }