typecheck

Documentation

Overview

Package typecheck is a Neugram type checker.

Index

• Variables
• func IsError(t tipe.Type) bool
• type Checker
  • func New(initPkg string) *Checker
  • func (c *Checker) Add(s stmt.Stmt) tipe.Type
  • func (c *Checker) Check(path string) (*Package, error)
  • func (c *Checker) Errs() []error
  • func (c *Checker) Ident(e *expr.Ident) *Obj
  • func (c *Checker) Lookup(name string) *Obj
  • func (c *Checker) NewScope() *Checker
  • func (c *Checker) Pkg(path string) *Package
  • func (c *Checker) Type(e expr.Expr) (t tipe.Type)
  • func (c *Checker) TypesWithPrefix(prefix string) (res []string)
• type Obj
• type ObjKind
  • func (o ObjKind) String() string
• type Package
• type Scope
  • func (s *Scope) DebugPrint(indent int)
  • func (s *Scope) LookupRec(name string) *Obj

Variables

var Universe = &Scope{Objs: universeObjs}

Functions

func IsError

func IsError(t tipe.Type) bool

Types

type Checker

type Checker struct {
	ImportGo func(path string) (*gotypes.Package, error)
	// contains filtered or unexported fields
}

func New

func New(initPkg string) *Checker

func (*Checker) Add

func (c *Checker) Add(s stmt.Stmt) tipe.Type

func (*Checker) Check

func (c *Checker) Check(path string) (*Package, error)

Check typechecks a Neugram package.

func (*Checker) Errs

func (c *Checker) Errs() []error

Errs returns any errors encountered during type checking.

func (*Checker) Ident

func (c *Checker) Ident(e *expr.Ident) *Obj

Ident reports the object an identifier refers to.

func (*Checker) Lookup

func (c *Checker) Lookup(name string) *Obj

func (*Checker) NewScope

func (c *Checker) NewScope() *Checker

NewScope make a copy of Checker with a new, blank current scope. The two checkers share all type checked data.

func (*Checker) Pkg

func (c *Checker) Pkg(path string) *Package

Pkg returns the type-checked Neugram or Go package. If the type checker has not processed the package, nil is returned.

func (*Checker) Type

func (c *Checker) Type(e expr.Expr) (t tipe.Type)

func (*Checker) TypesWithPrefix

func (c *Checker) TypesWithPrefix(prefix string) (res []string)

TypesWithPrefix returns the names of all types currently in scope that start with prefix.

type Obj

type Obj struct {
	Name string
	Kind ObjKind
	Type tipe.Type
	Decl interface{} // *expr.FuncLiteral, *stmt.MethodikDecl, constant.Value, *stmt.TypeDecl, *Package
	Used bool
}

An Obj represents a declared constant, type, variable, or function.

type ObjKind

type ObjKind int

const (
	ObjUnknown ObjKind = iota
	ObjVar
	ObjConst
	ObjPkg
	ObjType
)

func (ObjKind) String

func (o ObjKind) String() string

type Package

type Package struct {
	GoPkg       *gotypes.Package
	Path        string
	Type        *tipe.Package
	Globals     []*Obj
	GlobalNames map[string]*Obj
	Syntax      *syntax.File
}

type Scope

type Scope struct {
	Parent *Scope
	Objs   map[string]*Obj
	// contains filtered or unexported fields
}

func (*Scope) DebugPrint

func (s *Scope) DebugPrint(indent int)

func (*Scope) LookupRec

func (s *Scope) LookupRec(name string) *Obj