Add NOT_INITIALIZED_FIELDS property for FINAL_NOT_INITIALIZED_CONSTRUCTOR_X.

pkg/analyzer/lib/src/generated/error.dart

 // Copyright (c) 2014, 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.
 
 library engine.error;
 
 import 'dart:collection';
 
 import 'ast.dart' show AstNode;
 import 'element.dart';
@@ skipping 218 matching lines @@
    * The properties associated with this error.
    */
   HashMap<ErrorProperty, Object> _propertyMap =
       new HashMap<ErrorProperty, Object>();
 
   /**
    * Initialize a newly created analysis error for the specified [source]. The
    * error will have the given [errorCode] and the list of [arguments] will be
    * used to complete the message. The error has no location information.
    */
-  AnalysisErrorWithProperties.con1(
-      Source source, ErrorCode errorCode, [List<Object> arguments])
+  AnalysisErrorWithProperties.con1(Source source, ErrorCode errorCode,
+      [List<Object> arguments])
       : super.con1(source, errorCode, arguments);
 
   /**
    * Initialize a newly created analysis error for the specified [source] at the
    * given [offset] with the given [length]. The error will have the given
    * [errorCode] and the list of [arguments] will be used to complete the
    * message.
    */
-  AnalysisErrorWithProperties.con2(Source source, int offset, int length,
-      ErrorCode errorCode, [List<Object> arguments])
+  AnalysisErrorWithProperties.con2(
+      Source source, int offset, int length, ErrorCode errorCode,
+      [List<Object> arguments])
       : super.con2(source, offset, length, errorCode, arguments);
 
   @override
   Object getProperty(ErrorProperty property) => _propertyMap[property];
 
   /**
    * Set the value of the given [property] to the given [value]. Using a value
    * of `null` will effectively remove the property from this error.
    */
   void setProperty(ErrorProperty property, Object value) {
@@ skipping 2109 matching lines @@
    * The unique name of this error code.
    */
   String get uniqueName => "$runtimeType.$name";
 }
 
 /**
  * The properties that can be associated with an [AnalysisError].
  */
 class ErrorProperty extends Enum<ErrorProperty> {
   /**
+   * A property whose value is a list of [FieldElement]s that are final, but
+   * not initialized by a constructor.
+   */
+  static const ErrorProperty NOT_INITIALIZED_FIELDS =
+      const ErrorProperty('NOT_INITIALIZED_FIELDS', 0);
+
+  /**
    * A property whose value is the name of the library that is used by all
    * of the "part of" directives, so should be used in the "library" directive.
    * Is `null` if there is no a single name used by all of the parts.
    */
   static const ErrorProperty PARTS_LIBRARY_NAME =
-      const ErrorProperty('PARTS_LIBRARY_NAME', 0);
+      const ErrorProperty('PARTS_LIBRARY_NAME', 1);
 
   /**
    * A property whose value is a list of [ExecutableElement] that should
    * be but are not implemented by a concrete class.
    */
   static const ErrorProperty UNIMPLEMENTED_METHODS =
-      const ErrorProperty('UNIMPLEMENTED_METHODS', 1);
+      const ErrorProperty('UNIMPLEMENTED_METHODS', 2);
 
   static const List<ErrorProperty> values = const [
     PARTS_LIBRARY_NAME,
     UNIMPLEMENTED_METHODS
   ];
 
   const ErrorProperty(String name, int ordinal) : super(name, ordinal);
 }
 
 /**
@@ skipping 60 matching lines @@
    * Report an error with the given [errorCode] and [arguments]. The [element]
    * is used to compute the location of the error.
    */
   void reportErrorForElement(
       ErrorCode errorCode, Element element, List<Object> arguments) {
     reportErrorForOffset(
         errorCode, element.nameOffset, element.displayName.length, arguments);
   }
 
   /**
-   * Report an error with the given [errorCode] and [arguments]. The [node] is
-   * used to compute the location of the error.
+   * Report an error with the given [errorCode] and [arguments].
+   * The [node] is used to compute the location of the error.
    *
    * If the arguments contain the names of two or more types, the method
    * [reportTypeErrorForNode] should be used and the types
    * themselves (rather than their names) should be passed as arguments.
+   *
+   * If optional [properties] are present, then [AnalysisErrorWithProperties]
+   * is reported.
    */
   void reportErrorForNode(ErrorCode errorCode, AstNode node,
-      [List<Object> arguments]) {
+      [List<Object> arguments, Map<ErrorProperty, Object> properties]) {
     reportErrorForOffset(errorCode, node.offset, node.length, arguments);

[Brian Wilkerson, 2015/03/16 17:27:02]

Add ",  properties" to argument list?

   }
 
   /**
    * Report an error with the given [errorCode] and [arguments]. The location of
    * the error is specified by the given [offset] and [length].
+   *
+   * If optional [properties] are present, then [AnalysisErrorWithProperties]
+   * is reported.
    */
   void reportErrorForOffset(ErrorCode errorCode, int offset, int length,
-      [List<Object> arguments]) {
-    _errorListener.onError(
-        new AnalysisError.con2(_source, offset, length, errorCode, arguments));
+      [List<Object> arguments, Map<ErrorProperty, Object> properties]) {
+    if (properties != null && properties.isNotEmpty) {
+      AnalysisErrorWithProperties errorWithProperties =
+          new AnalysisErrorWithProperties.con2(
+              _source, offset, length, errorCode, arguments);
+      properties.forEach((property, value) {
+        return errorWithProperties.setProperty(property, value);

[Brian Wilkerson, 2015/03/16 17:27:02]

Remove "return ".

+      });
+      _errorListener.onError(errorWithProperties);
+    } else {
+      _errorListener.onError(new AnalysisError.con2(
+          _source, offset, length, errorCode, arguments));
+    }
   }
 
   /**
    * Report an error with the given [errorCode] and [arguments]. The [token] is
    * used to compute the location of the error.
    */
   void reportErrorForToken(ErrorCode errorCode, Token token,
       [List<Object> arguments]) {
     reportErrorForOffset(errorCode, token.offset, token.length, arguments);
   }
