| Index: editor/tools/plugins/com.google.dart.tools.core_test/src/com/google/dart/tools/core/analysis/Listener.java
|
| ===================================================================
|
| --- editor/tools/plugins/com.google.dart.tools.core_test/src/com/google/dart/tools/core/analysis/Listener.java (revision 11962)
|
| +++ editor/tools/plugins/com.google.dart.tools.core_test/src/com/google/dart/tools/core/analysis/Listener.java (working copy)
|
| @@ -242,24 +242,6 @@
|
| errors.clear();
|
| }
|
|
|
| - void waitForDiscarded(long milliseconds, File... files) {
|
| - synchronized (lock) {
|
| - long end = System.currentTimeMillis() + milliseconds;
|
| - while (!wasDiscarded(files)) {
|
| - long delta = end - System.currentTimeMillis();
|
| - if (delta <= 0) {
|
| - failDiscarded(files);
|
| - return;
|
| - }
|
| - try {
|
| - lock.wait(delta);
|
| - } catch (InterruptedException e) {
|
| - //$FALL-THROUGH$
|
| - }
|
| - }
|
| - }
|
| - }
|
| -
|
| /**
|
| * Wait up to the specified number of milliseconds for the receiver to have the specified idle
|
| * count. If the specified number is less than or equal to zero, then this method returns
|
|
|