2018-01-25 21:06:56 +02:00
|
|
|
package rule
|
|
|
|
|
|
|
|
import (
|
|
|
|
"go/ast"
|
|
|
|
"go/token"
|
|
|
|
"strconv"
|
2022-07-05 21:51:50 +02:00
|
|
|
"strings"
|
|
|
|
"sync"
|
2018-01-25 21:06:56 +02:00
|
|
|
"unicode"
|
|
|
|
"unicode/utf8"
|
|
|
|
|
|
|
|
"github.com/mgechev/revive/lint"
|
|
|
|
)
|
|
|
|
|
|
|
|
// ErrorStringsRule lints given else constructs.
|
2022-07-05 21:51:50 +02:00
|
|
|
type ErrorStringsRule struct {
|
|
|
|
errorFunctions map[string]map[string]struct{}
|
|
|
|
sync.Mutex
|
|
|
|
}
|
2018-01-25 21:06:56 +02:00
|
|
|
|
2022-07-05 21:51:50 +02:00
|
|
|
func (r *ErrorStringsRule) configure(arguments lint.Arguments) {
|
|
|
|
r.Lock()
|
|
|
|
defer r.Unlock()
|
2018-01-25 21:06:56 +02:00
|
|
|
|
2022-07-05 21:51:50 +02:00
|
|
|
if r.errorFunctions != nil {
|
|
|
|
return
|
|
|
|
}
|
|
|
|
|
|
|
|
r.errorFunctions = map[string]map[string]struct{}{
|
2021-10-28 21:26:02 +02:00
|
|
|
"fmt": {
|
|
|
|
"Errorf": {},
|
|
|
|
},
|
|
|
|
"errors": {
|
|
|
|
"Errorf": {},
|
|
|
|
"WithMessage": {},
|
|
|
|
"Wrap": {},
|
|
|
|
"New": {},
|
|
|
|
"WithMessagef": {},
|
|
|
|
"Wrapf": {},
|
|
|
|
},
|
|
|
|
}
|
|
|
|
|
2022-07-05 21:51:50 +02:00
|
|
|
var invalidCustomFunctions []string
|
|
|
|
for _, argument := range arguments {
|
|
|
|
if functionName, ok := argument.(string); ok {
|
|
|
|
fields := strings.Split(strings.TrimSpace(functionName), ".")
|
|
|
|
if len(fields) != 2 || len(fields[0]) == 0 || len(fields[1]) == 0 {
|
|
|
|
invalidCustomFunctions = append(invalidCustomFunctions, functionName)
|
|
|
|
continue
|
|
|
|
}
|
|
|
|
r.errorFunctions[fields[0]] = map[string]struct{}{fields[1]: {}}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
if len(invalidCustomFunctions) != 0 {
|
|
|
|
panic("found invalid custom function: " + strings.Join(invalidCustomFunctions, ","))
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
// Apply applies the rule to given file.
|
|
|
|
func (r *ErrorStringsRule) Apply(file *lint.File, arguments lint.Arguments) []lint.Failure {
|
|
|
|
var failures []lint.Failure
|
|
|
|
|
|
|
|
r.configure(arguments)
|
|
|
|
|
2018-01-25 21:06:56 +02:00
|
|
|
fileAst := file.AST
|
|
|
|
walker := lintErrorStrings{
|
2021-10-28 21:26:02 +02:00
|
|
|
file: file,
|
|
|
|
fileAst: fileAst,
|
2022-07-05 21:51:50 +02:00
|
|
|
errorFunctions: r.errorFunctions,
|
2018-01-25 21:06:56 +02:00
|
|
|
onFailure: func(failure lint.Failure) {
|
|
|
|
failures = append(failures, failure)
|
|
|
|
},
|
|
|
|
}
|
|
|
|
|
|
|
|
ast.Walk(walker, fileAst)
|
|
|
|
|
|
|
|
return failures
|
|
|
|
}
|
|
|
|
|
|
|
|
// Name returns the rule name.
|
2022-04-10 11:55:13 +02:00
|
|
|
func (*ErrorStringsRule) Name() string {
|
2018-01-28 03:01:18 +02:00
|
|
|
return "error-strings"
|
2018-01-25 21:06:56 +02:00
|
|
|
}
|
|
|
|
|
|
|
|
type lintErrorStrings struct {
|
2021-10-28 21:26:02 +02:00
|
|
|
file *lint.File
|
|
|
|
fileAst *ast.File
|
|
|
|
errorFunctions map[string]map[string]struct{}
|
|
|
|
onFailure func(lint.Failure)
|
2018-01-25 21:06:56 +02:00
|
|
|
}
|
|
|
|
|
2021-10-28 21:26:02 +02:00
|
|
|
// Visit browses the AST
|
2018-01-25 21:06:56 +02:00
|
|
|
func (w lintErrorStrings) Visit(n ast.Node) ast.Visitor {
|
|
|
|
ce, ok := n.(*ast.CallExpr)
|
|
|
|
if !ok {
|
|
|
|
return w
|
|
|
|
}
|
2021-10-28 21:26:02 +02:00
|
|
|
|
|
|
|
if len(ce.Args) < 1 {
|
2018-01-25 21:06:56 +02:00
|
|
|
return w
|
|
|
|
}
|
2021-10-28 21:26:02 +02:00
|
|
|
|
|
|
|
// expression matches the known pkg.function
|
|
|
|
ok = w.match(ce)
|
|
|
|
if !ok {
|
2018-01-25 21:06:56 +02:00
|
|
|
return w
|
|
|
|
}
|
2021-10-28 21:26:02 +02:00
|
|
|
|
|
|
|
str, ok := w.getMessage(ce)
|
|
|
|
if !ok {
|
2018-01-25 21:06:56 +02:00
|
|
|
return w
|
|
|
|
}
|
|
|
|
s, _ := strconv.Unquote(str.Value) // can assume well-formed Go
|
|
|
|
if s == "" {
|
|
|
|
return w
|
|
|
|
}
|
|
|
|
clean, conf := lintErrorString(s)
|
|
|
|
if clean {
|
|
|
|
return w
|
|
|
|
}
|
|
|
|
w.onFailure(lint.Failure{
|
|
|
|
Node: str,
|
|
|
|
Confidence: conf,
|
|
|
|
Category: "errors",
|
|
|
|
Failure: "error strings should not be capitalized or end with punctuation or a newline",
|
|
|
|
})
|
|
|
|
return w
|
|
|
|
}
|
|
|
|
|
2021-10-28 21:26:02 +02:00
|
|
|
// match returns true if the expression corresponds to the known pkg.function
|
|
|
|
// i.e.: errors.Wrap
|
|
|
|
func (w lintErrorStrings) match(expr *ast.CallExpr) bool {
|
|
|
|
sel, ok := expr.Fun.(*ast.SelectorExpr)
|
|
|
|
if !ok {
|
|
|
|
return false
|
|
|
|
}
|
|
|
|
// retrieve the package
|
|
|
|
id, ok := sel.X.(*ast.Ident)
|
2021-10-30 08:45:37 +02:00
|
|
|
if !ok {
|
|
|
|
return false
|
|
|
|
}
|
2021-10-28 21:26:02 +02:00
|
|
|
functions, ok := w.errorFunctions[id.Name]
|
|
|
|
if !ok {
|
|
|
|
return false
|
|
|
|
}
|
|
|
|
// retrieve the function
|
|
|
|
_, ok = functions[sel.Sel.Name]
|
|
|
|
return ok
|
|
|
|
}
|
|
|
|
|
|
|
|
// getMessage returns the message depending on its position
|
|
|
|
// returns false if the cast is unsuccessful
|
|
|
|
func (w lintErrorStrings) getMessage(expr *ast.CallExpr) (s *ast.BasicLit, success bool) {
|
|
|
|
str, ok := w.checkArg(expr, 0)
|
|
|
|
if ok {
|
|
|
|
return str, true
|
|
|
|
}
|
|
|
|
if len(expr.Args) < 2 {
|
|
|
|
return s, false
|
|
|
|
}
|
|
|
|
str, ok = w.checkArg(expr, 1)
|
|
|
|
if !ok {
|
|
|
|
return s, false
|
|
|
|
}
|
|
|
|
return str, true
|
|
|
|
}
|
|
|
|
|
|
|
|
func (lintErrorStrings) checkArg(expr *ast.CallExpr, arg int) (s *ast.BasicLit, success bool) {
|
|
|
|
str, ok := expr.Args[arg].(*ast.BasicLit)
|
|
|
|
if !ok {
|
|
|
|
return s, false
|
|
|
|
}
|
|
|
|
if str.Kind != token.STRING {
|
|
|
|
return s, false
|
|
|
|
}
|
|
|
|
return str, true
|
|
|
|
}
|
|
|
|
|
2018-01-25 21:06:56 +02:00
|
|
|
func lintErrorString(s string) (isClean bool, conf float64) {
|
|
|
|
const basicConfidence = 0.8
|
|
|
|
const capConfidence = basicConfidence - 0.2
|
|
|
|
first, firstN := utf8.DecodeRuneInString(s)
|
|
|
|
last, _ := utf8.DecodeLastRuneInString(s)
|
|
|
|
if last == '.' || last == ':' || last == '!' || last == '\n' {
|
|
|
|
return false, basicConfidence
|
|
|
|
}
|
|
|
|
if unicode.IsUpper(first) {
|
|
|
|
// People use proper nouns and exported Go identifiers in error strings,
|
|
|
|
// so decrease the confidence of warnings for capitalization.
|
|
|
|
if len(s) <= firstN {
|
|
|
|
return false, capConfidence
|
|
|
|
}
|
|
|
|
// Flag strings starting with something that doesn't look like an initialism.
|
|
|
|
if second, _ := utf8.DecodeRuneInString(s[firstN:]); !unicode.IsUpper(second) {
|
|
|
|
return false, capConfidence
|
|
|
|
}
|
|
|
|
}
|
|
|
|
return true, 0
|
|
|
|
}
|