DASCA
/
WALA
2
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

equals for OrdinalSets

This commit is contained in:
Juergen Graf 2012-07-17 17:44:03 +02:00
parent 4648f0404a
commit 4ff1211dad
1 changed files with 19 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

19
com.ibm.wala.util/src/com/ibm/wala/util/intset/OrdinalSet.java
View File

@ -99,6 +99,25 @@ public class OrdinalSet<T> implements Iterable<T> {
return new OrdinalSet<T>(isect, A.mapping);
}
/** BEGIN Custom change: equals for OrdinalSets */
/**
* @return true if the contents of two sets are equal
*/
public static <T> boolean equals(OrdinalSet<T> a, OrdinalSet<T> b) {
if (a == null && b == null) {
return true;
}
if (a != null && b != null && a.size() == b.size()) {
if (a.mapping == b.mapping || (a.mapping != null && b.mapping != null && a.mapping.equals(b.mapping))) {
return a.S == b.S || (a.S != null && b.S != null && a.S.sameValue(b.S));
}
}
return false;
}
/** END Custom change: equals for OrdinalSets */
/**
* Creates the union of two ordinal sets.
*