Implement cycle-checking and code generation for redirecting constructors.

frog/leg/warnings.dart

Index: frog/leg/warnings.dart
diff --git a/frog/leg/warnings.dart b/frog/leg/warnings.dart
index 146ae7209c11c1c0877f22d1a528abd2838fdb39..08032a60395d7c4186946432553dc20d714a9b3d 100644
--- a/frog/leg/warnings.dart
+++ b/frog/leg/warnings.dart
@@ -67,8 +67,16 @@ class MessageKind {
   static final CONSTRUCTOR_CALL_EXPECTED = const MessageKind(
       "only call to 'this' or 'super' constructor allowed");
   static final INVALID_FOR_IN = const MessageKind(
-      'Invalid for-in variable declaration.');
-  static final REDIRECTING_CTOR_HAS_INITIALIZER = const MessageKind(
+      'invalid for-in variable declaration.');
+  static final INVALID_INITIALIZER = const MessageKind(
+      'invalid initializer');
+  static final FUNCTION_WITH_INITIALIZER = const MessageKind(
+      'only constructors can have initializers');
+  static final REDIRECTING_CONSTRUCTOR_CYCLE = const MessageKind(
+      'cyclic constructor redirection');
+  static final REDIRECTING_CONSTRUCTOR_HAS_BODY = const MessageKind(
+      'redirecting constructor cannot have a body');
+  static final REDIRECTING_CONSTRUCTOR_HAS_INITIALIZER = const MessageKind(
       'redirecting constructor cannot have other initializers');
   static final SUPER_INITIALIZER_IN_OBJECT = const MessageKind(
       "'Object' cannot have a super initializer");