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 |