| Index: editor/tools/plugins/com.google.dart.tools.core/src/com/google/dart/tools/core/internal/completion/ErrorRecordingContext.java
|
| diff --git a/editor/tools/plugins/com.google.dart.tools.core/src/com/google/dart/tools/core/internal/completion/ErrorRecordingContext.java b/editor/tools/plugins/com.google.dart.tools.core/src/com/google/dart/tools/core/internal/completion/ErrorRecordingContext.java
|
| index 243690502c7966b0ef97594b29366fe32b2ff0d6..a1bb2a535d74f7ba77988529f5d4920a3f29ac54 100644
|
| --- a/editor/tools/plugins/com.google.dart.tools.core/src/com/google/dart/tools/core/internal/completion/ErrorRecordingContext.java
|
| +++ b/editor/tools/plugins/com.google.dart.tools.core/src/com/google/dart/tools/core/internal/completion/ErrorRecordingContext.java
|
| @@ -52,7 +52,7 @@ class ErrorRecordingContext implements DartCompilerContext {
|
| private List<DartCompilationError> errors = new ArrayList<DartCompilationError>();
|
|
|
| @Override
|
| - public void compilationError(DartCompilationError event) {
|
| + public void onError(DartCompilationError event) {
|
| errors.add(event);
|
| }
|
|
|
| @@ -120,9 +120,4 @@ class ErrorRecordingContext implements DartCompilerContext {
|
| public boolean shouldWarnOnNoSuchType() {
|
| return false;
|
| }
|
| -
|
| - @Override
|
| - public void typeError(DartCompilationError event) {
|
| - errors.add(event);
|
| - }
|
| }
|
|
|