// reduceScope is called for one-shot queries that need only a single // typed package. It attempts to guess the query package from pos and // reduce the analysis scope (set of loaded packages) to just that one // plus (the exported parts of) its dependencies. It leaves its // arguments unchanged on failure. // // TODO(adonovan): this is a real mess... but it's fast. // func reduceScope(pos string, impcfg *importer.Config, args *[]string) { // TODO(adonovan): make the 'args' argument of // (*Importer).LoadInitialPackages part of the // importer.Config, and inline LoadInitialPackages into // NewImporter. Then we won't need the 'args' argument. fqpos, err := fastQueryPos(pos) if err != nil { return // bad query } // TODO(adonovan): fix: this gives the wrong results for files // in non-importable packages such as tests and ad-hoc packages // specified as a list of files (incl. the oracle's tests). _, importPath, err := guessImportPath(fqpos.fset.File(fqpos.start).Name(), impcfg.Build) if err != nil { return // can't find GOPATH dir } if importPath == "" { return } // Check that it's possible to load the queried package. // (e.g. oracle tests contain different 'package' decls in same dir.) // Keep consistent with logic in importer/util.go! ctxt2 := *impcfg.Build ctxt2.CgoEnabled = false bp, err := ctxt2.Import(importPath, "", 0) if err != nil { return // no files for package } _ = bp // TODO(adonovan): fix: also check that the queried file appears in the package. // for _, f := range bp.GoFiles, bp.TestGoFiles, bp.XTestGoFiles { // if sameFile(f, fqpos.filename) { goto found } // } // return // not found // found: impcfg.TypeCheckFuncBodies = func(p string) bool { return p == importPath } *args = []string{importPath} }