Add paging support

pkg/analysis_server/test/integration/integration_test_methods.dart

 // Copyright (c) 2014, the Dart project authors.  Please see the AUTHORS file
 // for details. All rights reserved. Use of this source code is governed by a
 // BSD-style license that can be found in the LICENSE file.
 //
 // This file has been automatically generated.  Please do not edit it manually.
 // To regenerate the file, use the script
 // "pkg/analysis_server/tool/spec/generate_files".
 
 /**
  * Convenience methods for running integration tests
@@ skipping 206 matching lines @@
   Future<AnalysisGetHoverResult> sendAnalysisGetHover(String file, int offset) {
     var params = new AnalysisGetHoverParams(file, offset).toJson();
     return server.send("analysis.getHover", params)
         .then((result) {
       ResponseDecoder decoder = new ResponseDecoder(null);
       return new AnalysisGetHoverResult.fromJson(decoder, 'result', result);
     });
   }
 
   /**
+   * Return the navigation information associated with the given region of the
+   * given file.
+   *
+   * If a navigation region is partially contained in (but extends either
+   * before or after) the given region of the file it will be included in the
+   * result. This means that it is theoretically possible to get the same
+   * navigation region in response to multiple requests. Clients can avoid this
+   * by always choosing a region that starts at the beginning of a line and
+   * ends at the end of a line in the file.
+   *
+   * Parameters
+   *
+   * file ( FilePath )
+   *
+   *   The file in which navigation information is being requested.
+   *
+   * start ( int )
+   *
+   *   The offset of the start of the region for which hover information is
+   *   being requested.
+   *
+   * end ( int )
+   *
+   *   The offset of the end of the region for which hover information is being
+   *   requested.
+   *
+   * Returns
+   *
+   * files ( List<FilePath> )
+   *
+   *   A list of the paths of files that are referenced by the navigation
+   *   targets.
+   *
+   * targets ( List<NavigationTarget> )
+   *
+   *   A list of the navigation targets that are referenced by the navigation
+   *   regions.
+   *
+   * regions ( List<NavigationRegion> )
+   *
+   *   A list of the navigation regions within the requested region of the
+   *   file.
+   */
+  Future<AnalysisGetNavigationResult> sendAnalysisGetNavigation(String file, int start, int end) {
+    var params = new AnalysisGetNavigationParams(file, start, end).toJson();
+    return server.send("analysis.getNavigation", params)
+        .then((result) {
+      ResponseDecoder decoder = new ResponseDecoder(null);
+      return new AnalysisGetNavigationResult.fromJson(decoder, 'result', result);
+    });
+  }
+
+  /**
    * Force the re-analysis of everything contained in the existing analysis
    * roots. This will cause all previously computed analysis results to be
    * discarded and recomputed, and will cause all subscribed notifications to
    * be re-sent.
    */
   Future sendAnalysisReanalyze() {
     return server.send("analysis.reanalyze", null)
         .then((result) {
       expect(result, isNull);
       return null;
@@ skipping 278 matching lines @@
    *   associated with a particular region.
    */
   Stream<AnalysisHighlightsParams> onAnalysisHighlights;
 
   /**
    * Stream controller for [onAnalysisHighlights].
    */
   StreamController<AnalysisHighlightsParams> _onAnalysisHighlights;
 
   /**
+   * Reports that the navigation information associated with a region of a
+   * single file has become invalid and should be re-requested.
+   *
+   * This notification is not subscribed to by default. Clients can subscribe
+   * by including the value "INVALIDATE" in the list of services passed in an
+   * analysis.setSubscriptions request.
+   *
+   * Parameters
+   *
+   * file ( FilePath )
+   *
+   *   The file whose information has been invalidated.
+   *
+   * start ( int )
+   *
+   *   The offset of the start of the invalidated region.
+   *
+   * end ( int )
+   *
+   *   The offset of the end of the invalidated region.
+   *
+   * delta ( int )
+   *
+   *   The delta to be applied to the offsets in information that follows the
+   *   invalidated region in order to update it so that it doesn't need to be
+   *   re-requested.
+   */
+  Stream<AnalysisInvalidateParams> onAnalysisInvalidate;
+
+  /**
+   * Stream controller for [onAnalysisInvalidate].
+   */
+  StreamController<AnalysisInvalidateParams> _onAnalysisInvalidate;
+
+  /**
    * Reports the navigation targets associated with a given file.
    *
    * This notification is not subscribed to by default. Clients can subscribe
    * by including the value "NAVIGATION" in the list of services passed in an
    * analysis.setSubscriptions request.
    *
    * Parameters
    *
    * file ( FilePath )
    *
@@ skipping 747 matching lines @@
     _onServerStatus = new StreamController<ServerStatusParams>(sync: true);
     onServerStatus = _onServerStatus.stream.asBroadcastStream();
     _onAnalysisErrors = new StreamController<AnalysisErrorsParams>(sync: true);
     onAnalysisErrors = _onAnalysisErrors.stream.asBroadcastStream();
     _onAnalysisFlushResults = new StreamController<AnalysisFlushResultsParams>(sync: true);
     onAnalysisFlushResults = _onAnalysisFlushResults.stream.asBroadcastStream();
     _onAnalysisFolding = new StreamController<AnalysisFoldingParams>(sync: true);
     onAnalysisFolding = _onAnalysisFolding.stream.asBroadcastStream();
     _onAnalysisHighlights = new StreamController<AnalysisHighlightsParams>(sync: true);
     onAnalysisHighlights = _onAnalysisHighlights.stream.asBroadcastStream();
+    _onAnalysisInvalidate = new StreamController<AnalysisInvalidateParams>(sync: true);
+    onAnalysisInvalidate = _onAnalysisInvalidate.stream.asBroadcastStream();
     _onAnalysisNavigation = new StreamController<AnalysisNavigationParams>(sync: true);
     onAnalysisNavigation = _onAnalysisNavigation.stream.asBroadcastStream();
     _onAnalysisOccurrences = new StreamController<AnalysisOccurrencesParams>(sync: true);
     onAnalysisOccurrences = _onAnalysisOccurrences.stream.asBroadcastStream();
     _onAnalysisOutline = new StreamController<AnalysisOutlineParams>(sync: true);
     onAnalysisOutline = _onAnalysisOutline.stream.asBroadcastStream();
     _onAnalysisOverrides = new StreamController<AnalysisOverridesParams>(sync: true);
     onAnalysisOverrides = _onAnalysisOverrides.stream.asBroadcastStream();
     _onCompletionResults = new StreamController<CompletionResultsParams>(sync: true);
     onCompletionResults = _onCompletionResults.stream.asBroadcastStream();
@@ skipping 31 matching lines @@
         _onAnalysisFlushResults.add(new AnalysisFlushResultsParams.fromJson(decoder, 'params', params));
         break;
       case "analysis.folding":
         expect(params, isAnalysisFoldingParams);
         _onAnalysisFolding.add(new AnalysisFoldingParams.fromJson(decoder, 'params', params));
         break;
       case "analysis.highlights":
         expect(params, isAnalysisHighlightsParams);
         _onAnalysisHighlights.add(new AnalysisHighlightsParams.fromJson(decoder, 'params', params));
         break;
+      case "analysis.invalidate":
+        expect(params, isAnalysisInvalidateParams);
+        _onAnalysisInvalidate.add(new AnalysisInvalidateParams.fromJson(decoder, 'params', params));
+        break;
       case "analysis.navigation":
         expect(params, isAnalysisNavigationParams);
         _onAnalysisNavigation.add(new AnalysisNavigationParams.fromJson(decoder, 'params', params));
         break;
       case "analysis.occurrences":
         expect(params, isAnalysisOccurrencesParams);
         _onAnalysisOccurrences.add(new AnalysisOccurrencesParams.fromJson(decoder, 'params', params));
         break;
       case "analysis.outline":
         expect(params, isAnalysisOutlineParams);
@@ skipping 14 matching lines @@
       case "execution.launchData":
         expect(params, isExecutionLaunchDataParams);
         _onExecutionLaunchData.add(new ExecutionLaunchDataParams.fromJson(decoder, 'params', params));
         break;
       default:
         fail('Unexpected notification: $event');
         break;
     }
   }
 }