Index: editor/tools/plugins/com.google.dart.command.analyze/src/com/google/dart/command/analyze/AnalyzerOptions.java |
=================================================================== |
--- editor/tools/plugins/com.google.dart.command.analyze/src/com/google/dart/command/analyze/AnalyzerOptions.java (revision 19891) |
+++ editor/tools/plugins/com.google.dart.command.analyze/src/com/google/dart/command/analyze/AnalyzerOptions.java (working copy) |
@@ -129,6 +129,14 @@ |
@Option(name = "--fatal-warnings") |
private boolean warningsAreFatal = false; |
+ // TODO(devoncarew): this is unused, and is only for dartc compatibility |
+ @Option(name = "--fatal-type-errors") |
+ private boolean fatalTypeError = false; |
+ |
+ // TODO(devoncarew): this is unused, and is only for dartc compatibility |
+ @Option(name = "--error_format") |
+ private String errorFormat = ""; |
+ |
@Option(name = "--create-sdk-index", // |
metaVar = "<file>") |
private File sdkIndexLocation = null; |
@@ -155,6 +163,10 @@ |
} |
public boolean getMachineFormat() { |
+ if ("machine".equals(errorFormat)) { |
+ return true; |
+ } |
+ |
return machineFormat; |
} |