| Index: pkg/compiler/lib/src/diagnostics/diagnostic_listener.dart
|
| diff --git a/pkg/compiler/lib/src/diagnostics/diagnostic_listener.dart b/pkg/compiler/lib/src/diagnostics/diagnostic_listener.dart
|
| index e31edde9fff1f47a915207d4126da47c35ea7a69..0a9c5f5353a1f34a05e7f6e8a0df446dbb3a1a01 100644
|
| --- a/pkg/compiler/lib/src/diagnostics/diagnostic_listener.dart
|
| +++ b/pkg/compiler/lib/src/diagnostics/diagnostic_listener.dart
|
| @@ -61,6 +61,9 @@ abstract class DiagnosticReporter {
|
| DiagnosticMessage createMessage(Spannable spannable, MessageKind messageKind,
|
| [Map arguments = const {}]);
|
|
|
| + /// Returns `true` if a crash, an error or a fatal warning has been reported.
|
| + bool get hasReportedError;
|
| +
|
| /// Called when an [exception] is thrown from user-provided code, like from
|
| /// the input provider or diagnostics handler.
|
| void onCrashInUserCode(String message, exception, stackTrace) {}
|
|
|