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 1b04d77a7cd58daed522e3244dcbe266da36aafd..88eb7b70f17088c1b4754ce1b30b6c12ad742750 100644 (file)
--- a/Robust/src/Analysis/SSJava/MethodLattice.java
+++ b/Robust/src/Analysis/SSJava/MethodLattice.java
@@ -1,17 +1,13 @@
 package Analysis.SSJava;
 
-import IR.MethodDescriptor;
-
 public class MethodLattice<T> extends SSJavaLattice<T> {
 
   private T thisLoc;
   private T globalLoc;
   private T returnLoc;
-  private T pcLoc;
 
   public MethodLattice(T top, T bottom) {
     super(top, bottom);
-    pcLoc = top;
   }
 
   public void setThisLoc(T thisLoc) {
@@ -38,12 +34,4 @@ public class MethodLattice<T> extends SSJavaLattice<T> {
     return returnLoc;
   }
 
-  public T getPCLoc() {
-    return pcLoc;
-  }
-
-  public void setPCLoc(T pcLoc) {
-    this.pcLoc = pcLoc;
-  }
-
 }