Additional fixes to printing of error codes.

pkg/analyzer/lib/src/error_formatter.dart

 // Copyright (c) 2013, 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 error_formatter;
 
 import 'generated/engine.dart';
 import 'generated/error.dart';
 import 'generated/source_io.dart';
 import '../options.dart';
@@ skipping 117 matching lines @@
     ErrorSeverity severity = AnalyzerImpl.computeSeverity(
         error, options.enableTypeChecks);
     if (options.machineFormat) {
       if (severity == ErrorSeverity.WARNING && options.warningsAreFatal) {
         severity = ErrorSeverity.ERROR;
       }
       out.write(severity);
       out.write('|');
       out.write(error.errorCode.type);
       out.write('|');
-      out.write(error.errorCode);
+      out.write(error.errorCode.name);
       out.write('|');
       out.write(escapePipe(source.fullName));
       out.write('|');
       out.write(location.lineNumber);
       out.write('|');
       out.write(location.columnNumber);
       out.write('|');
       out.write(length);
       out.write('|');
       out.write(escapePipe(error.message));
@@ skipping 22 matching lines @@
   }
 
   static String pluralize(String word, int count) {
     if (count == 1) {
       return word;
     } else {
       return word + "s";
     }
   }
 }