Support for --machine-problems, tests for PrettyErrorFormatter

compiler/java/com/google/dart/runner/DartRunner.java

 // Copyright (c) 2011, 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.
 
 package com.google.dart.runner;
 
 import com.google.common.base.Joiner;
 import com.google.common.collect.Lists;
 import com.google.common.io.CharStreams;
 import com.google.common.io.Files;
@@ skipping 105 matching lines @@
       throw new RunnerError("No script files specified on the command line: " + Joiner.on(" ").join(args));
     }
 
     String script = options.getSourceFiles().get(0);
     ArrayList<String> scriptArguments = new ArrayList<String>();
 
     LibrarySource app = new UrlLibrarySource(new File(script));
 
     File outFile =  options.getOutputFilename();
 
-    DefaultDartCompilerListener listener = new DefaultDartCompilerListener(stderr);
+    DefaultDartCompilerListener listener =
+        new DefaultDartCompilerListener(stderr, options.printMachineProblems());
 
     CompilationResult compiled;
     compiled = compileApp(app, imports, options, listener);
 
     if (listener.getErrorCount() != 0) {
       throw new RunnerError("Compilation failed.");
     }
 
     if (outFile != null) {
       File dir = outFile.getParentFile();
@@ skipping 202 matching lines @@
       Reader r = provider.getArtifactReader(app, "", backend.getAppExtension());
       String js = CharStreams.toString(r);
       r.close();
       return new CompilationResult(js, mapping);
     } catch (IOException e) {
       // This can't happen; it's just a StringWriter.
       throw new AssertionError(e);
     }
   }
 }