annotate

Documentation

Index

• func Annotate(output io.Writer, fset *token.FileSet, file *ast.File, opts Options) error
• type Block
• type File
  • func (f *File) Visit(node ast.Node) ast.Visitor
• type Options

Functions

func Annotate

func Annotate(output io.Writer, fset *token.FileSet, file *ast.File, opts Options) error

Types

type Block

type Block struct {
	// contains filtered or unexported fields
}

Block represents the information about a basic block to be recorded in the analysis. Note: Our definition of basic block is based on control structures; we don't break apart && and ||. We could but it doesn't seem important enough to bother.

type File

type File struct {
	// contains filtered or unexported fields
}

File is a wrapper for the state of a file used in the parser. The basic parse tree walker is a method of this type.

func (*File) Visit

func (f *File) Visit(node ast.Node) ast.Visitor

Visit implements the ast.Visitor interface.

type Options

type Options struct {
	Name    string
	Mode    string
	VarName string
}