semantics

type Builder struct {
	RootScope    *Scope
	CurrentScope *Scope
	// contains filtered or unexported fields
}

type Scope struct {
	// ParentScope is the scope above this, if any (may be nil)
	ParentScope *Scope
	// ChildScopes are the scopes contained within this, in the order they're declared
	ChildScopes map[ast.Node]*Scope
	// SymbolTable is the table of symbols defined within the scope
	SymbolTable   *SymbolTable
	HasSeenReturn bool
	HasSeenBreak  bool
}

type Symbol struct {
	// Name is the name of the symbol, such as the identifier of a declared variable
	Name string
	// Trait is the behavior of a symbol
	Trait Trait
	// ArgumentCount is the number of arguments the symbol may take if called. If < 0, assume infinite (or runtime specified) arguments
	ArgumentCount int

	// Node is the AST node the symbol corresponds to
	Node ast.Node
	// contains filtered or unexported fields
}

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

type Trait uint64

type Validator struct {
	RootNode     ast.Node
	RootScope    *Scope
	CurrentScope *Scope
	// contains filtered or unexported fields
}