2022-05-26 12:19:15 -05:00
|
|
|
package parser
|
|
|
|
|
|
|
|
import (
|
2022-05-31 06:32:43 -05:00
|
|
|
"fmt"
|
|
|
|
|
2024-08-28 19:31:35 -05:00
|
|
|
"monna/ast"
|
|
|
|
"monna/lexer"
|
2022-05-26 12:19:15 -05:00
|
|
|
"testing"
|
|
|
|
)
|
|
|
|
|
|
|
|
func TestLetStatement(l_test *testing.T) {
|
|
|
|
input := `
|
|
|
|
let x = 4;
|
|
|
|
let y = 19;
|
|
|
|
let foobar = 8948398493;
|
|
|
|
`
|
|
|
|
|
|
|
|
l_lexer := lexer.New(input)
|
|
|
|
l_parser := New(l_lexer)
|
|
|
|
|
|
|
|
program := l_parser.ParseProgram()
|
2022-05-26 14:23:01 -05:00
|
|
|
check_parser_errors(l_test, l_parser)
|
|
|
|
|
2022-05-26 12:19:15 -05:00
|
|
|
if program == nil {
|
|
|
|
l_test.Fatalf("ParseProgram() returned nil")
|
|
|
|
}
|
|
|
|
|
|
|
|
if len(program.Statements) != 3 {
|
|
|
|
l_test.Fatalf("program.Statements does not contain 3 statements, got=%d", len(program.Statements))
|
|
|
|
}
|
|
|
|
|
|
|
|
tests := []struct {
|
|
|
|
expected_identifier string
|
|
|
|
}{
|
|
|
|
{"x"},
|
|
|
|
{"y"},
|
|
|
|
{"foobar"},
|
|
|
|
}
|
|
|
|
|
|
|
|
for i, tt := range tests {
|
|
|
|
statement := program.Statements[i]
|
|
|
|
if !testLetStatement(l_test, statement, tt.expected_identifier) {
|
|
|
|
return
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2022-05-27 10:07:19 -05:00
|
|
|
func TestReturnStatement(l_test *testing.T) {
|
|
|
|
input := `
|
|
|
|
return 6;
|
|
|
|
return 10;
|
|
|
|
return 8419849;
|
|
|
|
`
|
|
|
|
|
|
|
|
l_lexer := lexer.New(input)
|
|
|
|
l_parser := New(l_lexer)
|
|
|
|
|
|
|
|
program := l_parser.ParseProgram()
|
|
|
|
check_parser_errors(l_test, l_parser)
|
|
|
|
|
|
|
|
if len(program.Statements) != 3 {
|
|
|
|
l_test.Fatalf("program.Statements does not contain 3 statements, got=%d", len(program.Statements))
|
2022-05-26 14:23:01 -05:00
|
|
|
}
|
|
|
|
|
2022-05-27 10:07:19 -05:00
|
|
|
for _, statement := range program.Statements {
|
|
|
|
return_statement, ok := statement.(*ast.ReturnStatement)
|
|
|
|
|
|
|
|
if !ok {
|
|
|
|
l_test.Errorf("statment not *ast.ReturnStatement, got =%T", statement)
|
|
|
|
continue
|
|
|
|
}
|
|
|
|
|
|
|
|
if return_statement.TokenLiteral() != "return" {
|
|
|
|
l_test.Errorf("return_statement.TokenLiteral() not 'return', got %q", return_statement.TokenLiteral())
|
|
|
|
}
|
2022-05-26 14:23:01 -05:00
|
|
|
}
|
|
|
|
}
|
2022-05-30 12:40:03 -05:00
|
|
|
|
|
|
|
func TestIdentifierExpression(l_test *testing.T) {
|
|
|
|
input := "foobar;"
|
|
|
|
|
|
|
|
l_lexer := lexer.New(input)
|
|
|
|
l_parser := New(l_lexer)
|
|
|
|
program := l_parser.ParseProgram()
|
|
|
|
check_parser_errors(l_test, l_parser)
|
|
|
|
|
|
|
|
if len(program.Statements) != 1 {
|
|
|
|
l_test.Fatalf("program does not have enough staments, got=%d", len(program.Statements))
|
|
|
|
}
|
|
|
|
|
|
|
|
statement, ok := program.Statements[0].(*ast.ExpressionStatement)
|
|
|
|
if !ok {
|
|
|
|
l_test.Fatalf("program.Statements[0] is not ast.ExpressionStatement, got=%T", program.Statements[0])
|
|
|
|
}
|
|
|
|
|
|
|
|
identifier, ok := statement.Expression.(*ast.Identifier)
|
|
|
|
if !ok {
|
|
|
|
l_test.Fatalf("expression not *ast.Identifier, got=%T", statement.Expression)
|
|
|
|
}
|
|
|
|
|
|
|
|
if identifier.Value != "foobar" {
|
|
|
|
l_test.Errorf("identifier.Value not %s, got=%s", "foobar", identifier.Value)
|
|
|
|
}
|
|
|
|
|
|
|
|
if identifier.TokenLiteral() != "foobar" {
|
|
|
|
l_test.Errorf("identifier.TokenLiteral not %s, got=%s", "foobar", identifier.TokenLiteral())
|
|
|
|
}
|
|
|
|
}
|
2022-07-14 01:24:50 -05:00
|
|
|
|
2022-05-30 12:40:03 -05:00
|
|
|
func TestIntegerLiteralExpressions(l_test *testing.T) {
|
|
|
|
input := "5;"
|
|
|
|
|
|
|
|
l_lexer := lexer.New(input)
|
|
|
|
l_parser := New(l_lexer)
|
|
|
|
program := l_parser.ParseProgram()
|
|
|
|
|
|
|
|
check_parser_errors(l_test, l_parser)
|
|
|
|
|
|
|
|
if len(program.Statements) != 1 {
|
|
|
|
l_test.Fatalf("program does not have enough statements, got=%d", len(program.Statements))
|
|
|
|
}
|
|
|
|
|
|
|
|
statement, ok := program.Statements[0].(*ast.ExpressionStatement)
|
|
|
|
if !ok {
|
|
|
|
l_test.Fatalf("program.Statements[0] is not ast.ExpressionStatement, got=%T", program.Statements[0])
|
|
|
|
}
|
|
|
|
|
|
|
|
literal, ok := statement.Expression.(*ast.IntegerLiteral)
|
|
|
|
if !ok {
|
|
|
|
l_test.Fatalf("expression not *ast.IntegerLiteral, got=%T", statement.Expression)
|
|
|
|
}
|
|
|
|
|
|
|
|
if literal.Value != 5 {
|
|
|
|
l_test.Errorf("literal.Value not %d, got=%d", 5, literal.Value)
|
|
|
|
}
|
|
|
|
|
|
|
|
if literal.TokenLiteral() != "5" {
|
|
|
|
l_test.Errorf("literal.TokenLiteral not %s, got=%s", "5", literal.TokenLiteral())
|
|
|
|
}
|
|
|
|
}
|
2022-05-31 06:32:43 -05:00
|
|
|
|
2022-07-14 07:12:56 -05:00
|
|
|
func TestParsingPrefixExpressions(l_test *testing.T) {
|
2022-05-31 06:32:43 -05:00
|
|
|
prefix_tests := []struct {
|
2022-07-14 07:12:56 -05:00
|
|
|
input string
|
|
|
|
operator string
|
|
|
|
value interface{}
|
2022-05-31 06:32:43 -05:00
|
|
|
}{
|
|
|
|
{"!5;", "!", 5},
|
|
|
|
{"-15", "-", 15},
|
2022-07-14 07:12:56 -05:00
|
|
|
{"!true;", "!", true},
|
|
|
|
{"!false;", "!", false},
|
2022-05-31 06:32:43 -05:00
|
|
|
}
|
|
|
|
|
|
|
|
for _, tt := range prefix_tests {
|
|
|
|
l_lexer := lexer.New(tt.input)
|
|
|
|
l_parser := New(l_lexer)
|
|
|
|
program := l_parser.ParseProgram()
|
|
|
|
check_parser_errors(l_test, l_parser)
|
|
|
|
|
|
|
|
if len(program.Statements) != 1 {
|
|
|
|
l_test.Fatalf("program.Statements does not contain %d statements, got=%d\n", 1, len(program.Statements))
|
|
|
|
}
|
|
|
|
|
|
|
|
statement, ok := program.Statements[0].(*ast.ExpressionStatement)
|
|
|
|
if !ok {
|
|
|
|
l_test.Fatalf("program.Statements[0] is not ast.ExpressionStatement, got=%T", program.Statements[0])
|
|
|
|
}
|
|
|
|
|
|
|
|
expression, ok := statement.Expression.(*ast.PrefixExpression)
|
|
|
|
if !ok {
|
|
|
|
l_test.Fatalf("program.Statements[0] is not ast.PrefixEXpression, got=%T", statement.Expression)
|
|
|
|
}
|
|
|
|
if expression.Operator != tt.operator {
|
|
|
|
l_test.Fatalf("exp.Operator is not '%s', got %s", tt.operator, expression.Operator)
|
|
|
|
}
|
|
|
|
|
2022-07-14 07:12:56 -05:00
|
|
|
if !testLiteralExpression(l_test, expression.Right, tt.value) {
|
2022-05-31 06:32:43 -05:00
|
|
|
return
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2022-05-31 10:01:43 -05:00
|
|
|
func TestParsingInfixExpressions(l_test *testing.T) {
|
|
|
|
infix_tests := []struct {
|
|
|
|
input string
|
2022-07-14 07:12:56 -05:00
|
|
|
left_value interface{}
|
2022-05-31 10:01:43 -05:00
|
|
|
operator string
|
2022-07-14 07:12:56 -05:00
|
|
|
right_value interface{}
|
2022-05-31 10:01:43 -05:00
|
|
|
}{
|
|
|
|
{"5 + 5;", 5, "+", 5},
|
|
|
|
{"5 - 5;", 5, "-", 5},
|
|
|
|
{"5 * 5;", 5, "*", 5},
|
|
|
|
{"5 / 5;", 5, "/", 5},
|
|
|
|
{"5 > 5;", 5, ">", 5},
|
|
|
|
{"5 < 5;", 5, "<", 5},
|
|
|
|
{"5 == 5;", 5, "==", 5},
|
|
|
|
{"5 != 5;", 5, "!=", 5},
|
2022-07-14 07:12:56 -05:00
|
|
|
{"true == true", true, "==", true},
|
|
|
|
{"true != false", true, "!=", false},
|
|
|
|
{"false == false", false, "==", false},
|
2022-05-31 10:01:43 -05:00
|
|
|
}
|
|
|
|
|
|
|
|
for _, tt := range infix_tests {
|
|
|
|
l_lexer := lexer.New(tt.input)
|
|
|
|
l_parser := New(l_lexer)
|
|
|
|
program := l_parser.ParseProgram()
|
|
|
|
check_parser_errors(l_test, l_parser)
|
|
|
|
|
|
|
|
if len(program.Statements) != 1 {
|
|
|
|
l_test.Fatalf("program.Statements does not contain %d statements, got=%d\n", 1, len(program.Statements))
|
|
|
|
}
|
|
|
|
|
|
|
|
statement, ok := program.Statements[0].(*ast.ExpressionStatement)
|
|
|
|
if !ok {
|
|
|
|
l_test.Fatalf("program.Statements[0] is not ast.ExpressionStatement, got=%T", program.Statements[0])
|
|
|
|
}
|
|
|
|
|
2022-07-14 02:26:34 -05:00
|
|
|
if !testInfixExpression(l_test, statement.Expression, tt.left_value, tt.operator, tt.right_value) {
|
2022-05-31 10:01:43 -05:00
|
|
|
return
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
func TestOperatorPrecedenceParsing(l_test *testing.T) {
|
|
|
|
tests := []struct {
|
|
|
|
input string
|
|
|
|
expected string
|
|
|
|
}{
|
|
|
|
{
|
|
|
|
"-a * b",
|
|
|
|
"((-a) * b)",
|
|
|
|
},
|
|
|
|
{
|
|
|
|
"!-a",
|
|
|
|
"(!(-a))",
|
|
|
|
},
|
|
|
|
{
|
|
|
|
"a + b + c",
|
|
|
|
"((a + b) + c)",
|
|
|
|
},
|
|
|
|
{
|
|
|
|
"a + b - c",
|
|
|
|
"((a + b) - c)",
|
|
|
|
},
|
|
|
|
{
|
|
|
|
"a * b * c",
|
|
|
|
"((a * b) * c)",
|
|
|
|
},
|
|
|
|
{
|
|
|
|
"a * b / c",
|
|
|
|
"((a * b) / c)",
|
|
|
|
},
|
|
|
|
{
|
|
|
|
"a + b / c",
|
|
|
|
"(a + (b / c))",
|
|
|
|
},
|
|
|
|
{
|
|
|
|
"a + b * c + d / e - f",
|
|
|
|
"(((a + (b * c)) + (d / e)) - f)",
|
|
|
|
},
|
|
|
|
{
|
|
|
|
"3 + 4; -5 * 5",
|
|
|
|
"(3 + 4)((-5) * 5)",
|
|
|
|
},
|
|
|
|
{
|
|
|
|
"5 > 4 == 3 < 4",
|
|
|
|
"((5 > 4) == (3 < 4))",
|
|
|
|
},
|
|
|
|
{
|
|
|
|
"5 < 4 != 3 > 4",
|
|
|
|
"((5 < 4) != (3 > 4))",
|
|
|
|
},
|
|
|
|
{
|
|
|
|
"3 + 4 * 5 == 3 * 1 + 4 * 5",
|
|
|
|
"((3 + (4 * 5)) == ((3 * 1) + (4 * 5)))",
|
|
|
|
},
|
2022-07-14 07:12:56 -05:00
|
|
|
{
|
|
|
|
"true",
|
|
|
|
"true",
|
|
|
|
},
|
|
|
|
{
|
|
|
|
"false",
|
|
|
|
"false",
|
|
|
|
},
|
|
|
|
{
|
|
|
|
"3 > 5 == false",
|
|
|
|
"((3 > 5) == false)",
|
|
|
|
},
|
|
|
|
{
|
|
|
|
"3 < 5 == true",
|
|
|
|
"((3 < 5) == true)",
|
|
|
|
},
|
2022-07-14 07:23:22 -05:00
|
|
|
{
|
|
|
|
"3 < 5 == true",
|
|
|
|
"((3 < 5) == true)",
|
|
|
|
},
|
|
|
|
{
|
|
|
|
"(5 + 5) * 2",
|
|
|
|
"((5 + 5) * 2)",
|
|
|
|
},
|
|
|
|
{
|
|
|
|
"2 / (5 + 5)",
|
|
|
|
"(2 / (5 + 5))",
|
|
|
|
},
|
|
|
|
{
|
|
|
|
"-(5 + 5)",
|
|
|
|
"(-(5 + 5))",
|
|
|
|
},
|
|
|
|
{
|
|
|
|
"!(true == true)",
|
|
|
|
"(!(true == true))",
|
|
|
|
},
|
2022-07-31 23:58:28 -05:00
|
|
|
{
|
|
|
|
"a + add(b * c) + d",
|
|
|
|
"((a + add((b * c))) + d)",
|
|
|
|
},
|
|
|
|
{
|
|
|
|
"add(a, b, 1, 2 * 3, 4 + 5, add(6, 7 * 8))",
|
|
|
|
"add(a, b, 1, (2 * 3), (4 + 5), add(6, (7 * 8)))",
|
|
|
|
},
|
|
|
|
{
|
|
|
|
"add(a + b + c * d / f + g)",
|
|
|
|
"add((((a + b) + ((c * d) / f)) + g))",
|
|
|
|
},
|
2022-05-31 10:01:43 -05:00
|
|
|
}
|
|
|
|
for _, tt := range tests {
|
|
|
|
l_lexer := lexer.New(tt.input)
|
|
|
|
l_parser := New(l_lexer)
|
|
|
|
program := l_parser.ParseProgram()
|
|
|
|
check_parser_errors(l_test, l_parser)
|
|
|
|
|
|
|
|
actual := program.String()
|
|
|
|
if actual != tt.expected {
|
|
|
|
l_test.Errorf("expected=%q, got=%q", tt.expected, actual)
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
2022-06-12 09:50:08 -05:00
|
|
|
|
2022-07-14 02:26:34 -05:00
|
|
|
func TestBooleanExpression(l_test *testing.T) {
|
|
|
|
tests := []struct {
|
|
|
|
input string
|
|
|
|
expected_boolean bool
|
|
|
|
}{
|
|
|
|
{"true;", true},
|
|
|
|
{"false;", false},
|
|
|
|
}
|
|
|
|
|
|
|
|
for _, tt := range tests {
|
|
|
|
l_lexer := lexer.New(tt.input)
|
|
|
|
l_parser := New(l_lexer)
|
|
|
|
|
|
|
|
program := l_parser.ParseProgram()
|
|
|
|
check_parser_errors(l_test, l_parser)
|
|
|
|
|
|
|
|
if len(program.Statements) != 1 {
|
|
|
|
l_test.Fatalf("program.Statements does not have enough statements, got=%d", len(program.Statements))
|
|
|
|
}
|
|
|
|
|
|
|
|
statement, ok := program.Statements[0].(*ast.ExpressionStatement)
|
|
|
|
if !ok {
|
|
|
|
l_test.Fatalf("program.Statements[0] is not ast.ExpressionStatement, got=%T", program.Statements[0])
|
|
|
|
}
|
|
|
|
|
|
|
|
boolean, ok := statement.Expression.(*ast.Boolean)
|
|
|
|
if !ok {
|
|
|
|
l_test.Fatalf("exp not *ast.Boolean, got=%T", statement.Expression)
|
|
|
|
}
|
|
|
|
if boolean.Value != tt.expected_boolean {
|
|
|
|
l_test.Errorf("boolean.Value not %t, got=%t", tt.expected_boolean, boolean.Value)
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2022-07-31 16:55:09 -05:00
|
|
|
func TestIfExpression(l_test *testing.T) {
|
|
|
|
input := `if (x < y) { x }`
|
|
|
|
|
|
|
|
l_lexer := lexer.New(input)
|
|
|
|
l_parser := New(l_lexer)
|
|
|
|
program := l_parser.ParseProgram()
|
|
|
|
check_parser_errors(l_test, l_parser)
|
|
|
|
|
|
|
|
if len(program.Statements) != 1 {
|
|
|
|
l_test.Fatalf("program.Statements does not contain %d statements, got=%d\n", 1, len(program.Statements))
|
|
|
|
}
|
|
|
|
|
|
|
|
statement, ok := program.Statements[0].(*ast.ExpressionStatement)
|
|
|
|
if !ok {
|
|
|
|
l_test.Fatalf("program.Statements[0] is not ast.ExpressionStatement, got=%T", program.Statements[0])
|
|
|
|
}
|
|
|
|
expression, ok := statement.Expression.(*ast.IfExpression)
|
|
|
|
if !ok {
|
|
|
|
l_test.Fatalf("statement.Expression is not ast.IfExpression, got=%T", statement.Expression)
|
|
|
|
}
|
|
|
|
|
|
|
|
if !testInfixExpression(l_test, expression.Condition, "x", "<", "y") {
|
|
|
|
return
|
|
|
|
}
|
|
|
|
if len(expression.Consequence.Statements) != 1 {
|
|
|
|
l_test.Errorf("consequence is not 1 statements, got=%d\n", len(expression.Consequence.Statements))
|
|
|
|
}
|
|
|
|
|
|
|
|
consequence, ok := expression.Consequence.Statements[0].(*ast.ExpressionStatement)
|
|
|
|
if !ok {
|
|
|
|
l_test.Fatalf("Statements[0] is not ast.ExpressionStatement, got=%T", expression.Consequence.Statements[0])
|
|
|
|
}
|
|
|
|
|
|
|
|
if !testIdentifier(l_test, consequence.Expression, "x") {
|
|
|
|
return
|
|
|
|
}
|
|
|
|
|
|
|
|
if expression.Alternative != nil {
|
|
|
|
l_test.Errorf("expression.Alternative.Statements was not nil, got=%+v", expression.Alternative)
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
func TestIfElseExpression(l_test *testing.T) {
|
|
|
|
input := `if (x < y) { x } else { y }`
|
|
|
|
|
|
|
|
l_lexer := lexer.New(input)
|
|
|
|
l_parser := New(l_lexer)
|
|
|
|
program := l_parser.ParseProgram()
|
|
|
|
check_parser_errors(l_test, l_parser)
|
|
|
|
|
|
|
|
if len(program.Statements) != 1 {
|
|
|
|
l_test.Fatalf("program.Statements does not contain %d statements, got=%d\n", 1, len(program.Statements))
|
|
|
|
}
|
|
|
|
|
|
|
|
statement, ok := program.Statements[0].(*ast.ExpressionStatement)
|
|
|
|
if !ok {
|
|
|
|
l_test.Fatalf("program.Statements[0] is not an ast.ExpressionStatement, got=%T", program.Statements[0])
|
|
|
|
}
|
|
|
|
|
|
|
|
expression, ok := statement.Expression.(*ast.IfExpression)
|
|
|
|
if !ok {
|
|
|
|
l_test.Fatalf("statement.Expression is not ast.IfExpression, got=%T", statement.Expression)
|
|
|
|
}
|
|
|
|
|
|
|
|
if !testInfixExpression(l_test, expression.Condition, "x", "<", "y") {
|
|
|
|
return
|
|
|
|
}
|
|
|
|
|
|
|
|
if len(expression.Consequence.Statements) != 1 {
|
|
|
|
l_test.Errorf("consequence is not 1 statements, got=%d\n", len(expression.Consequence.Statements))
|
|
|
|
}
|
|
|
|
|
|
|
|
consequence, ok := expression.Consequence.Statements[0].(*ast.ExpressionStatement)
|
|
|
|
if !ok {
|
|
|
|
l_test.Fatalf("Statements[0] is not ast.ExpressionStatement, got=%T", expression.Consequence.Statements[0])
|
|
|
|
}
|
|
|
|
if !testIdentifier(l_test, consequence.Expression, "x") {
|
|
|
|
return
|
|
|
|
}
|
|
|
|
|
|
|
|
if len(expression.Alternative.Statements) != 1 {
|
|
|
|
l_test.Errorf("expression.Alterative.Statements does not contain 1 statement, got=%d\n", len(expression.Alternative.Statements))
|
|
|
|
}
|
|
|
|
|
|
|
|
alternative, ok := expression.Alternative.Statements[0].(*ast.ExpressionStatement)
|
|
|
|
if !ok {
|
|
|
|
l_test.Fatalf("Statements[0] is not ast.ExpressionStatement, got=%T", expression.Alternative.Statements[0])
|
|
|
|
}
|
|
|
|
|
|
|
|
if !testIdentifier(l_test, alternative.Expression, "y") {
|
|
|
|
return
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2022-07-31 18:31:43 -05:00
|
|
|
func TestFunctionLiteralParsing(l_test *testing.T) {
|
|
|
|
input := `fn(x, y) { x + y; }`
|
|
|
|
|
|
|
|
l_lexer := lexer.New(input)
|
|
|
|
l_parser := New(l_lexer)
|
|
|
|
program := l_parser.ParseProgram()
|
|
|
|
check_parser_errors(l_test, l_parser)
|
|
|
|
|
|
|
|
if len(program.Statements) != 1 {
|
|
|
|
l_test.Fatalf("program.Statements does not contain %d statements, got=%d\n", 1, len(program.Statements))
|
|
|
|
}
|
|
|
|
|
|
|
|
statement, ok := program.Statements[0].(*ast.ExpressionStatement)
|
|
|
|
if !ok {
|
|
|
|
l_test.Fatalf("program.Statements[0] is not ast.ExpressionStatement, got=%T", program.Statements[0])
|
|
|
|
}
|
|
|
|
|
|
|
|
function, ok := statement.Expression.(*ast.FunctionLiteral)
|
|
|
|
if !ok {
|
|
|
|
l_test.Fatalf("statement.Expression is not ast.FunctionLiteral, got=%T", statement.Expression)
|
|
|
|
}
|
|
|
|
|
|
|
|
if len(function.Parameters) != 2 {
|
|
|
|
l_test.Fatalf("function literal parameters wrong, want 2, got=%d\n", len(function.Parameters))
|
|
|
|
}
|
|
|
|
testLiteralExpression(l_test, function.Parameters[0], "x")
|
|
|
|
testLiteralExpression(l_test, function.Parameters[1], "y")
|
|
|
|
|
|
|
|
if len(function.Body.Statements) != 1 {
|
|
|
|
l_test.Fatalf("function.Body.Statements does not have 1 statement, got=%d\n", len(function.Body.Statements))
|
|
|
|
}
|
|
|
|
|
|
|
|
body_statement, ok := function.Body.Statements[0].(*ast.ExpressionStatement)
|
|
|
|
if !ok {
|
|
|
|
l_test.Fatalf("function body statement is not ast.ExpressionStatemes, got=%T", function.Body.Statements[0])
|
|
|
|
}
|
|
|
|
testInfixExpression(l_test, body_statement.Expression, "x", "+", "y")
|
|
|
|
|
|
|
|
}
|
|
|
|
|
2022-07-31 23:58:28 -05:00
|
|
|
func TestFunctionParameterParsing(l_test *testing.T) {
|
2022-07-31 18:31:43 -05:00
|
|
|
tests := []struct {
|
2022-07-31 23:58:28 -05:00
|
|
|
input string
|
2022-07-31 18:31:43 -05:00
|
|
|
expected_params []string
|
|
|
|
}{
|
2022-07-31 23:58:28 -05:00
|
|
|
{input: "fn() {};", expected_params: []string{}},
|
|
|
|
{input: "fn(x) {};", expected_params: []string{"x"}},
|
|
|
|
{input: "fn(x, y, z) {};", expected_params: []string{"x", "y", "z"}},
|
2022-07-31 18:31:43 -05:00
|
|
|
}
|
|
|
|
|
|
|
|
for _, tt := range tests {
|
|
|
|
l_lexer := lexer.New(tt.input)
|
|
|
|
l_parser := New(l_lexer)
|
|
|
|
program := l_parser.ParseProgram()
|
|
|
|
check_parser_errors(l_test, l_parser)
|
|
|
|
|
|
|
|
statement := program.Statements[0].(*ast.ExpressionStatement)
|
|
|
|
function := statement.Expression.(*ast.FunctionLiteral)
|
|
|
|
|
2022-07-31 23:58:28 -05:00
|
|
|
if len(function.Parameters) != len(tt.expected_params) {
|
2022-07-31 18:31:43 -05:00
|
|
|
l_test.Errorf("length of parameters is wrong, want %d, got=%d\n",
|
|
|
|
len(tt.expected_params), len(function.Parameters))
|
|
|
|
}
|
|
|
|
|
|
|
|
for i, identifier := range tt.expected_params {
|
|
|
|
testLiteralExpression(l_test, function.Parameters[i], identifier)
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2022-07-31 23:58:28 -05:00
|
|
|
func TestCallExpressionParsing(l_test *testing.T) {
|
|
|
|
input := "add(1, 2 * 3, 4 + 5);"
|
|
|
|
|
|
|
|
l_lexer := lexer.New(input)
|
|
|
|
l_parser := New(l_lexer)
|
|
|
|
program := l_parser.ParseProgram()
|
|
|
|
check_parser_errors(l_test, l_parser)
|
|
|
|
|
|
|
|
if len(program.Statements) != 1 {
|
|
|
|
l_test.Fatalf("program.Statements does not contain %d statements, got=%d\n", 1, len(program.Statements))
|
|
|
|
}
|
|
|
|
|
|
|
|
statement, ok := program.Statements[0].(*ast.ExpressionStatement)
|
|
|
|
if !ok {
|
|
|
|
l_test.Fatalf("statement is not ast.ExpressionStatement, got=%T", program.Statements[0])
|
|
|
|
}
|
|
|
|
|
|
|
|
expression, ok := statement.Expression.(*ast.CallExpression)
|
|
|
|
if !ok {
|
|
|
|
l_test.Fatalf("statemnt.Expression is not ast.CallExpression, got=%T", statement.Expression)
|
|
|
|
}
|
|
|
|
|
|
|
|
if !testIdentifier(l_test, expression.Function, "add") {
|
|
|
|
return
|
|
|
|
}
|
|
|
|
|
|
|
|
if len(expression.Arguments) != 3 {
|
|
|
|
l_test.Fatalf("wrong length of arguments, got=%d", len(expression.Arguments))
|
|
|
|
}
|
|
|
|
|
|
|
|
testLiteralExpression(l_test, expression.Arguments[0], 1)
|
|
|
|
testInfixExpression(l_test, expression.Arguments[1], 2, "*", 3)
|
|
|
|
testInfixExpression(l_test, expression.Arguments[2], 4, "+", 5)
|
|
|
|
}
|
|
|
|
|
|
|
|
func TestCallExpressionParameterParsing(l_test *testing.T) {
|
|
|
|
tests := []struct {
|
|
|
|
input string
|
|
|
|
expected_ident string
|
|
|
|
expected_args []string
|
|
|
|
}{
|
|
|
|
{
|
|
|
|
input: "add();",
|
|
|
|
expected_ident: "add",
|
|
|
|
expected_args: []string{},
|
|
|
|
},
|
|
|
|
{
|
|
|
|
input: "add(1);",
|
|
|
|
expected_ident: "add",
|
|
|
|
expected_args: []string{"1"},
|
|
|
|
},
|
|
|
|
{
|
|
|
|
input: "add(1, 2 * 3, 4 + 5);",
|
|
|
|
expected_ident: "add",
|
|
|
|
expected_args: []string{"1", "(2 * 3)", "(4 + 5)"},
|
|
|
|
},
|
|
|
|
}
|
|
|
|
|
|
|
|
for _, tt := range tests {
|
|
|
|
l_lexer := lexer.New(tt.input)
|
|
|
|
l_parser := New(l_lexer)
|
|
|
|
program := l_parser.ParseProgram()
|
|
|
|
check_parser_errors(l_test, l_parser)
|
|
|
|
|
|
|
|
statement := program.Statements[0].(*ast.ExpressionStatement)
|
|
|
|
expression, ok := statement.Expression.(*ast.CallExpression)
|
|
|
|
if !ok {
|
|
|
|
l_test.Fatalf("statement.Expression is not ast.CallExpression, got=%T",
|
|
|
|
statement.Expression)
|
|
|
|
}
|
|
|
|
|
|
|
|
if !testIdentifier(l_test, expression.Function, tt.expected_ident) {
|
|
|
|
return
|
|
|
|
}
|
|
|
|
|
|
|
|
if len(expression.Arguments) != len(tt.expected_args) {
|
|
|
|
l_test.Fatalf("wrong number of arguments, want=%d, got=%d",
|
|
|
|
len(tt.expected_args), len(expression.Arguments))
|
|
|
|
}
|
|
|
|
|
|
|
|
for i, arg := range tt.expected_args {
|
|
|
|
if expression.Arguments[i].String() != arg {
|
|
|
|
l_test.Errorf("argument %d wrong. want=%q, got=%q", i,
|
|
|
|
arg, expression.Arguments[i].String())
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2022-08-01 00:26:02 -05:00
|
|
|
func TestLetStatements(l_test *testing.T) {
|
|
|
|
tests := []struct {
|
|
|
|
input string
|
|
|
|
expected_identifier string
|
|
|
|
expected_value interface{}
|
|
|
|
}{
|
|
|
|
{"let x = 5;", "x", 5},
|
|
|
|
{"let y = true;", "y", true},
|
|
|
|
{"let foobar = y;", "foobar", "y"},
|
|
|
|
}
|
|
|
|
|
|
|
|
for _, tt := range tests {
|
|
|
|
l_lexer := lexer.New(tt.input)
|
|
|
|
l_parser := New(l_lexer)
|
|
|
|
program := l_parser.ParseProgram()
|
|
|
|
check_parser_errors(l_test, l_parser)
|
|
|
|
|
|
|
|
if len(program.Statements) != 1 {
|
|
|
|
l_test.Fatalf("program.Statements does not contain 1 statements, got=%d",
|
|
|
|
len(program.Statements))
|
|
|
|
}
|
|
|
|
|
|
|
|
statement := program.Statements[0]
|
2022-08-01 11:13:40 -05:00
|
|
|
if !testLetStatement(l_test, statement, tt.expected_identifier) {
|
2022-08-01 00:26:02 -05:00
|
|
|
return
|
|
|
|
}
|
|
|
|
|
|
|
|
val := statement.(*ast.LetStatement).Value
|
2022-08-01 11:13:40 -05:00
|
|
|
if !testLiteralExpression(l_test, val, tt.expected_value) {
|
2022-08-01 00:26:02 -05:00
|
|
|
return
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2023-05-09 14:59:18 -05:00
|
|
|
func TestStringLiteralExpression(l_test *testing.T) {
|
|
|
|
input := `"Hello world";`
|
|
|
|
|
|
|
|
l_lexer := lexer.New(input)
|
|
|
|
l_parser := New(l_lexer)
|
|
|
|
program := l_parser.ParseProgram()
|
|
|
|
check_parser_errors(l_test, l_parser)
|
|
|
|
|
|
|
|
statement := program.Statements[0].(*ast.ExpressionStatement)
|
|
|
|
literal, ok := statement.Expression.(*ast.StringLiteral)
|
|
|
|
if !ok {
|
|
|
|
l_test.Fatalf("expression not *ast.StringLiteral, got=%T", statement.Expression)
|
|
|
|
}
|
|
|
|
|
|
|
|
if literal.Value != "Hello world" {
|
|
|
|
l_test.Errorf("literal.Value not %q, got=%q", "Hello world", literal.Value)
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2022-06-12 09:50:08 -05:00
|
|
|
// Helpers
|
|
|
|
|
|
|
|
func check_parser_errors(l_test *testing.T, l_parser *Parser) {
|
|
|
|
errors := l_parser.Errors()
|
|
|
|
if len(errors) == 0 {
|
|
|
|
return
|
|
|
|
}
|
|
|
|
|
|
|
|
l_test.Errorf("parser has %d errors", len(errors))
|
|
|
|
|
|
|
|
for _, message := range errors {
|
|
|
|
l_test.Errorf("parser error: %q", message)
|
|
|
|
}
|
|
|
|
l_test.FailNow()
|
|
|
|
}
|
|
|
|
|
2022-07-14 01:54:26 -05:00
|
|
|
func testLetStatement(l_test *testing.T, statement ast.Statement, name string) bool {
|
|
|
|
if statement.TokenLiteral() != "let" {
|
|
|
|
l_test.Errorf("statement.TokenLiteral not let, got=%q", statement.TokenLiteral())
|
|
|
|
return false
|
|
|
|
}
|
|
|
|
|
|
|
|
let_statement, ok := statement.(*ast.LetStatement)
|
|
|
|
if !ok {
|
|
|
|
l_test.Errorf("statement not *ast.LetStatement, got=%T", statement)
|
|
|
|
return false
|
|
|
|
}
|
|
|
|
|
|
|
|
if let_statement.Name.Value != name {
|
|
|
|
l_test.Errorf("let_statement.name.Value not %s, got=%s", name, let_statement.Name.Value)
|
|
|
|
return false
|
|
|
|
}
|
|
|
|
|
|
|
|
if let_statement.Name.TokenLiteral() != name {
|
|
|
|
l_test.Errorf("let_statement.name.TokenLiteral() not %s, got=%s", name, let_statement.Name.TokenLiteral())
|
|
|
|
return false
|
|
|
|
|
|
|
|
}
|
|
|
|
return true
|
|
|
|
}
|
|
|
|
|
|
|
|
func testIdentifier(l_test *testing.T, exp ast.Expression, value string) bool {
|
|
|
|
identifier, ok := exp.(*ast.Identifier)
|
|
|
|
if !ok {
|
|
|
|
l_test.Errorf("exp not *ast.Identifier, got=%T", exp)
|
|
|
|
return false
|
|
|
|
}
|
|
|
|
|
|
|
|
if identifier.Value != value {
|
|
|
|
l_test.Errorf("identifier.Value not %s, got=%s", value, identifier.Value)
|
|
|
|
return false
|
|
|
|
}
|
|
|
|
|
|
|
|
if identifier.TokenLiteral() != value {
|
|
|
|
l_test.Errorf("identifier.TokenLiteral not %s, got=%s", value, identifier.TokenLiteral())
|
|
|
|
return false
|
|
|
|
}
|
|
|
|
|
|
|
|
return true
|
|
|
|
}
|
|
|
|
|
2022-06-12 09:50:08 -05:00
|
|
|
func testIntegerLiteral(l_test *testing.T, il ast.Expression, value int64) bool {
|
|
|
|
integer, ok := il.(*ast.IntegerLiteral)
|
|
|
|
if !ok {
|
|
|
|
l_test.Errorf("il not *ast.IntegerLiteral, got=%T", il)
|
|
|
|
return false
|
|
|
|
}
|
|
|
|
|
|
|
|
if integer.Value != value {
|
|
|
|
l_test.Errorf("integer.Value not %d, got=%d", value, integer.Value)
|
|
|
|
return false
|
|
|
|
}
|
|
|
|
|
|
|
|
if integer.TokenLiteral() != fmt.Sprintf("%d", value) {
|
|
|
|
l_test.Errorf("integer.TokenLiteral not %d, got=%s", value, integer.TokenLiteral())
|
|
|
|
return false
|
|
|
|
}
|
|
|
|
return true
|
|
|
|
}
|
|
|
|
|
2022-07-14 01:54:26 -05:00
|
|
|
func testLiteralExpression(l_test *testing.T, exp ast.Expression, expected interface{}) bool {
|
|
|
|
switch v := expected.(type) {
|
|
|
|
case int:
|
|
|
|
return testIntegerLiteral(l_test, exp, int64(v))
|
|
|
|
case int64:
|
|
|
|
return testIntegerLiteral(l_test, exp, v)
|
|
|
|
case string:
|
|
|
|
return testIdentifier(l_test, exp, v)
|
2022-07-14 07:12:56 -05:00
|
|
|
case bool:
|
|
|
|
return testBooleanLiteral(l_test, exp, v)
|
2022-06-12 09:50:08 -05:00
|
|
|
}
|
|
|
|
|
2022-07-14 01:54:26 -05:00
|
|
|
l_test.Errorf("type of exp not handled, got=%T", exp)
|
|
|
|
return false
|
|
|
|
}
|
|
|
|
|
2022-07-14 02:26:34 -05:00
|
|
|
func testInfixExpression(l_test *testing.T, exp ast.Expression, left interface{}, operator string, right interface{}) bool {
|
2022-07-14 01:54:26 -05:00
|
|
|
operator_expression, ok := exp.(*ast.InfixExpression)
|
2022-06-12 09:50:08 -05:00
|
|
|
if !ok {
|
2022-07-14 01:54:26 -05:00
|
|
|
l_test.Errorf("exp is not ast.InfixExpression, got=%T(%s)", exp, exp)
|
2022-06-12 09:50:08 -05:00
|
|
|
return false
|
|
|
|
}
|
|
|
|
|
2022-07-14 02:26:34 -05:00
|
|
|
if !testLiteralExpression(l_test, operator_expression.Left, left) {
|
2022-06-12 09:50:08 -05:00
|
|
|
return false
|
|
|
|
}
|
|
|
|
|
2022-07-14 01:54:26 -05:00
|
|
|
if operator_expression.Operator != operator {
|
|
|
|
l_test.Errorf("exp.Operator is not '%s', got=%q", operator, operator_expression.Operator)
|
2022-06-12 09:50:08 -05:00
|
|
|
return false
|
2022-07-14 01:54:26 -05:00
|
|
|
}
|
2022-06-12 09:50:08 -05:00
|
|
|
|
2022-07-14 02:26:34 -05:00
|
|
|
if !testLiteralExpression(l_test, operator_expression.Right, right) {
|
2022-07-14 01:54:26 -05:00
|
|
|
return false
|
2022-06-12 09:50:08 -05:00
|
|
|
}
|
|
|
|
return true
|
|
|
|
}
|
2022-07-14 07:12:56 -05:00
|
|
|
|
|
|
|
func testBooleanLiteral(l_test *testing.T, exp ast.Expression, value bool) bool {
|
|
|
|
boolean, ok := exp.(*ast.Boolean)
|
|
|
|
if !ok {
|
|
|
|
l_test.Errorf("exp not *ast.Boolean, got=%T", exp)
|
|
|
|
return false
|
|
|
|
}
|
|
|
|
|
|
|
|
if boolean.Value != value {
|
|
|
|
l_test.Errorf("boolean.Value is not %t, got=%t", value, boolean.Value)
|
|
|
|
return false
|
|
|
|
}
|
|
|
|
|
|
|
|
if boolean.TokenLiteral() != fmt.Sprintf("%t", value) {
|
|
|
|
l_test.Errorf("boolean.TokenLiteral is not %t, got=%s", value, boolean.TokenLiteral())
|
|
|
|
return false
|
|
|
|
}
|
|
|
|
|
|
|
|
return true
|
|
|
|
}
|