check

Documentation

Overview

Package check processes an ast.Function and finds used but (possibly) not initialized, and initialized but (possibly) not used. "possibly" meaning not on all code paths. Does not check nested functions (they're already codegen and not Ast) they are checked as constructed bottom up.

Index

• type Check
  • func New(th *Thread) *Check
  • func (ck *Check) CheckFunc(f *ast.Function)
  • func (ck *Check) CheckFunc2(f *ast.Function) set
  • func (ck *Check) CheckGlobal(name string, pos int)
  • func (ck *Check) CheckResult(pos int, str string)
  • func (ck *Check) CheckResults() []string

Types

type Check

type Check struct {

	// AllInit is the set of variables assigned to, including conditionally
	AllInit map[string]int
	// AllUsed is the set of variables read from, including conditionally
	AllUsed map[string]struct{}
	// contains filtered or unexported fields
}

func New

func New(th *Thread) *Check

New returns a Check instance

func (*Check) CheckFunc

func (ck *Check) CheckFunc(f *ast.Function)

CheckFunc is the main entry point. It can be called more than once (for nested functions).

func (*Check) CheckFunc2

func (ck *Check) CheckFunc2(f *ast.Function) set

func (*Check) CheckGlobal

func (ck *Check) CheckGlobal(name string, pos int)

CheckGlobal checks if a global name is defined. It is also called by compile constant to check class base.

func (*Check) CheckResult

func (ck *Check) CheckResult(pos int, str string)

func (*Check) CheckResults

func (ck *Check) CheckResults() []string

CheckResults returns the results sorted by code position