anchor.diff:      hide AnalysisOptions, Element;
   import 'package:analysis_server/src/analysis_logger.dart';
   import 'package:analysis_server/src/channel/channel.dart';
  +import 'package:analysis_server/src/computer/computer_highlights.dart';
  +import 'package:analysis_server/src/computer/computer_highlights2.dart';
  +import 'package:analysis_server/src/computer/computer_outline.dart';
   import 'package:analysis_server/src/computer/new_notifications.dart';
   import 'package:analysis_server/src/context_manager.dart';
  +import 'package:analysis_server/src/domains/analysis/navigation.dart';
  +import 'package:analysis_server/src/domains/analysis/navigation_dart.dart';
  +import 'package:analysis_server/src/domains/analysis/occurrences.dart';
  +import 'package:analysis_server/src/domains/analysis/occurrences_dart.dart';
   import 'package:analysis_server/src/operation/operation.dart';
   import 'package:analysis_server/src/operation/operation_analysis.dart';
   import 'package:analysis_server/src/operation/operation_queue.dart';
  +import 'package:analysis_server/src/plugin/notification_manager.dart';
   import 'package:analysis_server/src/plugin/server_plugin.dart';
  +import 'package:analysis_server/src/protocol_server.dart' as server;
   import 'package:analysis_server/src/server/diagnostic_server.dart';
   import 'package:analysis_server/src/services/correction/namespace.dart';
   import 'package:analysis_server/src/services/index/index.dart';
  
positive.code:                 analysisServer, path, result.lineInfo, sourceKind, unit);
            });
          }
        }
        // TODO(scheglov) Implement more notifications.
        // IMPLEMENTED
      });
      analysisDriver.exceptions.listen((nd.ExceptionResult result) {
        String message = 'Analysis failed: ${result.path}';
  
negative.code:    * be sent.
     */
    final ServerCommunicationChannel channel;
  
    /**
     * The object used to manage sending a subset of notifications to the client.
     * The subset of notifications are those to which plugins may contribute.
     * This field is `null` when the new plugin support is disabled.
     */
    final NotificationManager notificationManager = null;
  
    /**
     * The [ResourceProvider] using which paths are converted into [Resource]s.
  