123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295 |
- /*
- * Copyright (c) 2020, Stephan Unverwerth <s.unverwerth@gmx.de>
- * All rights reserved.
- *
- * Redistribution and use in source and binary forms, with or without
- * modification, are permitted provided that the following conditions are met:
- *
- * 1. Redistributions of source code must retain the above copyright notice, this
- * list of conditions and the following disclaimer.
- *
- * 2. Redistributions in binary form must reproduce the above copyright notice,
- * this list of conditions and the following disclaimer in the documentation
- * and/or other materials provided with the distribution.
- *
- * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS"
- * AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
- * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE
- * DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT HOLDER OR CONTRIBUTORS BE LIABLE
- * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
- * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR
- * SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER
- * CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY,
- * OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
- * OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
- */
- #include "Parser.h"
- #include <AK/StdLibExtras.h>
- #include <stdio.h>
- namespace JS {
- Parser::Parser(Lexer lexer)
- : m_lexer(move(lexer))
- , m_current_token(m_lexer.next())
- {
- }
- NonnullOwnPtr<Program> Parser::parse_program()
- {
- auto program = make<Program>();
- while (!done()) {
- if (match(TokenType::Semicolon)) {
- consume();
- } else if (match_statement()) {
- program->append(parse_statement());
- } else {
- expected("statement");
- consume();
- }
- }
- return program;
- }
- NonnullOwnPtr<Statement> Parser::parse_statement()
- {
- if (match_expression()) {
- return make<JS::ExpressionStatement>(parse_expression());
- }
- switch (m_current_token.type()) {
- case TokenType::Function:
- return parse_function_declaration();
- case TokenType::CurlyOpen:
- return parse_block_statement();
- case TokenType::Return:
- return parse_return_statement();
- case TokenType::Var:
- return parse_variable_declaration();
- default:
- m_has_errors = true;
- expected("statement (missing switch case)");
- consume();
- return make<ErrorStatement>();
- }
- }
- NonnullOwnPtr<Expression> Parser::parse_primary_expression()
- {
- switch (m_current_token.type()) {
- case TokenType::ParenOpen: {
- consume(TokenType::ParenOpen);
- auto expression = parse_expression();
- consume(TokenType::ParenClose);
- return expression;
- }
- case TokenType::Identifier:
- return make<Identifier>(consume().value());
- case TokenType::NumericLiteral:
- return make<NumericLiteral>(consume().double_value());
- case TokenType::BoolLiteral:
- return make<BooleanLiteral>(consume().bool_value());
- case TokenType::StringLiteral:
- return make<StringLiteral>(consume().string_value());
- case TokenType::CurlyOpen:
- return parse_object_expression();
- default:
- m_has_errors = true;
- expected("primary expression (missing switch case)");
- consume();
- return make<ErrorExpression>();
- }
- }
- NonnullOwnPtr<ObjectExpression> Parser::parse_object_expression()
- {
- // FIXME: Parse actual object expression
- consume(TokenType::CurlyOpen);
- consume(TokenType::CurlyClose);
- return make<ObjectExpression>();
- }
- NonnullOwnPtr<Expression> Parser::parse_expression()
- {
- auto expression = parse_primary_expression();
- while (match_secondary_expression()) {
- expression = parse_secondary_expression(move(expression));
- }
- return expression;
- }
- NonnullOwnPtr<Expression> Parser::parse_secondary_expression(NonnullOwnPtr<Expression> lhs)
- {
- switch (m_current_token.type()) {
- case TokenType::Plus:
- consume();
- return make<BinaryExpression>(BinaryOp::Plus, move(lhs), parse_expression());
- case TokenType::Minus:
- consume();
- return make<BinaryExpression>(BinaryOp::Minus, move(lhs), parse_expression());
- case TokenType::ParenOpen:
- return parse_call_expression(move(lhs));
- case TokenType::Equals:
- consume();
- return make<AssignmentExpression>(AssignmentOp::Assign, move(lhs), parse_expression());
- case TokenType::Period:
- consume();
- return make<MemberExpression>(move(lhs), parse_expression());
- default:
- m_has_errors = true;
- expected("secondary expression (missing switch case)");
- consume();
- return make<ErrorExpression>();
- }
- }
- NonnullOwnPtr<CallExpression> Parser::parse_call_expression(NonnullOwnPtr<Expression> lhs)
- {
- // FIXME: allow arguments
- consume(TokenType::ParenOpen);
- consume(TokenType::ParenClose);
- // FIXME: Allow lhs expression instead of just a string
- if (lhs->is_identifier()) {
- return make<CallExpression>(static_cast<Identifier*>(lhs.ptr())->string());
- }
- m_has_errors = true;
- return make<CallExpression>("***ERROR***");
- }
- NonnullOwnPtr<ReturnStatement> Parser::parse_return_statement()
- {
- consume(TokenType::Return);
- if (match_expression()) {
- return make<ReturnStatement>(parse_expression());
- }
- return make<ReturnStatement>(nullptr);
- }
- NonnullOwnPtr<BlockStatement> Parser::parse_block_statement()
- {
- auto block = make<BlockStatement>();
- consume(TokenType::CurlyOpen);
- while (!done() && !match(TokenType::CurlyClose)) {
- if (match(TokenType::Semicolon)) {
- consume();
- } else if (match_statement()) {
- block->append(parse_statement());
- } else {
- expected("statement");
- consume();
- }
- }
- consume(TokenType::CurlyClose);
- return block;
- }
- NonnullOwnPtr<FunctionDeclaration> Parser::parse_function_declaration()
- {
- consume(TokenType::Function);
- auto name = consume(TokenType::Identifier).value();
- consume(TokenType::ParenOpen);
- while (match(TokenType::Identifier)) {
- // FIXME: actually add parameters to function
- consume(TokenType::Identifier);
- if (match(TokenType::ParenClose)) {
- break;
- }
- consume(TokenType::Comma);
- }
- consume(TokenType::ParenClose);
- auto body = parse_block_statement();
- return make<FunctionDeclaration>(name, move(body));
- }
- NonnullOwnPtr<VariableDeclaration> Parser::parse_variable_declaration()
- {
- consume(TokenType::Var);
- auto name = consume(TokenType::Identifier).value();
- OwnPtr<Expression> initializer;
- if (match(TokenType::Equals)) {
- consume();
- initializer = parse_expression();
- }
- return make<VariableDeclaration>(make<Identifier>(name), move(initializer), DeclarationType::Var);
- }
- bool Parser::match(TokenType type) const
- {
- return m_current_token.type() == type;
- }
- bool Parser::match_expression() const
- {
- auto type = m_current_token.type();
- return type == TokenType::BoolLiteral
- || type == TokenType::NumericLiteral
- || type == TokenType::StringLiteral
- || type == TokenType::NullLiteral
- || type == TokenType::Identifier
- || type == TokenType::New
- || type == TokenType::CurlyOpen
- || type == TokenType::BracketOpen
- || type == TokenType::ParenOpen;
- }
- bool Parser::match_secondary_expression() const
- {
- auto type = m_current_token.type();
- return type == TokenType::Plus
- || type == TokenType::Minus
- || type == TokenType::Asterisk
- || type == TokenType::Slash
- || type == TokenType::Equals
- || type == TokenType::ParenOpen
- || type == TokenType::Period;
- }
- bool Parser::match_statement() const
- {
- auto type = m_current_token.type();
- return match_expression()
- || type == TokenType::Function
- || type == TokenType::Return
- || type == TokenType::Let
- || type == TokenType::Catch
- || type == TokenType::Class
- || type == TokenType::Delete
- || type == TokenType::Do
- || type == TokenType::If
- || type == TokenType::Try
- || type == TokenType::While
- || type == TokenType::Const
- || type == TokenType::CurlyOpen
- || type == TokenType::Var;
- }
- bool Parser::done() const
- {
- return match(TokenType::Eof);
- }
- Token Parser::consume()
- {
- auto oldToken = m_current_token;
- m_current_token = m_lexer.next();
- return oldToken;
- }
- Token Parser::consume(TokenType type)
- {
- if (m_current_token.type() != type) {
- m_has_errors = true;
- fprintf(stderr, "Error: Unexpected token %s. Expected %s\n", m_current_token.name(), Token::name(type));
- }
- return consume();
- }
- void Parser::expected(const char* what)
- {
- m_has_errors = true;
- fprintf(stderr, "Error: Unexpected token %s. Expected %s\n", m_current_token.name(), what);
- }
- }
|