| Index: dart/sdk/lib/_internal/compiler/implementation/diagnostic_listener.dart
|
| diff --git a/dart/sdk/lib/_internal/compiler/implementation/diagnostic_listener.dart b/dart/sdk/lib/_internal/compiler/implementation/diagnostic_listener.dart
|
| index 1d0c2b9800e3725ea3509c4f1fb8d25f11e65ab6..ff9595fc2b2a36f490d58de09351b7b409996ac7 100644
|
| --- a/dart/sdk/lib/_internal/compiler/implementation/diagnostic_listener.dart
|
| +++ b/dart/sdk/lib/_internal/compiler/implementation/diagnostic_listener.dart
|
| @@ -23,6 +23,14 @@ abstract class DiagnosticListener {
|
| // TODO(ahe): Rename to reportError when that method has been removed.
|
| void reportErrorCode(Spannable node, MessageKind errorCode, [Map arguments]);
|
|
|
| + void reportInfo(Spannable node, MessageKind errorCode, [Map arguments]);
|
| +
|
| /// Returns true if a diagnostic was emitted.
|
| bool onDeprecatedFeature(Spannable span, String feature);
|
| +
|
| + // TODO(ahe): We should not expose this here. Perhaps a
|
| + // [SourceSpan] should implement [Spannable], and we should have a
|
| + // way to construct a [SourceSpan] from a [Spannable] and an
|
| + // [Element].
|
| + withCurrentElement(Element element, f());
|
| }
|
|
|