From 63e36fe68af68f952021b5ad9624525abc75fec8 Mon Sep 17 00:00:00 2001
From: stephey <stephey>
Date: Wed, 22 Sep 2010 11:55:29 +0000
Subject: [PATCH] Added getter method to get all effects (needed for
 RuntimeConflictResolver.java)

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

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;
+  }
 }
-- 
2.34.1