Parser.cpp 25 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662663664665666667668669670671672673674675676677678679680681682683684685686687688689690691692693694695696697698699700701702703704705706707708709710711712713714715716717718719720721722723724725726727728729730731732733734735736737738739740741742743744745746747
  1. /*
  2. * Copyright (c) 2020, Stephan Unverwerth <s.unverwerth@gmx.de>
  3. * All rights reserved.
  4. *
  5. * Redistribution and use in source and binary forms, with or without
  6. * modification, are permitted provided that the following conditions are met:
  7. *
  8. * 1. Redistributions of source code must retain the above copyright notice, this
  9. * list of conditions and the following disclaimer.
  10. *
  11. * 2. Redistributions in binary form must reproduce the above copyright notice,
  12. * this list of conditions and the following disclaimer in the documentation
  13. * and/or other materials provided with the distribution.
  14. *
  15. * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS"
  16. * AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
  17. * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE
  18. * DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT HOLDER OR CONTRIBUTORS BE LIABLE
  19. * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
  20. * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR
  21. * SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER
  22. * CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY,
  23. * OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
  24. * OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
  25. */
  26. #include "Parser.h"
  27. #include <AK/HashMap.h>
  28. #include <AK/StdLibExtras.h>
  29. #include <stdio.h>
  30. namespace JS {
  31. static HashMap<TokenType, int> g_operator_precedence;
  32. Parser::Parser(Lexer lexer)
  33. : m_lexer(move(lexer))
  34. , m_current_token(m_lexer.next())
  35. {
  36. if (g_operator_precedence.is_empty()) {
  37. // https://developer.mozilla.org/en-US/docs/Web/JavaScript/Reference/Operators/Operator_Precedence
  38. g_operator_precedence.set(TokenType::Period, 20);
  39. g_operator_precedence.set(TokenType::BracketOpen, 20);
  40. g_operator_precedence.set(TokenType::ParenOpen, 20);
  41. g_operator_precedence.set(TokenType::QuestionMarkPeriod, 20);
  42. g_operator_precedence.set(TokenType::New, 19);
  43. g_operator_precedence.set(TokenType::PlusPlus, 18);
  44. g_operator_precedence.set(TokenType::MinusMinus, 18);
  45. g_operator_precedence.set(TokenType::ExclamationMark, 17);
  46. g_operator_precedence.set(TokenType::Tilde, 17);
  47. g_operator_precedence.set(TokenType::Typeof, 17);
  48. g_operator_precedence.set(TokenType::Void, 17);
  49. g_operator_precedence.set(TokenType::Delete, 17);
  50. g_operator_precedence.set(TokenType::Await, 17);
  51. g_operator_precedence.set(TokenType::DoubleAsterisk, 16);
  52. g_operator_precedence.set(TokenType::Asterisk, 15);
  53. g_operator_precedence.set(TokenType::Slash, 15);
  54. g_operator_precedence.set(TokenType::Percent, 15);
  55. g_operator_precedence.set(TokenType::Plus, 14);
  56. g_operator_precedence.set(TokenType::Minus, 14);
  57. g_operator_precedence.set(TokenType::ShiftLeft, 13);
  58. g_operator_precedence.set(TokenType::ShiftRight, 13);
  59. g_operator_precedence.set(TokenType::UnsignedShiftRight, 13);
  60. g_operator_precedence.set(TokenType::LessThan, 12);
  61. g_operator_precedence.set(TokenType::LessThanEquals, 12);
  62. g_operator_precedence.set(TokenType::GreaterThan, 12);
  63. g_operator_precedence.set(TokenType::GreaterThanEquals, 12);
  64. g_operator_precedence.set(TokenType::In, 12);
  65. g_operator_precedence.set(TokenType::Instanceof, 12);
  66. g_operator_precedence.set(TokenType::EqualsEquals, 11);
  67. g_operator_precedence.set(TokenType::ExclamationMarkEquals, 11);
  68. g_operator_precedence.set(TokenType::EqualsEqualsEquals, 11);
  69. g_operator_precedence.set(TokenType::ExclamationMarkEqualsEquals, 11);
  70. g_operator_precedence.set(TokenType::Ampersand, 10);
  71. g_operator_precedence.set(TokenType::Caret, 9);
  72. g_operator_precedence.set(TokenType::Pipe, 8);
  73. g_operator_precedence.set(TokenType::DoubleQuestionMark, 7);
  74. g_operator_precedence.set(TokenType::DoubleAmpersand, 6);
  75. g_operator_precedence.set(TokenType::DoublePipe, 5);
  76. g_operator_precedence.set(TokenType::QuestionMark, 4);
  77. g_operator_precedence.set(TokenType::Equals, 3);
  78. g_operator_precedence.set(TokenType::PlusEquals, 3);
  79. g_operator_precedence.set(TokenType::MinusEquals, 3);
  80. g_operator_precedence.set(TokenType::AsteriskAsteriskEquals, 3);
  81. g_operator_precedence.set(TokenType::AsteriskEquals, 3);
  82. g_operator_precedence.set(TokenType::SlashEquals, 3);
  83. g_operator_precedence.set(TokenType::PercentEquals, 3);
  84. g_operator_precedence.set(TokenType::ShiftLeftEquals, 3);
  85. g_operator_precedence.set(TokenType::ShiftRightEquals, 3);
  86. g_operator_precedence.set(TokenType::UnsignedShiftRightEquals, 3);
  87. g_operator_precedence.set(TokenType::PipeEquals, 3);
  88. g_operator_precedence.set(TokenType::Yield, 2);
  89. g_operator_precedence.set(TokenType::Comma, 1);
  90. }
  91. }
  92. int Parser::operator_precedence(TokenType type) const
  93. {
  94. auto it = g_operator_precedence.find(type);
  95. if (it == g_operator_precedence.end()) {
  96. fprintf(stderr, "No precedence for operator %s\n", Token::name(type));
  97. ASSERT_NOT_REACHED();
  98. return -1;
  99. }
  100. return it->value;
  101. }
  102. Associativity Parser::operator_associativity(TokenType type) const
  103. {
  104. switch (type) {
  105. case TokenType::Period:
  106. case TokenType::BracketOpen:
  107. case TokenType::ParenOpen:
  108. case TokenType::QuestionMarkPeriod:
  109. case TokenType::Asterisk:
  110. case TokenType::Slash:
  111. case TokenType::Percent:
  112. case TokenType::Plus:
  113. case TokenType::Minus:
  114. case TokenType::ShiftLeft:
  115. case TokenType::ShiftRight:
  116. case TokenType::UnsignedShiftRight:
  117. case TokenType::LessThan:
  118. case TokenType::LessThanEquals:
  119. case TokenType::GreaterThan:
  120. case TokenType::GreaterThanEquals:
  121. case TokenType::In:
  122. case TokenType::Instanceof:
  123. case TokenType::EqualsEquals:
  124. case TokenType::ExclamationMarkEquals:
  125. case TokenType::EqualsEqualsEquals:
  126. case TokenType::ExclamationMarkEqualsEquals:
  127. case TokenType::Ampersand:
  128. case TokenType::Caret:
  129. case TokenType::Pipe:
  130. case TokenType::DoubleQuestionMark:
  131. case TokenType::DoubleAmpersand:
  132. case TokenType::DoublePipe:
  133. case TokenType::Comma:
  134. return Associativity::Left;
  135. default:
  136. return Associativity::Right;
  137. }
  138. }
  139. NonnullRefPtr<Program> Parser::parse_program()
  140. {
  141. auto program = adopt(*new Program);
  142. while (!done()) {
  143. if (match(TokenType::Semicolon)) {
  144. consume();
  145. } else if (match_statement()) {
  146. program->append(parse_statement());
  147. } else {
  148. expected("statement");
  149. consume();
  150. }
  151. }
  152. return program;
  153. }
  154. NonnullRefPtr<Statement> Parser::parse_statement()
  155. {
  156. auto statement = [this]() -> NonnullRefPtr<Statement> {
  157. switch (m_current_token.type()) {
  158. case TokenType::Function:
  159. return parse_function_node<FunctionDeclaration>();
  160. case TokenType::CurlyOpen:
  161. return parse_block_statement();
  162. case TokenType::Return:
  163. return parse_return_statement();
  164. case TokenType::Var:
  165. case TokenType::Let:
  166. case TokenType::Const:
  167. return parse_variable_declaration();
  168. case TokenType::For:
  169. return parse_for_statement();
  170. case TokenType::If:
  171. return parse_if_statement();
  172. case TokenType::Throw:
  173. return parse_throw_statement();
  174. case TokenType::Try:
  175. return parse_try_statement();
  176. default:
  177. if (match_expression())
  178. return adopt(*new ExpressionStatement(parse_expression(0)));
  179. m_has_errors = true;
  180. expected("statement (missing switch case)");
  181. consume();
  182. return create_ast_node<ErrorStatement>();
  183. } }();
  184. if (match(TokenType::Semicolon))
  185. consume();
  186. return statement;
  187. }
  188. NonnullRefPtr<Expression> Parser::parse_primary_expression()
  189. {
  190. if (match_unary_prefixed_expression())
  191. return parse_unary_prefixed_expression();
  192. switch (m_current_token.type()) {
  193. case TokenType::ParenOpen: {
  194. consume(TokenType::ParenOpen);
  195. auto expression = parse_expression(0);
  196. consume(TokenType::ParenClose);
  197. return expression;
  198. }
  199. case TokenType::Identifier:
  200. return create_ast_node<Identifier>(consume().value());
  201. case TokenType::NumericLiteral:
  202. return create_ast_node<NumericLiteral>(consume().double_value());
  203. case TokenType::BoolLiteral:
  204. return create_ast_node<BooleanLiteral>(consume().bool_value());
  205. case TokenType::StringLiteral:
  206. return create_ast_node<StringLiteral>(consume().string_value());
  207. case TokenType::NullLiteral:
  208. consume();
  209. return create_ast_node<NullLiteral>();
  210. case TokenType::UndefinedLiteral:
  211. consume();
  212. return create_ast_node<UndefinedLiteral>();
  213. case TokenType::CurlyOpen:
  214. return parse_object_expression();
  215. case TokenType::Function:
  216. return parse_function_node<FunctionExpression>();
  217. case TokenType::BracketOpen:
  218. return parse_array_expression();
  219. default:
  220. m_has_errors = true;
  221. expected("primary expression (missing switch case)");
  222. consume();
  223. return create_ast_node<ErrorExpression>();
  224. }
  225. }
  226. NonnullRefPtr<Expression> Parser::parse_unary_prefixed_expression()
  227. {
  228. switch (m_current_token.type()) {
  229. case TokenType::PlusPlus:
  230. consume();
  231. return create_ast_node<UpdateExpression>(UpdateOp::Increment, parse_primary_expression(), true);
  232. case TokenType::MinusMinus:
  233. consume();
  234. return create_ast_node<UpdateExpression>(UpdateOp::Decrement, parse_primary_expression(), true);
  235. case TokenType::ExclamationMark:
  236. consume();
  237. return create_ast_node<UnaryExpression>(UnaryOp::Not, parse_primary_expression());
  238. case TokenType::Tilde:
  239. consume();
  240. return create_ast_node<UnaryExpression>(UnaryOp::BitwiseNot, parse_primary_expression());
  241. case TokenType::Typeof:
  242. consume();
  243. return create_ast_node<UnaryExpression>(UnaryOp::Typeof, parse_primary_expression());
  244. default:
  245. m_has_errors = true;
  246. expected("primary expression (missing switch case)");
  247. consume();
  248. return create_ast_node<ErrorExpression>();
  249. }
  250. }
  251. NonnullRefPtr<ObjectExpression> Parser::parse_object_expression()
  252. {
  253. HashMap<FlyString, NonnullRefPtr<Expression>> properties;
  254. consume(TokenType::CurlyOpen);
  255. while (!match(TokenType::CurlyClose)) {
  256. auto identifier = create_ast_node<Identifier>(consume(TokenType::Identifier).value());
  257. if (match(TokenType::Colon)) {
  258. consume(TokenType::Colon);
  259. properties.set(identifier->string(), parse_expression(0));
  260. } else {
  261. properties.set(identifier->string(), identifier);
  262. }
  263. if (!match(TokenType::Comma))
  264. break;
  265. consume(TokenType::Comma);
  266. }
  267. consume(TokenType::CurlyClose);
  268. return create_ast_node<ObjectExpression>(properties);
  269. }
  270. NonnullRefPtr<ArrayExpression> Parser::parse_array_expression()
  271. {
  272. consume(TokenType::BracketOpen);
  273. NonnullRefPtrVector<Expression> elements;
  274. while (match_expression()) {
  275. elements.append(parse_expression(0));
  276. if (!match(TokenType::Comma))
  277. break;
  278. consume(TokenType::Comma);
  279. }
  280. consume(TokenType::BracketClose);
  281. return create_ast_node<ArrayExpression>(move(elements));
  282. }
  283. NonnullRefPtr<Expression> Parser::parse_expression(int min_precedence, Associativity associativity)
  284. {
  285. auto expression = parse_primary_expression();
  286. while (match_secondary_expression()) {
  287. int new_precedence = operator_precedence(m_current_token.type());
  288. if (new_precedence < min_precedence)
  289. break;
  290. if (new_precedence == min_precedence && associativity == Associativity::Left)
  291. break;
  292. Associativity new_associativity = operator_associativity(m_current_token.type());
  293. expression = parse_secondary_expression(move(expression), new_precedence, new_associativity);
  294. }
  295. return expression;
  296. }
  297. NonnullRefPtr<Expression> Parser::parse_secondary_expression(NonnullRefPtr<Expression> lhs, int min_precedence, Associativity associativity)
  298. {
  299. switch (m_current_token.type()) {
  300. case TokenType::Plus:
  301. consume();
  302. return create_ast_node<BinaryExpression>(BinaryOp::Plus, move(lhs), parse_expression(min_precedence, associativity));
  303. case TokenType::PlusEquals:
  304. consume();
  305. return create_ast_node<AssignmentExpression>(AssignmentOp::AdditionAssignment, move(lhs), parse_expression(min_precedence, associativity));
  306. case TokenType::Minus:
  307. consume();
  308. return create_ast_node<BinaryExpression>(BinaryOp::Minus, move(lhs), parse_expression(min_precedence, associativity));
  309. case TokenType::MinusEquals:
  310. consume();
  311. return create_ast_node<AssignmentExpression>(AssignmentOp::SubtractionAssignment, move(lhs), parse_expression(min_precedence, associativity));
  312. case TokenType::Asterisk:
  313. consume();
  314. return create_ast_node<BinaryExpression>(BinaryOp::Asterisk, move(lhs), parse_expression(min_precedence, associativity));
  315. case TokenType::AsteriskEquals:
  316. consume();
  317. return create_ast_node<AssignmentExpression>(AssignmentOp::MultiplicationAssignment, move(lhs), parse_expression(min_precedence, associativity));
  318. case TokenType::Slash:
  319. consume();
  320. return create_ast_node<BinaryExpression>(BinaryOp::Slash, move(lhs), parse_expression(min_precedence, associativity));
  321. case TokenType::SlashEquals:
  322. consume();
  323. return create_ast_node<AssignmentExpression>(AssignmentOp::DivisionAssignment, move(lhs), parse_expression(min_precedence, associativity));
  324. case TokenType::GreaterThan:
  325. consume();
  326. return create_ast_node<BinaryExpression>(BinaryOp::GreaterThan, move(lhs), parse_expression(min_precedence, associativity));
  327. case TokenType::GreaterThanEquals:
  328. consume();
  329. return create_ast_node<BinaryExpression>(BinaryOp::GreaterThanEquals, move(lhs), parse_expression(min_precedence, associativity));
  330. case TokenType::LessThan:
  331. consume();
  332. return create_ast_node<BinaryExpression>(BinaryOp::LessThan, move(lhs), parse_expression(min_precedence, associativity));
  333. case TokenType::LessThanEquals:
  334. consume();
  335. return create_ast_node<BinaryExpression>(BinaryOp::LessThanEquals, move(lhs), parse_expression(min_precedence, associativity));
  336. case TokenType::EqualsEqualsEquals:
  337. consume();
  338. return create_ast_node<BinaryExpression>(BinaryOp::TypedEquals, move(lhs), parse_expression(min_precedence, associativity));
  339. case TokenType::ExclamationMarkEqualsEquals:
  340. consume();
  341. return create_ast_node<BinaryExpression>(BinaryOp::TypedInequals, move(lhs), parse_expression(min_precedence, associativity));
  342. case TokenType::EqualsEquals:
  343. consume();
  344. return create_ast_node<BinaryExpression>(BinaryOp::AbstractEquals, move(lhs), parse_expression(min_precedence, associativity));
  345. case TokenType::ExclamationMarkEquals:
  346. consume();
  347. return create_ast_node<BinaryExpression>(BinaryOp::AbstractInequals, move(lhs), parse_expression(min_precedence, associativity));
  348. case TokenType::ParenOpen:
  349. return parse_call_expression(move(lhs));
  350. case TokenType::Equals:
  351. consume();
  352. return create_ast_node<AssignmentExpression>(AssignmentOp::Assignment, move(lhs), parse_expression(min_precedence, associativity));
  353. case TokenType::Period:
  354. consume();
  355. return create_ast_node<MemberExpression>(move(lhs), parse_expression(min_precedence, associativity));
  356. case TokenType::BracketOpen: {
  357. consume(TokenType::BracketOpen);
  358. auto expression = create_ast_node<MemberExpression>(move(lhs), parse_expression(0), true);
  359. consume(TokenType::BracketClose);
  360. return expression;
  361. }
  362. case TokenType::PlusPlus:
  363. consume();
  364. return create_ast_node<UpdateExpression>(UpdateOp::Increment, move(lhs));
  365. case TokenType::MinusMinus:
  366. consume();
  367. return create_ast_node<UpdateExpression>(UpdateOp::Decrement, move(lhs));
  368. case TokenType::DoubleAmpersand:
  369. consume();
  370. return create_ast_node<LogicalExpression>(LogicalOp::And, move(lhs), parse_expression(min_precedence, associativity));
  371. case TokenType::DoublePipe:
  372. consume();
  373. return create_ast_node<LogicalExpression>(LogicalOp::Or, move(lhs), parse_expression(min_precedence, associativity));
  374. default:
  375. m_has_errors = true;
  376. expected("secondary expression (missing switch case)");
  377. consume();
  378. return create_ast_node<ErrorExpression>();
  379. }
  380. }
  381. NonnullRefPtr<CallExpression> Parser::parse_call_expression(NonnullRefPtr<Expression> lhs)
  382. {
  383. consume(TokenType::ParenOpen);
  384. NonnullRefPtrVector<Expression> arguments;
  385. while (match_expression()) {
  386. arguments.append(parse_expression(0));
  387. if (!match(TokenType::Comma))
  388. break;
  389. consume();
  390. }
  391. consume(TokenType::ParenClose);
  392. return create_ast_node<CallExpression>(move(lhs), move(arguments));
  393. }
  394. NonnullRefPtr<ReturnStatement> Parser::parse_return_statement()
  395. {
  396. consume(TokenType::Return);
  397. if (match_expression()) {
  398. return create_ast_node<ReturnStatement>(parse_expression(0));
  399. }
  400. return create_ast_node<ReturnStatement>(nullptr);
  401. }
  402. NonnullRefPtr<BlockStatement> Parser::parse_block_statement()
  403. {
  404. auto block = create_ast_node<BlockStatement>();
  405. consume(TokenType::CurlyOpen);
  406. while (!done() && !match(TokenType::CurlyClose)) {
  407. if (match(TokenType::Semicolon)) {
  408. consume();
  409. } else if (match_statement()) {
  410. block->append(parse_statement());
  411. } else {
  412. expected("statement");
  413. consume();
  414. }
  415. }
  416. consume(TokenType::CurlyClose);
  417. return block;
  418. }
  419. template<typename FunctionNodeType>
  420. NonnullRefPtr<FunctionNodeType> Parser::parse_function_node()
  421. {
  422. consume(TokenType::Function);
  423. String name;
  424. if (FunctionNodeType::must_have_name()) {
  425. name = consume(TokenType::Identifier).value();
  426. } else {
  427. if (match(TokenType::Identifier))
  428. name = consume(TokenType::Identifier).value();
  429. }
  430. consume(TokenType::ParenOpen);
  431. Vector<FlyString> parameters;
  432. while (match(TokenType::Identifier)) {
  433. auto parameter = consume(TokenType::Identifier).value();
  434. parameters.append(parameter);
  435. if (match(TokenType::ParenClose)) {
  436. break;
  437. }
  438. consume(TokenType::Comma);
  439. }
  440. consume(TokenType::ParenClose);
  441. auto body = parse_block_statement();
  442. return create_ast_node<FunctionNodeType>(name, move(body), move(parameters));
  443. }
  444. NonnullRefPtr<VariableDeclaration> Parser::parse_variable_declaration()
  445. {
  446. DeclarationType declaration_type;
  447. switch (m_current_token.type()) {
  448. case TokenType::Var:
  449. declaration_type = DeclarationType::Var;
  450. consume(TokenType::Var);
  451. break;
  452. case TokenType::Let:
  453. declaration_type = DeclarationType::Let;
  454. consume(TokenType::Let);
  455. break;
  456. case TokenType::Const:
  457. declaration_type = DeclarationType::Const;
  458. consume(TokenType::Const);
  459. break;
  460. default:
  461. ASSERT_NOT_REACHED();
  462. }
  463. auto name = consume(TokenType::Identifier).value();
  464. RefPtr<Expression> initializer;
  465. if (match(TokenType::Equals)) {
  466. consume();
  467. initializer = parse_expression(0);
  468. }
  469. return create_ast_node<VariableDeclaration>(create_ast_node<Identifier>(name), move(initializer), declaration_type);
  470. }
  471. NonnullRefPtr<ThrowStatement> Parser::parse_throw_statement()
  472. {
  473. consume(TokenType::Throw);
  474. return create_ast_node<ThrowStatement>(parse_expression(0));
  475. }
  476. NonnullRefPtr<TryStatement> Parser::parse_try_statement()
  477. {
  478. consume(TokenType::Try);
  479. auto block = parse_block_statement();
  480. RefPtr<CatchClause> handler;
  481. if (match(TokenType::Catch))
  482. handler = parse_catch_clause();
  483. RefPtr<BlockStatement> finalizer;
  484. if (match(TokenType::Finally)) {
  485. consume();
  486. finalizer = parse_block_statement();
  487. }
  488. return create_ast_node<TryStatement>(move(block), move(handler), move(finalizer));
  489. }
  490. NonnullRefPtr<CatchClause> Parser::parse_catch_clause()
  491. {
  492. consume(TokenType::Catch);
  493. String parameter;
  494. if (match(TokenType::ParenOpen)) {
  495. consume();
  496. parameter = consume(TokenType::Identifier).value();
  497. consume(TokenType::ParenClose);
  498. }
  499. auto body = parse_block_statement();
  500. return create_ast_node<CatchClause>(parameter, move(body));
  501. }
  502. NonnullRefPtr<IfStatement> Parser::parse_if_statement()
  503. {
  504. consume(TokenType::If);
  505. consume(TokenType::ParenOpen);
  506. auto predicate = parse_expression(0);
  507. consume(TokenType::ParenClose);
  508. auto consequent = parse_statement();
  509. RefPtr<Statement> alternate;
  510. if (match(TokenType::Else)) {
  511. consume(TokenType::Else);
  512. alternate = parse_statement();
  513. }
  514. return create_ast_node<IfStatement>(move(predicate), move(consequent), move(alternate));
  515. }
  516. NonnullRefPtr<ForStatement> Parser::parse_for_statement()
  517. {
  518. consume(TokenType::For);
  519. consume(TokenType::ParenOpen);
  520. RefPtr<ASTNode> init;
  521. switch (m_current_token.type()) {
  522. case TokenType::Semicolon:
  523. break;
  524. default:
  525. if (match_expression())
  526. init = parse_expression(0);
  527. else if (match_variable_declaration())
  528. init = parse_variable_declaration();
  529. else
  530. ASSERT_NOT_REACHED();
  531. break;
  532. }
  533. consume(TokenType::Semicolon);
  534. RefPtr<Expression> test;
  535. switch (m_current_token.type()) {
  536. case TokenType::Semicolon:
  537. break;
  538. default:
  539. test = parse_expression(0);
  540. break;
  541. }
  542. consume(TokenType::Semicolon);
  543. RefPtr<Expression> update;
  544. switch (m_current_token.type()) {
  545. case TokenType::ParenClose:
  546. break;
  547. default:
  548. update = parse_expression(0);
  549. break;
  550. }
  551. consume(TokenType::ParenClose);
  552. auto body = parse_block_statement();
  553. return create_ast_node<ForStatement>(move(init), move(test), move(update), move(body));
  554. }
  555. bool Parser::match(TokenType type) const
  556. {
  557. return m_current_token.type() == type;
  558. }
  559. bool Parser::match_variable_declaration() const
  560. {
  561. switch (m_current_token.type()) {
  562. case TokenType::Var:
  563. case TokenType::Let:
  564. case TokenType::Const:
  565. return true;
  566. default:
  567. return false;
  568. }
  569. }
  570. bool Parser::match_expression() const
  571. {
  572. auto type = m_current_token.type();
  573. return type == TokenType::BoolLiteral
  574. || type == TokenType::NumericLiteral
  575. || type == TokenType::StringLiteral
  576. || type == TokenType::UndefinedLiteral
  577. || type == TokenType::NullLiteral
  578. || type == TokenType::Identifier
  579. || type == TokenType::New
  580. || type == TokenType::CurlyOpen
  581. || type == TokenType::BracketOpen
  582. || type == TokenType::ParenOpen
  583. || type == TokenType::Function
  584. || match_unary_prefixed_expression();
  585. }
  586. bool Parser::match_unary_prefixed_expression() const
  587. {
  588. auto type = m_current_token.type();
  589. return type == TokenType::PlusPlus
  590. || type == TokenType::MinusMinus
  591. || type == TokenType::ExclamationMark
  592. || type == TokenType::Tilde
  593. || type == TokenType::Typeof;
  594. }
  595. bool Parser::match_secondary_expression() const
  596. {
  597. auto type = m_current_token.type();
  598. return type == TokenType::Plus
  599. || type == TokenType::PlusEquals
  600. || type == TokenType::Minus
  601. || type == TokenType::MinusEquals
  602. || type == TokenType::Asterisk
  603. || type == TokenType::AsteriskEquals
  604. || type == TokenType::Slash
  605. || type == TokenType::SlashEquals
  606. || type == TokenType::Equals
  607. || type == TokenType::EqualsEqualsEquals
  608. || type == TokenType::ExclamationMarkEqualsEquals
  609. || type == TokenType::EqualsEquals
  610. || type == TokenType::ExclamationMarkEquals
  611. || type == TokenType::GreaterThan
  612. || type == TokenType::GreaterThanEquals
  613. || type == TokenType::LessThan
  614. || type == TokenType::LessThanEquals
  615. || type == TokenType::ParenOpen
  616. || type == TokenType::Period
  617. || type == TokenType::BracketOpen
  618. || type == TokenType::PlusPlus
  619. || type == TokenType::MinusMinus;
  620. }
  621. bool Parser::match_statement() const
  622. {
  623. auto type = m_current_token.type();
  624. return match_expression()
  625. || type == TokenType::Function
  626. || type == TokenType::Return
  627. || type == TokenType::Let
  628. || type == TokenType::Class
  629. || type == TokenType::Delete
  630. || type == TokenType::Do
  631. || type == TokenType::If
  632. || type == TokenType::Throw
  633. || type == TokenType::Try
  634. || type == TokenType::While
  635. || type == TokenType::For
  636. || type == TokenType::Const
  637. || type == TokenType::CurlyOpen
  638. || type == TokenType::Var;
  639. }
  640. bool Parser::done() const
  641. {
  642. return match(TokenType::Eof);
  643. }
  644. Token Parser::consume()
  645. {
  646. auto old_token = m_current_token;
  647. m_current_token = m_lexer.next();
  648. return old_token;
  649. }
  650. Token Parser::consume(TokenType type)
  651. {
  652. if (m_current_token.type() != type) {
  653. m_has_errors = true;
  654. fprintf(stderr, "Error: Unexpected token %s. Expected %s\n", m_current_token.name(), Token::name(type));
  655. }
  656. return consume();
  657. }
  658. void Parser::expected(const char* what)
  659. {
  660. m_has_errors = true;
  661. fprintf(stderr, "Error: Unexpected token %s. Expected %s\n", m_current_token.name(), what);
  662. }
  663. }