implemented PCLOC annotation.

[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 b5514b65eab9aae52f228c64b5b9bbc757d4c957..1b04d77a7cd58daed522e3244dcbe266da36aafd 100644 (file)
--- a/Robust/src/Analysis/SSJava/MethodLattice.java
+++ b/Robust/src/Analysis/SSJava/MethodLattice.java
@@ -7,9 +7,11 @@ 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) {
@@ -36,4 +38,12 @@ public class MethodLattice<T> extends SSJavaLattice<T> {
     return returnLoc;
   }
 
+  public T getPCLoc() {
+    return pcLoc;
+  }
+
+  public void setPCLoc(T pcLoc) {
+    this.pcLoc = pcLoc;
+  }
+
 }