forked from soot-oss/soot
-
Notifications
You must be signed in to change notification settings - Fork 1
Expand file tree
/
Copy pathSharedBitSet.java
More file actions
114 lines (99 loc) · 2.62 KB
/
SharedBitSet.java
File metadata and controls
114 lines (99 loc) · 2.62 KB
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
package soot.util;
/*-
* #%L
* Soot - a J*va Optimization Framework
* %%
* Copyright (C) 2003 Ondrej Lhotak
* %%
* This program is free software: you can redistribute it and/or modify
* it under the terms of the GNU Lesser General Public License as
* published by the Free Software Foundation, either version 2.1 of the
* License, or (at your option) any later version.
*
* This program is distributed in the hope that it will be useful,
* but WITHOUT ANY WARRANTY; without even the implied warranty of
* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
* GNU General Lesser Public License for more details.
*
* You should have received a copy of the GNU General Lesser Public
* License along with this program. If not, see
* <http://www.gnu.org/licenses/lgpl-2.1.html>.
* #L%
*/
public final class SharedBitSet {
BitVector value;
boolean own = true;
public SharedBitSet(int i) {
this.value = new BitVector(i);
}
public SharedBitSet() {
this(32);
}
private void acquire() {
if (own) {
return;
}
own = true;
value = (BitVector) value.clone();
}
private void canonicalize() {
value = SharedBitSetCache.v().canonicalize(value);
own = false;
}
public boolean set(int bit) {
acquire();
return value.set(bit);
}
public void clear(int bit) {
acquire();
value.clear(bit);
}
public boolean get(int bit) {
return value.get(bit);
}
public void and(SharedBitSet other) {
if (own) {
value.and(other.value);
} else {
value = BitVector.and(value, other.value);
own = true;
}
canonicalize();
}
public void or(SharedBitSet other) {
if (own) {
value.or(other.value);
} else {
value = BitVector.or(value, other.value);
own = true;
}
canonicalize();
}
public boolean orAndAndNot(SharedBitSet orset, SharedBitSet andset, SharedBitSet andnotset) {
acquire();
boolean ret = value.orAndAndNot(orset.value, andset.value, andnotset.value);
canonicalize();
return ret;
}
public boolean orAndAndNot(SharedBitSet orset, BitVector andset, SharedBitSet andnotset) {
acquire();
boolean ret = value.orAndAndNot(orset.value, andset, andnotset == null ? null : andnotset.value);
canonicalize();
return ret;
}
public BitSetIterator iterator() {
return value.iterator();
}
@Override
public String toString() {
StringBuilder b = new StringBuilder();
for (BitSetIterator it = iterator(); it.hasNext();) {
int next = it.next();
b.append(next);
if (it.hasNext()) {
b.append(',');
}
}
return b.toString();
}
}