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 138 matching lines @@
    */
   StreamController<ServerStatusParams> _onServerStatus;
 
   /**
    * Return the errors associated with the given file. If the errors for the
    * given file have not yet been computed, or the most recently computed
    * errors for the given file are out of date, then the response for this
    * request will be delayed until they have been computed. If some or all of
    * the errors for the file cannot be computed, then the subset of the errors
    * that can be computed will be returned and the response will contain an
-   * error to indicate why the errors could not be computed.
+   * error to indicate why the errors could not be computed. If the content of
+   * the file changes after this request was received but before a response
+   * could be sent, then an error of type CONTENT_MODIFIED will be generated.
    *
    * This request is intended to be used by clients that cannot asynchronously
    * apply updated error information. Clients that can apply error information
    * as it becomes available should use the information provided by the
    * 'analysis.errors' notification.
    *
    * If a request is made for a file which does not exist, or which is not
    * currently subject to analysis (e.g. because it is not associated with any
    * analysis root specified to analysis.setAnalysisRoots), an error of type
    * GET_ERRORS_INVALID_FILE will be generated.
@@ skipping 47 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 the navigation information for the given file has not yet
+   * been computed, or the most recently computed navigation information for
+   * the given file is out of date, then the response for this request will be
+   * delayed until it has been computed. If the content of the file changes
+   * after this request was received but before a response could be sent, then
+   * an error of type CONTENT_MODIFIED will be generated.
+   *
+   * If a navigation region overlaps (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
+   * (possibly different) line in the file.
+   *
+   * Parameters
+   *
+   * file ( FilePath )
+   *
+   *   The file in which navigation information is being requested.
+   *
+   * offset ( int )
+   *
+   *   The offset of the region for which navigation information is being
+   *   requested.
+   *
+   * length ( int )
+   *
+   *   The length of the region for which navigation 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 offset, int length) {
+    var params = new AnalysisGetNavigationParams(file, offset, length).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.
+   *
+   * offset ( int )
+   *
+   *   The offset of the invalidated region.
+   *
+   * length ( int )
+   *
+   *   The length 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;
     }
   }
 }