| 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;
|
| }
|
|
|
|
|