mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-08-31 04:07:30 +07:00
GitOrigin-RevId: 7548f7bce82a119670885fc2de88f326ec8d1662
20 lines
443 B
Java
20 lines
443 B
Java
package inspections.cancellationCheckInLoops;
|
|
|
|
import com.intellij.openapi.progress.ProgressManager;
|
|
import com.intellij.util.concurrency.annotations.RequiresReadLock;
|
|
|
|
import static inspections.cancellationCheckInLoops.Foo.doSomething;
|
|
|
|
|
|
class Clazz {
|
|
|
|
@RequiresReadLock
|
|
public static void foo() {
|
|
int i = 0;
|
|
do {
|
|
ProgressManager.checkCanceled();
|
|
i++;
|
|
}
|
|
while (i < 100);
|
|
}
|
|
} |