Index: dart/sdk/lib/_internal/compiler/implementation/warnings.dart |
diff --git a/dart/sdk/lib/_internal/compiler/implementation/warnings.dart b/dart/sdk/lib/_internal/compiler/implementation/warnings.dart |
index dc92997d8578b51858a56a47171f6261cc4903c2..6b56455b5aeb1910da1a926a5af94f74be56bbb5 100644 |
--- a/dart/sdk/lib/_internal/compiler/implementation/warnings.dart |
+++ b/dart/sdk/lib/_internal/compiler/implementation/warnings.dart |
@@ -1360,6 +1360,27 @@ main() {} |
howToFix: "Consider deleting it.", |
examples: const ["deadCode() {} main() {}"]); |
+ static const MessageKind UNIMPLEMENTED_METHOD = const MessageKind( |
+ "Warning: '#{class_name}' doesn't implement '#{member_name}'.", |
+ howToFix: "Try adding an implementation of '#{member_name}'.", |
+ examples: const [""" |
+abstract class I { |
+ m(); |
+} |
+ |
+class C implements I {} |
+ |
+main() => new C().m(); |
+""", """ |
+abstract class I { |
+ m(); |
+} |
+ |
+class C extends I {} |
+ |
+main() => new C().m(); |
Johnni Winther
2013/12/04 12:09:14
We should getter the warning without calling m.
ahe
2013/12/04 16:13:44
No, but we do get a warning that it is never calle
|
+"""]); |
+ |
static const MessageKind COMPILER_CRASHED = const MessageKind( |
"Error: The compiler crashed when compiling this element."); |