1 package Analysis.Locality;
2 import IR.MethodDescriptor;
4 public class LocalityBinding {
5 private MethodDescriptor md;
6 private Integer[] isglobal;
7 private boolean isatomic;
8 private Integer isglobalreturn;
9 private Integer isglobalthis;
10 private LocalityBinding parent;
11 private boolean hasatomic;
13 public LocalityBinding(MethodDescriptor md, boolean atomic) {
15 isglobal=new Integer[md.numParameters()];
19 public void setHasAtomic() {
23 public boolean getHasAtomic() {
27 private static String globalToString(Integer g) {
28 if (g==LocalityAnalysis.GLOBAL)
30 else if (g==LocalityAnalysis.LOCAL)
32 else if (g==LocalityAnalysis.EITHER)
34 else if (g==LocalityAnalysis.CONFLICT)
36 else throw new Error();
39 public String getSignature() {
45 if (isglobalthis==null)
48 st+=globalToString(isglobalthis);
49 for(int i=0;i<isglobal.length;i++) {
50 st+=globalToString(isglobal[i]);
56 /* Use this for an explanation */
57 public void setParent(LocalityBinding lb) {
61 public String getExplanation() {
65 return parent.getExplanation()+"\n"+toString();
68 public String toString() {
69 String st=md.toString()+" ";
70 for(int i=0;i<isglobal.length;i++)
71 if (isglobal[i].equals(LocalityAnalysis.LOCAL))
73 else if (isglobal[i].equals(LocalityAnalysis.GLOBAL))
75 else if (isglobal[i].equals(LocalityAnalysis.EITHER))
77 else if (isglobal[i].equals(LocalityAnalysis.CONFLICT))
82 public void setGlobal(int i, Integer global) {
86 public Integer isGlobal(int i) {
90 public void setGlobalReturn(Integer global) {
91 isglobalreturn=global;
94 public Integer getGlobalReturn() {
95 return isglobalreturn;
98 public void setGlobalThis(Integer global) {
102 public Integer getGlobalThis() {
106 public MethodDescriptor getMethod() {
110 public boolean isAtomic() {
114 public boolean contextMatches(LocalityBinding lb) {
115 if (isglobal.length!=lb.isglobal.length)
117 for(int i=0;i<isglobal.length;i++)
118 if (!isglobal[i].equals(lb.isglobal[i]))
121 if (isglobalthis==null) {
122 if (lb.isglobalthis!=null)
125 if (!isglobalthis.equals(lb.isglobalthis))
127 return (isatomic==lb.isatomic);
130 public boolean equals(Object o) {
131 if (o instanceof LocalityBinding) {
132 LocalityBinding lb=(LocalityBinding)o;
135 for(int i=0;i<isglobal.length;i++)
136 if (!isglobal[i].equals(lb.isglobal[i]))
139 if (isglobalthis==null) {
140 if (lb.isglobalthis!=null)
143 if (!isglobalthis.equals(lb.isglobalthis))
145 return (isatomic==lb.isatomic);
150 public int hashCode() {
151 int hashcode=md.hashCode();
152 for(int i=0;i<isglobal.length;i++) {
153 hashcode=hashcode*31+(isglobal[i].intValue());
155 hashcode=hashcode*31+(isatomic?1:0);