github.com/aloncn/graphics-go@v0.0.1/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 if testing.Short() && testenv.Builder() == "" { 131 t.Skip("skipping in short mode") 132 } 133 134 // test/recover4.go is only built for Linux and Darwin. 135 // TODO(gri) Remove once tests consider +build tags (issue 10370). 136 if runtime.GOOS != "linux" && runtime.GOOS != "darwin" { 137 return 138 } 139 140 testTestDir(t, filepath.Join(runtime.GOROOT(), "test"), 141 "cmplxdivide.go", // also needs file cmplxdivide1.go - ignore 142 "sigchld.go", // don't work on Windows; testTestDir should consult build tags 143 ) 144 } 145 146 func TestStdFixed(t *testing.T) { 147 testenv.MustHaveGoBuild(t) 148 149 if testing.Short() && testenv.Builder() == "" { 150 t.Skip("skipping in short mode") 151 } 152 153 testTestDir(t, filepath.Join(runtime.GOROOT(), "test", "fixedbugs"), 154 "bug248.go", "bug302.go", "bug369.go", // complex test instructions - ignore 155 "issue6889.go", // gc-specific test 156 "issue7746.go", // large constants - consumes too much memory 157 "issue11362.go", // canonical import path check 158 ) 159 } 160 161 func TestStdKen(t *testing.T) { 162 testenv.MustHaveGoBuild(t) 163 164 testTestDir(t, filepath.Join(runtime.GOROOT(), "test", "ken")) 165 } 166 167 // Package paths of excluded packages. 168 var excluded = map[string]bool{ 169 "builtin": true, 170 } 171 172 // typecheck typechecks the given package files. 173 func typecheck(t *testing.T, path string, filenames []string) { 174 fset := token.NewFileSet() 175 176 // parse package files 177 var files []*ast.File 178 for _, filename := range filenames { 179 file, err := parser.ParseFile(fset, filename, nil, parser.AllErrors) 180 if err != nil { 181 // the parser error may be a list of individual errors; report them all 182 if list, ok := err.(scanner.ErrorList); ok { 183 for _, err := range list { 184 t.Error(err) 185 } 186 return 187 } 188 t.Error(err) 189 return 190 } 191 192 if testing.Verbose() { 193 if len(files) == 0 { 194 fmt.Println("package", file.Name.Name) 195 } 196 fmt.Println("\t", filename) 197 } 198 199 files = append(files, file) 200 } 201 202 // typecheck package files 203 conf := Config{ 204 Error: func(err error) { t.Error(err) }, 205 Importer: stdLibImporter, 206 } 207 info := Info{Uses: make(map[*ast.Ident]Object)} 208 conf.Check(path, fset, files, &info) 209 pkgCount++ 210 211 // Perform checks of API invariants. 212 213 // All Objects have a package, except predeclared ones. 214 errorError := Universe.Lookup("error").Type().Underlying().(*Interface).ExplicitMethod(0) // (error).Error 215 for id, obj := range info.Uses { 216 predeclared := obj == Universe.Lookup(obj.Name()) || obj == errorError 217 if predeclared == (obj.Pkg() != nil) { 218 posn := fset.Position(id.Pos()) 219 if predeclared { 220 t.Errorf("%s: predeclared object with package: %s", posn, obj) 221 } else { 222 t.Errorf("%s: user-defined object without package: %s", posn, obj) 223 } 224 } 225 } 226 } 227 228 // pkgFilenames returns the list of package filenames for the given directory. 229 func pkgFilenames(dir string) ([]string, error) { 230 ctxt := build.Default 231 ctxt.CgoEnabled = false 232 pkg, err := ctxt.ImportDir(dir, 0) 233 if err != nil { 234 if _, nogo := err.(*build.NoGoError); nogo { 235 return nil, nil // no *.go files, not an error 236 } 237 return nil, err 238 } 239 if excluded[pkg.ImportPath] { 240 return nil, nil 241 } 242 var filenames []string 243 for _, name := range pkg.GoFiles { 244 filenames = append(filenames, filepath.Join(pkg.Dir, name)) 245 } 246 for _, name := range pkg.TestGoFiles { 247 filenames = append(filenames, filepath.Join(pkg.Dir, name)) 248 } 249 return filenames, nil 250 } 251 252 // Note: Could use filepath.Walk instead of walkDirs but that wouldn't 253 // necessarily be shorter or clearer after adding the code to 254 // terminate early for -short tests. 255 256 func walkDirs(t *testing.T, dir string) { 257 // limit run time for short tests 258 if testing.Short() && time.Since(start) >= 10*time.Millisecond { 259 return 260 } 261 262 fis, err := ioutil.ReadDir(dir) 263 if err != nil { 264 t.Error(err) 265 return 266 } 267 268 // typecheck package in directory 269 files, err := pkgFilenames(dir) 270 if err != nil { 271 t.Error(err) 272 return 273 } 274 if files != nil { 275 typecheck(t, dir, files) 276 } 277 278 // traverse subdirectories, but don't walk into testdata 279 for _, fi := range fis { 280 if fi.IsDir() && fi.Name() != "testdata" { 281 walkDirs(t, filepath.Join(dir, fi.Name())) 282 } 283 } 284 }