Disallow uninitialized non-nullable variables

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 analyzer.src.generated.error;
 
 import 'dart:collection';
 
 import 'package:analyzer/dart/ast/ast.dart' show AstNode;
 import 'package:analyzer/dart/ast/token.dart';
@@ skipping 2725 matching lines @@
     StaticTypeWarningCode.INACCESSIBLE_SETTER,
     StaticTypeWarningCode.INCONSISTENT_METHOD_INHERITANCE,
     StaticTypeWarningCode.INSTANCE_ACCESS_TO_STATIC_MEMBER,
     StaticTypeWarningCode.INVALID_ASSIGNMENT,
     StaticTypeWarningCode.INVOCATION_OF_NON_FUNCTION,
     StaticTypeWarningCode.INVOCATION_OF_NON_FUNCTION_EXPRESSION,
     StaticTypeWarningCode.NON_BOOL_CONDITION,
     StaticTypeWarningCode.NON_BOOL_EXPRESSION,
     StaticTypeWarningCode.NON_BOOL_NEGATION_EXPRESSION,
     StaticTypeWarningCode.NON_BOOL_OPERAND,
+    StaticTypeWarningCode.NON_NULLABLE_FIELD_NOT_INITIALIZED,
     StaticTypeWarningCode.NON_TYPE_AS_TYPE_ARGUMENT,
     StaticTypeWarningCode.RETURN_OF_INVALID_TYPE,
     StaticTypeWarningCode.TYPE_ARGUMENT_NOT_MATCHING_BOUNDS,
     StaticTypeWarningCode.TYPE_PARAMETER_SUPERTYPE_OF_ITS_BOUND,
     StaticTypeWarningCode.UNDEFINED_ENUM_CONSTANT,
     StaticTypeWarningCode.UNDEFINED_FUNCTION,
     StaticTypeWarningCode.UNDEFINED_GETTER,
     StaticTypeWarningCode.UNDEFINED_METHOD,
     StaticTypeWarningCode.UNDEFINED_METHOD_WITH_CONSTRUCTOR,
     StaticTypeWarningCode.UNDEFINED_OPERATOR,
@@ skipping 1518 matching lines @@
    * not be assigned to bool.
    *
    * Parameters:
    * 0: the lexeme of the logical operator
    */
   static const StaticTypeWarningCode NON_BOOL_OPERAND =
       const StaticTypeWarningCode('NON_BOOL_OPERAND',
           "The operands of the '{0}' operator must be assignable to 'bool'");
 
   /**
+   *
+   */
+  static const StaticTypeWarningCode NON_NULLABLE_FIELD_NOT_INITIALIZED =
+      const StaticTypeWarningCode(
+          'NON_NULLABLE_FIELD_NOT_INITIALIZED',
+          "Variable '{0}' of non-nullable type '{1}' must be initialized");
+
+  /**
    * 15.8 Parameterized Types: It is a static type warning if <i>A<sub>i</sub>,
    * 1 &lt;= i &lt;= n</i> does not denote a type in the enclosing lexical scope.
    */
   static const StaticTypeWarningCode NON_TYPE_AS_TYPE_ARGUMENT =
       const StaticTypeWarningCode('NON_TYPE_AS_TYPE_ARGUMENT',
           "The name '{0}' is not a type and cannot be used as a parameterized type");
 
   /**
    * 13.11 Return: It is a static type warning if the type of <i>e</i> may not
    * be assigned to the declared return type of the immediately enclosing
@@ skipping 1819 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;
 }