internal/lsp: remove workspace packages as needed
This change adds tracking for package name changes, which we can use to
determine if a workspace package ID may have changed or been removed.
It's a little bit tricky for something like a test variant, because you
want to invalidate the ID only if the test variant only files have
changed package names. I figured it would be ok (speed-wise) to call
guessPackageIDsForURI on the other files since this should be a pretty
rare case.
Fixes golang/go#40690
Change-Id: Ib3f7eed526eb5bb455e17c362632ec7ac0ecd1cf
Reviewed-on: https://go-review.googlesource.com/c/tools/+/268157
Trust: Rebecca Stambler <rstambler@golang.org>
Run-TryBot: Rebecca Stambler <rstambler@golang.org>
gopls-CI: kokoro <noreply+kokoro@google.com>
Reviewed-by: Robert Findley <rfindley@google.com>
diff --git a/gopls/internal/regtest/diagnostics_test.go b/gopls/internal/regtest/diagnostics_test.go
index d8cae56..90d0938 100644
--- a/gopls/internal/regtest/diagnostics_test.go
+++ b/gopls/internal/regtest/diagnostics_test.go
@@ -852,28 +852,29 @@
// Reproduce golang/go#40690.
func TestCreateOnlyXTest(t *testing.T) {
- t.Skip("golang/go#40690 is not resolved yet.")
-
const mod = `
- -- go.mod --
- module mod.com
- -- foo/foo.go --
- package foo
- -- foo/bar_test.go --
- `
+-- go.mod --
+module mod.com
+-- foo/foo.go --
+package foo
+-- foo/bar_test.go --
+`
run(t, mod, func(t *testing.T, env *Env) {
env.OpenFile("foo/bar_test.go")
- env.EditBuffer("foo/bar_test.go", fake.NewEdit(0, 0, 0, 0, `package foo
- `))
+ env.EditBuffer("foo/bar_test.go", fake.NewEdit(0, 0, 0, 0, "package foo"))
env.Await(
CompletedWork(lsp.DiagnosticWorkTitle(lsp.FromDidChange), 1),
)
- env.RegexpReplace("foo/bar_test.go", "package foo", "package foo_test")
+ env.RegexpReplace("foo/bar_test.go", "package foo", `package foo_test
+
+import "testing"
+
+func TestX(t *testing.T) {
+ var x int
+}
+`)
env.Await(
- OnceMet(
- CompletedWork(lsp.DiagnosticWorkTitle(lsp.FromDidChange), 2),
- NoErrorLogs(),
- ),
+ env.DiagnosticAtRegexp("foo/bar_test.go", "x"),
)
})
}
diff --git a/internal/lsp/cache/snapshot.go b/internal/lsp/cache/snapshot.go
index 9cce32b..8f9f95d 100644
--- a/internal/lsp/cache/snapshot.go
+++ b/internal/lsp/cache/snapshot.go
@@ -1162,6 +1162,7 @@
}
}
+ changedPkgNames := map[packageID][]span.URI{}
for uri, change := range changes {
// Maybe reinitialize the view if we see a change in the vendor
// directory.
@@ -1174,12 +1175,18 @@
// Check if the file's package name or imports have changed,
// and if so, invalidate this file's packages' metadata.
- invalidateMetadata := forceReloadMetadata || s.shouldInvalidateMetadata(ctx, result, originalFH, change.fileHandle)
+ shouldInvalidateMetadata, pkgNameChanged := s.shouldInvalidateMetadata(ctx, result, originalFH, change.fileHandle)
+ invalidateMetadata := forceReloadMetadata || shouldInvalidateMetadata
// Mark all of the package IDs containing the given file.
// TODO: if the file has moved into a new package, we should invalidate that too.
- filePackages := guessPackagesForURI(uri, s.ids)
- for _, id := range filePackages {
+ filePackageIDs := guessPackageIDsForURI(uri, s.ids)
+ if pkgNameChanged {
+ for _, id := range filePackageIDs {
+ changedPkgNames[id] = append(changedPkgNames[id], uri)
+ }
+ }
+ for _, id := range filePackageIDs {
directIDs[id] = directIDs[id] || invalidateMetadata
}
@@ -1303,6 +1310,12 @@
}
}
+ // If the package name of a file in the package has changed, it's
+ // possible that the package ID may no longer exist.
+ if uris, ok := changedPkgNames[id]; ok && s.shouldDeleteWorkspacePackageID(id, uris) {
+ continue
+ }
+
result.workspacePackages[id] = pkgPath
}
@@ -1337,10 +1350,43 @@
return result, workspaceChanged
}
-// guessPackagesForURI returns all packages related to uri. If we haven't seen this
-// URI before, we guess based on files in the same directory. This is of course
-// incorrect in build systems where packages are not organized by directory.
-func guessPackagesForURI(uri span.URI, known map[span.URI][]packageID) []packageID {
+// shouldDeleteWorkspacePackageID reports whether the given package ID should
+// be removed from the set of workspace packages. If one of the files in the
+// package has changed package names, we check if it is the only file that
+// *only* belongs to this package. For example, in the case of a test variant,
+// confirm that it is the sole file constituting the test variant.
+func (s *snapshot) shouldDeleteWorkspacePackageID(id packageID, changedPkgNames []span.URI) bool {
+ m, ok := s.metadata[id]
+ if !ok {
+ return false
+ }
+ changedPkgName := func(uri span.URI) bool {
+ for _, changed := range changedPkgNames {
+ if uri == changed {
+ return true
+ }
+ }
+ return false
+ }
+ for _, uri := range m.compiledGoFiles {
+ if changedPkgName(uri) {
+ continue
+ }
+ // If there is at least one file remaining that belongs only to this
+ // package, and its package name has not changed, we shouldn't delete
+ // its package ID from the set of workspace packages.
+ if ids := guessPackageIDsForURI(uri, s.ids); len(ids) == 1 && ids[0] == id {
+ return false
+ }
+ }
+ return true
+}
+
+// guessPackageIDsForURI returns all packages related to uri. If we haven't
+// seen this URI before, we guess based on files in the same directory. This
+// is of course incorrect in build systems where packages are not organized by
+// directory.
+func guessPackageIDsForURI(uri span.URI, known map[span.URI][]packageID) []packageID {
packages := known[uri]
if len(packages) > 0 {
// We've seen this file before.
@@ -1405,20 +1451,20 @@
// shouldInvalidateMetadata reparses a file's package and import declarations to
// determine if the file requires a metadata reload.
-func (s *snapshot) shouldInvalidateMetadata(ctx context.Context, newSnapshot *snapshot, originalFH, currentFH source.FileHandle) bool {
+func (s *snapshot) shouldInvalidateMetadata(ctx context.Context, newSnapshot *snapshot, originalFH, currentFH source.FileHandle) (invalidate, pkgNameChanged bool) {
if originalFH == nil {
- return true
+ return true, false
}
// If the file hasn't changed, there's no need to reload.
if originalFH.FileIdentity() == currentFH.FileIdentity() {
- return false
+ return false, false
}
// If a go.mod in the workspace has been changed, invalidate metadata.
if kind := originalFH.Kind(); kind == source.Mod {
if !source.InDir(filepath.Dir(s.view.rootURI.Filename()), originalFH.URI().Filename()) {
- return false
+ return false, false
}
- return currentFH.Saved()
+ return currentFH.Saved(), false
}
// Get the original and current parsed files in order to check package name
// and imports. Use the new snapshot to parse to avoid modifying the
@@ -1426,13 +1472,13 @@
original, originalErr := newSnapshot.ParseGo(ctx, originalFH, source.ParseHeader)
current, currentErr := newSnapshot.ParseGo(ctx, currentFH, source.ParseHeader)
if originalErr != nil || currentErr != nil {
- return (originalErr == nil) != (currentErr == nil)
+ return (originalErr == nil) != (currentErr == nil), false
}
// Check if the package's metadata has changed. The cases handled are:
// 1. A package's name has changed
// 2. A file's imports have changed
if original.File.Name.Name != current.File.Name.Name {
- return true
+ return true, true
}
importSet := make(map[string]struct{})
for _, importSpec := range original.File.Imports {
@@ -1456,9 +1502,9 @@
if path[len(path)-1] == '/' {
continue
}
- return true
+ return true, false
}
- return false
+ return false, false
}
func (s *snapshot) BuiltinPackage(ctx context.Context) (*source.BuiltinPackage, error) {