parser

Documentation

Overview

Package parser defines the AST node types for MX Script and the recursive-descent parser that builds an AST from a token stream.

Package parser implements a recursive-descent parser that converts a stream of tokens (produced by the lexer) into an MX Script AST.

Index

• type ArrayLit
  • func (p ArrayLit) Pos() (int, int)
• type AssignStmt
  • func (p AssignStmt) Pos() (int, int)
• type BinaryExpr
  • func (p BinaryExpr) Pos() (int, int)
• type BoolLit
  • func (p BoolLit) Pos() (int, int)
• type CallExpr
  • func (p CallExpr) Pos() (int, int)
• type Expr
• type ExprStmt
  • func (p ExprStmt) Pos() (int, int)
• type FnDecl
  • func (p FnDecl) Pos() (int, int)
• type FnLit
  • func (p FnLit) Pos() (int, int)
• type Identifier
  • func (p Identifier) Pos() (int, int)
• type IfStmt
  • func (p IfStmt) Pos() (int, int)
• type ImportStmt
  • func (p ImportStmt) Pos() (int, int)
• type IndexExpr
  • func (p IndexExpr) Pos() (int, int)
• type LetStmt
  • func (p LetStmt) Pos() (int, int)
• type LoopStmt
  • func (p LoopStmt) Pos() (int, int)
• type MemberExpr
  • func (p MemberExpr) Pos() (int, int)
• type MiddlewareDecl
  • func (p MiddlewareDecl) Pos() (int, int)
• type Node
• type NullLit
  • func (p NullLit) Pos() (int, int)
• type NumberLit
  • func (p NumberLit) Pos() (int, int)
• type ObjectLit
  • func (p ObjectLit) Pos() (int, int)
• type ObjectPair
• type Parser
  • func New(tokens []lexer.Token) *Parser
  • func (p *Parser) Parse() (*Program, error)
• type Program
  • func (p *Program) Pos() (int, int)
• type ReturnStmt
  • func (p ReturnStmt) Pos() (int, int)
• type RouteDecl
  • func (p RouteDecl) Pos() (int, int)
• type ServerBlock
  • func (p ServerBlock) Pos() (int, int)
• type Stmt
• type StringLit
  • func (p StringLit) Pos() (int, int)
• type TryStmt
  • func (p TryStmt) Pos() (int, int)
• type UnaryExpr
  • func (p UnaryExpr) Pos() (int, int)
• type UseStmt
  • func (p UseStmt) Pos() (int, int)

Types

type ArrayLit

type ArrayLit struct {
	Elements []Expr
	// contains filtered or unexported fields
}

func (ArrayLit) Pos

func (p ArrayLit) Pos() (int, int)

type AssignStmt

type AssignStmt struct {
	Target Expr
	Value  Expr
	// contains filtered or unexported fields
}

func (AssignStmt) Pos

func (p AssignStmt) Pos() (int, int)

type BinaryExpr

type BinaryExpr struct {
	Op    string
	Left  Expr
	Right Expr
	// contains filtered or unexported fields
}

func (BinaryExpr) Pos

func (p BinaryExpr) Pos() (int, int)

type BoolLit

type BoolLit struct {
	Value bool
	// contains filtered or unexported fields
}

func (BoolLit) Pos

func (p BoolLit) Pos() (int, int)

type CallExpr

type CallExpr struct {
	Callee Expr
	Args   []Expr
	// contains filtered or unexported fields
}

func (CallExpr) Pos

func (p CallExpr) Pos() (int, int)

type Expr

type Expr interface {
	Node
	// contains filtered or unexported methods
}

Expr is the type implemented by all expression nodes.

type ExprStmt

type ExprStmt struct {
	Expr Expr
	// contains filtered or unexported fields
}

func (ExprStmt) Pos

func (p ExprStmt) Pos() (int, int)

type FnDecl

type FnDecl struct {
	Name   string
	Params []string
	Body   []Stmt
	// contains filtered or unexported fields
}

func (FnDecl) Pos

func (p FnDecl) Pos() (int, int)

type FnLit

type FnLit struct {
	Params []string
	Body   []Stmt
	// contains filtered or unexported fields
}

FnLit is an anonymous function literal: `fn(x, y) { ... }`.

func (FnLit) Pos

func (p FnLit) Pos() (int, int)

type Identifier

type Identifier struct {
	Name string
	// contains filtered or unexported fields
}

