added parsing of function call
This commit is contained in:
@@ -32,4 +32,35 @@ namespace ast {
|
|||||||
if (body != nullptr)
|
if (body != nullptr)
|
||||||
delete body;
|
delete body;
|
||||||
}
|
}
|
||||||
|
|
||||||
|
// ---------------------------- FUNCTION CALL ----------------------------
|
||||||
|
function_call::function_call(token::token token, expression* target)
|
||||||
|
: token(std::move(token)),
|
||||||
|
target(target) {};
|
||||||
|
|
||||||
|
std::string function_call::token_literal() const {
|
||||||
|
return token.literal;
|
||||||
|
};
|
||||||
|
|
||||||
|
std::string function_call::str() const {
|
||||||
|
std::stringstream ss;
|
||||||
|
ss << target->str() << "(";
|
||||||
|
bool first = true;
|
||||||
|
for (auto& param : parameters) {
|
||||||
|
if (!first)
|
||||||
|
ss << ", ";
|
||||||
|
ss << param->str();
|
||||||
|
first = false;
|
||||||
|
}
|
||||||
|
ss << ")";
|
||||||
|
return ss.str();
|
||||||
|
};
|
||||||
|
|
||||||
|
function_call::~function_call() {
|
||||||
|
if (target != nullptr)
|
||||||
|
delete target;
|
||||||
|
for (auto& param : parameters)
|
||||||
|
delete param;
|
||||||
|
}
|
||||||
|
|
||||||
} // namespace ast
|
} // namespace ast
|
||||||
|
@@ -18,4 +18,15 @@ namespace ast {
|
|||||||
std::string str() const override;
|
std::string str() const override;
|
||||||
~function_literal();
|
~function_literal();
|
||||||
};
|
};
|
||||||
|
|
||||||
|
struct function_call : expression {
|
||||||
|
function_call(token::token, expression*);
|
||||||
|
token::token token;
|
||||||
|
expression* target;
|
||||||
|
std::vector<expression*> parameters;
|
||||||
|
|
||||||
|
std::string token_literal() const override;
|
||||||
|
std::string str() const override;
|
||||||
|
~function_call();
|
||||||
|
};
|
||||||
} // namespace ast
|
} // namespace ast
|
||||||
|
@@ -80,6 +80,11 @@ namespace parser {
|
|||||||
token::type::LT},
|
token::type::LT},
|
||||||
std::bind(&parser::parse_infix_expr, this, _1)
|
std::bind(&parser::parse_infix_expr, this, _1)
|
||||||
);
|
);
|
||||||
|
|
||||||
|
register_infix(
|
||||||
|
token::type::LPAREN,
|
||||||
|
std::bind(&parser::parse_function_call, this, _1)
|
||||||
|
);
|
||||||
}
|
}
|
||||||
|
|
||||||
void parser::next_token() {
|
void parser::next_token() {
|
||||||
@@ -398,4 +403,27 @@ namespace parser {
|
|||||||
ret->right = parse_expression(prec);
|
ret->right = parse_expression(prec);
|
||||||
return ret;
|
return ret;
|
||||||
};
|
};
|
||||||
|
|
||||||
|
ast::function_call* parser::parse_function_call(ast::expression* target) {
|
||||||
|
TRACE_FUNCTION;
|
||||||
|
ast::function_call* ret = new ast::function_call(current, target);
|
||||||
|
next_token();
|
||||||
|
if (current.type == token::type::RPAREN)
|
||||||
|
return ret;
|
||||||
|
|
||||||
|
ret->parameters.push_back(parse_expression());
|
||||||
|
|
||||||
|
// parameters
|
||||||
|
while (next.type == token::type::COMMA) {
|
||||||
|
next_token();
|
||||||
|
next_token();
|
||||||
|
ret->parameters.push_back(parse_expression());
|
||||||
|
}
|
||||||
|
if (!expect_next(token::type::RPAREN)) {
|
||||||
|
delete ret;
|
||||||
|
return nullptr;
|
||||||
|
}
|
||||||
|
|
||||||
|
return ret;
|
||||||
|
};
|
||||||
} // namespace parser
|
} // namespace parser
|
||||||
|
@@ -68,5 +68,6 @@ namespace parser {
|
|||||||
ast::block_stmt* parse_block();
|
ast::block_stmt* parse_block();
|
||||||
|
|
||||||
ast::infix_expr* parse_infix_expr(ast::expression*);
|
ast::infix_expr* parse_infix_expr(ast::expression*);
|
||||||
|
ast::function_call* parse_function_call(ast::expression*);
|
||||||
};
|
};
|
||||||
} // namespace parser
|
} // namespace parser
|
||||||
|
@@ -15,6 +15,8 @@ namespace parser {
|
|||||||
case token::type::ASTERISK:
|
case token::type::ASTERISK:
|
||||||
case token::type::SLASH:
|
case token::type::SLASH:
|
||||||
return precedence::PRODUCT;
|
return precedence::PRODUCT;
|
||||||
|
case token::type::LPAREN:
|
||||||
|
return precedence::CALL;
|
||||||
default:
|
default:
|
||||||
return precedence::LOWEST;
|
return precedence::LOWEST;
|
||||||
}
|
}
|
||||||
|
@@ -5,7 +5,7 @@
|
|||||||
|
|
||||||
#include <doctest.h>
|
#include <doctest.h>
|
||||||
|
|
||||||
TEST_SUITE("Parser: function") {
|
TEST_SUITE("Parser: function literal") {
|
||||||
TEST_CASE("Malformed function literal (checking for memory leaks)") {
|
TEST_CASE("Malformed function literal (checking for memory leaks)") {
|
||||||
SUBCASE("Missing opening paren no param") {
|
SUBCASE("Missing opening paren no param") {
|
||||||
test_failing_parsing("fn ) { return 2; }", {token::type::LPAREN});
|
test_failing_parsing("fn ) { return 2; }", {token::type::LPAREN});
|
||||||
@@ -202,3 +202,97 @@ let fun = fn (x, y) {\
|
|||||||
}
|
}
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
|
TEST_SUITE("Parser: function call") {
|
||||||
|
TEST_CASE("Malformed function call (checking for memory leaks)") {}
|
||||||
|
|
||||||
|
TEST_CASE_FIXTURE(ParserFixture, "Parse well formed function call") {
|
||||||
|
SUBCASE("no param function") {
|
||||||
|
setup("value();");
|
||||||
|
REQUIRE(program->statements.size() == 1);
|
||||||
|
|
||||||
|
ast::expression_stmt* expr_stmt =
|
||||||
|
cast<ast::expression_stmt>(program->statements[0]);
|
||||||
|
|
||||||
|
ast::function_call* fun =
|
||||||
|
cast<ast::function_call>(expr_stmt->expression);
|
||||||
|
|
||||||
|
// target
|
||||||
|
test_identifier(fun->target, "value");
|
||||||
|
|
||||||
|
// parameters
|
||||||
|
CHECK(fun->parameters.size() == 0);
|
||||||
|
|
||||||
|
// full string
|
||||||
|
CHECK(fun->str() == "value()");
|
||||||
|
}
|
||||||
|
|
||||||
|
SUBCASE("one param identifier function") {
|
||||||
|
setup("is_odd(1);");
|
||||||
|
REQUIRE(program->statements.size() == 1);
|
||||||
|
|
||||||
|
ast::expression_stmt* expr_stmt =
|
||||||
|
cast<ast::expression_stmt>(program->statements[0]);
|
||||||
|
|
||||||
|
ast::function_call* fun =
|
||||||
|
cast<ast::function_call>(expr_stmt->expression);
|
||||||
|
|
||||||
|
// target
|
||||||
|
test_identifier(fun->target, "is_odd");
|
||||||
|
|
||||||
|
// parameters
|
||||||
|
CHECK(fun->parameters.size() == 1);
|
||||||
|
test_integer_literal(fun->parameters[0], 1);
|
||||||
|
|
||||||
|
// full string
|
||||||
|
CHECK(fun->str() == "is_odd(1)");
|
||||||
|
}
|
||||||
|
|
||||||
|
SUBCASE("two param function") {
|
||||||
|
setup("is_gt(1, a + 10);");
|
||||||
|
REQUIRE(program->statements.size() == 1);
|
||||||
|
|
||||||
|
ast::expression_stmt* expr_stmt =
|
||||||
|
cast<ast::expression_stmt>(program->statements[0]);
|
||||||
|
|
||||||
|
ast::function_call* fun =
|
||||||
|
cast<ast::function_call>(expr_stmt->expression);
|
||||||
|
|
||||||
|
// target
|
||||||
|
test_identifier(fun->target, "is_gt");
|
||||||
|
|
||||||
|
// parameters
|
||||||
|
CHECK(fun->parameters.size() == 2);
|
||||||
|
test_integer_literal(fun->parameters[0], 1);
|
||||||
|
test_infix_expression(fun->parameters[1], "a", "+", 10);
|
||||||
|
|
||||||
|
// full string
|
||||||
|
CHECK(fun->str() == "is_gt(1, (a + 10))");
|
||||||
|
}
|
||||||
|
|
||||||
|
SUBCASE("two param identifier function assigned to variable") {
|
||||||
|
setup("let res = add(1, a + 10, 2 * 3);");
|
||||||
|
REQUIRE(program->statements.size() == 1);
|
||||||
|
|
||||||
|
ast::let_stmt* let_stmt =
|
||||||
|
cast<ast::let_stmt>(program->statements[0]);
|
||||||
|
|
||||||
|
test_identifier(let_stmt->name, "res");
|
||||||
|
|
||||||
|
ast::function_call* fun = cast<ast::function_call>(let_stmt->value);
|
||||||
|
|
||||||
|
// target
|
||||||
|
test_identifier(fun->target, "add");
|
||||||
|
|
||||||
|
// parameters
|
||||||
|
CHECK(fun->parameters.size() == 3);
|
||||||
|
test_integer_literal(fun->parameters[0], 1);
|
||||||
|
test_infix_expression(fun->parameters[1], "a", "+", 10);
|
||||||
|
test_infix_expression(fun->parameters[2], 2, "*", 3);
|
||||||
|
|
||||||
|
// full string
|
||||||
|
CHECK(fun->str() == "add(1, (a + 10), (2 * 3))");
|
||||||
|
CHECK(let_stmt->str() == "let res = add(1, (a + 10), (2 * 3));");
|
||||||
|
}
|
||||||
|
}
|
||||||
|
}
|
||||||
|
Reference in New Issue
Block a user