Support more checked mode compile time errors in analysis engine.

editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/error/CheckedModeCompileTimeErrorCode.java

Index: editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/error/CheckedModeCompileTimeErrorCode.java
diff --git a/editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/error/CheckedModeCompileTimeErrorCode.java b/editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/error/CheckedModeCompileTimeErrorCode.java
index 055f8db4295b443c12e1ff087546e1aa8e4924fb..9e8fd49bdf6515c2a254811d3047aa12343a752c 100644
--- a/editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/error/CheckedModeCompileTimeErrorCode.java
+++ b/editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/error/CheckedModeCompileTimeErrorCode.java
@@ -35,7 +35,56 @@ public enum CheckedModeCompileTimeErrorCode implements ErrorCode {
    * @param fieldType the name of the type of the field
    */
   CONST_FIELD_INITIALIZER_NOT_ASSIGNABLE(
-      "The initializer type '%s' cannot be assigned to the field type '%s'");
+      "The initializer type '%s' cannot be assigned to the field type '%s'"),
+
+  /**
+   * 12.6 Lists: A run-time list literal &lt;<i>E</i>&gt; [<i>e<sub>1</sub></i> ...
+   * <i>e<sub>n</sub></i>] is evaluated as follows:
+   * <ul>
+   * <li>The operator []= is invoked on <i>a</i> with first argument <i>i</i> and second argument
+   * <i>o<sub>i+1</sub></i><i>, 1 &lt;= i &lt;= n</i></li>
+   * </ul>
+   * <p>
+   * 12.14.2 Binding Actuals to Formals: Let <i>T<sub>i</sub></i> be the static type of
+   * <i>a<sub>i</sub></i>, let <i>S<sub>i</sub></i> be the type of <i>p<sub>i</sub>, 1 &lt;= i &lt;=
+   * n+k</i> and let <i>S<sub>q</sub></i> be the type of the named parameter <i>q</i> of <i>f</i>.
+   * It is a static warning if <i>T<sub>j</sub></i> may not be assigned to <i>S<sub>j</sub>, 1 &lt;=
+   * j &lt;= m</i>.
+   */
+  LIST_ELEMENT_TYPE_NOT_ASSIGNABLE("The element type '%s' cannot be assigned to the list type '%s'"),
+
+  /**
+   * 12.7 Map: A run-time map literal &lt;<i>K</i>, <i>V</i>&gt; [<i>k<sub>1</sub></i> :
+   * <i>e<sub>1</sub></i> ... <i>k<sub>n</sub></i> : <i>e<sub>n</sub></i>] is evaluated as follows:
+   * <ul>
+   * <li>The operator []= is invoked on <i>m</i> with first argument <i>k<sub>i</sub></i> and second
+   * argument <i>e<sub>i</sub></i><i>, 1 &lt;= i &lt;= n</i></li>
+   * </ul>
+   * <p>
+   * 12.14.2 Binding Actuals to Formals: Let <i>T<sub>i</sub></i> be the static type of
+   * <i>a<sub>i</sub></i>, let <i>S<sub>i</sub></i> be the type of <i>p<sub>i</sub>, 1 &lt;= i &lt;=
+   * n+k</i> and let <i>S<sub>q</sub></i> be the type of the named parameter <i>q</i> of <i>f</i>.
+   * It is a static warning if <i>T<sub>j</sub></i> may not be assigned to <i>S<sub>j</sub>, 1 &lt;=
+   * j &lt;= m</i>.
+   */
+  MAP_KEY_TYPE_NOT_ASSIGNABLE("The element type '%s' cannot be assigned to the map key type '%s'"),
+
+  /**
+   * 12.7 Map: A run-time map literal &lt;<i>K</i>, <i>V</i>&gt; [<i>k<sub>1</sub></i> :
+   * <i>e<sub>1</sub></i> ... <i>k<sub>n</sub></i> : <i>e<sub>n</sub></i>] is evaluated as follows:
+   * <ul>
+   * <li>The operator []= is invoked on <i>m</i> with first argument <i>k<sub>i</sub></i> and second
+   * argument <i>e<sub>i</sub></i><i>, 1 &lt;= i &lt;= n</i></li>
+   * </ul>
+   * <p>
+   * 12.14.2 Binding Actuals to Formals: Let <i>T<sub>i</sub></i> be the static type of
+   * <i>a<sub>i</sub></i>, let <i>S<sub>i</sub></i> be the type of <i>p<sub>i</sub>, 1 &lt;= i &lt;=
+   * n+k</i> and let <i>S<sub>q</sub></i> be the type of the named parameter <i>q</i> of <i>f</i>.
+   * It is a static warning if <i>T<sub>j</sub></i> may not be assigned to <i>S<sub>j</sub>, 1 &lt;=
+   * j &lt;= m</i>.
+   */
+  MAP_VALUE_TYPE_NOT_ASSIGNABLE(
+      "The element type '%s' cannot be assigned to the map value type '%s'");
 
   /**
    * The template used to create the message to be displayed for this error.