analyzer

Documentation

Index

• type Analyzer
  • func (a *Analyzer) Analyze(logger *log.Logger, filename string, src []byte) ([]Problem, error)
  • func (a *Analyzer) AnalyzeFiles(l *log.Logger, files map[string][]byte) ([]Problem, error)
• type Problem

Types

type Analyzer

type Analyzer struct{}

An Analyzer analyzes Go source code

func (*Analyzer) Analyze

func (a *Analyzer) Analyze(logger *log.Logger, filename string, src []byte) ([]Problem, error)

Analyze analyzes src

func (*Analyzer) AnalyzeFiles

func (a *Analyzer) AnalyzeFiles(l *log.Logger, files map[string][]byte) ([]Problem, error)

AnalyzeFiles analyzes a set of files. The argument is a map of filename to source.

type Problem

type Problem struct {
	Function         string
	VarName          string
	Position         token.Position // position in source file
	LineText         string         // the source line
	AffectedPosition token.Position
	AffectedLineText string
	Category         string // a short name for the general category of the problem
	Validity         bool
}

Problem to keep nondet part