2019-06-21 15:00:02 -06:00
|
|
|
// Copyright 2019 The Go Authors. All rights reserved.
|
|
|
|
// Use of this source code is governed by a BSD-style
|
|
|
|
// license that can be found in the LICENSE file.
|
|
|
|
|
2019-05-23 13:03:11 -06:00
|
|
|
package cache
|
|
|
|
|
|
|
|
import (
|
|
|
|
"context"
|
|
|
|
"go/ast"
|
|
|
|
"go/token"
|
2019-06-26 12:34:36 -06:00
|
|
|
"sync"
|
2019-05-23 13:03:11 -06:00
|
|
|
|
|
|
|
"golang.org/x/tools/internal/lsp/source"
|
2019-07-14 21:08:10 -06:00
|
|
|
"golang.org/x/tools/internal/lsp/telemetry"
|
2019-05-23 13:03:11 -06:00
|
|
|
"golang.org/x/tools/internal/span"
|
2019-08-13 13:07:39 -06:00
|
|
|
"golang.org/x/tools/internal/telemetry/log"
|
2019-08-06 13:13:11 -06:00
|
|
|
errors "golang.org/x/xerrors"
|
2019-05-23 13:03:11 -06:00
|
|
|
)
|
|
|
|
|
|
|
|
// goFile holds all of the information we know about a Go file.
|
|
|
|
type goFile struct {
|
|
|
|
fileBase
|
|
|
|
|
2019-06-26 12:34:36 -06:00
|
|
|
// mu protects all mutable state of the Go file,
|
|
|
|
// which can be modified during type-checking.
|
|
|
|
mu sync.Mutex
|
2019-05-23 11:51:56 -06:00
|
|
|
|
2019-06-24 14:34:21 -06:00
|
|
|
// missingImports is the set of unresolved imports for this package.
|
|
|
|
// It contains any packages with `go list` errors.
|
|
|
|
missingImports map[packagePath]struct{}
|
|
|
|
|
|
|
|
// justOpened indicates that the file has just been opened.
|
|
|
|
// We re-run go/packages.Load on just opened files to make sure
|
|
|
|
// that we know about all of their packages.
|
|
|
|
justOpened bool
|
|
|
|
|
2019-05-23 13:03:11 -06:00
|
|
|
imports []*ast.ImportSpec
|
2019-06-26 12:34:36 -06:00
|
|
|
|
2019-07-09 15:52:23 -06:00
|
|
|
pkgs map[packageID]source.CheckPackageHandle
|
2019-06-26 12:34:36 -06:00
|
|
|
meta map[packageID]*metadata
|
2019-05-23 13:03:11 -06:00
|
|
|
}
|
|
|
|
|
2019-09-05 14:29:59 -06:00
|
|
|
// metadata assumes that the caller holds the f.mu lock.
|
|
|
|
func (f *goFile) metadata() []*metadata {
|
|
|
|
result := make([]*metadata, 0, len(f.meta))
|
|
|
|
for _, m := range f.meta {
|
|
|
|
result = append(result, m)
|
|
|
|
}
|
|
|
|
return result
|
|
|
|
}
|
|
|
|
|
2019-07-11 19:05:55 -06:00
|
|
|
func (f *goFile) GetToken(ctx context.Context) (*token.File, error) {
|
|
|
|
file, err := f.GetAST(ctx, source.ParseFull)
|
|
|
|
if file == nil {
|
|
|
|
return nil, err
|
2019-05-23 13:03:11 -06:00
|
|
|
}
|
2019-08-02 08:46:19 -06:00
|
|
|
tok := f.view.session.cache.fset.File(file.Pos())
|
|
|
|
if tok == nil {
|
2019-08-06 13:13:11 -06:00
|
|
|
return nil, errors.Errorf("no token.File for %s", f.URI())
|
2019-08-02 08:46:19 -06:00
|
|
|
}
|
|
|
|
return tok, nil
|
2019-05-23 13:03:11 -06:00
|
|
|
}
|
|
|
|
|
2019-07-11 19:05:55 -06:00
|
|
|
func (f *goFile) GetAST(ctx context.Context, mode source.ParseMode) (*ast.File, error) {
|
2019-07-14 21:08:10 -06:00
|
|
|
ctx = telemetry.File.With(ctx, f.URI())
|
2019-09-05 15:34:00 -06:00
|
|
|
fh := f.Handle(ctx)
|
2019-05-23 13:03:11 -06:00
|
|
|
|
2019-09-05 15:34:00 -06:00
|
|
|
if f.isDirty(ctx, fh) || f.wrongParseMode(ctx, fh, mode) {
|
|
|
|
if err := f.view.loadParseTypecheck(ctx, f, fh); err != nil {
|
2019-07-09 15:52:23 -06:00
|
|
|
return nil, err
|
2019-05-23 13:03:11 -06:00
|
|
|
}
|
|
|
|
}
|
2019-07-11 19:05:55 -06:00
|
|
|
// Check for a cached AST first, in case getting a trimmed version would actually cause a re-parse.
|
2019-08-06 16:51:17 -06:00
|
|
|
cached, err := f.view.session.cache.cachedAST(fh, mode)
|
|
|
|
if cached != nil || err != nil {
|
|
|
|
return cached, err
|
|
|
|
}
|
|
|
|
ph := f.view.session.cache.ParseGoHandle(fh, mode)
|
|
|
|
return ph.Parse(ctx)
|
|
|
|
}
|
|
|
|
|
|
|
|
func (cache *cache) cachedAST(fh source.FileHandle, mode source.ParseMode) (*ast.File, error) {
|
2019-07-11 19:05:55 -06:00
|
|
|
for _, m := range []source.ParseMode{
|
|
|
|
source.ParseHeader,
|
|
|
|
source.ParseExported,
|
|
|
|
source.ParseFull,
|
|
|
|
} {
|
|
|
|
if m < mode {
|
|
|
|
continue
|
|
|
|
}
|
2019-08-06 16:51:17 -06:00
|
|
|
if v, ok := cache.store.Cached(parseKey{
|
2019-07-11 19:05:55 -06:00
|
|
|
file: fh.Identity(),
|
|
|
|
mode: m,
|
|
|
|
}).(*parseGoData); ok {
|
|
|
|
return v.ast, v.err
|
2019-05-23 11:51:56 -06:00
|
|
|
}
|
|
|
|
}
|
2019-08-06 16:51:17 -06:00
|
|
|
return nil, nil
|
2019-05-23 13:03:11 -06:00
|
|
|
}
|
|
|
|
|
2019-07-09 15:52:23 -06:00
|
|
|
func (f *goFile) GetPackages(ctx context.Context) ([]source.Package, error) {
|
|
|
|
cphs, err := f.GetCheckPackageHandles(ctx)
|
|
|
|
if err != nil {
|
|
|
|
return nil, err
|
|
|
|
}
|
|
|
|
var pkgs []source.Package
|
|
|
|
for _, cph := range cphs {
|
|
|
|
pkg, err := cph.Check(ctx)
|
|
|
|
if err != nil {
|
|
|
|
log.Error(ctx, "failed to check package", err)
|
|
|
|
}
|
|
|
|
pkgs = append(pkgs, pkg)
|
|
|
|
}
|
|
|
|
if len(pkgs) == 0 {
|
|
|
|
return nil, errors.Errorf("no packages for %s", f.URI())
|
|
|
|
}
|
|
|
|
return pkgs, nil
|
|
|
|
}
|
|
|
|
|
|
|
|
func (f *goFile) GetPackage(ctx context.Context) (source.Package, error) {
|
|
|
|
cph, err := f.GetCheckPackageHandle(ctx)
|
|
|
|
if err != nil {
|
|
|
|
return nil, err
|
|
|
|
}
|
|
|
|
return cph.Check(ctx)
|
|
|
|
}
|
|
|
|
|
|
|
|
func (f *goFile) GetCheckPackageHandles(ctx context.Context) ([]source.CheckPackageHandle, error) {
|
2019-07-14 21:08:10 -06:00
|
|
|
ctx = telemetry.File.With(ctx, f.URI())
|
2019-09-05 15:34:00 -06:00
|
|
|
fh := f.Handle(ctx)
|
2019-05-23 13:03:11 -06:00
|
|
|
|
2019-09-05 15:34:00 -06:00
|
|
|
if f.isDirty(ctx, fh) || f.wrongParseMode(ctx, fh, source.ParseFull) {
|
|
|
|
if err := f.view.loadParseTypecheck(ctx, f, fh); err != nil {
|
2019-07-09 15:52:23 -06:00
|
|
|
return nil, err
|
2019-05-23 13:03:11 -06:00
|
|
|
}
|
|
|
|
}
|
2019-06-28 17:59:25 -06:00
|
|
|
|
|
|
|
f.mu.Lock()
|
|
|
|
defer f.mu.Unlock()
|
|
|
|
|
2019-07-09 15:52:23 -06:00
|
|
|
var cphs []source.CheckPackageHandle
|
|
|
|
for _, cph := range f.pkgs {
|
|
|
|
cphs = append(cphs, cph)
|
2019-06-24 14:34:21 -06:00
|
|
|
}
|
2019-07-09 15:52:23 -06:00
|
|
|
if len(cphs) == 0 {
|
|
|
|
return nil, errors.Errorf("no CheckPackageHandles for %s", f.URI())
|
|
|
|
}
|
|
|
|
return cphs, nil
|
2019-06-24 14:34:21 -06:00
|
|
|
}
|
|
|
|
|
2019-07-09 15:52:23 -06:00
|
|
|
func (f *goFile) GetCheckPackageHandle(ctx context.Context) (source.CheckPackageHandle, error) {
|
|
|
|
cphs, err := f.GetCheckPackageHandles(ctx)
|
|
|
|
if err != nil {
|
|
|
|
return nil, err
|
2019-06-24 14:34:21 -06:00
|
|
|
}
|
2019-07-09 15:52:23 -06:00
|
|
|
return bestCheckPackageHandle(f.URI(), cphs)
|
2019-05-23 13:03:11 -06:00
|
|
|
}
|
|
|
|
|
2019-08-06 16:51:17 -06:00
|
|
|
func (f *goFile) GetCachedPackage(ctx context.Context) (source.Package, error) {
|
|
|
|
f.mu.Lock()
|
2019-07-09 15:52:23 -06:00
|
|
|
var cphs []source.CheckPackageHandle
|
|
|
|
for _, cph := range f.pkgs {
|
|
|
|
cphs = append(cphs, cph)
|
|
|
|
}
|
|
|
|
f.mu.Unlock()
|
2019-08-06 16:51:17 -06:00
|
|
|
|
2019-08-26 22:26:45 -06:00
|
|
|
if len(cphs) == 0 {
|
|
|
|
return nil, errors.Errorf("no CheckPackageHandles for %s", f.URI())
|
|
|
|
}
|
|
|
|
|
2019-07-09 15:52:23 -06:00
|
|
|
cph, err := bestCheckPackageHandle(f.URI(), cphs)
|
|
|
|
if err != nil {
|
|
|
|
return nil, err
|
|
|
|
}
|
|
|
|
return cph.Cached(ctx)
|
|
|
|
}
|
|
|
|
|
|
|
|
// 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 bestCheckPackageHandle(uri span.URI, cphs []source.CheckPackageHandle) (source.CheckPackageHandle, error) {
|
|
|
|
var result source.CheckPackageHandle
|
|
|
|
for _, cph := range cphs {
|
|
|
|
if result == nil || len(cph.Files()) < len(result.Files()) {
|
|
|
|
result = cph
|
2019-08-06 16:51:17 -06:00
|
|
|
}
|
|
|
|
}
|
|
|
|
if result == nil {
|
2019-07-09 15:52:23 -06:00
|
|
|
return nil, errors.Errorf("no CheckPackageHandle for %s", uri)
|
2019-08-06 16:51:17 -06:00
|
|
|
}
|
|
|
|
return result, nil
|
|
|
|
}
|
|
|
|
|
2019-09-05 15:34:00 -06:00
|
|
|
func (f *goFile) wrongParseMode(ctx context.Context, fh source.FileHandle, mode source.ParseMode) bool {
|
2019-07-11 19:05:55 -06:00
|
|
|
f.mu.Lock()
|
|
|
|
defer f.mu.Unlock()
|
|
|
|
|
2019-07-09 15:52:23 -06:00
|
|
|
for _, cph := range f.pkgs {
|
|
|
|
for _, ph := range cph.Files() {
|
2019-07-11 19:05:55 -06:00
|
|
|
if fh.Identity() == ph.File().Identity() {
|
|
|
|
return ph.Mode() < mode
|
|
|
|
}
|
|
|
|
}
|
2019-06-05 15:44:09 -06:00
|
|
|
}
|
2019-07-09 15:52:23 -06:00
|
|
|
return true
|
2019-06-05 15:44:09 -06:00
|
|
|
}
|
|
|
|
|
2019-08-26 22:26:45 -06:00
|
|
|
func (f *goFile) Builtin() (*ast.File, bool) {
|
|
|
|
builtinPkg := f.View().BuiltinPackage()
|
|
|
|
for filename, file := range builtinPkg.Files {
|
|
|
|
if filename == f.URI().Filename() {
|
|
|
|
return file, true
|
|
|
|
}
|
|
|
|
}
|
|
|
|
return nil, false
|
|
|
|
}
|
|
|
|
|
2019-05-29 12:59:35 -06:00
|
|
|
// isDirty is true if the file needs to be type-checked.
|
|
|
|
// It assumes that the file's view's mutex is held by the caller.
|
2019-09-05 15:34:00 -06:00
|
|
|
func (f *goFile) isDirty(ctx context.Context, fh source.FileHandle) bool {
|
2019-06-26 12:34:36 -06:00
|
|
|
f.mu.Lock()
|
|
|
|
defer f.mu.Unlock()
|
|
|
|
|
2019-06-24 14:34:21 -06:00
|
|
|
// If the the file has just been opened,
|
|
|
|
// it may be part of more packages than we are aware of.
|
|
|
|
//
|
|
|
|
// Note: This must be the first case, otherwise we may not reset the value of f.justOpened.
|
|
|
|
if f.justOpened {
|
|
|
|
f.meta = make(map[packageID]*metadata)
|
2019-07-09 15:52:23 -06:00
|
|
|
f.pkgs = make(map[packageID]source.CheckPackageHandle)
|
2019-06-24 14:34:21 -06:00
|
|
|
f.justOpened = false
|
|
|
|
return true
|
|
|
|
}
|
|
|
|
if len(f.meta) == 0 || len(f.pkgs) == 0 {
|
|
|
|
return true
|
|
|
|
}
|
|
|
|
if len(f.missingImports) > 0 {
|
|
|
|
return true
|
|
|
|
}
|
2019-07-09 15:52:23 -06:00
|
|
|
for _, cph := range f.pkgs {
|
|
|
|
for _, file := range cph.Files() {
|
2019-07-11 19:05:55 -06:00
|
|
|
// There is a type-checked package for the current file handle.
|
|
|
|
if file.File().Identity() == fh.Identity() {
|
|
|
|
return false
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
return true
|
2019-05-23 11:51:56 -06:00
|
|
|
}
|
|
|
|
|
2019-07-09 15:52:23 -06:00
|
|
|
func (f *goFile) GetActiveReverseDeps(ctx context.Context) (files []source.GoFile) {
|
|
|
|
seen := make(map[packageID]struct{}) // visited packages
|
|
|
|
results := make(map[*goFile]struct{})
|
|
|
|
|
2019-05-23 13:03:11 -06:00
|
|
|
f.view.mu.Lock()
|
|
|
|
defer f.view.mu.Unlock()
|
|
|
|
|
|
|
|
f.view.mcache.mu.Lock()
|
|
|
|
defer f.view.mcache.mu.Unlock()
|
|
|
|
|
2019-09-05 15:34:00 -06:00
|
|
|
for _, m := range f.metadata() {
|
2019-07-09 15:52:23 -06:00
|
|
|
f.view.reverseDeps(ctx, seen, results, m.id)
|
|
|
|
for f := range results {
|
|
|
|
if f == nil {
|
|
|
|
continue
|
|
|
|
}
|
|
|
|
// Don't return any of the active files in this package.
|
|
|
|
f.mu.Lock()
|
|
|
|
_, ok := f.meta[m.id]
|
|
|
|
f.mu.Unlock()
|
|
|
|
if ok {
|
|
|
|
continue
|
|
|
|
}
|
2019-05-23 13:03:11 -06:00
|
|
|
|
2019-07-09 15:52:23 -06:00
|
|
|
files = append(files, f)
|
2019-05-23 13:03:11 -06:00
|
|
|
}
|
|
|
|
}
|
|
|
|
return files
|
|
|
|
}
|
|
|
|
|
2019-06-11 16:06:27 -06:00
|
|
|
func (v *view) reverseDeps(ctx context.Context, seen map[packageID]struct{}, results map[*goFile]struct{}, id packageID) {
|
|
|
|
if _, ok := seen[id]; ok {
|
2019-05-23 13:03:11 -06:00
|
|
|
return
|
|
|
|
}
|
2019-06-11 16:06:27 -06:00
|
|
|
seen[id] = struct{}{}
|
|
|
|
m, ok := v.mcache.packages[id]
|
2019-05-23 13:03:11 -06:00
|
|
|
if !ok {
|
|
|
|
return
|
|
|
|
}
|
2019-07-09 15:52:23 -06:00
|
|
|
for _, uri := range m.files {
|
|
|
|
// Call unlocked version of getFile since we hold the lock on the view.
|
2019-06-28 14:37:54 -06:00
|
|
|
if f, err := v.getFile(ctx, uri); err == nil && v.session.IsOpen(uri) {
|
2019-05-23 13:03:11 -06:00
|
|
|
results[f.(*goFile)] = struct{}{}
|
|
|
|
}
|
|
|
|
}
|
2019-06-11 16:06:27 -06:00
|
|
|
for parentID := range m.parents {
|
|
|
|
v.reverseDeps(ctx, seen, results, parentID)
|
2019-05-23 13:03:11 -06:00
|
|
|
}
|
|
|
|
}
|