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 095c736e83c54248cbfa31831d855d3bb60356f6..88eb7b70f17088c1b4754ce1b30b6c12ad742750 100644 (file)
--- 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;
+  }
+
 }