mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 10:03:11 +07:00
racey code fix
This commit is contained in:
@@ -316,23 +316,17 @@ public class FindUsagesManager implements JDOMExternalizable {
|
||||
if (handler == null) return false;
|
||||
UsageInfoToUsageConverter.TargetElementsDescriptor descriptor =
|
||||
new UsageInfoToUsageConverter.TargetElementsDescriptor(handler.getPrimaryElements(), handler.getSecondaryElements());
|
||||
FindUsagesOptions findUsagesOptions = handler.getFindUsagesOptions();
|
||||
SearchScope oldScope = findUsagesOptions.searchScope;
|
||||
try {
|
||||
findUsagesOptions.searchScope = scope;
|
||||
UsageSearcher usageSearcher = createUsageSearcher(descriptor, handler, findUsagesOptions, null);
|
||||
final AtomicBoolean used = new AtomicBoolean();
|
||||
usageSearcher.generate(new Processor<Usage>() {
|
||||
public boolean process(final Usage usage) {
|
||||
used.set(true);
|
||||
return false;
|
||||
}
|
||||
});
|
||||
return used.get();
|
||||
}
|
||||
finally {
|
||||
findUsagesOptions.searchScope = oldScope;
|
||||
}
|
||||
FindUsagesOptions findUsagesOptions = handler.getFindUsagesOptions().clone();
|
||||
findUsagesOptions.searchScope = scope;
|
||||
UsageSearcher usageSearcher = createUsageSearcher(descriptor, handler, findUsagesOptions, null);
|
||||
final AtomicBoolean used = new AtomicBoolean();
|
||||
usageSearcher.generate(new Processor<Usage>() {
|
||||
public boolean process(final Usage usage) {
|
||||
used.set(true);
|
||||
return false;
|
||||
}
|
||||
});
|
||||
return used.get();
|
||||
}
|
||||
|
||||
// return null on failure or cancel
|
||||
|
||||
@@ -64,8 +64,8 @@ public class FindUsagesOptions extends UserDataHolderBase implements Cloneable {
|
||||
this.searchScope = searchScope;
|
||||
}
|
||||
|
||||
public Object clone() {
|
||||
return super.clone();
|
||||
public FindUsagesOptions clone() {
|
||||
return (FindUsagesOptions)super.clone();
|
||||
}
|
||||
|
||||
public boolean equals(final Object o) {
|
||||
|
||||
Reference in New Issue
Block a user