github.com/q45/go@v0.0.0-20151101211701-a4fb8c13db3f/src/go/types/stdlib_test.go (about) 1 // Copyright 2013 The Go Authors. All rights reserved. 2 // Use of this source code is governed by a BSD-style 3 // license that can be found in the LICENSE file. 4 5 // This file tests types.Check by using it to 6 // typecheck the standard library and tests. 7 8 package types_test 9 10 import ( 11 "fmt" 12 "go/ast" 13 "go/build" 14 "go/importer" 15 "go/parser" 16 "go/scanner" 17 "go/token" 18 "internal/testenv" 19 "io/ioutil" 20 "os" 21 "path/filepath" 22 "runtime" 23 "strings" 24 "testing" 25 "time" 26 27 . "go/types" 28 ) 29 30 var ( 31 pkgCount int // number of packages processed 32 start time.Time 33 34 // Use the same importer for all std lib tests to 35 // avoid repeated importing of the same packages. 36 stdLibImporter = importer.Default() 37 ) 38 39 func TestStdlib(t *testing.T) { 40 testenv.MustHaveGoBuild(t) 41 42 start = time.Now() 43 walkDirs(t, filepath.Join(runtime.GOROOT(), "src")) 44 if testing.Verbose() { 45 fmt.Println(pkgCount, "packages typechecked in", time.Since(start)) 46 } 47 } 48 49 // firstComment returns the contents of the first comment in 50 // the given file, assuming there's one within the first KB. 51 func firstComment(filename string) string { 52 f, err := os.Open(filename) 53 if err != nil { 54 return "" 55 } 56 defer f.Close() 57 58 var src [1 << 10]byte // read at most 1KB 59 n, _ := f.Read(src[:]) 60 61 var s scanner.Scanner 62 s.Init(fset.AddFile("", fset.Base(), n), src[:n], nil, scanner.ScanComments) 63 for { 64 _, tok, lit := s.Scan() 65 switch tok { 66 case token.COMMENT: 67 // remove trailing */ of multi-line comment 68 if lit[1] == '*' { 69 lit = lit[:len(lit)-2] 70 } 71 return strings.TrimSpace(lit[2:]) 72 case token.EOF: 73 return "" 74 } 75 } 76 } 77 78 func testTestDir(t *testing.T, path string, ignore ...string) { 79 files, err := ioutil.ReadDir(path) 80 if err != nil { 81 t.Fatal(err) 82 } 83 84 excluded := make(map[string]bool) 85 for _, filename := range ignore { 86 excluded[filename] = true 87 } 88 89 fset := token.NewFileSet() 90 for _, f := range files { 91 // filter directory contents 92 if f.IsDir() || !strings.HasSuffix(f.Name(), ".go") || excluded[f.Name()] { 93 continue 94 } 95 96 // get per-file instructions 97 expectErrors := false 98 filename := filepath.Join(path, f.Name()) 99 if cmd := firstComment(filename); cmd != "" { 100 switch cmd { 101 case "skip", "compiledir": 102 continue // ignore this file 103 case "errorcheck": 104 expectErrors = true 105 } 106 } 107 108 // parse and type-check file 109 file, err := parser.ParseFile(fset, filename, nil, 0) 110 if err == nil { 111 conf := Config{Importer: stdLibImporter} 112 _, err = conf.Check(filename, fset, []*ast.File{file}, nil) 113 } 114 115 if expectErrors { 116 if err == nil { 117 t.Errorf("expected errors but found none in %s", filename) 118 } 119 } else { 120 if err != nil { 121 t.Error(err) 122 } 123 } 124 } 125 } 126 127 func TestStdTest(t *testing.T) { 128 testenv.MustHaveGoBuild(t) 129 130 // test/recover4.go is only built for Linux and Darwin. 131 // TODO(gri) Remove once tests consider +build tags (issue 10370). 132 if runtime.GOOS != "linux" && runtime.GOOS != "darwin" { 133 return 134 } 135 136 testTestDir(t, filepath.Join(runtime.GOROOT(), "test"), 137 "cmplxdivide.go", // also needs file cmplxdivide1.go - ignore 138 "sigchld.go", // don't work on Windows; testTestDir should consult build tags 139 ) 140 } 141 142 func TestStdFixed(t *testing.T) { 143 testenv.MustHaveGoBuild(t) 144 145 testTestDir(t, filepath.Join(runtime.GOROOT(), "test", "fixedbugs"), 146 "bug248.go", "bug302.go", "bug369.go", // complex test instructions - ignore 147 "bug459.go", // possibly incorrect test - see issue 6703 (pending spec clarification) 148 "issue3924.go", // possibly incorrect test - see issue 6671 (pending spec clarification) 149 "issue6889.go", // gc-specific test 150 "issue7746.go", // large constants - consumes too much memory 151 "issue11326.go", // large constants 152 "issue11326b.go", // large constants 153 "issue11362.go", // canonical import path check 154 ) 155 } 156 157 func TestStdKen(t *testing.T) { 158 testenv.MustHaveGoBuild(t) 159 160 testTestDir(t, filepath.Join(runtime.GOROOT(), "test", "ken")) 161 } 162 163 // Package paths of excluded packages. 164 var excluded = map[string]bool{ 165 "builtin": true, 166 } 167 168 // typecheck typechecks the given package files. 169 func typecheck(t *testing.T, path string, filenames []string) { 170 fset := token.NewFileSet() 171 172 // parse package files 173 var files []*ast.File 174 for _, filename := range filenames { 175 file, err := parser.ParseFile(fset, filename, nil, parser.AllErrors) 176 if err != nil { 177 // the parser error may be a list of individual errors; report them all 178 if list, ok := err.(scanner.ErrorList); ok { 179 for _, err := range list { 180 t.Error(err) 181 } 182 return 183 } 184 t.Error(err) 185 return 186 } 187 188 if testing.Verbose() { 189 if len(files) == 0 { 190 fmt.Println("package", file.Name.Name) 191 } 192 fmt.Println("\t", filename) 193 } 194 195 files = append(files, file) 196 } 197 198 // typecheck package files 199 conf := Config{ 200 Error: func(err error) { t.Error(err) }, 201 Importer: stdLibImporter, 202 } 203 info := Info{Uses: make(map[*ast.Ident]Object)} 204 conf.Check(path, fset, files, &info) 205 pkgCount++ 206 207 // Perform checks of API invariants. 208 209 // All Objects have a package, except predeclared ones. 210 errorError := Universe.Lookup("error").Type().Underlying().(*Interface).ExplicitMethod(0) // (error).Error 211 for id, obj := range info.Uses { 212 predeclared := obj == Universe.Lookup(obj.Name()) || obj == errorError 213 if predeclared == (obj.Pkg() != nil) { 214 posn := fset.Position(id.Pos()) 215 if predeclared { 216 t.Errorf("%s: predeclared object with package: %s", posn, obj) 217 } else { 218 t.Errorf("%s: user-defined object without package: %s", posn, obj) 219 } 220 } 221 } 222 } 223 224 // pkgFilenames returns the list of package filenames for the given directory. 225 func pkgFilenames(dir string) ([]string, error) { 226 ctxt := build.Default 227 ctxt.CgoEnabled = false 228 pkg, err := ctxt.ImportDir(dir, 0) 229 if err != nil { 230 if _, nogo := err.(*build.NoGoError); nogo { 231 return nil, nil // no *.go files, not an error 232 } 233 return nil, err 234 } 235 if excluded[pkg.ImportPath] { 236 return nil, nil 237 } 238 var filenames []string 239 for _, name := range pkg.GoFiles { 240 filenames = append(filenames, filepath.Join(pkg.Dir, name)) 241 } 242 for _, name := range pkg.TestGoFiles { 243 filenames = append(filenames, filepath.Join(pkg.Dir, name)) 244 } 245 return filenames, nil 246 } 247 248 // Note: Could use filepath.Walk instead of walkDirs but that wouldn't 249 // necessarily be shorter or clearer after adding the code to 250 // terminate early for -short tests. 251 252 func walkDirs(t *testing.T, dir string) { 253 // limit run time for short tests 254 if testing.Short() && time.Since(start) >= 750*time.Millisecond { 255 return 256 } 257 258 fis, err := ioutil.ReadDir(dir) 259 if err != nil { 260 t.Error(err) 261 return 262 } 263 264 // typecheck package in directory 265 files, err := pkgFilenames(dir) 266 if err != nil { 267 t.Error(err) 268 return 269 } 270 if files != nil { 271 typecheck(t, dir, files) 272 } 273 274 // traverse subdirectories, but don't walk into testdata 275 for _, fi := range fis { 276 if fi.IsDir() && fi.Name() != "testdata" { 277 walkDirs(t, filepath.Join(dir, fi.Name())) 278 } 279 } 280 }