func (Identifier) Pos

func (p Identifier) Pos() (int, int)

type IfStmt

type IfStmt struct {
	Cond Expr
	Then []Stmt
	Else []Stmt
	// contains filtered or unexported fields
}

func (IfStmt) Pos

func (p IfStmt) Pos() (int, int)

type ImportStmt

type ImportStmt struct {
	Path string
	// contains filtered or unexported fields
}

func (ImportStmt) Pos

func (p ImportStmt) Pos() (int, int)

type IndexExpr

type IndexExpr struct {
	Object Expr
	Index  Expr
	// contains filtered or unexported fields
}

func (IndexExpr) Pos

func (p IndexExpr) Pos() (int, int)

type LetStmt

type LetStmt struct {
	Name  string
	Value Expr
	// contains filtered or unexported fields
}

func (LetStmt) Pos

func (p LetStmt) Pos() (int, int)

type LoopStmt

type LoopStmt struct {
	Iterable Expr
	Var      string
	Body     []Stmt
	// contains filtered or unexported fields
}

LoopStmt is `loop iterable as item { ... }` — iterates arrays / numeric ranges.

func (LoopStmt) Pos

func (p LoopStmt) Pos() (int, int)

type MemberExpr

type MemberExpr struct {
	Object   Expr
	Property string
	// contains filtered or unexported fields
}

func (MemberExpr) Pos

func (p MemberExpr) Pos() (int, int)

type MiddlewareDecl

type MiddlewareDecl struct {
	Name   string
	Params []string
	Body   []Stmt
	// contains filtered or unexported fields
}

func (MiddlewareDecl) Pos

func (p MiddlewareDecl) Pos() (int, int)

type Node

type Node interface {
	Pos() (line, col int)
}

Node is the base type for every AST node.

type NullLit

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

func (NullLit) Pos

func (p NullLit) Pos() (int, int)

type NumberLit

type NumberLit struct {
	Value float64
	// contains filtered or unexported fields
}

func (NumberLit) Pos

func (p NumberLit) Pos() (int, int)

type ObjectLit

type ObjectLit struct {
	Pairs []ObjectPair
	// contains filtered or unexported fields
}

func (ObjectLit) Pos

func (p ObjectLit) Pos() (int, int)

type ObjectPair

type ObjectPair struct {
	Key   string
	Value Expr
}

type Parser

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

func New

func New(tokens []lexer.Token) *Parser

func (*Parser) Parse

func (p *Parser) Parse() (*Program, error)

Parse consumes the full token stream and returns a Program AST. Any syntax error is returned with file-relative line/column information.

type Program

type Program struct {
	Stmts []Stmt
}

func (*Program) Pos

func (p *Program) Pos() (int, int)

type ReturnStmt

type ReturnStmt struct {
	Value Expr // nil if `return` with no value
	// contains filtered or unexported fields
}

func (ReturnStmt) Pos

func (p ReturnStmt) Pos() (int, int)

type RouteDecl

type RouteDecl struct {
	Method string
	Path   string
	Body   []Stmt
	// contains filtered or unexported fields
}

func (RouteDecl) Pos

func (p RouteDecl) Pos() (int, int)

type ServerBlock

type ServerBlock struct {
	Settings []ObjectPair
	// contains filtered or unexported fields
}

func (ServerBlock) Pos

func (p ServerBlock) Pos() (int, int)

type Stmt

type Stmt interface {
	Node
	// contains filtered or unexported methods
}

Stmt is the type implemented by all statement / top-level declaration nodes.

type StringLit

type StringLit struct {
	Value string
	// contains filtered or unexported fields
}

func (StringLit) Pos

func (p StringLit) Pos() (int, int)

type TryStmt

type TryStmt struct {
	Try      []Stmt
	CatchVar string
	Catch    []Stmt
	// contains filtered or unexported fields
}

func (TryStmt) Pos

func (p TryStmt) Pos() (int, int)

type UnaryExpr

type UnaryExpr struct {
	Op      string
	Operand Expr
	// contains filtered or unexported fields
}

func (UnaryExpr) Pos

func (p UnaryExpr) Pos() (int, int)

type UseStmt

type UseStmt struct {
	Name string
	// contains filtered or unexported fields
}

UseStmt attaches a named middleware inside a route or globally.

func (UseStmt) Pos

func (p UseStmt) Pos() (int, int)