Add logging to the incremental resolver.

pkg/analysis_server/lib/driver.dart

Index: pkg/analysis_server/lib/driver.dart
diff --git a/pkg/analysis_server/lib/driver.dart b/pkg/analysis_server/lib/driver.dart
index 74f1dcd8b0e7cbc915b9f459b2219dee79d0044e..5e7c95f5985b9af309c851d59d7c28d84c33f534 100644
--- a/pkg/analysis_server/lib/driver.dart
+++ b/pkg/analysis_server/lib/driver.dart
@@ -34,6 +34,11 @@ class Driver {
       "enable-incremental-resolution";
 
   /**
+   * The name of the option used to describe the incremental resolution logger.
+   */
+  static const String INCREMENTAL_RESOLUTION_LOG = "incremental-resolution-log";
+
+  /**
    * The name of the option used to enable instrumentation.
    */
   static const String ENABLE_INSTRUMENTATION_OPTION = "enable-instrumentation";
@@ -54,8 +59,7 @@ class Driver {
    * The name of the option used to specify if [print] should print to the
    * console instead of being intercepted.
    */
-  static const String INTERNAL_PRINT_TO_CONSOLE =
-      "internal-print-to-console";
+  static const String INTERNAL_PRINT_TO_CONSOLE = "internal-print-to-console";
 
   /**
    * The name of the option used to specify the port to which the server will
@@ -103,6 +107,9 @@ class Driver {
         defaultsTo: false,
         negatable: false);
     parser.addOption(
+        INCREMENTAL_RESOLUTION_LOG,
+        help: "the description of the incremental resolition log");

[Brian Wilkerson, 2014/12/03 15:05:17]

"resolition" --> "resolution"

+    parser.addOption(
         INSTRUMENTATION_LOG_FILE_OPTION,
         help: "[path] the file to which instrumentation data will be logged");
     parser.addFlag(
@@ -154,6 +161,9 @@ class Driver {
     AnalysisServerOptions analysisServerOptions = new AnalysisServerOptions();
     analysisServerOptions.enableIncrementalResolution =
         results[ENABLE_INCREMENTAL_RESOLUTION];
+    analysisServerOptions.incrementalResolutionLog =
+        results[INCREMENTAL_RESOLUTION_LOG];
+    print(results[INCREMENTAL_RESOLUTION_LOG]);
 
     DartSdk defaultSdk;
     if (results[SDK_OPTION] != null) {