internal/lsp: derive ASTs from type information
In the case of documentation items for completion items, we should make
sure to use the ASTs and type information for the originating package.
To do this while avoiding race conditions, we have to do this by
breadth-first searching the top-level package and its dependencies.
Change-Id: Id657be969ca3e400bb2bbd769a82d88e91865764
Reviewed-on: https://go-review.googlesource.com/c/tools/+/194477
Run-TryBot: Rebecca Stambler <rstambler@golang.org>
TryBot-Result: Gobot Gobot <gobot@golang.org>
Reviewed-by: Ian Cottrell <iancottrell@google.com>
diff --git a/internal/lsp/cache/pkg.go b/internal/lsp/cache/pkg.go
index 64264af..69c9a74 100644
--- a/internal/lsp/cache/pkg.go
+++ b/internal/lsp/cache/pkg.go
@@ -7,6 +7,7 @@
import (
"context"
"go/ast"
+ "go/token"
"go/types"
"sort"
"sync"
@@ -14,6 +15,8 @@
"golang.org/x/tools/go/analysis"
"golang.org/x/tools/go/packages"
"golang.org/x/tools/internal/lsp/source"
+ "golang.org/x/tools/internal/span"
+ errors "golang.org/x/xerrors"
)
// pkg contains the type information needed by the source package.
@@ -199,3 +202,32 @@
}
return diags
}
+
+func (p *pkg) FindFile(ctx context.Context, uri span.URI, pos token.Pos) (source.ParseGoHandle, *ast.File, source.Package, error) {
+ queue := []*pkg{p}
+ seen := make(map[string]bool)
+
+ for len(queue) > 0 {
+ pkg := queue[0]
+ queue = queue[1:]
+ seen[pkg.ID()] = true
+
+ for _, ph := range pkg.files {
+ if ph.File().Identity().URI == uri {
+ file, err := ph.Cached(ctx)
+ if file == nil {
+ return nil, nil, nil, err
+ }
+ if file.Pos() <= pos && pos <= file.End() {
+ return ph, file, pkg, nil
+ }
+ }
+ }
+ for _, dep := range pkg.imports {
+ if !seen[dep.ID()] {
+ queue = append(queue, dep)
+ }
+ }
+ }
+ return nil, nil, nil, errors.Errorf("no file for %s", uri)
+}
diff --git a/internal/lsp/source/completion.go b/internal/lsp/source/completion.go
index 497ecbf..127503e 100644
--- a/internal/lsp/source/completion.go
+++ b/internal/lsp/source/completion.go
@@ -138,11 +138,10 @@
// completer contains the necessary information for a single completion request.
type completer struct {
- // Package-specific fields.
- types *types.Package
- info *types.Info
- qf types.Qualifier
- opts CompletionOptions
+ pkg Package
+
+ qf types.Qualifier
+ opts CompletionOptions
// view is the View associated with this completion request.
view View
@@ -278,7 +277,7 @@
// found adds a candidate completion. We will also search through the object's
// members for more candidates.
func (c *completer) found(obj types.Object, score float64, imp *imports.ImportInfo) {
- if obj.Pkg() != nil && obj.Pkg() != c.types && !obj.Exported() {
+ if obj.Pkg() != nil && obj.Pkg() != c.pkg.GetTypes() && !obj.Exported() {
// obj is not accessible because it lives in another package and is not
// exported. Don't treat it as a completion candidate.
return
@@ -430,8 +429,7 @@
clInfo := enclosingCompositeLiteral(path, rng.Start, pkg.GetTypesInfo())
c := &completer{
- types: pkg.GetTypes(),
- info: pkg.GetTypesInfo(),
+ pkg: pkg,
qf: qualifier(file, pkg.GetTypes(), pkg.GetTypesInfo()),
view: view,
ctx: ctx,
@@ -545,14 +543,14 @@
func (c *completer) selector(sel *ast.SelectorExpr) error {
// Is sel a qualified identifier?
if id, ok := sel.X.(*ast.Ident); ok {
- if pkgname, ok := c.info.Uses[id].(*types.PkgName); ok {
+ if pkgname, ok := c.pkg.GetTypesInfo().Uses[id].(*types.PkgName); ok {
c.packageMembers(pkgname)
return nil
}
}
// Invariant: sel is a true selector.
- tv, ok := c.info.Types[sel.X]
+ tv, ok := c.pkg.GetTypesInfo().Types[sel.X]
if !ok {
return errors.Errorf("cannot resolve %s", sel.X)
}
@@ -601,9 +599,9 @@
case *ast.FuncLit:
n = node.Type
}
- scopes = append(scopes, c.info.Scopes[n])
+ scopes = append(scopes, c.pkg.GetTypesInfo().Scopes[n])
}
- scopes = append(scopes, c.types.Scope(), types.Universe)
+ scopes = append(scopes, c.pkg.GetTypes().Scope(), types.Universe)
// Track seen variables to avoid showing completions for shadowed variables.
// This works since we look at scopes from innermost to outermost.
@@ -631,7 +629,7 @@
node = c.path[i-1]
}
if node != nil {
- if resolved := resolveInvalid(obj, node, c.info); resolved != nil {
+ if resolved := resolveInvalid(obj, node, c.pkg.GetTypesInfo()); resolved != nil {
obj = resolved
}
}
@@ -681,7 +679,7 @@
}
if key, ok := kvExpr.Key.(*ast.Ident); ok {
- if used, ok := c.info.Uses[key]; ok {
+ if used, ok := c.pkg.GetTypesInfo().Uses[key]; ok {
if usedVar, ok := used.(*types.Var); ok {
addedFields[usedVar] = true
}
@@ -924,7 +922,7 @@
if c.pos < node.OpPos {
e = node.Y
}
- if tv, ok := c.info.Types[e]; ok {
+ if tv, ok := c.pkg.GetTypesInfo().Types[e]; ok {
typ = tv.Type
break Nodes
}
@@ -935,7 +933,7 @@
if i >= len(node.Lhs) {
i = len(node.Lhs) - 1
}
- if tv, ok := c.info.Types[node.Lhs[i]]; ok {
+ if tv, ok := c.pkg.GetTypesInfo().Types[node.Lhs[i]]; ok {
typ = tv.Type
break Nodes
}
@@ -946,12 +944,12 @@
if node.Lparen <= c.pos && c.pos <= node.Rparen {
// For type conversions like "int64(foo)" we can only infer our
// desired type is convertible to int64.
- if typ := typeConversion(node, c.info); typ != nil {
+ if typ := typeConversion(node, c.pkg.GetTypesInfo()); typ != nil {
convertibleTo = typ
break Nodes
}
- if tv, ok := c.info.Types[node.Fun]; ok {
+ if tv, ok := c.pkg.GetTypesInfo().Types[node.Fun]; ok {
if sig, ok := tv.Type.(*types.Signature); ok {
if sig.Params().Len() == 0 {
return typeInference{}
@@ -980,7 +978,7 @@
return typeInference{}
case *ast.CaseClause:
if swtch, ok := findSwitchStmt(c.path[i+1:], c.pos, node).(*ast.SwitchStmt); ok {
- if tv, ok := c.info.Types[swtch.Tag]; ok {
+ if tv, ok := c.pkg.GetTypesInfo().Types[swtch.Tag]; ok {
typ = tv.Type
break Nodes
}
@@ -996,7 +994,7 @@
case *ast.IndexExpr:
// Make sure position falls within the brackets (e.g. "foo[<>]").
if node.Lbrack < c.pos && c.pos <= node.Rbrack {
- if tv, ok := c.info.Types[node.X]; ok {
+ if tv, ok := c.pkg.GetTypesInfo().Types[node.X]; ok {
switch t := tv.Type.Underlying().(type) {
case *types.Map:
typ = t.Key()
@@ -1012,7 +1010,7 @@
case *ast.SendStmt:
// Make sure we are on right side of arrow (e.g. "foo <- <>").
if c.pos > node.Arrow+1 {
- if tv, ok := c.info.Types[node.Chan]; ok {
+ if tv, ok := c.pkg.GetTypesInfo().Types[node.Chan]; ok {
if ch, ok := tv.Type.Underlying().(*types.Chan); ok {
typ = ch.Elem()
break Nodes
@@ -1146,7 +1144,7 @@
// The case clause types must be assertable from the type switch parameter.
ast.Inspect(swtch.Assign, func(n ast.Node) bool {
if ta, ok := n.(*ast.TypeAssertExpr); ok {
- assertableFrom = c.info.TypeOf(ta.X)
+ assertableFrom = c.pkg.GetTypesInfo().TypeOf(ta.X)
return false
}
return true
@@ -1159,7 +1157,7 @@
// Expect type names in type assert expressions.
if n.Lparen < c.pos && c.pos <= n.Rparen {
// The type in parens must be assertable from the expression type.
- assertableFrom = c.info.TypeOf(n.X)
+ assertableFrom = c.pkg.GetTypesInfo().TypeOf(n.X)
wantTypeName = true
break Nodes
}
diff --git a/internal/lsp/source/completion_format.go b/internal/lsp/source/completion_format.go
index e86ab29..b43a59a 100644
--- a/internal/lsp/source/completion_format.go
+++ b/internal/lsp/source/completion_format.go
@@ -124,32 +124,11 @@
return item, nil
}
uri := span.FileURI(pos.Filename)
- f, err := c.view.GetFile(c.ctx, uri)
- if err != nil {
+ _, file, pkg, err := c.pkg.FindFile(c.ctx, uri, obj.Pos())
+ if file == nil || pkg == nil {
return item, nil
}
- gof, ok := f.(GoFile)
- if !ok {
- return item, nil
- }
- pkg, err := gof.GetCachedPackage(c.ctx)
- if err != nil {
- return item, nil
- }
- var ph ParseGoHandle
- for _, h := range pkg.GetHandles() {
- if h.File().Identity().URI == gof.URI() {
- ph = h
- }
- }
- if ph == nil {
- return item, nil
- }
- file, _ := ph.Cached(c.ctx)
- if file == nil {
- return item, nil
- }
- ident, err := findIdentifier(c.ctx, c.view, gof, pkg, file, declRange.spanRange.Start)
+ ident, err := findIdentifier(c.ctx, c.view, []Package{pkg}, file, obj.Pos())
if err != nil {
return item, nil
}
diff --git a/internal/lsp/source/identifier.go b/internal/lsp/source/identifier.go
index c74e0e6..2e286b0 100644
--- a/internal/lsp/source/identifier.go
+++ b/internal/lsp/source/identifier.go
@@ -22,7 +22,7 @@
type IdentifierInfo struct {
Name string
View View
- File GoFile
+ File ParseGoHandle
mappedRange
Type struct {
@@ -32,7 +32,7 @@
Declaration Declaration
- pkg Package
+ pkgs []Package
ident *ast.Ident
wasEmbeddedField bool
qf types.Qualifier
@@ -48,7 +48,7 @@
// Identifier returns identifier information for a position
// in a file, accounting for a potentially incomplete selector.
func Identifier(ctx context.Context, view View, f GoFile, pos protocol.Position) (*IdentifierInfo, error) {
- file, pkg, m, err := fileToMapper(ctx, view, f.URI())
+ file, pkgs, m, err := fileToMapper(ctx, view, f.URI())
if err != nil {
return nil, err
}
@@ -60,17 +60,17 @@
if err != nil {
return nil, err
}
- return findIdentifier(ctx, view, f, pkg, file, rng.Start)
+ return findIdentifier(ctx, view, pkgs, file, rng.Start)
}
-func findIdentifier(ctx context.Context, view View, f GoFile, pkg Package, file *ast.File, pos token.Pos) (*IdentifierInfo, error) {
- if result, err := identifier(ctx, view, f, pkg, file, pos); err != nil || result != nil {
+func findIdentifier(ctx context.Context, view View, pkgs []Package, file *ast.File, pos token.Pos) (*IdentifierInfo, error) {
+ if result, err := identifier(ctx, view, pkgs, file, pos); err != nil || result != nil {
return result, err
}
// If the position is not an identifier but immediately follows
// an identifier or selector period (as is common when
// requesting a completion), use the path to the preceding node.
- ident, err := identifier(ctx, view, f, pkg, file, pos-1)
+ ident, err := identifier(ctx, view, pkgs, file, pos-1)
if ident == nil && err == nil {
err = errors.New("no identifier found")
}
@@ -78,25 +78,36 @@
}
// identifier checks a single position for a potential identifier.
-func identifier(ctx context.Context, view View, f GoFile, pkg Package, file *ast.File, pos token.Pos) (*IdentifierInfo, error) {
+func identifier(ctx context.Context, view View, pkgs []Package, file *ast.File, pos token.Pos) (*IdentifierInfo, error) {
ctx, done := trace.StartSpan(ctx, "source.identifier")
defer done()
var err error
// Handle import specs separately, as there is no formal position for a package declaration.
- if result, err := importSpec(ctx, view, f, file, pkg, pos); result != nil || err != nil {
+ if result, err := importSpec(ctx, view, file, pkgs, pos); result != nil || err != nil {
return result, err
}
path, _ := astutil.PathEnclosingInterval(file, pos, pos)
if path == nil {
return nil, errors.Errorf("can't find node enclosing position")
}
+ uri := span.FileURI(view.Session().Cache().FileSet().Position(pos).Filename)
+ pkg, err := bestPackage(uri, pkgs)
+ if err != nil {
+ return nil, err
+ }
+ var ph ParseGoHandle
+ for _, h := range pkg.GetHandles() {
+ if h.File().Identity().URI == uri {
+ ph = h
+ }
+ }
result := &IdentifierInfo{
View: view,
- File: f,
+ File: ph,
qf: qualifier(file, pkg.GetTypes(), pkg.GetTypesInfo()),
- pkg: pkg,
+ pkgs: pkgs,
}
switch node := path[0].(type) {
@@ -137,7 +148,7 @@
// Handle builtins separately.
if result.Declaration.obj.Parent() == types.Universe {
- decl, ok := lookupBuiltinDecl(f.View(), result.Name).(ast.Node)
+ decl, ok := lookupBuiltinDecl(view, result.Name).(ast.Node)
if !ok {
return nil, errors.Errorf("no declaration for %s", result.Name)
}
@@ -170,7 +181,7 @@
if result.Declaration.mappedRange, err = objToMappedRange(ctx, view, result.Declaration.obj); err != nil {
return nil, err
}
- if result.Declaration.node, err = objToNode(ctx, view, pkg.GetTypes(), result.Declaration.obj, result.Declaration.mappedRange.spanRange); err != nil {
+ if result.Declaration.node, err = objToNode(ctx, view, pkg, result.Declaration.obj); err != nil {
return nil, err
}
typ := pkg.GetTypesInfo().TypeOf(result.ident)
@@ -206,35 +217,15 @@
return types.IsInterface(obj.Type()) && obj.Pkg() == nil && obj.Name() == "error"
}
-func objToNode(ctx context.Context, view View, originPkg *types.Package, obj types.Object, rng span.Range) (ast.Decl, error) {
- s, err := rng.Span()
- if err != nil {
- return nil, err
- }
- f, err := view.GetFile(ctx, s.URI())
- if err != nil {
- return nil, err
- }
- declFile, ok := f.(GoFile)
- if !ok {
- return nil, errors.Errorf("%s is not a Go file", s.URI())
- }
- declPkg, err := declFile.GetCachedPackage(ctx)
- if err != nil {
- return nil, err
- }
- var declAST *ast.File
- for _, ph := range declPkg.GetHandles() {
- if ph.File().Identity().URI == f.URI() {
- declAST, err = ph.Cached(ctx)
- }
- }
+func objToNode(ctx context.Context, view View, pkg Package, obj types.Object) (ast.Decl, error) {
+ uri := span.FileURI(view.Session().Cache().FileSet().Position(obj.Pos()).Filename)
+ _, declAST, _, err := pkg.FindFile(ctx, uri, obj.Pos())
if declAST == nil {
return nil, err
}
- path, _ := astutil.PathEnclosingInterval(declAST, rng.Start, rng.End)
+ path, _ := astutil.PathEnclosingInterval(declAST, obj.Pos(), obj.Pos())
if path == nil {
- return nil, errors.Errorf("no path for range %v", rng)
+ return nil, errors.Errorf("no path for object %v", obj.Name())
}
for _, node := range path {
switch node := node.(type) {
@@ -255,7 +246,7 @@
}
// importSpec handles positions inside of an *ast.ImportSpec.
-func importSpec(ctx context.Context, view View, f GoFile, fAST *ast.File, pkg Package, pos token.Pos) (*IdentifierInfo, error) {
+func importSpec(ctx context.Context, view View, fAST *ast.File, pkgs []Package, pos token.Pos) (*IdentifierInfo, error) {
var imp *ast.ImportSpec
for _, spec := range fAST.Imports {
if spec.Path.Pos() <= pos && pos < spec.Path.End() {
@@ -269,11 +260,22 @@
if err != nil {
return nil, errors.Errorf("import path not quoted: %s (%v)", imp.Path.Value, err)
}
+ uri := span.FileURI(view.Session().Cache().FileSet().Position(pos).Filename)
+ pkg, err := bestPackage(uri, pkgs)
+ if err != nil {
+ return nil, err
+ }
+ var ph ParseGoHandle
+ for _, h := range pkg.GetHandles() {
+ if h.File().Identity().URI == uri {
+ ph = h
+ }
+ }
result := &IdentifierInfo{
View: view,
- File: f,
+ File: ph,
Name: importPath,
- pkg: pkg,
+ pkgs: pkgs,
}
if result.mappedRange, err = posToRange(ctx, view, imp.Path.Pos(), imp.Path.End()); err != nil {
return nil, err
diff --git a/internal/lsp/source/references.go b/internal/lsp/source/references.go
index defb826..142c3c0 100644
--- a/internal/lsp/source/references.go
+++ b/internal/lsp/source/references.go
@@ -34,11 +34,7 @@
if i.Declaration.obj == nil {
return nil, errors.Errorf("no references for an import spec")
}
- pkgs, err := i.File.GetCachedPackages(ctx)
- if err != nil {
- return nil, err
- }
- for _, pkg := range pkgs {
+ for _, pkg := range i.pkgs {
info := pkg.GetTypesInfo()
if info == nil {
return nil, errors.Errorf("package %s has no types info", pkg.PkgPath())
diff --git a/internal/lsp/source/rename.go b/internal/lsp/source/rename.go
index d833acc..e005a2d 100644
--- a/internal/lsp/source/rename.go
+++ b/internal/lsp/source/rename.go
@@ -102,11 +102,15 @@
if i.Declaration.obj.Parent() == types.Universe {
return nil, errors.Errorf("cannot rename builtin %q", i.Name)
}
- if i.pkg == nil || i.pkg.IsIllTyped() {
- return nil, errors.Errorf("package for %s is ill typed", i.File.URI())
+ pkg, err := bestPackage(i.File.File().Identity().URI, i.pkgs)
+ if err != nil {
+ return nil, err
+ }
+ if pkg == nil || pkg.IsIllTyped() {
+ return nil, errors.Errorf("package for %s is ill typed", i.File.File().Identity().URI)
}
// Do not rename identifiers declared in another package.
- if i.pkg.GetTypes() != i.Declaration.obj.Pkg() {
+ if pkg.GetTypes() != i.Declaration.obj.Pkg() {
return nil, errors.Errorf("failed to rename because %q is declared in package %q", i.Name, i.Declaration.obj.Pkg().Name())
}
@@ -168,8 +172,12 @@
file *ast.File
err error
)
- for _, ph := range i.pkg.GetHandles() {
- if ph.File().Identity().URI == i.File.URI() {
+ pkg, err := bestPackage(i.File.File().Identity().URI, i.pkgs)
+ if err != nil {
+ return nil, err
+ }
+ for _, ph := range pkg.GetHandles() {
+ if ph.File().Identity().URI == i.File.File().Identity().URI {
file, err = ph.Cached(ctx)
}
}
@@ -188,13 +196,13 @@
}
// Look for the object defined at NamePos.
- for _, obj := range i.pkg.GetTypesInfo().Defs {
+ for _, obj := range pkg.GetTypesInfo().Defs {
pkgName, ok := obj.(*types.PkgName)
if ok && pkgName.Pos() == namePos {
return getPkgNameIdentifier(ctx, i, pkgName)
}
}
- for _, obj := range i.pkg.GetTypesInfo().Implicits {
+ for _, obj := range pkg.GetTypesInfo().Implicits {
pkgName, ok := obj.(*types.PkgName)
if ok && pkgName.Pos() == namePos {
return getPkgNameIdentifier(ctx, i, pkgName)
@@ -211,10 +219,14 @@
wasImplicit: true,
}
var err error
- if decl.mappedRange, err = objToMappedRange(ctx, ident.File.View(), decl.obj); err != nil {
+ if decl.mappedRange, err = objToMappedRange(ctx, ident.View, decl.obj); err != nil {
return nil, err
}
- if decl.node, err = objToNode(ctx, ident.File.View(), ident.pkg.GetTypes(), decl.obj, decl.mappedRange.spanRange); err != nil {
+ pkg, err := bestPackage(ident.File.File().Identity().URI, ident.pkgs)
+ if err != nil {
+ return nil, err
+ }
+ if decl.node, err = objToNode(ctx, ident.View, pkg, decl.obj); err != nil {
return nil, err
}
return &IdentifierInfo{
@@ -223,7 +235,7 @@
mappedRange: decl.mappedRange,
File: ident.File,
Declaration: decl,
- pkg: ident.pkg,
+ pkgs: ident.pkgs,
wasEmbeddedField: false,
qf: ident.qf,
}, nil
diff --git a/internal/lsp/source/signature_help.go b/internal/lsp/source/signature_help.go
index 4fea5a0..cc062b5 100644
--- a/internal/lsp/source/signature_help.go
+++ b/internal/lsp/source/signature_help.go
@@ -31,7 +31,11 @@
ctx, done := trace.StartSpan(ctx, "source.SignatureHelp")
defer done()
- file, pkg, m, err := fileToMapper(ctx, view, f.URI())
+ file, pkgs, m, err := fileToMapper(ctx, view, f.URI())
+ if err != nil {
+ return nil, err
+ }
+ pkg, err := bestPackage(f.URI(), pkgs)
if err != nil {
return nil, err
}
@@ -105,11 +109,11 @@
comment *ast.CommentGroup
)
if obj != nil {
- rng, err := objToMappedRange(ctx, view, obj)
+ node, err := objToNode(ctx, f.View(), pkg, obj)
if err != nil {
return nil, err
}
- node, err := objToNode(ctx, f.View(), pkg.GetTypes(), obj, rng.spanRange)
+ rng, err := objToMappedRange(ctx, view, obj)
if err != nil {
return nil, err
}
diff --git a/internal/lsp/source/util.go b/internal/lsp/source/util.go
index dc7b6f1..a0d5249 100644
--- a/internal/lsp/source/util.go
+++ b/internal/lsp/source/util.go
@@ -51,7 +51,25 @@
return s.m.URI
}
-func fileToMapper(ctx context.Context, view View, uri span.URI) (*ast.File, Package, *protocol.ColumnMapper, error) {
+// bestCheckPackageHandle picks the "narrowest" package for a given file.
+//
+// By "narrowest" package, we mean the package with the fewest number of files
+// that includes the given file. This solves the problem of test variants,
+// as the test will have more files than the non-test package.
+func bestPackage(uri span.URI, pkgs []Package) (Package, error) {
+ var result Package
+ for _, pkg := range pkgs {
+ if result == nil || len(pkg.GetHandles()) < len(result.GetHandles()) {
+ result = pkg
+ }
+ }
+ if result == nil {
+ return nil, errors.Errorf("no CheckPackageHandle for %s", uri)
+ }
+ return result, nil
+}
+
+func fileToMapper(ctx context.Context, view View, uri span.URI) (*ast.File, []Package, *protocol.ColumnMapper, error) {
f, err := view.GetFile(ctx, uri)
if err != nil {
return nil, nil, nil, err
@@ -60,7 +78,11 @@
if !ok {
return nil, nil, nil, errors.Errorf("%s is not a Go file", f.URI())
}
- pkg, err := gof.GetPackage(ctx)
+ pkgs, err := gof.GetPackages(ctx)
+ if err != nil {
+ return nil, nil, nil, err
+ }
+ pkg, err := bestPackage(f.URI(), pkgs)
if err != nil {
return nil, nil, nil, err
}
@@ -68,7 +90,7 @@
if err != nil {
return nil, nil, nil, err
}
- return file, pkg, m, nil
+ return file, pkgs, m, nil
}
func cachedFileToMapper(ctx context.Context, view View, uri span.URI) (*ast.File, *protocol.ColumnMapper, error) {
diff --git a/internal/lsp/source/view.go b/internal/lsp/source/view.go
index d7b8b82..252c4c9 100644
--- a/internal/lsp/source/view.go
+++ b/internal/lsp/source/view.go
@@ -318,4 +318,8 @@
// GetActionGraph returns the action graph for the given package.
GetActionGraph(ctx context.Context, a *analysis.Analyzer) (*Action, error)
+
+ // FindFile returns the AST and type information for a file that may
+ // belong to or be part of a dependency of the given package.
+ FindFile(ctx context.Context, uri span.URI, pos token.Pos) (ParseGoHandle, *ast.File, Package, error)
}
