"crypto/sha256"
"encoding/gob"
"encoding/json"
"flag"
"fmt"
"go/token"
"io"
"log"
"os"
"strconv"
"strings"
"golang.org/x/tools/go/analysis"
"flag"
"fmt"
"log"
"os"
"sort"
"strings"
"golang.org/x/tools/go/analysis"
"fmt"
"net/url"
"golang.org/x/tools/go/analysis"
flags common to all {single,multi,unit}checkers.
var Context = *ast.UnaryExprflags common to all {single,multi,unit}checkers.
var JSON = falseconst help = `PROGNAME is a tool for static analysis of Go programs.
PROGNAME examines Go source code and reports suspicious constructs,
such as Printf calls whose arguments do not align with the format
string. It uses heuristics that do not guarantee all reports are
genuine problems, but it can find errors not caught by the compilers.
`const setFalseconst setTrueconst unset triState = iotavetLegacyFlags maps flags used by legacy vet to their corresponding new names. The old names will continue to work.
var vetLegacyFlags = map[string]string{...}A JSONTree is a mapping from package ID to analysis name to result. Each result is either a jsonError or a list of JSONDiagnostic.
type JSONTree map[string]map[string]interface{}A triState is a boolean that knows whether it has been set to either true or false. It is used to identify whether a flag appears; the standard boolean flag cannot distinguish missing from unset. It also satisfies flag.Value.
type triState intA JSONDiagnostic describes the JSON schema of an analysis.Diagnostic. TODO(matloob): include End position if present.
type JSONDiagnostic struct {
Category string `json:"category,omitempty"`
Posn string `json:"posn"`
Message string `json:"message"`
SuggestedFixes []JSONSuggestedFix `json:"suggested_fixes,omitempty"`
Related []JSONRelatedInformation `json:"related,omitempty"`
}A JSONRelated describes a secondary position and message related to a primary diagnostic. TODO(adonovan): include End position if present.
type JSONRelatedInformation struct {
Posn string `json:"posn"`
Message string `json:"message"`
}A JSONSuggestedFix describes an edit that should be applied as a whole or not at all. It might contain multiple TextEdits/text_edits if the SuggestedFix consists of multiple non-contiguous edits.
type JSONSuggestedFix struct {
Message string `json:"message"`
Edits []JSONTextEdit `json:"edits"`
}A TextEdit describes the replacement of a portion of a file. Start and End are zero-based half-open indices into the original byte sequence of the file, and New is the new text.
type JSONTextEdit struct {
Filename string `json:"filename"`
Start int `json:"start"`
End int `json:"end"`
New string `json:"new"`
}versionFlag minimally complies with the -V protocol required by "go vet".
type versionFlag struct {
}Add adds the result of analysis 'name' on package 'id'. The result is either a list of diagnostics or an error.
func (tree JSONTree) Add(fset *token.FileSet, id string, name string, diags []analysis.Diagnostic, err error)func (versionFlag) Get() interface{}triState implements flag.Value, flag.Getter, and flag.boolFlag. They work like boolean flags: we can say vet -printf as well as vet -printf=true
func (ts *triState) Get() interface{}Help implements the help subcommand for a multichecker or unitchecker style command. The optional args specify the analyzers to describe. Help calls log.Fatal if no such analyzer exists.
func Help(progname string, analyzers []*analysis.Analyzer, args []string)func (versionFlag) IsBoolFlag() boolfunc (ts triState) IsBoolFlag() boolParse creates a flag for each of the analyzer's flags, including (in multi mode) a flag named after the analyzer, parses the flags, then filters and returns the list of analyzers enabled by flags. The result is intended to be passed to unitchecker.Run or checker.Run. Use in unitchecker.Run will gob.Register all fact types for the returned graph of analyzers but of course not the ones only reachable from dropped analyzers. To avoid inconsistency about which gob types are registered from run to run, Parse itself gob.Registers all the facts only reachable from dropped analyzers. This is not a particularly elegant API, but this is an internal package.
func Parse(analyzers []*analysis.Analyzer, multi bool) []*analysis.Analyzerfunc (tree JSONTree) Print(out io.Writer) errorPrintPlain prints a diagnostic in plain text form. If contextLines is nonnegative, it also prints the offending line plus this many lines of context.
func PrintPlain(out io.Writer, fset *token.FileSet, contextLines int, diag analysis.Diagnostic)ResolveURL resolves the URL field for a Diagnostic from an Analyzer and returns the URL. See Diagnostic.URL for details.
func ResolveURL(a *analysis.Analyzer, d analysis.Diagnostic) (string, error)func (versionFlag) Set(s string) errorfunc (ts *triState) Set(value string) errorfunc (ts *triState) String() stringfunc (versionFlag) String() stringaddVersionFlag registers a -V flag that, if set, prints the executable version and exits 0. If the -V flag already exists — for example, because it was already registered by a call to cmd/internal/objabi.AddVersionFlag — then addVersionFlag does nothing.
func addVersionFlag()func expand(analyzers []*analysis.Analyzer) map[*analysis.Analyzer]boolfunc (ts triState) isTrue() boolfunc printFlags()func triStateFlag(name string, value triState, usage string) *triStateGenerated with Arrow