| Index: editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/GetErrorsConsumer.java
|
| diff --git a/editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/AnalysisErrorsConsumer.java b/editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/GetErrorsConsumer.java
|
| similarity index 94%
|
| rename from editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/AnalysisErrorsConsumer.java
|
| rename to editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/GetErrorsConsumer.java
|
| index 979ff8804ea50dd44f56ef69676ab54407a6f100..e0d839b717a54d2dea7c9c625fcd7cc944b16653 100644
|
| --- a/editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/AnalysisErrorsConsumer.java
|
| +++ b/editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/GetErrorsConsumer.java
|
| @@ -19,7 +19,7 @@ package com.google.dart.server;
|
| *
|
| * @coverage dart.server
|
| */
|
| -public interface AnalysisErrorsConsumer extends Consumer {
|
| +public interface GetErrorsConsumer extends Consumer {
|
|
|
| /**
|
| * A set of {@link AnalysisError}s that have been computed.
|
|
|