Report CompileTimeErrorCode.CONST_WITH_UNDEFINED_CONSTRUCTOR

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

Index: editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/error/CompileTimeErrorCode.java
diff --git a/editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/error/CompileTimeErrorCode.java b/editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/error/CompileTimeErrorCode.java
index 6e7b596f3491896b20f2cc55fc50c000afe439b5..73fda7c896effab586d51794fa177ccdcccd3433 100644
--- a/editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/error/CompileTimeErrorCode.java
+++ b/editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/error/CompileTimeErrorCode.java
@@ -186,8 +186,20 @@ public enum CompileTimeErrorCode implements ErrorCode {
   /**
    * 12.11.2 Const: It is a compile-time error if <i>T.id</i> is not the name of a constant
    * constructor declared by the type <i>T</i>.
+   * 
+   * @param typeName the name of the type
+   * @param constructorName the name of the requested constant constructor
+   */
+  CONST_WITH_UNDEFINED_CONSTRUCTOR("The class '%s' does not have a constant constructor '%s'"),
+
+  /**
+   * 12.11.2 Const: It is a compile-time error if <i>T.id</i> is not the name of a constant
+   * constructor declared by the type <i>T</i>.
+   * 
+   * @param typeName the name of the type
    */
-  CONST_WITH_UNDEFINED_CONSTRUCTOR(""),
+  CONST_WITH_UNDEFINED_CONSTRUCTOR_DEFAULT(
+      "The class '%s' does not have a default constant constructor"),
 
   /**
    * 15.3.1 Typedef: It is a compile-time error if any default values are specified in the signature