2018-02-05 00:51:19 +02:00
|
|
|
package test
|
2018-01-24 04:46:13 +02:00
|
|
|
|
|
|
|
import (
|
|
|
|
"bufio"
|
|
|
|
"bytes"
|
|
|
|
"fmt"
|
|
|
|
"go/ast"
|
|
|
|
"go/parser"
|
|
|
|
"go/token"
|
|
|
|
"go/types"
|
2018-01-27 05:48:44 +02:00
|
|
|
"os"
|
2018-01-24 04:46:13 +02:00
|
|
|
"strconv"
|
|
|
|
"strings"
|
|
|
|
"testing"
|
|
|
|
|
2018-01-25 01:44:03 +02:00
|
|
|
"github.com/mgechev/revive/lint"
|
2018-02-05 01:02:45 +02:00
|
|
|
"github.com/pkg/errors"
|
2018-01-24 04:46:13 +02:00
|
|
|
)
|
|
|
|
|
2018-01-27 05:48:44 +02:00
|
|
|
func testRule(t *testing.T, filename string, rule lint.Rule, config ...*lint.RuleConfig) {
|
2020-03-02 21:12:43 +02:00
|
|
|
baseDir := "../testdata/"
|
2018-01-27 05:48:44 +02:00
|
|
|
filename = filename + ".go"
|
2023-05-16 08:06:52 +02:00
|
|
|
src, err := os.ReadFile(baseDir + filename)
|
2018-01-27 05:48:44 +02:00
|
|
|
if err != nil {
|
|
|
|
t.Fatalf("Bad filename path in test for %s: %v", rule.Name(), err)
|
|
|
|
}
|
|
|
|
stat, err := os.Stat(baseDir + filename)
|
|
|
|
if err != nil {
|
|
|
|
t.Fatalf("Cannot get file info for %s: %v", rule.Name(), err)
|
|
|
|
}
|
2018-02-05 00:51:19 +02:00
|
|
|
c := map[string]lint.RuleConfig{}
|
|
|
|
if config != nil {
|
|
|
|
c[rule.Name()] = *config[0]
|
2018-01-27 05:48:44 +02:00
|
|
|
}
|
2018-02-05 00:51:19 +02:00
|
|
|
if parseInstructions(t, filename, src) == nil {
|
2018-09-23 00:27:22 +02:00
|
|
|
assertSuccess(t, baseDir, stat, []lint.Rule{rule}, c)
|
2018-01-27 05:48:44 +02:00
|
|
|
return
|
|
|
|
}
|
|
|
|
assertFailures(t, baseDir, stat, src, []lint.Rule{rule}, c)
|
|
|
|
}
|
|
|
|
|
2018-09-23 00:27:22 +02:00
|
|
|
func assertSuccess(t *testing.T, baseDir string, fi os.FileInfo, rules []lint.Rule, config map[string]lint.RuleConfig) error {
|
2018-02-05 00:51:19 +02:00
|
|
|
l := lint.New(func(file string) ([]byte, error) {
|
2023-05-16 08:06:52 +02:00
|
|
|
return os.ReadFile(baseDir + file)
|
2022-02-08 03:36:03 +02:00
|
|
|
}, 0)
|
2018-02-05 00:51:19 +02:00
|
|
|
|
2021-10-23 13:25:41 +02:00
|
|
|
ps, err := l.Lint([][]string{{fi.Name()}}, rules, lint.Config{
|
2018-02-05 00:51:19 +02:00
|
|
|
Rules: config,
|
|
|
|
})
|
|
|
|
if err != nil {
|
|
|
|
return err
|
|
|
|
}
|
|
|
|
|
|
|
|
failures := ""
|
|
|
|
for p := range ps {
|
|
|
|
failures += p.Failure
|
|
|
|
}
|
|
|
|
if failures != "" {
|
|
|
|
t.Errorf("Expected the rule to pass but got the following failures: %s", failures)
|
|
|
|
}
|
|
|
|
return nil
|
|
|
|
}
|
|
|
|
|
2018-01-27 05:48:44 +02:00
|
|
|
func assertFailures(t *testing.T, baseDir string, fi os.FileInfo, src []byte, rules []lint.Rule, config map[string]lint.RuleConfig) error {
|
|
|
|
l := lint.New(func(file string) ([]byte, error) {
|
2023-05-16 08:06:52 +02:00
|
|
|
return os.ReadFile(baseDir + file)
|
2022-02-08 03:36:03 +02:00
|
|
|
}, 0)
|
2018-01-24 04:46:13 +02:00
|
|
|
|
2018-01-27 05:48:44 +02:00
|
|
|
ins := parseInstructions(t, fi.Name(), src)
|
|
|
|
if ins == nil {
|
|
|
|
return errors.Errorf("Test file %v does not have instructions", fi.Name())
|
|
|
|
}
|
|
|
|
|
2021-10-23 13:25:41 +02:00
|
|
|
ps, err := l.Lint([][]string{{fi.Name()}}, rules, lint.Config{
|
2018-01-28 02:37:30 +02:00
|
|
|
Rules: config,
|
|
|
|
})
|
2018-01-27 05:48:44 +02:00
|
|
|
if err != nil {
|
|
|
|
return err
|
|
|
|
}
|
2018-01-24 04:46:13 +02:00
|
|
|
|
2018-01-27 05:48:44 +02:00
|
|
|
failures := []lint.Failure{}
|
|
|
|
for f := range ps {
|
|
|
|
failures = append(failures, f)
|
|
|
|
}
|
|
|
|
|
|
|
|
for _, in := range ins {
|
|
|
|
ok := false
|
|
|
|
for i, p := range failures {
|
|
|
|
if p.Position.Start.Line != in.Line {
|
|
|
|
continue
|
2018-01-24 04:46:13 +02:00
|
|
|
}
|
2018-01-27 05:48:44 +02:00
|
|
|
if in.Match == p.Failure {
|
|
|
|
// check replacement if we are expecting one
|
|
|
|
if in.Replacement != "" {
|
|
|
|
// ignore any inline comments, since that would be recursive
|
|
|
|
r := p.ReplacementLine
|
|
|
|
if i := strings.Index(r, " //"); i >= 0 {
|
|
|
|
r = r[:i]
|
|
|
|
}
|
|
|
|
if r != in.Replacement {
|
|
|
|
t.Errorf("Lint failed at %s:%d; got replacement %q, want %q", fi.Name(), in.Line, r, in.Replacement)
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
// remove this problem from ps
|
|
|
|
copy(failures[i:], failures[i+1:])
|
|
|
|
failures = failures[:len(failures)-1]
|
|
|
|
|
2023-09-23 10:41:34 +02:00
|
|
|
// t.Logf("/%v/ matched at %s:%d", in.Match, fi.Name(), in.Line)
|
2018-01-27 05:48:44 +02:00
|
|
|
ok = true
|
|
|
|
break
|
2018-01-24 04:46:13 +02:00
|
|
|
}
|
|
|
|
}
|
2018-01-27 05:48:44 +02:00
|
|
|
if !ok {
|
|
|
|
t.Errorf("Lint failed at %s:%d; /%v/ did not match", fi.Name(), in.Line, in.Match)
|
2018-01-24 04:46:13 +02:00
|
|
|
}
|
|
|
|
}
|
2018-01-27 05:48:44 +02:00
|
|
|
for _, p := range failures {
|
|
|
|
t.Errorf("Unexpected problem at %s:%d: %v", fi.Name(), p.Position.Start.Line, p.Failure)
|
|
|
|
}
|
|
|
|
return nil
|
2018-01-24 04:46:13 +02:00
|
|
|
}
|
|
|
|
|
|
|
|
type instruction struct {
|
|
|
|
Line int // the line number this applies to
|
2021-10-14 20:56:29 +02:00
|
|
|
Match string // which pattern to match
|
2018-01-24 04:46:13 +02:00
|
|
|
Replacement string // what the suggested replacement line should be
|
|
|
|
}
|
|
|
|
|
|
|
|
// parseInstructions parses instructions from the comments in a Go source file.
|
|
|
|
// It returns nil if none were parsed.
|
|
|
|
func parseInstructions(t *testing.T, filename string, src []byte) []instruction {
|
|
|
|
fset := token.NewFileSet()
|
|
|
|
f, err := parser.ParseFile(fset, filename, src, parser.ParseComments)
|
|
|
|
if err != nil {
|
|
|
|
t.Fatalf("Test file %v does not parse: %v", filename, err)
|
|
|
|
}
|
|
|
|
var ins []instruction
|
|
|
|
for _, cg := range f.Comments {
|
|
|
|
ln := fset.Position(cg.Pos()).Line
|
|
|
|
raw := cg.Text()
|
|
|
|
for _, line := range strings.Split(raw, "\n") {
|
|
|
|
if line == "" || strings.HasPrefix(line, "#") {
|
|
|
|
continue
|
|
|
|
}
|
|
|
|
if line == "OK" && ins == nil {
|
|
|
|
// so our return value will be non-nil
|
|
|
|
ins = make([]instruction, 0)
|
|
|
|
continue
|
|
|
|
}
|
|
|
|
if strings.Contains(line, "MATCH") {
|
|
|
|
match, err := extractPattern(line)
|
|
|
|
if err != nil {
|
|
|
|
t.Fatalf("At %v:%d: %v", filename, ln, err)
|
|
|
|
}
|
|
|
|
matchLine := ln
|
|
|
|
if i := strings.Index(line, "MATCH:"); i >= 0 {
|
|
|
|
// This is a match for a different line.
|
|
|
|
lns := strings.TrimPrefix(line[i:], "MATCH:")
|
|
|
|
lns = lns[:strings.Index(lns, " ")]
|
|
|
|
matchLine, err = strconv.Atoi(lns)
|
|
|
|
if err != nil {
|
|
|
|
t.Fatalf("Bad match line number %q at %v:%d: %v", lns, filename, ln, err)
|
|
|
|
}
|
|
|
|
}
|
|
|
|
var repl string
|
|
|
|
if r, ok := extractReplacement(line); ok {
|
|
|
|
repl = r
|
|
|
|
}
|
|
|
|
ins = append(ins, instruction{
|
|
|
|
Line: matchLine,
|
|
|
|
Match: match,
|
|
|
|
Replacement: repl,
|
|
|
|
})
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
return ins
|
|
|
|
}
|
|
|
|
|
|
|
|
func extractPattern(line string) (string, error) {
|
|
|
|
a, b := strings.Index(line, "/"), strings.LastIndex(line, "/")
|
|
|
|
if a == -1 || a == b {
|
|
|
|
return "", fmt.Errorf("malformed match instruction %q", line)
|
|
|
|
}
|
|
|
|
return line[a+1 : b], nil
|
|
|
|
}
|
|
|
|
|
|
|
|
func extractReplacement(line string) (string, bool) {
|
|
|
|
// Look for this: / -> `
|
|
|
|
// (the end of a match and start of a backtick string),
|
|
|
|
// and then the closing backtick.
|
|
|
|
const start = "/ -> `"
|
|
|
|
a, b := strings.Index(line, start), strings.LastIndex(line, "`")
|
|
|
|
if a < 0 || a > b {
|
|
|
|
return "", false
|
|
|
|
}
|
|
|
|
return line[a+len(start) : b], true
|
|
|
|
}
|
|
|
|
|
|
|
|
func srcLine(src []byte, p token.Position) string {
|
|
|
|
// Run to end of line in both directions if not at line start/end.
|
|
|
|
lo, hi := p.Offset, p.Offset+1
|
|
|
|
for lo > 0 && src[lo-1] != '\n' {
|
|
|
|
lo--
|
|
|
|
}
|
|
|
|
for hi < len(src) && src[hi-1] != '\n' {
|
|
|
|
hi++
|
|
|
|
}
|
|
|
|
return string(src[lo:hi])
|
|
|
|
}
|
|
|
|
|
2018-09-23 00:27:22 +02:00
|
|
|
// TestLine tests srcLine function
|
|
|
|
func TestLine(t *testing.T) { //revive:disable-line:exported
|
2018-01-24 04:46:13 +02:00
|
|
|
tests := []struct {
|
|
|
|
src string
|
|
|
|
offset int
|
|
|
|
want string
|
|
|
|
}{
|
|
|
|
{"single line file", 5, "single line file"},
|
|
|
|
{"single line file with newline\n", 5, "single line file with newline\n"},
|
|
|
|
{"first\nsecond\nthird\n", 2, "first\n"},
|
|
|
|
{"first\nsecond\nthird\n", 9, "second\n"},
|
|
|
|
{"first\nsecond\nthird\n", 14, "third\n"},
|
|
|
|
{"first\nsecond\nthird with no newline", 16, "third with no newline"},
|
|
|
|
{"first byte\n", 0, "first byte\n"},
|
|
|
|
}
|
|
|
|
for _, test := range tests {
|
|
|
|
got := srcLine([]byte(test.src), token.Position{Offset: test.offset})
|
|
|
|
if got != test.want {
|
|
|
|
t.Errorf("srcLine(%q, offset=%d) = %q, want %q", test.src, test.offset, got, test.want)
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2018-09-23 00:27:22 +02:00
|
|
|
// TestLintName tests lint.Name function
|
|
|
|
func TestLintName(t *testing.T) { //revive:disable-line:exported
|
2018-01-24 04:46:13 +02:00
|
|
|
tests := []struct {
|
|
|
|
name, want string
|
|
|
|
}{
|
|
|
|
{"foo_bar", "fooBar"},
|
|
|
|
{"foo_bar_baz", "fooBarBaz"},
|
|
|
|
{"Foo_bar", "FooBar"},
|
|
|
|
{"foo_WiFi", "fooWiFi"},
|
|
|
|
{"id", "id"},
|
|
|
|
{"Id", "ID"},
|
|
|
|
{"foo_id", "fooID"},
|
|
|
|
{"fooId", "fooID"},
|
|
|
|
{"fooUid", "fooUID"},
|
|
|
|
{"idFoo", "idFoo"},
|
|
|
|
{"uidFoo", "uidFoo"},
|
|
|
|
{"midIdDle", "midIDDle"},
|
|
|
|
{"APIProxy", "APIProxy"},
|
|
|
|
{"ApiProxy", "APIProxy"},
|
|
|
|
{"apiProxy", "apiProxy"},
|
|
|
|
{"_Leading", "_Leading"},
|
|
|
|
{"___Leading", "_Leading"},
|
|
|
|
{"trailing_", "trailing"},
|
|
|
|
{"trailing___", "trailing"},
|
|
|
|
{"a_b", "aB"},
|
|
|
|
{"a__b", "aB"},
|
|
|
|
{"a___b", "aB"},
|
|
|
|
{"Rpc1150", "RPC1150"},
|
|
|
|
{"case3_1", "case3_1"},
|
|
|
|
{"case3__1", "case3_1"},
|
|
|
|
{"IEEE802_16bit", "IEEE802_16bit"},
|
|
|
|
{"IEEE802_16Bit", "IEEE802_16Bit"},
|
|
|
|
}
|
|
|
|
for _, test := range tests {
|
2018-09-15 23:33:28 +02:00
|
|
|
got := lint.Name(test.name, nil, nil)
|
2018-01-24 04:46:13 +02:00
|
|
|
if got != test.want {
|
|
|
|
t.Errorf("lintName(%q) = %q, want %q", test.name, got, test.want)
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
// exportedType reports whether typ is an exported type.
|
|
|
|
// It is imprecise, and will err on the side of returning true,
|
|
|
|
// such as for composite types.
|
|
|
|
func exportedType(typ types.Type) bool {
|
2022-04-10 11:55:13 +02:00
|
|
|
switch t := typ.(type) {
|
2018-01-24 04:46:13 +02:00
|
|
|
case *types.Named:
|
|
|
|
// Builtin types have no package.
|
2022-04-10 11:55:13 +02:00
|
|
|
return t.Obj().Pkg() == nil || t.Obj().Exported()
|
2018-01-24 04:46:13 +02:00
|
|
|
case *types.Map:
|
2022-04-10 11:55:13 +02:00
|
|
|
return exportedType(t.Key()) && exportedType(t.Elem())
|
2018-01-24 04:46:13 +02:00
|
|
|
case interface {
|
|
|
|
Elem() types.Type
|
|
|
|
}: // array, slice, pointer, chan
|
2022-04-10 11:55:13 +02:00
|
|
|
return exportedType(t.Elem())
|
2018-01-24 04:46:13 +02:00
|
|
|
}
|
|
|
|
// Be conservative about other types, such as struct, interface, etc.
|
|
|
|
return true
|
|
|
|
}
|
|
|
|
|
2018-09-23 00:27:22 +02:00
|
|
|
// TestExportedType tests exportedType function
|
|
|
|
func TestExportedType(t *testing.T) { //revive:disable-line:exported
|
2018-01-24 04:46:13 +02:00
|
|
|
tests := []struct {
|
|
|
|
typString string
|
|
|
|
exp bool
|
|
|
|
}{
|
|
|
|
{"int", true},
|
|
|
|
{"string", false}, // references the shadowed builtin "string"
|
|
|
|
{"T", true},
|
|
|
|
{"t", false},
|
|
|
|
{"*T", true},
|
|
|
|
{"*t", false},
|
|
|
|
{"map[int]complex128", true},
|
|
|
|
}
|
|
|
|
for _, test := range tests {
|
|
|
|
src := `package foo; type T int; type t int; type string struct{}`
|
|
|
|
fset := token.NewFileSet()
|
|
|
|
file, err := parser.ParseFile(fset, "foo.go", src, 0)
|
|
|
|
if err != nil {
|
|
|
|
t.Fatalf("Parsing %q: %v", src, err)
|
|
|
|
}
|
|
|
|
// use the package name as package path
|
|
|
|
config := &types.Config{}
|
|
|
|
pkg, err := config.Check(file.Name.Name, fset, []*ast.File{file}, nil)
|
|
|
|
if err != nil {
|
|
|
|
t.Fatalf("Type checking %q: %v", src, err)
|
|
|
|
}
|
|
|
|
tv, err := types.Eval(fset, pkg, token.NoPos, test.typString)
|
|
|
|
if err != nil {
|
|
|
|
t.Errorf("types.Eval(%q): %v", test.typString, err)
|
|
|
|
continue
|
|
|
|
}
|
|
|
|
if got := exportedType(tv.Type); got != test.exp {
|
|
|
|
t.Errorf("exportedType(%v) = %t, want %t", tv.Type, got, test.exp)
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
var (
|
|
|
|
genHdr = []byte("// Code generated ")
|
|
|
|
genFtr = []byte(" DO NOT EDIT.")
|
|
|
|
)
|
|
|
|
|
|
|
|
// isGenerated reports whether the source file is generated code
|
|
|
|
// according the rules from https://golang.org/s/generatedcode.
|
|
|
|
func isGenerated(src []byte) bool {
|
|
|
|
sc := bufio.NewScanner(bytes.NewReader(src))
|
|
|
|
for sc.Scan() {
|
|
|
|
b := sc.Bytes()
|
|
|
|
if bytes.HasPrefix(b, genHdr) && bytes.HasSuffix(b, genFtr) && len(b) >= len(genHdr)+len(genFtr) {
|
|
|
|
return true
|
|
|
|
}
|
|
|
|
}
|
|
|
|
return false
|
|
|
|
}
|
|
|
|
|
2018-09-23 00:27:22 +02:00
|
|
|
// TestIsGenerated tests isGenerated function
|
|
|
|
func TestIsGenerated(t *testing.T) { //revive:disable-line:exported
|
2018-01-24 04:46:13 +02:00
|
|
|
tests := []struct {
|
|
|
|
source string
|
|
|
|
generated bool
|
|
|
|
}{
|
|
|
|
{"// Code Generated by some tool. DO NOT EDIT.", false},
|
|
|
|
{"// Code generated by some tool. DO NOT EDIT.", true},
|
|
|
|
{"// Code generated by some tool. DO NOT EDIT", false},
|
|
|
|
{"// Code generated DO NOT EDIT.", true},
|
|
|
|
{"// Code generated DO NOT EDIT.", false},
|
|
|
|
{"\t\t// Code generated by some tool. DO NOT EDIT.\npackage foo\n", false},
|
|
|
|
{"// Code generated by some tool. DO NOT EDIT.\npackage foo\n", true},
|
|
|
|
{"package foo\n// Code generated by some tool. DO NOT EDIT.\ntype foo int\n", true},
|
|
|
|
{"package foo\n // Code generated by some tool. DO NOT EDIT.\ntype foo int\n", false},
|
|
|
|
{"package foo\n// Code generated by some tool. DO NOT EDIT. \ntype foo int\n", false},
|
|
|
|
{"package foo\ntype foo int\n// Code generated by some tool. DO NOT EDIT.\n", true},
|
|
|
|
{"package foo\ntype foo int\n// Code generated by some tool. DO NOT EDIT.", true},
|
|
|
|
}
|
|
|
|
|
|
|
|
for i, test := range tests {
|
|
|
|
got := isGenerated([]byte(test.source))
|
|
|
|
if got != test.generated {
|
|
|
|
t.Errorf("test %d, isGenerated() = %v, want %v", i, got, test.generated)
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|