mirror of
https://github.com/golang/go
synced 2024-11-19 01:04:40 -07:00
62ee03427e
This change eliminates the need for the package cache map, and instead stores package type information in the store. We still have to maintain invalidation logic because the key is not computed correctly. Change-Id: I1c2a7502b99491ef0ff68d68c9f439503d531ff1 Reviewed-on: https://go-review.googlesource.com/c/tools/+/185438 Run-TryBot: Rebecca Stambler <rstambler@golang.org> TryBot-Result: Gobot Gobot <gobot@golang.org> Reviewed-by: Ian Cottrell <iancottrell@google.com>
236 lines
6.2 KiB
Go
236 lines
6.2 KiB
Go
// 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.
|
|
|
|
package source
|
|
|
|
import (
|
|
"bytes"
|
|
"context"
|
|
"go/ast"
|
|
"go/format"
|
|
"go/token"
|
|
"go/types"
|
|
"regexp"
|
|
|
|
"golang.org/x/tools/go/types/typeutil"
|
|
"golang.org/x/tools/internal/lsp/telemetry/trace"
|
|
"golang.org/x/tools/internal/span"
|
|
"golang.org/x/tools/refactor/satisfy"
|
|
errors "golang.org/x/xerrors"
|
|
)
|
|
|
|
type renamer struct {
|
|
ctx context.Context
|
|
fset *token.FileSet
|
|
pkg Package // the package containing the declaration of the ident
|
|
refs []*ReferenceInfo
|
|
objsToUpdate map[types.Object]bool
|
|
hadConflicts bool
|
|
errors string
|
|
from, to string
|
|
satisfyConstraints map[satisfy.Constraint]bool
|
|
packages map[*types.Package]Package // may include additional packages that are a rdep of pkg
|
|
msets typeutil.MethodSetCache
|
|
changeMethods bool
|
|
}
|
|
|
|
// Rename returns a map of TextEdits for each file modified when renaming a given identifier within a package.
|
|
func (i *IdentifierInfo) Rename(ctx context.Context, newName string) (map[span.URI][]TextEdit, error) {
|
|
ctx, done := trace.StartSpan(ctx, "source.Rename")
|
|
defer done()
|
|
|
|
if i.Name == newName {
|
|
return nil, errors.Errorf("old and new names are the same: %s", newName)
|
|
}
|
|
if !isValidIdentifier(i.Name) {
|
|
return nil, errors.Errorf("invalid identifier to rename: %q", i.Name)
|
|
}
|
|
// Do not rename builtin identifiers.
|
|
if i.decl.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())
|
|
}
|
|
// Do not rename identifiers declared in another package.
|
|
if i.pkg.GetTypes() != i.decl.obj.Pkg() {
|
|
return nil, errors.Errorf("failed to rename because %q is declared in package %q", i.Name, i.decl.obj.Pkg().Name())
|
|
}
|
|
|
|
refs, err := i.References(ctx)
|
|
if err != nil {
|
|
return nil, err
|
|
}
|
|
|
|
r := renamer{
|
|
ctx: ctx,
|
|
fset: i.File.FileSet(),
|
|
pkg: i.pkg,
|
|
refs: refs,
|
|
objsToUpdate: make(map[types.Object]bool),
|
|
from: i.Name,
|
|
to: newName,
|
|
packages: make(map[*types.Package]Package),
|
|
}
|
|
for _, from := range refs {
|
|
r.packages[i.pkg.GetTypes()] = from.pkg
|
|
}
|
|
|
|
// Check that the renaming of the identifier is ok.
|
|
for _, from := range refs {
|
|
r.check(from.obj)
|
|
}
|
|
if r.hadConflicts {
|
|
return nil, errors.Errorf(r.errors)
|
|
}
|
|
|
|
changes, err := r.update()
|
|
if err != nil {
|
|
return nil, err
|
|
}
|
|
|
|
// Sort edits for each file.
|
|
for _, edits := range changes {
|
|
sortTextEdits(edits)
|
|
}
|
|
return changes, nil
|
|
}
|
|
|
|
// Rename all references to the identifier.
|
|
func (r *renamer) update() (map[span.URI][]TextEdit, error) {
|
|
result := make(map[span.URI][]TextEdit)
|
|
seen := make(map[span.Span]bool)
|
|
|
|
docRegexp, err := regexp.Compile(`\b` + r.from + `\b`)
|
|
if err != nil {
|
|
return nil, err
|
|
}
|
|
for _, ref := range r.refs {
|
|
refSpan, err := ref.Range.Span()
|
|
if err != nil {
|
|
return nil, err
|
|
}
|
|
if seen[refSpan] {
|
|
continue
|
|
}
|
|
seen[refSpan] = true
|
|
|
|
// Renaming a types.PkgName may result in the addition or removal of an identifier,
|
|
// so we deal with this separately.
|
|
if pkgName, ok := ref.obj.(*types.PkgName); ok && ref.isDeclaration {
|
|
edit, err := r.updatePkgName(pkgName)
|
|
if err != nil {
|
|
return nil, err
|
|
}
|
|
result[refSpan.URI()] = append(result[refSpan.URI()], *edit)
|
|
continue
|
|
}
|
|
|
|
// Replace the identifier with r.to.
|
|
edit := TextEdit{
|
|
Span: refSpan,
|
|
NewText: r.to,
|
|
}
|
|
|
|
result[refSpan.URI()] = append(result[refSpan.URI()], edit)
|
|
|
|
if !ref.isDeclaration || ref.ident == nil { // uses do not have doc comments to update.
|
|
continue
|
|
}
|
|
|
|
doc := r.docComment(r.pkg, ref.ident)
|
|
if doc == nil {
|
|
continue
|
|
}
|
|
|
|
// Perform the rename in doc comments declared in the original package.
|
|
for _, comment := range doc.List {
|
|
for _, locs := range docRegexp.FindAllStringIndex(comment.Text, -1) {
|
|
rng := span.NewRange(r.fset, comment.Pos()+token.Pos(locs[0]), comment.Pos()+token.Pos(locs[1]))
|
|
spn, err := rng.Span()
|
|
if err != nil {
|
|
return nil, err
|
|
}
|
|
result[spn.URI()] = append(result[spn.URI()], TextEdit{
|
|
Span: spn,
|
|
NewText: r.to,
|
|
})
|
|
}
|
|
}
|
|
}
|
|
|
|
return result, nil
|
|
}
|
|
|
|
// docComment returns the doc for an identifier.
|
|
func (r *renamer) docComment(pkg Package, id *ast.Ident) *ast.CommentGroup {
|
|
_, nodes, _ := pathEnclosingInterval(r.ctx, r.fset, pkg, id.Pos(), id.End())
|
|
for _, node := range nodes {
|
|
switch decl := node.(type) {
|
|
case *ast.FuncDecl:
|
|
return decl.Doc
|
|
case *ast.Field:
|
|
return decl.Doc
|
|
case *ast.GenDecl:
|
|
return decl.Doc
|
|
// For {Type,Value}Spec, if the doc on the spec is absent,
|
|
// search for the enclosing GenDecl
|
|
case *ast.TypeSpec:
|
|
if decl.Doc != nil {
|
|
return decl.Doc
|
|
}
|
|
case *ast.ValueSpec:
|
|
if decl.Doc != nil {
|
|
return decl.Doc
|
|
}
|
|
case *ast.Ident:
|
|
default:
|
|
return nil
|
|
}
|
|
}
|
|
return nil
|
|
}
|
|
|
|
// updatePkgName returns the updates to rename a pkgName in the import spec
|
|
func (r *renamer) updatePkgName(pkgName *types.PkgName) (*TextEdit, error) {
|
|
// Modify ImportSpec syntax to add or remove the Name as needed.
|
|
pkg := r.packages[pkgName.Pkg()]
|
|
_, path, _ := pathEnclosingInterval(r.ctx, r.fset, pkg, pkgName.Pos(), pkgName.Pos())
|
|
if len(path) < 2 {
|
|
return nil, errors.Errorf("no path enclosing interval for %s", pkgName.Name())
|
|
}
|
|
spec, ok := path[1].(*ast.ImportSpec)
|
|
if !ok {
|
|
return nil, errors.Errorf("failed to update PkgName for %s", pkgName.Name())
|
|
}
|
|
|
|
var astIdent *ast.Ident // will be nil if ident is removed
|
|
if pkgName.Imported().Name() != r.to {
|
|
// ImportSpec.Name needed
|
|
astIdent = &ast.Ident{NamePos: spec.Path.Pos(), Name: r.to}
|
|
}
|
|
|
|
// Make a copy of the ident that just has the name and path.
|
|
updated := &ast.ImportSpec{
|
|
Name: astIdent,
|
|
Path: spec.Path,
|
|
EndPos: spec.EndPos,
|
|
}
|
|
|
|
rng := span.NewRange(r.fset, spec.Pos(), spec.End())
|
|
spn, err := rng.Span()
|
|
if err != nil {
|
|
return nil, err
|
|
}
|
|
|
|
var buf bytes.Buffer
|
|
format.Node(&buf, r.fset, updated)
|
|
newText := buf.String()
|
|
|
|
return &TextEdit{
|
|
Span: spn,
|
|
NewText: newText,
|
|
}, nil
|
|
}
|