check

Documentation

Index

• type Checker
  • func Check(tm *t.Map, files ...*a.File) (*Checker, error)
  • func (c *Checker) Consts() map[t.ID]Const
  • func (c *Checker) Funcs() map[t.QID]Func
  • func (c *Checker) PackageID() uint32
  • func (c *Checker) Statuses() map[t.ID]Status
  • func (c *Checker) Structs() map[t.ID]Struct
• type Const
• type Error
  • func (e *Error) Error() string
• type Func
• type Status
• type Struct
• type TypeMap

Types

type Checker

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

func Check

func Check(tm *t.Map, files ...*a.File) (*Checker, error)

func (*Checker) Consts

func (c *Checker) Consts() map[t.ID]Const

func (*Checker) Funcs

func (c *Checker) Funcs() map[t.QID]Func

func (*Checker) PackageID

func (c *Checker) PackageID() uint32

func (*Checker) Statuses

func (c *Checker) Statuses() map[t.ID]Status

func (*Checker) Structs

func (c *Checker) Structs() map[t.ID]Struct

type Const

type Const struct {
	ID    t.ID // ID of the const name.
	Const *a.Const
}

type Error

type Error struct {
	Err           error
	Filename      string
	Line          uint32
	OtherFilename string
	OtherLine     uint32

	TMap  *t.Map
	Facts []*a.Expr
}

func (*Error) Error

func (e *Error) Error() string

type Func

type Func struct {
	QID       t.QID // Qualified ID of the func name.
	Func      *a.Func
	LocalVars TypeMap
}

type Status

type Status struct {
	ID     t.ID // ID of the status message.
	Status *a.Status
}

type Struct

type Struct struct {
	ID     t.ID // ID of the struct name.
	Struct *a.Struct
}

type TypeMap

type TypeMap map[t.ID]*a.TypeExpr

TypeMap maps from variable names (as token IDs) to types.