typechecker

Documentation

Index

• type TypeChecker
  • func New(dec *decorator.Decorator) *TypeChecker
  • func (tc *TypeChecker) Check(name string, fset *token.FileSet, file *ast.File)
  • func (tc TypeChecker) OfType(expr dst.Expr, t string) bool
  • func (tc TypeChecker) TypeOf(expr dst.Expr) string

Types

type TypeChecker

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

TypeChecker leverages dst/decorator and go/types to infer the expression types. The decorator keeps the mapping between ast.Node and dst.Node while go/types extracts the types. Call check() after instanciation and before calling ofType() or typeOf().

func New

func New(dec *decorator.Decorator) *TypeChecker

newTypeChecker constructs a typeChecker.

func (*TypeChecker) Check

func (tc *TypeChecker) Check(name string, fset *token.FileSet, file *ast.File)

check analyses a target file and stores object types. It must be called at least once before calling ofType or typeOf.

func (TypeChecker) OfType

func (tc TypeChecker) OfType(expr dst.Expr, t string) bool

ofType checks the type of an expression.

func (TypeChecker) TypeOf

func (tc TypeChecker) TypeOf(expr dst.Expr) string

typeOf returns the type of an expression.