changes on the SJava inference

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

diff --git a/Robust/src/Analysis/SSJava/SSJavaLattice.java b/Robust/src/Analysis/SSJava/SSJavaLattice.java
index e0dec6cb09d86b3a3c56acae0e3942520a1742bc..cbbae46c8ffb2ae6a59c547a615a10bbd6fcb8ff 100644 (file)
--- a/Robust/src/Analysis/SSJava/SSJavaLattice.java
+++ b/Robust/src/Analysis/SSJava/SSJavaLattice.java
@@ -29,4 +29,11 @@ public class SSJavaLattice<T> extends Lattice<T> {
     return sharedLocSet.contains(loc);
   }
 
+  public boolean addRelationHigherToLower(T higher, T lower) {
+
+    System.out.println("add a relation: " + lower + "<" + higher);
+
+    return put(higher, lower);
+  }
+
 }