Allow to declare a composite location for the initial program counter location.

[IRC.git] / Robust / src / Analysis / SSJava / MethodLattice.java

diff --git a/Robust/src/Analysis/SSJava/MethodLattice.java b/Robust/src/Analysis/SSJava/MethodLattice.java
index 39a9b461939c3ca42ef6c7e24120158a3b108222..88eb7b70f17088c1b4754ce1b30b6c12ad742750 100644 (file)
--- a/Robust/src/Analysis/SSJava/MethodLattice.java
+++ b/Robust/src/Analysis/SSJava/MethodLattice.java
@@ -1,11 +1,10 @@
 package Analysis.SSJava;
 
-import Util.Lattice;
-
 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);
@@ -27,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;
+  }
+
 }