changes to reflect ssjava design changes and temporarily remove some of ssjava class...

[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 bbc257ad3e65b3acc48ae920fc251cf0ea0275e3..7b8d862045e37c8fa759aa79ce75ac9f065c85c7 100644 (file)
--- a/Robust/src/Analysis/SSJava/SSJavaLattice.java
+++ b/Robust/src/Analysis/SSJava/SSJavaLattice.java
@@ -6,6 +6,9 @@ import java.util.Set;
 import Util.Lattice;
 
 public class SSJavaLattice<T> extends Lattice<T> {
+  
+  public static final String TOP="_top_";
+  public static final String BOTTOM="_bottom_";
 
   Set<T> spinLocSet;