| Index: compiler/java/com/google/dart/compiler/CompilerConfiguration.java
|
| diff --git a/compiler/java/com/google/dart/compiler/CompilerConfiguration.java b/compiler/java/com/google/dart/compiler/CompilerConfiguration.java
|
| index 720bbf778925e5f026d0b248f4c642ca88b57b3b..2e788430ea1723d46cb3d060910ea7c6dd5ed281 100644
|
| --- a/compiler/java/com/google/dart/compiler/CompilerConfiguration.java
|
| +++ b/compiler/java/com/google/dart/compiler/CompilerConfiguration.java
|
| @@ -84,6 +84,12 @@ public interface CompilerConfiguration {
|
| boolean shouldWarnOnNoSuchType();
|
|
|
| /**
|
| + * Returns <code>true</code> if the compiler should print compilation problems in machine
|
| + * format, with all location information - severity, subsystem, etc.
|
| + */
|
| + boolean printMachineProblems();
|
| +
|
| + /**
|
| * Returns <code>true</code> if the compiler should collect comments.
|
| */
|
| boolean collectComments();
|
|
|