X-Git-Url: http://plrg.eecs.uci.edu/git/?a=blobdiff_plain;f=Robust%2Fsrc%2FAnalysis%2FLocality%2FLocalityBinding.java;h=d10d9b28de9c8f9e0b18e73f801627ae573690a1;hb=refs%2Ftags%2Fbuildscript;hp=9dd6af0eb886a49b9e028f4ce65f38fdec381b8a;hpb=4b188fd7715dc5e14068f9e82f311f62a116171f;p=IRC.git

diff --git a/Robust/src/Analysis/Locality/LocalityBinding.java b/Robust/src/Analysis/Locality/LocalityBinding.java
deleted file mode 100644
index 9dd6af0e..00000000
--- a/Robust/src/Analysis/Locality/LocalityBinding.java
+++ /dev/null
@@ -1,158 +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() {
-	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()+" ";
-	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;
-    }
-}