Implement named constructors and resolving of redirecting constructors and super-initializers.

frog/leg/warnings.dart

 // Copyright (c) 2011, the Dart project authors.  Please see the AUTHORS file
 // for details. All rights reserved. Use of this source code is governed by a
 // BSD-style license that can be found in the LICENSE file.
 
 class MessageKind {
   final String template;
   const MessageKind(this.template);
 
   static final GENERIC = const MessageKind('#{1}');
 
   static final NOT_ASSIGNABLE = const MessageKind(
       '#{2} is not assignable to #{1}');
   static final VOID_EXPRESSION = const MessageKind(
       'expression does not yield a value');
   static final VOID_VARIABLE = const MessageKind(
       'variable cannot be of type void');
   static final RETURN_VALUE_IN_VOID = const MessageKind(
       'cannot return value from void function');
   static final RETURN_NOTHING = const MessageKind(
       'value of type #{1} expected');
   static final MISSING_ARGUMENT = const MessageKind(
       'missing argument of type #{1}');
   static final ADDITIONAL_ARGUMENT = const MessageKind(
       'additional argument');
   static final METHOD_NOT_FOUND = const MessageKind(
       'no method named #{2} in class #{1}');
   static final MEMBER_NOT_STATIC = const MessageKind(
       '#{1}.#{2} is not static');
-  static final NOT_STATIC = const MessageKind(
-      '#{1} is not static');
+  static final NO_INSTANCE_AVAILABLE = const MessageKind(
+      '#{1} is only available in instance methods');
 
   static final UNREACHABLE_CODE = const MessageKind(
       'unreachable code');
   static final MISSING_RETURN = const MessageKind(
       'missing return');
   static final MAYBE_MISSING_RETURN = const MessageKind(
       'not all paths lead to a return or throw statement');
 
   static final CANNOT_RESOLVE = const MessageKind(
       'cannot resolve #{1}');
   static final CANNOT_RESOLVE_TYPE = const MessageKind(
       'cannot resolve type #{1}');
   static final DUPLICATE_DEFINITION = const MessageKind(
       'duplicate definition of #{1}');
   static final NOT_A_TYPE = const MessageKind(
       '#{1} is not a type');
   static final NO_SUPER_IN_OBJECT = const MessageKind(
       '\'Object\' does not have a superclass');
   static final CANNOT_FIND_CONSTRUCTOR = const MessageKind(
       'cannot find constructor #{1}');
   static final INVALID_RECEIVER_IN_INITIALIZER = const MessageKind(
       'field initializer expected');
-  static final NO_THIS_IN_STATIC = const MessageKind(
-      '\'this\' is only available in instance methods');
   static final NO_SUPER_IN_STATIC = const MessageKind(
       '\'super\' is only available in instance methods');
   static final DUPLICATE_INITIALIZER = const MessageKind(
       'field #{1} is initialized more than once');
   static final ALREADY_INITIALIZED = const MessageKind(
       '#{1} was already initialized here');
   static final INIT_STATIC_FIELD = const MessageKind(
       'cannot initialize static field #{1}');
   static final NOT_A_FIELD = const MessageKind(
       '#{1} is not a field');
+  static final CONSTRUCTOR_CALL_EXPECTED = const MessageKind(
+      'only call to \'this\' or \'super\' constructor allowed');

[floitsch, 2012/01/18 15:22:14]

you could avoid the escapes by using " to delimit the string.

[karlklose, 2012/01/18 16:36:09]

Done.

   static final INVALID_FOR_IN = const MessageKind(
       'Invalid for-in variable declaration.');
+  static final REDIRECTING_CTOR_HAS_INITIALIZER = const MessageKind(
+      'redirecting constructor cannot have other initializers');
+  static final SUPER_INITIALIZER_IN_OBJECT = const MessageKind(
+      "'Object' cannot have a superinitializer");

[floitsch, 2012/01/18 15:22:14]

super initializer

[karlklose, 2012/01/18 16:36:09]

Done.

+  static final DUPLICATE_SUPER_INITIALIZER = const MessageKind(
+      'cannot have more than one super initializer');
+  static final NO_MATCHING_CONSTRUCTOR = const MessageKind(
+      'no matching constructor found');
+  static final NO_CONSTRUCTOR = const MessageKind(
+      '#{1} is a #{2}, not a constructor');
 
   toString() => template;
 }
 
 class Message {
   final kind;
   final List arguments;
   String message;
 
   Message(this.kind, this.arguments);
@@ skipping 31 matching lines @@
   String toString() => message.toString();
 }
 
 class ResolutionWarning {
   final Message message;
   ResolutionWarning.message(this.message);
   ResolutionWarning(MessageKind kind, List<Type> arguments)
     : message = new Message(kind, arguments);
   String toString() => message.toString();
 }