| 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 e2e4d1a4a7fb952ba67fe8e0728272eaf91d471a..cfef59fbabd60edc3dcea1d0f2ffa2ba28f3a8cc 100644
|
| --- a/pkg/compiler/lib/src/diagnostics/diagnostic_listener.dart
|
| +++ b/pkg/compiler/lib/src/diagnostics/diagnostic_listener.dart
|
| @@ -12,8 +12,21 @@ import '../elements/elements.dart' show
|
| Element;
|
| import 'messages.dart';
|
|
|
| +class DiagnosticOptions {
|
| + final bool suppressWarnings;
|
| + final bool terseDiagnostics;
|
| + final bool showPackageWarnings;
|
| +
|
| + const DiagnosticOptions({
|
| + this.suppressWarnings: false,
|
| + this.terseDiagnostics: false,
|
| + this.showPackageWarnings: false});
|
| +}
|
| +
|
| // TODO(johnniwinther): Rename and cleanup this interface. Add severity enum.
|
| -abstract class DiagnosticListener {
|
| +abstract class DiagnosticReporter {
|
| + DiagnosticOptions get options => const DiagnosticOptions();
|
| +
|
| // TODO(karlklose): rename log to something like reportInfo.
|
| void log(message);
|
|
|
|
|