Analysis request `getReachableSources` (#24893).

pkg/analysis_server/tool/spec/spec_input.html

Index: pkg/analysis_server/tool/spec/spec_input.html
diff --git a/pkg/analysis_server/tool/spec/spec_input.html b/pkg/analysis_server/tool/spec/spec_input.html
index c0697a52bc46383fb486ad7d496d43a98fd8811b..1b9b3e197a103d555a08f47e35c893ac7bf2bbb7 100644
--- a/pkg/analysis_server/tool/spec/spec_input.html
+++ b/pkg/analysis_server/tool/spec/spec_input.html
@@ -395,6 +395,35 @@
           </field>
         </result>
       </request>
+      <request method="getReachableSources">
+        <p>
+          Return the transitive closure of reachable sources for a given file.

[Brian Wilkerson, 2015/12/02 01:56:27]

This should return an error response if the file is not currently being
analyzed. (I know there's wording in other requests that you could borrow.)

[pquitslund, 2015/12/02 16:40:23]

Ah, yes.  Good.

Updated!

+        </p>
+        <params>
+          <field name="file">
+            <ref>FilePath</ref>
+            <p>
+              The file for which reachable source information is being requested.
+            </p>
+          </field>
+        </params>
+        <result>
+          <field name="sources">
+            <map>
+              <key><ref>String</ref></key>
+              <value><list>><ref>String</ref></list></value>
+            </map>
+            <p>
+              A mapping from source URIs to directly reachable source URIs. For example,
+              a file "foo.dart" that imports "bar.dart" would have the corresponding mapping
+              { "file:///foo.dart" : ["file:///bar.dart"] }.  If "bar.dart" has further imports

[Brian Wilkerson, 2015/12/02 01:56:27]

The "If" implies to me that 'bar.dart' might not be a key in the mapping, but I
think it always will be a key (because everything implicitly imports 'dart:core'
even if it doesn't explicitly import anything. Not sure how best to re-word it.

[pquitslund, 2015/12/02 16:40:23]

Acknowledged.

+              (or exports) there will be a mapping from the URI "file:///bar.dart" to them.
+              To check if a specific URI is reachable from a given file, clients can check
+              for its presence in the resulting key set.
+            </p>
+          </field>
+        </result>
+      </request>
       <request method="getLibraryDependencies">
         <p>
           Return library dependency information for use in client-side indexing