analysisinternal

Documentation

Overview

Package analysisinternal exposes internal-only fields from go/analysis.

Index

• Variables
• func IsZeroValue(expr ast.Expr) bool
• func MatchingIdents(typs []types.Type, node ast.Node, pos token.Pos, info *types.Info, ...) map[types.Type][]string
• func StmtToInsertVarBefore(path []ast.Node) ast.Stmt
• func TypeErrorEndPos(fset *token.FileSet, src []byte, start token.Pos) token.Pos
• func TypeExpr(f *ast.File, pkg *types.Package, typ types.Type) ast.Expr
• func WalkASTWithParent(n ast.Node, f func(n ast.Node, parent ast.Node) bool)
• func ZeroValue(f *ast.File, pkg *types.Package, typ types.Type) ast.Expr
• type TypeErrorPass

Variables

var (
	GetTypeErrors func(p interface{}) []types.Error
	SetTypeErrors func(p interface{}, errors []types.Error)
)

var DiagnoseFuzzTests bool = false

DiagnoseFuzzTests controls whether the 'tests' analyzer diagnoses fuzz tests in Go 1.18+.

var LoopclosureParallelSubtests = false

LoopclosureParallelSubtests controls whether the 'loopclosure' analyzer diagnoses loop variables references in parallel subtests.

Functions

func IsZeroValue

func IsZeroValue(expr ast.Expr) bool

IsZeroValue checks whether the given expression is a 'zero value' (as determined by output of analysisinternal.ZeroValue)

func MatchingIdents

func MatchingIdents(typs []types.Type, node ast.Node, pos token.Pos, info *types.Info, pkg *types.Package) map[types.Type][]string

MatchingIdents finds the names of all identifiers in 'node' that match any of the given types. 'pos' represents the position at which the identifiers may be inserted. 'pos' must be within the scope of each of identifier we select. Otherwise, we will insert a variable at 'pos' that is unrecognized.

func StmtToInsertVarBefore

func StmtToInsertVarBefore(path []ast.Node) ast.Stmt

StmtToInsertVarBefore returns the ast.Stmt before which we can safely insert a new variable. Some examples:

Basic Example: z := 1 y := z + x If x is undeclared, then this function would return `y := z + x`, so that we can insert `x := ` on the line before `y := z + x`.

If stmt example: if z == 1 { } else if z == y {} If y is undeclared, then this function would return `if z == 1 {`, because we cannot insert a statement between an if and an else if statement. As a result, we need to find the top of the if chain to insert `y := ` before.

func TypeErrorEndPos

func TypeErrorEndPos(fset *token.FileSet, src []byte, start token.Pos) token.Pos

func TypeExpr

func TypeExpr(f *ast.File, pkg *types.Package, typ types.Type) ast.Expr

TypeExpr returns syntax for the specified type. References to named types from packages other than pkg are qualified by an appropriate package name, as defined by the import environment of file.

func WalkASTWithParent

func WalkASTWithParent(n ast.Node, f func(n ast.Node, parent ast.Node) bool)

WalkASTWithParent walks the AST rooted at n. The semantics are similar to ast.Inspect except it does not call f(nil).

func ZeroValue

func ZeroValue(f *ast.File, pkg *types.Package, typ types.Type) ast.Expr

Types

type TypeErrorPass

type TypeErrorPass string

const (
	NoNewVars      TypeErrorPass = "nonewvars"
	NoResultValues TypeErrorPass = "noresultvalues"
	UndeclaredName TypeErrorPass = "undeclaredname"
)