semantic

Documentation

Index

• func Analyze(ctx context.Context, seq ast.Seq, source *data.Source, ...) (dag.Seq, error)
• func DotExprToFieldPath(e ast.Expr) *dag.This
• type Binder
  • func NewBinder() *Binder
  • func (b *Binder) Define(name string, ref dag.Expr)
• type Scope
  • func NewScope() *Scope
  • func (s *Scope) DefineAs(name string) error
  • func (s *Scope) DefineConst(name string, def dag.Expr) error
  • func (s *Scope) DefineFunc(f *dag.Func) error
  • func (s *Scope) DefineVar(name string) error
  • func (s *Scope) Enter()
  • func (s *Scope) Exit()
  • func (s *Scope) Lookup(name string) dag.Expr

Functions

func Analyze

func Analyze(ctx context.Context, seq ast.Seq, source *data.Source, head *lakeparse.Commitish) (dag.Seq, error)

Analyze performs a semantic analysis of the AST, translating it from AST to DAG form, resolving syntax ambiguities, and performing constant propagation. After semantic analysis, the DAG is ready for either optimization or compilation.

func DotExprToFieldPath

func DotExprToFieldPath(e ast.Expr) *dag.This

Types

type Binder

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

func NewBinder

func NewBinder() *Binder

func (*Binder) Define

func (b *Binder) Define(name string, ref dag.Expr)

type Scope

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

func NewScope

func NewScope() *Scope

func (*Scope) DefineAs

func (s *Scope) DefineAs(name string) error

func (*Scope) DefineConst

func (s *Scope) DefineConst(name string, def dag.Expr) error

func (*Scope) DefineFunc

func (s *Scope) DefineFunc(f *dag.Func) error

func (*Scope) DefineVar

func (s *Scope) DefineVar(name string) error

func (*Scope) Enter

func (s *Scope) Enter()

func (*Scope) Exit

func (s *Scope) Exit()

func (*Scope) Lookup

func (s *Scope) Lookup(name string) dag.Expr