This commit was manufactured by cvs2svn to create tag 'buildscript'.

[IRC.git] / Robust / src / Analysis / Locality / LocalityBinding.java

diff --git a/Robust/src/Analysis/Locality/LocalityBinding.java b/Robust/src/Analysis/Locality/LocalityBinding.java
deleted file mode 100644 (file)
index 01bbb8f..0000000
--- a/Robust/src/Analysis/Locality/LocalityBinding.java
+++ /dev/null
@@ -1,173 +0,0 @@
-package Analysis.Locality;
-import IR.MethodDescriptor;
-
-public class LocalityBinding {
-    private MethodDescriptor md;
-    private Integer[] isglobal;
-    private boolean isatomic;
-    private Integer isglobalreturn;
-    private Integer isglobalthis;
-    private LocalityBinding parent;
-    private boolean hasatomic;
-
-    public LocalityBinding(MethodDescriptor md, boolean atomic) {
-       this.md=md;
-       isglobal=new Integer[md.numParameters()];
-       isatomic=atomic;
-    }
-
-    public void setHasAtomic() {
-       hasatomic=true;
-    }
-
-    public boolean getHasAtomic() {
-       return hasatomic;
-    }
-
-    private static String globalToString(Integer g) {
-       if (g==LocalityAnalysis.GLOBAL)
-           return "G";
-       else if (g==LocalityAnalysis.LOCAL)
-           return "L";
-       else if (g==LocalityAnalysis.EITHER)
-           return "E";
-       else if (g==LocalityAnalysis.CONFLICT)
-           return "C";
-       else throw new Error();
-    }
-    
-    public String getSignature() {
-       if (md.getModifiers().isNative())
-           return "";
-       String st="_";
-       if (isatomic) {
-           st+="A";
-       } else
-           st+="N";
-       if (isglobalthis==null)
-           st+="N";
-       else
-           st+=globalToString(isglobalthis);
-       for(int i=0;i<isglobal.length;i++) {
-           st+=globalToString(isglobal[i]);
-       }
-       st+="_";
-       return st;
-    }
-
-    /* Use this for an explanation */
-    public void setParent(LocalityBinding lb) {
-       parent=lb;
-    }
-
-    public String getExplanation() {
-       if (parent==null)
-           return toString();
-       else
-           return parent.getExplanation()+"\n"+toString();
-    }
-
-    public String toString() {
-       String st=md.toString()+" ";
-       if (isglobalthis==null) {
-           st+="[static] ";
-       } else {
-           if (isglobalthis.equals(LocalityAnalysis.LOCAL))
-               st+="[local] ";
-           else if (isglobalthis.equals(LocalityAnalysis.GLOBAL))
-               st+="[global] ";
-           else if (isglobalthis.equals(LocalityAnalysis.EITHER))
-               st+="[either] ";
-           else if (isglobalthis.equals(LocalityAnalysis.CONFLICT))
-               st+="[conflict] ";
-       }
-       for(int i=0;i<isglobal.length;i++)
-           if (isglobal[i].equals(LocalityAnalysis.LOCAL))
-               st+="local ";
-           else if (isglobal[i].equals(LocalityAnalysis.GLOBAL))
-               st+="global ";
-           else if (isglobal[i].equals(LocalityAnalysis.EITHER))
-               st+="either ";
-           else if (isglobal[i].equals(LocalityAnalysis.CONFLICT))
-               st+="conflict ";
-       return st;
-    }
-
-    public void setGlobal(int i, Integer global) {
-       isglobal[i]=global;
-    }
-
-    public Integer isGlobal(int i) {
-       return isglobal[i];
-    }
-
-    public void setGlobalReturn(Integer global) {
-       isglobalreturn=global;
-    }
-
-    public Integer getGlobalReturn() {
-       return isglobalreturn;
-    }
-
-    public void setGlobalThis(Integer global) {
-       isglobalthis=global;
-    }
-
-    public Integer getGlobalThis() {
-       return isglobalthis;
-    }
-
-    public MethodDescriptor getMethod() {
-       return md;
-    }
-
-    public boolean isAtomic() {
-       return isatomic;
-    }
-
-    public boolean contextMatches(LocalityBinding lb) {
-       if (isglobal.length!=lb.isglobal.length)
-           return false;
-       for(int i=0;i<isglobal.length;i++)
-           if (!isglobal[i].equals(lb.isglobal[i]))
-               return false;
-       
-       if (isglobalthis==null) {
-           if (lb.isglobalthis!=null)
-               return false;
-       } else
-           if (!isglobalthis.equals(lb.isglobalthis))
-               return false;
-       return (isatomic==lb.isatomic);
-    }
-
-    public boolean equals(Object o) {
-       if (o instanceof LocalityBinding) {
-           LocalityBinding lb=(LocalityBinding)o;
-           if (md!=lb.md)
-               return false;
-
-           for(int i=0;i<isglobal.length;i++)
-               if (!isglobal[i].equals(lb.isglobal[i]))
-                   return false;
-
-           if (isglobalthis==null) {
-               if (lb.isglobalthis!=null)
-                   return false;
-           } else
-               if (!isglobalthis.equals(lb.isglobalthis))
-                   return false;
-           return (isatomic==lb.isatomic);
-       }
-       return false;
-    }
-
-    public int hashCode() {
-       int hashcode=md.hashCode();
-       for(int i=0;i<isglobal.length;i++) {
-           hashcode=hashcode*31+(isglobal[i].intValue());
-       }
-       hashcode=hashcode*31+(isatomic?1:0);
-       return hashcode;
-    }
-}