X-Git-Url: http://plrg.eecs.uci.edu/git/?p=IRC.git;a=blobdiff_plain;f=Robust%2Fsrc%2FAnalysis%2FMLP%2FMethodSummary.java;h=b86081fc14038fdbb21e7f209331bfe3bab7673b;hp=303eb97d925334f073fb2b1b88c60c955509952b;hb=49fa81cd8913dc419ed94afc24981ed8ee4b8cf2;hpb=faa93add7e1b5a35415690debe651badf899367b

diff --git a/Robust/src/Analysis/MLP/MethodSummary.java b/Robust/src/Analysis/MLP/MethodSummary.java
index 303eb97d..b86081fc 100644
--- a/Robust/src/Analysis/MLP/MethodSummary.java
+++ b/Robust/src/Analysis/MLP/MethodSummary.java
@@ -2,8 +2,7 @@ package Analysis.MLP;
 
 import java.util.HashSet;
 import java.util.Iterator;
-
-import IR.TypeDescriptor;
+import java.util.Set;
 
 public class MethodSummary {
 	
@@ -15,12 +14,24 @@ public class MethodSummary {
 	private HashSet<PreEffectsKey> effectsSet;
 	private Integer accessibility;
 	private StallSite returnStallSite;
+	private HashSet<Integer> stallParamIdxSet;
 
 	public MethodSummary() {
 		effectsSet = new HashSet<PreEffectsKey>();
 		accessibility = MethodSummary.VOID;
 		childSESECount = 0;
 		returnStallSite=null;
+		stallParamIdxSet=new HashSet<Integer>();
+	}
+	
+	public HashSet<Integer> getStallParamIdxSet(){
+		return stallParamIdxSet;
+	}
+	
+	public void addStallParamIdxSet(Set<Integer> newSet){
+		if(newSet!=null){
+			stallParamIdxSet.addAll(newSet);
+		}
 	}
 	
 	public void setReturnStallSite(StallSite ss){