analyzer

Documentation

Index

• type Checker
  • func NewChecker(scope *pkg.Scope, env *types.Environment) *Checker
  • func (c *Checker) Assignable(left, right types.Type) bool
  • func (c *Checker) Comparable(left, right types.Type) bool
  • func (c *Checker) Convertible(left, right types.Type) bool
  • func (c *Checker) LookupTag(expr *ast.IdentExpr) (language.Tag, error)
  • func (c *Checker) RegisterFn(node *ast.FnDefStmt) error
  • func (c *Checker) RegisterTarget(node *ast.DeclTarget) error
  • func (c *Checker) RegisterType(node *ast.TypeDefStmt) error
  • func (c *Checker) ResolveExpr(expr ast.Expr) (types.Type, error)
  • func (c *Checker) ResolveType(expr ast.TypeExpr) (types.Type, error)
• type Key
• type Section
• type Semantics
  • func New(file *parser.File, ast *ast.File, checker *Checker) *Semantics
  • func (s Semantics) Errors() error
  • func (s *Semantics) Scan() error
  • func (s *Semantics) ScanFns() *pkg.Scope
  • func (s *Semantics) ScanImports() []*pkg.Package
  • func (s Semantics) ScanName() string
  • func (s *Semantics) ScanSections() []*Section
  • func (s *Semantics) ScanTags() map[string]language.Tag
  • func (s *Semantics) ScanTypes() *types.Environment
• type Template

Types

type Checker

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

func NewChecker

func NewChecker(scope *pkg.Scope, env *types.Environment) *Checker

func (*Checker) Assignable

func (c *Checker) Assignable(left, right types.Type) bool

func (*Checker) Comparable

func (c *Checker) Comparable(left, right types.Type) bool

func (*Checker) Convertible

func (c *Checker) Convertible(left, right types.Type) bool

func (*Checker) LookupTag

func (c *Checker) LookupTag(expr *ast.IdentExpr) (language.Tag, error)

func (*Checker) RegisterFn

func (c *Checker) RegisterFn(node *ast.FnDefStmt) error

func (*Checker) RegisterTarget

func (c *Checker) RegisterTarget(node *ast.DeclTarget) error

func (*Checker) RegisterType

func (c *Checker) RegisterType(node *ast.TypeDefStmt) error

func (*Checker) ResolveExpr

func (c *Checker) ResolveExpr(expr ast.Expr) (types.Type, error)

func (*Checker) ResolveType

func (c *Checker) ResolveType(expr ast.TypeExpr) (types.Type, error)

type Key

type Key struct {
	Name   string
	Fields map[language.Tag]string
}

type Section

type Section struct {
	Name      string
	Keys      map[string]*Key
	Templates map[string]*Template
	Sections  []*Section
}

type Semantics

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

func New

func New(file *parser.File, ast *ast.File, checker *Checker) *Semantics

func (Semantics) Errors

func (s Semantics) Errors() error

func (*Semantics) Scan

func (s *Semantics) Scan() error

func (*Semantics) ScanFns

func (s *Semantics) ScanFns() *pkg.Scope

func (*Semantics) ScanImports

func (s *Semantics) ScanImports() []*pkg.Package

func (Semantics) ScanName

func (s Semantics) ScanName() string

func (*Semantics) ScanSections

func (s *Semantics) ScanSections() []*Section

func (*Semantics) ScanTags

func (s *Semantics) ScanTags() map[string]language.Tag

func (*Semantics) ScanTypes

func (s *Semantics) ScanTypes() *types.Environment

type Template

type Template struct {
	Name   string
	Params []types.Type
	// TODO: figure this out?
	Fields map[language.Tag]int
}