| package cache |
| |
| import ( |
| "context" |
| "go/ast" |
| "go/types" |
| "sort" |
| "sync" |
| |
| "golang.org/x/tools/go/analysis" |
| "golang.org/x/tools/go/packages" |
| "golang.org/x/tools/internal/lsp/source" |
| ) |
| |
| // Package contains the type information needed by the source package. |
| type Package struct { |
| id, pkgPath string |
| files []string |
| syntax []*ast.File |
| errors []packages.Error |
| imports map[string]*Package |
| types *types.Package |
| typesInfo *types.Info |
| typesSizes types.Sizes |
| |
| // The analysis cache holds analysis information for all the packages in a view. |
| // Each graph node (action) is one unit of analysis. |
| // Edges express package-to-package (vertical) dependencies, |
| // and analysis-to-analysis (horizontal) dependencies. |
| mu sync.Mutex |
| analyses map[*analysis.Analyzer]*analysisEntry |
| } |
| |
| type analysisEntry struct { |
| ready chan struct{} |
| *source.Action |
| } |
| |
| func (pkg *Package) GetActionGraph(ctx context.Context, a *analysis.Analyzer) (*source.Action, error) { |
| if ctx.Err() != nil { |
| return nil, ctx.Err() |
| } |
| |
| pkg.mu.Lock() |
| e, ok := pkg.analyses[a] |
| if ok { |
| // cache hit |
| pkg.mu.Unlock() |
| |
| // wait for entry to become ready or the context to be cancelled |
| select { |
| case <-e.ready: |
| case <-ctx.Done(): |
| return nil, ctx.Err() |
| } |
| } else { |
| // cache miss |
| e = &analysisEntry{ |
| ready: make(chan struct{}), |
| Action: &source.Action{ |
| Analyzer: a, |
| Pkg: pkg, |
| }, |
| } |
| pkg.analyses[a] = e |
| pkg.mu.Unlock() |
| |
| // This goroutine becomes responsible for populating |
| // the entry and broadcasting its readiness. |
| |
| // Add a dependency on each required analyzers. |
| for _, req := range a.Requires { |
| act, err := pkg.GetActionGraph(ctx, req) |
| if err != nil { |
| return nil, err |
| } |
| e.Deps = append(e.Deps, act) |
| } |
| |
| // An analysis that consumes/produces facts |
| // must run on the package's dependencies too. |
| if len(a.FactTypes) > 0 { |
| importPaths := make([]string, 0, len(pkg.imports)) |
| for importPath := range pkg.imports { |
| importPaths = append(importPaths, importPath) |
| } |
| sort.Strings(importPaths) // for determinism |
| for _, importPath := range importPaths { |
| dep := pkg.imports[importPath] |
| act, err := dep.GetActionGraph(ctx, a) |
| if err != nil { |
| return nil, err |
| } |
| e.Deps = append(e.Deps, act) |
| } |
| } |
| close(e.ready) |
| } |
| return e.Action, nil |
| } |
| |
| func (pkg *Package) GetFilenames() []string { |
| return pkg.files |
| } |
| |
| func (pkg *Package) GetSyntax() []*ast.File { |
| return pkg.syntax |
| } |
| |
| func (pkg *Package) GetErrors() []packages.Error { |
| return pkg.errors |
| } |
| |
| func (pkg *Package) GetTypes() *types.Package { |
| return pkg.types |
| } |
| |
| func (pkg *Package) GetTypesInfo() *types.Info { |
| return pkg.typesInfo |
| } |
| |
| func (pkg *Package) GetTypesSizes() types.Sizes { |
| return pkg.typesSizes |
| } |
| |
| func (pkg *Package) IsIllTyped() bool { |
| return pkg.types == nil && pkg.typesInfo == nil |
| } |