Issue 23640. Implement 'analysis.getNavigation' request.

pkg/analysis_server/doc/api.html

Index: pkg/analysis_server/doc/api.html
diff --git a/pkg/analysis_server/doc/api.html b/pkg/analysis_server/doc/api.html
index ce3acad59844507a7a480ce35af1fd117627b366..1dd437a36db398abee17fd581252f1a3b85bdea1 100644
--- a/pkg/analysis_server/doc/api.html
+++ b/pkg/analysis_server/doc/api.html
@@ -555,6 +555,13 @@ dt.typeDefinition {
           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.
         </p>
+        <p>
+          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
+          <tt>GET_NAVIGATION_INVALID_FILE</tt> will be generated.
+        </p>
         
         
       <h4>Parameters</h4><dl><dt class="field"><b><i>file ( <a href="#type_FilePath">FilePath</a> )</i></b></dt><dd>
@@ -3161,6 +3168,13 @@ dt.typeDefinition {
               which does not match a file currently subject to
               analysis.
             </p>
+          </dd><dt class="value">GET_NAVIGATION_INVALID_FILE</dt><dd>
+            
+            <p>
+              An "analysis.getErrors" request specified a FilePath
+              which does not match a file currently subject to
+              analysis.
+            </p>
           </dd><dt class="value">INVALID_ANALYSIS_ROOT</dt><dd>
             
             <p>