| Index: compiler/java/com/google/dart/compiler/DefaultDartCompilerListener.java
|
| diff --git a/compiler/java/com/google/dart/compiler/DefaultDartCompilerListener.java b/compiler/java/com/google/dart/compiler/DefaultDartCompilerListener.java
|
| index bd9a5a4b5a01fe7072383135c42cee568a1b99f3..51a6739f2e91d9ea68588010cd5cdf1a2260cf73 100644
|
| --- a/compiler/java/com/google/dart/compiler/DefaultDartCompilerListener.java
|
| +++ b/compiler/java/com/google/dart/compiler/DefaultDartCompilerListener.java
|
| @@ -4,6 +4,7 @@
|
|
|
| package com.google.dart.compiler;
|
|
|
| +import com.google.dart.compiler.CompilerConfiguration.ErrorFormat;
|
| import com.google.dart.compiler.ast.DartUnit;
|
|
|
| import java.io.PrintStream;
|
| @@ -35,15 +36,15 @@ public class DefaultDartCompilerListener extends DartCompilerListener {
|
| */
|
| protected final ErrorFormatter formatter;
|
|
|
| - public DefaultDartCompilerListener(boolean printMachineProblems) {
|
| - this(System.err, printMachineProblems);
|
| + public DefaultDartCompilerListener(ErrorFormat errorFormat) {
|
| + this(System.err, errorFormat);
|
| }
|
|
|
| /**
|
| * @param outputStream the {@link PrintStream} to use for {@link ErrorFormatter}.
|
| */
|
| - public DefaultDartCompilerListener(PrintStream outputStream, boolean printMachineProblems) {
|
| - formatter = new PrettyErrorFormatter(outputStream, useColor(), printMachineProblems);
|
| + public DefaultDartCompilerListener(PrintStream outputStream, ErrorFormat errorFormat) {
|
| + formatter = new PrettyErrorFormatter(outputStream, useColor(), errorFormat);
|
| }
|
|
|
| @Override
|
|
|