From: stephey <stephey>
Date: Wed, 22 Sep 2010 11:55:29 +0000 (+0000)
Subject: Added getter method to get all effects (needed for RuntimeConflictResolver.java)
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=63e36fe68af68f952021b5ad9624525abc75fec8;p=IRC.git

Added getter method to get all effects (needed for RuntimeConflictResolver.java)
---

diff --git a/Robust/src/Analysis/Disjoint/EffectsAnalysis.java b/Robust/src/Analysis/Disjoint/EffectsAnalysis.java
index 9ee62fb5..43f210c8 100644
--- a/Robust/src/Analysis/Disjoint/EffectsAnalysis.java
+++ b/Robust/src/Analysis/Disjoint/EffectsAnalysis.java
@@ -290,4 +290,8 @@ public class EffectsAnalysis {
    * 
    * }
    */
+  
+  public Hashtable<Taint, Set<Effect>> getAllEffects() {
+    return taint2effects;
+  }
 }