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(); |