Index: compiler/java/com/google/dart/compiler/CommandLineOptions.java |
diff --git a/compiler/java/com/google/dart/compiler/CommandLineOptions.java b/compiler/java/com/google/dart/compiler/CommandLineOptions.java |
index 263df779733e7764c13458eba2643da722eb55df..6edd165b77d6810a9a2f87fd374ffb57823ddf6f 100644 |
--- a/compiler/java/com/google/dart/compiler/CommandLineOptions.java |
+++ b/compiler/java/com/google/dart/compiler/CommandLineOptions.java |
@@ -41,6 +41,10 @@ public class CommandLineOptions { |
@Option(name = "--expose_core_impl", usage = "Automatic import of dart:coreimpl library") |
private boolean exposeCoreImpl = false; |
+ @Option(name = "--machine-problems", |
+ usage = "Print problems with all details") |
zundel
2011/11/04 19:21:34
Format errors for machine parsing
|
+ private boolean printMachineProblems = false; |
+ |
@Option(name = "--enable_type_checks", |
usage = "Generate runtime type checks") |
private boolean developerModeChecks = false; |
@@ -273,6 +277,14 @@ public class CommandLineOptions { |
} |
/** |
+ * Returns <code>true</code> if the compiler should print compilation problems in machine |
+ * format, with all information - severity, subsystem, etc. |
+ */ |
+ public boolean printMachineProblems() { |
+ return printMachineProblems; |
+ } |
+ |
+ /** |
* Returns whether type errors are fatal. |
*/ |
public boolean typeErrorsAreFatal() { |