Lines 23-26
Link Here
|
23 |
import java.util.MissingResourceException; |
23 |
import java.util.*; |
24 |
import java.util.Set; |
|
|
25 |
import java.util.Iterator; |
26 |
import java.util.HashSet; |
27 |
-- |
Line 151
Link Here
|
|
|
148 |
/** */ |
149 |
final static class LazySet implements Set { |
150 |
private Set obj_files; |
151 |
private boolean initialized = false; |
152 |
LazySet(Set obj_files) { |
153 |
this.obj_files = obj_files; |
154 |
} |
155 |
synchronized private void lazyInitialization() { |
156 |
if (!initialized) { |
157 |
Set transformedSet = new HashSet(); |
158 |
Utils.transformSet(obj_files, transformedSet); |
159 |
obj_files = transformedSet; |
160 |
initialized = true; |
161 |
} |
162 |
} |
163 |
public boolean add(Object o) { |
164 |
lazyInitialization(); |
165 |
return obj_files.add(o); |
166 |
} |
167 |
public boolean addAll(Collection c) { |
168 |
lazyInitialization(); |
169 |
return obj_files.addAll(c); |
170 |
} |
171 |
public void clear() { |
172 |
lazyInitialization(); |
173 |
obj_files.clear(); |
174 |
} |
175 |
public boolean contains(Object o) { |
176 |
lazyInitialization(); |
177 |
return obj_files.contains(o); |
178 |
} |
179 |
public boolean containsAll(Collection c) { |
180 |
lazyInitialization(); |
181 |
return obj_files.containsAll(c); |
182 |
} |
183 |
public boolean isEmpty() { |
184 |
lazyInitialization(); |
185 |
return obj_files.isEmpty(); |
186 |
} |
187 |
public Iterator iterator() { |
188 |
lazyInitialization(); |
189 |
return obj_files.iterator(); |
190 |
} |
191 |
public boolean remove(Object o) { |
192 |
lazyInitialization(); |
193 |
return obj_files.remove(o); |
194 |
} |
195 |
public boolean removeAll(Collection c) { |
196 |
lazyInitialization(); |
197 |
return obj_files.removeAll(c); |
198 |
} |
199 |
public boolean retainAll(Collection c) { |
200 |
lazyInitialization(); |
201 |
return obj_files.retainAll(c); |
202 |
} |
203 |
public int size() { |
204 |
lazyInitialization(); |
205 |
return obj_files.size(); |
206 |
} |
207 |
public Object[] toArray() { |
208 |
lazyInitialization(); |
209 |
return obj_files.toArray(); |
210 |
} |
211 |
public Object[] toArray(Object[] a) { |
212 |
lazyInitialization(); |
213 |
return obj_files.toArray(a); |
214 |
} |
215 |
} |