X-Git-Url: http://plrg.eecs.uci.edu/git/?a=blobdiff_plain;f=Robust%2Fsrc%2FAnalysis%2FSSJava%2FMethodLattice.java;h=88eb7b70f17088c1b4754ce1b30b6c12ad742750;hb=bb1740841625c379adb5c9220b165109adc13650;hp=095c736e83c54248cbfa31831d855d3bb60356f6;hpb=100445a0803f91bd20b9e490755a75ec8fb35365;p=IRC.git

diff --git a/Robust/src/Analysis/SSJava/MethodLattice.java b/Robust/src/Analysis/SSJava/MethodLattice.java
index 095c736e..88eb7b70 100644
--- a/Robust/src/Analysis/SSJava/MethodLattice.java
+++ b/Robust/src/Analysis/SSJava/MethodLattice.java
@@ -4,6 +4,7 @@ public class MethodLattice<T> extends SSJavaLattice<T> {
 
   private T thisLoc;
   private T globalLoc;
+  private T returnLoc;
 
   public MethodLattice(T top, T bottom) {
     super(top, bottom);
@@ -25,4 +26,12 @@ public class MethodLattice<T> extends SSJavaLattice<T> {
     return globalLoc;
   }
 
+  public void setReturnLoc(T returnLoc) {
+    this.returnLoc = returnLoc;
+  }
+
+  public T getReturnLoc() {
+    return returnLoc;
+  }
+
 }