Improved code readability.
Added IfExpressions, BlockStatements, and FunctionLiterals git-svn-id: https://svn.tlawal.org/svn/monkey@35 f6afcba9-9ef1-4bdd-9b72-7484f5705bac
This commit is contained in:
parent
a4b75cf9c2
commit
5d1197160d
147
ast/ast.go
147
ast/ast.go
@ -3,6 +3,7 @@ package ast
|
|||||||
import (
|
import (
|
||||||
"bytes"
|
"bytes"
|
||||||
"monkey/token"
|
"monkey/token"
|
||||||
|
"strings"
|
||||||
)
|
)
|
||||||
|
|
||||||
type Node interface {
|
type Node interface {
|
||||||
@ -32,51 +33,13 @@ type Program struct {
|
|||||||
Statements []Statement
|
Statements []Statement
|
||||||
}
|
}
|
||||||
|
|
||||||
type Identifier struct {
|
// Let Statements
|
||||||
Token token.Token // the token.IDENT token
|
|
||||||
Value string
|
|
||||||
}
|
|
||||||
|
|
||||||
type LetStatement struct {
|
type LetStatement struct {
|
||||||
Token token.Token // token.LET token
|
Token token.Token // token.LET token
|
||||||
Name *Identifier
|
Name *Identifier
|
||||||
Value Expression
|
Value Expression
|
||||||
}
|
}
|
||||||
|
|
||||||
type ReturnStatement struct {
|
|
||||||
Token token.Token // token.RETURN token
|
|
||||||
ReturnValue Expression
|
|
||||||
}
|
|
||||||
|
|
||||||
type ExpressionStatement struct {
|
|
||||||
Token token.Token // the first token in the expression
|
|
||||||
Expression Expression
|
|
||||||
}
|
|
||||||
|
|
||||||
type IntegerLiteral struct {
|
|
||||||
Token token.Token
|
|
||||||
Value int64
|
|
||||||
}
|
|
||||||
|
|
||||||
type PrefixExpression struct {
|
|
||||||
Token token.Token // prefix token i.e. !
|
|
||||||
Operator string
|
|
||||||
Right Expression
|
|
||||||
}
|
|
||||||
|
|
||||||
type InfixExpression struct {
|
|
||||||
Token token.Token // operator tokens i.e. +, -, *, /
|
|
||||||
Left Expression
|
|
||||||
Operator string
|
|
||||||
Right Expression
|
|
||||||
}
|
|
||||||
|
|
||||||
type Boolean struct {
|
|
||||||
Token token.Token
|
|
||||||
Value bool
|
|
||||||
}
|
|
||||||
|
|
||||||
// Let Statements
|
|
||||||
func (ls *LetStatement) statement_node() {}
|
func (ls *LetStatement) statement_node() {}
|
||||||
|
|
||||||
func (ls *LetStatement) TokenLiteral() string {
|
func (ls *LetStatement) TokenLiteral() string {
|
||||||
@ -97,6 +60,11 @@ func (ls *LetStatement) String() string {
|
|||||||
}
|
}
|
||||||
|
|
||||||
// Identifier
|
// Identifier
|
||||||
|
type Identifier struct {
|
||||||
|
Token token.Token // the token.IDENT token
|
||||||
|
Value string
|
||||||
|
}
|
||||||
|
|
||||||
func (i *Identifier) expression_node() {}
|
func (i *Identifier) expression_node() {}
|
||||||
|
|
||||||
func (i *Identifier) TokenLiteral() string {
|
func (i *Identifier) TokenLiteral() string {
|
||||||
@ -117,6 +85,11 @@ func (p *Program) TokenLiteral() string {
|
|||||||
}
|
}
|
||||||
|
|
||||||
// Return Statements
|
// Return Statements
|
||||||
|
type ReturnStatement struct {
|
||||||
|
Token token.Token // token.RETURN token
|
||||||
|
ReturnValue Expression
|
||||||
|
}
|
||||||
|
|
||||||
func (rs *ReturnStatement) statement_node() {}
|
func (rs *ReturnStatement) statement_node() {}
|
||||||
|
|
||||||
func (rs *ReturnStatement) TokenLiteral() string {
|
func (rs *ReturnStatement) TokenLiteral() string {
|
||||||
@ -134,6 +107,11 @@ func (rs *ReturnStatement) String() string {
|
|||||||
}
|
}
|
||||||
|
|
||||||
// Expression Statement
|
// Expression Statement
|
||||||
|
type ExpressionStatement struct {
|
||||||
|
Token token.Token // the first token in the expression
|
||||||
|
Expression Expression
|
||||||
|
}
|
||||||
|
|
||||||
func (es *ExpressionStatement) statement_node() {}
|
func (es *ExpressionStatement) statement_node() {}
|
||||||
|
|
||||||
func (es *ExpressionStatement) TokenLiteral() string {
|
func (es *ExpressionStatement) TokenLiteral() string {
|
||||||
@ -148,6 +126,11 @@ func (es *ExpressionStatement) String() string {
|
|||||||
}
|
}
|
||||||
|
|
||||||
// IntegerLiteral
|
// IntegerLiteral
|
||||||
|
type IntegerLiteral struct {
|
||||||
|
Token token.Token
|
||||||
|
Value int64
|
||||||
|
}
|
||||||
|
|
||||||
func (il *IntegerLiteral) expression_node() {}
|
func (il *IntegerLiteral) expression_node() {}
|
||||||
|
|
||||||
func (il *IntegerLiteral) TokenLiteral() string {
|
func (il *IntegerLiteral) TokenLiteral() string {
|
||||||
@ -159,6 +142,12 @@ func (il *IntegerLiteral) String() string {
|
|||||||
}
|
}
|
||||||
|
|
||||||
// PrefixExpression
|
// PrefixExpression
|
||||||
|
type PrefixExpression struct {
|
||||||
|
Token token.Token // prefix token i.e. !
|
||||||
|
Operator string
|
||||||
|
Right Expression
|
||||||
|
}
|
||||||
|
|
||||||
func (pe *PrefixExpression) expression_node() {}
|
func (pe *PrefixExpression) expression_node() {}
|
||||||
func (pe *PrefixExpression) TokenLiteral() string {
|
func (pe *PrefixExpression) TokenLiteral() string {
|
||||||
return pe.Token.Literal
|
return pe.Token.Literal
|
||||||
@ -175,6 +164,13 @@ func (pe *PrefixExpression) String() string {
|
|||||||
}
|
}
|
||||||
|
|
||||||
// Infix Expression
|
// Infix Expression
|
||||||
|
type InfixExpression struct {
|
||||||
|
Token token.Token // operator tokens i.e. +, -, *, /
|
||||||
|
Left Expression
|
||||||
|
Operator string
|
||||||
|
Right Expression
|
||||||
|
}
|
||||||
|
|
||||||
func (ie *InfixExpression) expression_node() {}
|
func (ie *InfixExpression) expression_node() {}
|
||||||
func (ie *InfixExpression) TokenLiteral() string { return ie.Token.Literal }
|
func (ie *InfixExpression) TokenLiteral() string { return ie.Token.Literal }
|
||||||
func (ie *InfixExpression) String() string {
|
func (ie *InfixExpression) String() string {
|
||||||
@ -189,6 +185,79 @@ func (ie *InfixExpression) String() string {
|
|||||||
}
|
}
|
||||||
|
|
||||||
// Booleans
|
// Booleans
|
||||||
|
type Boolean struct {
|
||||||
|
Token token.Token
|
||||||
|
Value bool
|
||||||
|
}
|
||||||
|
|
||||||
func (b *Boolean) expression_node() {}
|
func (b *Boolean) expression_node() {}
|
||||||
func (b *Boolean) TokenLiteral() string { return b.Token.Literal }
|
func (b *Boolean) TokenLiteral() string { return b.Token.Literal }
|
||||||
func (b *Boolean) String() string { return b.Token.Literal }
|
func (b *Boolean) String() string { return b.Token.Literal }
|
||||||
|
|
||||||
|
// If Expression
|
||||||
|
type IfExpression struct {
|
||||||
|
Token token.Token // the 'if' token
|
||||||
|
Condition Expression
|
||||||
|
Consequence *BlockStatement
|
||||||
|
Alternative *BlockStatement
|
||||||
|
}
|
||||||
|
|
||||||
|
func (ie *IfExpression) expression_node() {}
|
||||||
|
func (ie *IfExpression) TokenLiteral() string { return ie.Token.Literal }
|
||||||
|
func (ie *IfExpression) String() string {
|
||||||
|
var out bytes.Buffer
|
||||||
|
out.WriteString("if")
|
||||||
|
out.WriteString(ie.Condition.String())
|
||||||
|
out.WriteString(" ")
|
||||||
|
out.WriteString(ie.Consequence.String())
|
||||||
|
|
||||||
|
if ie.Alternative != nil {
|
||||||
|
out.WriteString("else")
|
||||||
|
out.WriteString(ie.Alternative.String())
|
||||||
|
}
|
||||||
|
return out.String()
|
||||||
|
}
|
||||||
|
|
||||||
|
// Block Statements
|
||||||
|
type BlockStatement struct {
|
||||||
|
Token token.Token // the { token
|
||||||
|
Statements []Statement
|
||||||
|
}
|
||||||
|
|
||||||
|
func (bs *BlockStatement) statement_node() {}
|
||||||
|
|
||||||
|
func (bs *BlockStatement) TokenLiteral() string {
|
||||||
|
return bs.Token.Literal
|
||||||
|
}
|
||||||
|
func (bs *BlockStatement) String() string {
|
||||||
|
var out bytes.Buffer
|
||||||
|
for _, s := range bs.Statements {
|
||||||
|
out.WriteString(s.String())
|
||||||
|
}
|
||||||
|
return out.String()
|
||||||
|
}
|
||||||
|
|
||||||
|
// Function literals
|
||||||
|
type FunctionLiteral struct {
|
||||||
|
Token token.Token // the 'fn' token
|
||||||
|
Parameters []*Identifier
|
||||||
|
Body *BlockStatement
|
||||||
|
}
|
||||||
|
|
||||||
|
func (fl *FunctionLiteral) expression_node() {}
|
||||||
|
func (fl *FunctionLiteral) TokenLiteral() string { return fl.Token.Literal }
|
||||||
|
func (fl *FunctionLiteral) String() string {
|
||||||
|
var out bytes.Buffer
|
||||||
|
|
||||||
|
params := []string{}
|
||||||
|
for _, p := range fl.Parameters{
|
||||||
|
params = append(params, p.String())
|
||||||
|
}
|
||||||
|
out.WriteString(fl.TokenLiteral())
|
||||||
|
out.WriteString("(")
|
||||||
|
out.WriteString(strings.Join(params, ", "))
|
||||||
|
out.WriteString(") ")
|
||||||
|
out.WriteString(fl.Body.String())
|
||||||
|
|
||||||
|
return out.String()
|
||||||
|
}
|
||||||
|
Loading…
Reference in New Issue
Block a user