v0.1.0 Latest Latest

This package is not in the latest version of its module.

Go to latest
Published: Nov 15, 2017 License: Apache-2.0 Imports: 7 Imported by: 0




This section is empty.


This section is empty.


This section is empty.


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.

Jump to

Keyboard shortcuts

? : This menu
/ : Search site
f or F : Jump to
y or Y : Canonical URL