@@ skipping 1418 matching lines @@
    */
   static const StaticWarningCode FIELD_INITIALIZING_FORMAL_NOT_ASSIGNABLE =
       const StaticWarningCode('FIELD_INITIALIZING_FORMAL_NOT_ASSIGNABLE',
           "The parameter type '{0}' is incompatable with the field type '{1}'");
 
   /**
    * 5 Variables: It is a static warning if a library, static or local variable
    * <i>v</i> is final and <i>v</i> is not initialized at its point of
    * declaration.
    *
+   * Parameters:
+   * 0: the name of the uninitialized final variable
+   */
+  static const StaticWarningCode FINAL_NOT_INITIALIZED =
+      const StaticWarningCode('FINAL_NOT_INITIALIZED',
+          "The final variable '{0}' must be initialized");
+
+  /**
    * 7.6.1 Generative Constructors: Each final instance variable <i>f</i>
    * declared in the immediately enclosing class must have an initializer in
    * <i>k</i>'s initializer list unless it has already been initialized by one
    * of the following means:
    * * Initialization at the declaration of <i>f</i>.
    * * Initialization by means of an initializing formal of <i>k</i>.
    * or a static warning occurs.
    *
    * Parameters:
    * 0: the name of the uninitialized final variable
    */
-  static const StaticWarningCode FINAL_NOT_INITIALIZED =
-      const StaticWarningCode('FINAL_NOT_INITIALIZED',
+  static const StaticWarningCode FINAL_NOT_INITIALIZED_CONSTRUCTOR_1 =
+      const StaticWarningCode('FINAL_NOT_INITIALIZED_CONSTRUCTOR_1',
           "The final variable '{0}' must be initialized");
 
   /**
+   * 7.6.1 Generative Constructors: Each final instance variable <i>f</i>
+   * declared in the immediately enclosing class must have an initializer in
+   * <i>k</i>'s initializer list unless it has already been initialized by one
+   * of the following means:
+   * * Initialization at the declaration of <i>f</i>.
+   * * Initialization by means of an initializing formal of <i>k</i>.
+   * or a static warning occurs.
+   *
+   * Parameters:
+   * 0: the name of the uninitialized final variable
+   * 1: the name of the uninitialized final variable
+   */
+  static const StaticWarningCode FINAL_NOT_INITIALIZED_CONSTRUCTOR_2 =
+      const StaticWarningCode('FINAL_NOT_INITIALIZED_CONSTRUCTOR_2',
+          "The final variables '{0}' and '{1}' must be initialized");
+
+  /**
+   * 7.6.1 Generative Constructors: Each final instance variable <i>f</i>
+   * declared in the immediately enclosing class must have an initializer in
+   * <i>k</i>'s initializer list unless it has already been initialized by one
+   * of the following means:
+   * * Initialization at the declaration of <i>f</i>.
+   * * Initialization by means of an initializing formal of <i>k</i>.
+   * or a static warning occurs.
+   *
+   * Parameters:
+   * 0: the name of the uninitialized final variable
+   * 1: the name of the uninitialized final variable
+   * 2: the number of additional not initialized variables that aren't listed
+   */
+  static const StaticWarningCode FINAL_NOT_INITIALIZED_CONSTRUCTOR_3_PLUS =
+      const StaticWarningCode('FINAL_NOT_INITIALIZED_CONSTRUCTOR_3',
+          "The final variables '{0}', '{1}' and '{2}' more must be initialized");
+
+  /**
    * 15.5 Function Types: It is a static warning if a concrete class implements
    * Function and does not have a concrete method named call().
    */
   static const StaticWarningCode FUNCTION_WITHOUT_CALL = const StaticWarningCode(
       'FUNCTION_WITHOUT_CALL',
       "Concrete classes that implement Function must implement the method call()");
 
   /**
    * 14.1 Imports: It is a static warning to import two different libraries with
    * the same name.
@@ skipping 851 matching lines @@
    * Initialize a newly created error code to have the given [name].
    */
   const TodoCode(String name) : super(name, "{0}");
 
   @override
   ErrorSeverity get errorSeverity => ErrorSeverity.INFO;
 
   @override
   ErrorType get type => ErrorType.TODO;
 }