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); |
- } |
} |