golang error_test 代码
文件路径:/src/go/parser/error_test.go
/ Copyright 2012 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.
/ This file implements a parser test harness. The files in the testdata
/ directory are parsed and the errors reported are compared against the
/ error messages expected in the test files. The test files must end in
/ .src rather than .go so that they are not disturbed by gofmt runs.
/
/ Expected errors are indicated in the test files by putting a comment
/ of the form /* ERROR "rx" */ immediately following an offending token.
/ The harness will verify that an error matching the regular expression
/ rx is reported at that source position.
/
/ For instance, the following test file indicates that a "not declared"
/ error should be reported for the undeclared variable x:
/
/ package p
/ func f() {
/ _ = x /* ERROR "not declared" */ + 1
/ }
package parser
import (
"flag"
"go/internal/typeparams"
"go/scanner"
"go/token"
"os"
"path/filepath"
"regexp"
"strings"
"testing"
)
var traceErrs = flag.Bool("trace_errs", false, "whether to enable tracing for error tests")
const testdata = "testdata"
/ getFile assumes that each filename occurs at most once
func getFile(fset *token.FileSet, filename string) (file *token.File) {
fset.Iterate(func(f *token.File) bool {
if f.Name() == filename {
if file != nil {
panic(filename + " used multiple times")
}
file = f
}
return true
})
return file
}
func getPos(fset *token.FileSet, filename string, offset int) token.Pos {
if f := getFile(fset, filename); f != nil {
return f.Pos(offset)
}
return token.NoPos
}
/ ERROR comments must be of the form /* ERROR "rx" */ and rx is
/ a regular expression that matches the expected error message.
/ The special form /* ERROR HERE "rx" */ must be used for error
/ messages that appear immediately after a token, rather than at
/ a token's position.
var errRx = regexp.MustCompile(`^/\* *ERROR *(HERE)? *"([^"]*)" *\*/$`)
/ expectedErrors collects the regular expressions of ERROR comments found
/ in files and returns them as a map of error positions to error messages.
func expectedErrors(fset *token.FileSet, filename string, src []byte) map[token.Pos]string {
errors := make(map[token.Pos]string)
var s scanner.Scanner
/ file was parsed already - do not add it again to the file
/ set otherwise the position information returned here will
/ not match the position information collected by the parser
s.Init(getFile(fset, filename), src, nil, scanner.ScanComments)
var prev token.Pos / position of last non-comment, non-semicolon token
var here token.Pos / position immediately after the token at position prev
for {
pos, tok, lit := s.Scan()
switch tok {
case token.EOF:
return errors
case token.COMMENT:
s := errRx.FindStringSubmatch(lit)
if len(s) == 3 {
pos := prev
if s[1] == "HERE" {
pos = here
}
errors[pos] = s[2]
}
case token.SEMICOLON:
/ don't use the position of auto-inserted (invisible) semicolons
if lit != ";" {
break
}
fallthrough
default:
prev = pos
var l int / token length
if tok.IsLiteral() {
l = len(lit)
} else {
l = len(tok.String())
}
here = prev + token.Pos(l)
}
}
}
/ compareErrors compares the map of expected error messages with the list
/ of found errors and reports discrepancies.
func compareErrors(t *testing.T, fset *token.FileSet, expected map[token.Pos]string, found scanner.ErrorList) {
t.Helper()
for _, error := range found {
/ error.Pos is a token.Position, but we want
/ a token.Pos so we can do a map lookup
pos := getPos(fset, error.Pos.Filename, error.Pos.Offset)
if msg, found := expected[pos]; found {
/ we expect a message at pos; check if it matches
rx, err := regexp.Compile(msg)
if err != nil {
t.Errorf("%s: %v", error.Pos, err)
continue
}
if match := rx.MatchString(error.Msg); !match {
t.Errorf("%s: %q does not match %q", error.Pos, error.Msg, msg)
continue
}
/ we have a match - eliminate this error
delete(expected, pos)
} else {
/ To keep in mind when analyzing failed test output:
/ If the same error position occurs multiple times in errors,
/ this message will be triggered (because the first error at
/ the position removes this position from the expected errors).
t.Errorf("%s: unexpected error: %s", error.Pos, error.Msg)
}
}
/ there should be no expected errors left
if len(expected) > 0 {
t.Errorf("%d errors not reported:", len(expected))
for pos, msg := range expected {
t.Errorf("%s: %s\n", fset.Position(pos), msg)
}
}
}
func checkErrors(t *testing.T, filename string, input any, mode Mode, expectErrors bool) {
t.Helper()
src, err := readSource(filename, input)
if err != nil {
t.Error(err)
return
}
fset := token.NewFileSet()
_, err = ParseFile(fset, filename, src, mode)
found, ok := err.(scanner.ErrorList)
if err != nil && !ok {
t.Error(err)
return
}
found.RemoveMultiples()
expected := map[token.Pos]string{}
if expectErrors {
/ we are expecting the following errors
/ (collect these after parsing a file so that it is found in the file set)
expected = expectedErrors(fset, filename, src)
}
/ verify errors returned by the parser
compareErrors(t, fset, expected, found)
}
func TestErrors(t *testing.T) {
list, err := os.ReadDir(testdata)
if err != nil {
t.Fatal(err)
}
for _, d := range list {
name := d.Name()
t.Run(name, func(t *testing.T) {
if !d.IsDir() && !strings.HasPrefix(name, ".") && (strings.HasSuffix(name, ".src") || strings.HasSuffix(name, ".go2")) {
mode := DeclarationErrors | AllErrors
if !strings.HasSuffix(name, ".go2") {
mode |= typeparams.DisallowParsing
}
if *traceErrs {
mode |= Trace
}
checkErrors(t, filepath.Join(testdata, name), nil, mode, true)
}
})
}
}