Issue 23640. Implement 'analysis.getNavigation' request.

pkg/analysis_server/tool/spec/generated/java/AnalysisServer.java

Index: pkg/analysis_server/tool/spec/generated/java/AnalysisServer.java
diff --git a/pkg/analysis_server/tool/spec/generated/java/AnalysisServer.java b/pkg/analysis_server/tool/spec/generated/java/AnalysisServer.java
index dff755249940334eadd45f759265257897329bad..c6debb704c77061c8f778f6f05f23f0e5c15bdc5 100644
--- a/pkg/analysis_server/tool/spec/generated/java/AnalysisServer.java
+++ b/pkg/analysis_server/tool/spec/generated/java/AnalysisServer.java
@@ -105,6 +105,10 @@ public interface AnalysisServer {
    * 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.
+   *
    * @param file The file in which navigation information is being requested.
    * @param offset The offset of the region for which navigation information is being requested.
    * @param length The length of the region for which navigation information is being requested.