| Index: editor/tools/plugins/com.google.dart.tools.core/src/com/google/dart/tools/core/analysis/AnalysisDebug.java
|
| diff --git a/editor/tools/plugins/com.google.dart.tools.core/src/com/google/dart/tools/core/analysis/AnalysisDebug.java b/editor/tools/plugins/com.google.dart.tools.core/src/com/google/dart/tools/core/analysis/AnalysisDebug.java
|
| index 67b9ee88ba854a6bd4281112028a029171a7a3fd..131695c17c3df0e0068dfb6131bcd9f3d6fd6603 100644
|
| --- a/editor/tools/plugins/com.google.dart.tools.core/src/com/google/dart/tools/core/analysis/AnalysisDebug.java
|
| +++ b/editor/tools/plugins/com.google.dart.tools.core/src/com/google/dart/tools/core/analysis/AnalysisDebug.java
|
| @@ -20,7 +20,7 @@ import java.io.File;
|
| /**
|
| * Appends information about analysis to the console
|
| */
|
| -public class AnalysisDebug implements AnalysisListener, IdleListener {
|
| +public class AnalysisDebug implements AnalysisListener, TaskListener {
|
|
|
| private final PrintStringWriter message = new PrintStringWriter();
|
| private final String prefix;
|
| @@ -92,6 +92,11 @@ public class AnalysisDebug implements AnalysisListener, IdleListener {
|
| }
|
|
|
| @Override
|
| + public void processing(int toBeProcessed) {
|
| + // ignored
|
| + }
|
| +
|
| + @Override
|
| public void resolved(AnalysisEvent event) {
|
| synchronized (message) {
|
| message.print(prefix);
|
|
|