Add new performance option

editor/tools/plugins/com.google.dart.command.analyze/src/com/google/dart/command/analyze/AnalyzerOptions.java

Index: editor/tools/plugins/com.google.dart.command.analyze/src/com/google/dart/command/analyze/AnalyzerOptions.java
diff --git a/editor/tools/plugins/com.google.dart.command.analyze/src/com/google/dart/command/analyze/AnalyzerOptions.java b/editor/tools/plugins/com.google.dart.command.analyze/src/com/google/dart/command/analyze/AnalyzerOptions.java
index bee2b7cfd0ddc603e186eb848a44c59ec0145433..060a12eb8991279575b432b7bc259c4dee413e27 100644
--- a/editor/tools/plugins/com.google.dart.command.analyze/src/com/google/dart/command/analyze/AnalyzerOptions.java
+++ b/editor/tools/plugins/com.google.dart.command.analyze/src/com/google/dart/command/analyze/AnalyzerOptions.java
@@ -189,6 +189,10 @@ public class AnalyzerOptions {
   @Option(name = "--diagnostic-colors")
   private boolean diagnosticColors = false; // ignored for now
 
+  @Option(name = "--warm-perf")
+  // usage = "Print both cold and warm performance statistics") // don't show in help
+  private boolean warmPerf = false;
+
   @Argument
   private final String sourceFile = null;
 
@@ -278,6 +282,13 @@ public class AnalyzerOptions {
   }
 
   /**
+   * @return whether both cold and warm performance statistics should be printed
+   */
+  public boolean getWarmPerf() {
+    return warmPerf;
+  }
+
+  /**
    * Return whether warnings are reported as fatal errors. This is only useful for batch mode.
    * 
    * @return whether warnings are reported as fatal errors