Issue 23640. Implement 'analysis.getNavigation' request.

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 259 matching lines @@
    * 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.
    *
+   * 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_NAVIGATION_INVALID_FILE will be generated.
+   *
    * 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.
@@ skipping 1309 matching lines @@
       case "execution.launchData":
         expect(params, isExecutionLaunchDataParams);
         _onExecutionLaunchData.add(new ExecutionLaunchDataParams.fromJson(decoder, 'params', params));
         break;
       default:
         fail('Unexpected notification: $event');
         break;
     }
   }
 }