Parser.cpp 25 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662663664665666667668669670671672673674675676677678679680681682683684685686687688689690691692693694695696697698699700701702703704705706707708709710711712713714715716717718719720721722723724725726727728729730731732733734735736737738
  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::Try:
  173. return parse_try_statement();
  174. default:
  175. if (match_expression())
  176. return adopt(*new ExpressionStatement(parse_expression(0)));
  177. m_has_errors = true;
  178. expected("statement (missing switch case)");
  179. consume();
  180. return create_ast_node<ErrorStatement>();
  181. } }();
  182. if (match(TokenType::Semicolon))
  183. consume();
  184. return statement;
  185. }
  186. NonnullRefPtr<Expression> Parser::parse_primary_expression()
  187. {
  188. switch (m_current_token.type()) {
  189. case TokenType::ParenOpen: {
  190. consume(TokenType::ParenOpen);
  191. auto expression = parse_expression(0);
  192. consume(TokenType::ParenClose);
  193. return expression;
  194. }
  195. case TokenType::Identifier:
  196. return create_ast_node<Identifier>(consume().value());
  197. case TokenType::NumericLiteral:
  198. return create_ast_node<NumericLiteral>(consume().double_value());
  199. case TokenType::BoolLiteral:
  200. return create_ast_node<BooleanLiteral>(consume().bool_value());
  201. case TokenType::StringLiteral:
  202. return create_ast_node<StringLiteral>(consume().string_value());
  203. case TokenType::NullLiteral:
  204. consume();
  205. return create_ast_node<NullLiteral>();
  206. case TokenType::UndefinedLiteral:
  207. consume();
  208. return create_ast_node<UndefinedLiteral>();
  209. case TokenType::CurlyOpen:
  210. return parse_object_expression();
  211. case TokenType::Function:
  212. return parse_function_node<FunctionExpression>();
  213. case TokenType::BracketOpen:
  214. return parse_array_expression();
  215. default:
  216. m_has_errors = true;
  217. expected("primary expression (missing switch case)");
  218. consume();
  219. return create_ast_node<ErrorExpression>();
  220. }
  221. }
  222. NonnullRefPtr<Expression> Parser::parse_unary_prefixed_expression()
  223. {
  224. switch (m_current_token.type()) {
  225. case TokenType::PlusPlus:
  226. consume();
  227. return create_ast_node<UpdateExpression>(UpdateOp::Increment, parse_primary_expression(), true);
  228. case TokenType::MinusMinus:
  229. consume();
  230. return create_ast_node<UpdateExpression>(UpdateOp::Decrement, parse_primary_expression(), true);
  231. case TokenType::ExclamationMark:
  232. consume();
  233. return create_ast_node<UnaryExpression>(UnaryOp::Not, parse_primary_expression());
  234. case TokenType::Tilde:
  235. consume();
  236. return create_ast_node<UnaryExpression>(UnaryOp::BitwiseNot, parse_primary_expression());
  237. case TokenType::Typeof:
  238. consume();
  239. return create_ast_node<UnaryExpression>(UnaryOp::Typeof, parse_primary_expression());
  240. default:
  241. m_has_errors = true;
  242. expected("primary expression (missing switch case)");
  243. consume();
  244. return create_ast_node<ErrorExpression>();
  245. }
  246. }
  247. NonnullRefPtr<ObjectExpression> Parser::parse_object_expression()
  248. {
  249. HashMap<FlyString, NonnullRefPtr<Expression>> properties;
  250. consume(TokenType::CurlyOpen);
  251. while (!match(TokenType::CurlyClose)) {
  252. auto identifier = create_ast_node<Identifier>(consume(TokenType::Identifier).value());
  253. if (match(TokenType::Colon)) {
  254. consume(TokenType::Colon);
  255. properties.set(identifier->string(), parse_expression(0));
  256. } else {
  257. properties.set(identifier->string(), identifier);
  258. }
  259. if (!match(TokenType::Comma))
  260. break;
  261. consume(TokenType::Comma);
  262. }
  263. consume(TokenType::CurlyClose);
  264. return create_ast_node<ObjectExpression>(properties);
  265. }
  266. NonnullRefPtr<ArrayExpression> Parser::parse_array_expression()
  267. {
  268. consume(TokenType::BracketOpen);
  269. NonnullRefPtrVector<Expression> elements;
  270. while (match_expression()) {
  271. elements.append(parse_expression(0));
  272. if (!match(TokenType::Comma))
  273. break;
  274. consume(TokenType::Comma);
  275. }
  276. consume(TokenType::BracketClose);
  277. return create_ast_node<ArrayExpression>(move(elements));
  278. }
  279. NonnullRefPtr<Expression> Parser::parse_expression(int min_precedence, Associativity associativity)
  280. {
  281. if (match_unary_prefixed_expression())
  282. return parse_unary_prefixed_expression();
  283. auto expression = parse_primary_expression();
  284. while (match_secondary_expression()) {
  285. int new_precedence = operator_precedence(m_current_token.type());
  286. if (new_precedence < min_precedence)
  287. break;
  288. if (new_precedence == min_precedence && associativity == Associativity::Left)
  289. break;
  290. Associativity new_associativity = operator_associativity(m_current_token.type());
  291. expression = parse_secondary_expression(move(expression), new_precedence, new_associativity);
  292. }
  293. return expression;
  294. }
  295. NonnullRefPtr<Expression> Parser::parse_secondary_expression(NonnullRefPtr<Expression> lhs, int min_precedence, Associativity associativity)
  296. {
  297. switch (m_current_token.type()) {
  298. case TokenType::Plus:
  299. consume();
  300. return create_ast_node<BinaryExpression>(BinaryOp::Plus, move(lhs), parse_expression(min_precedence, associativity));
  301. case TokenType::PlusEquals:
  302. consume();
  303. return create_ast_node<AssignmentExpression>(AssignmentOp::AdditionAssignment, move(lhs), parse_expression(min_precedence, associativity));
  304. case TokenType::Minus:
  305. consume();
  306. return create_ast_node<BinaryExpression>(BinaryOp::Minus, move(lhs), parse_expression(min_precedence, associativity));
  307. case TokenType::MinusEquals:
  308. consume();
  309. return create_ast_node<AssignmentExpression>(AssignmentOp::SubtractionAssignment, move(lhs), parse_expression(min_precedence, associativity));
  310. case TokenType::Asterisk:
  311. consume();
  312. return create_ast_node<BinaryExpression>(BinaryOp::Asterisk, move(lhs), parse_expression(min_precedence, associativity));
  313. case TokenType::AsteriskEquals:
  314. consume();
  315. return create_ast_node<AssignmentExpression>(AssignmentOp::MultiplicationAssignment, move(lhs), parse_expression(min_precedence, associativity));
  316. case TokenType::Slash:
  317. consume();
  318. return create_ast_node<BinaryExpression>(BinaryOp::Slash, move(lhs), parse_expression(min_precedence, associativity));
  319. case TokenType::SlashEquals:
  320. consume();
  321. return create_ast_node<AssignmentExpression>(AssignmentOp::DivisionAssignment, move(lhs), parse_expression(min_precedence, associativity));
  322. case TokenType::GreaterThan:
  323. consume();
  324. return create_ast_node<BinaryExpression>(BinaryOp::GreaterThan, move(lhs), parse_expression(min_precedence, associativity));
  325. case TokenType::GreaterThanEquals:
  326. consume();
  327. return create_ast_node<BinaryExpression>(BinaryOp::GreaterThanEquals, move(lhs), parse_expression(min_precedence, associativity));
  328. case TokenType::LessThan:
  329. consume();
  330. return create_ast_node<BinaryExpression>(BinaryOp::LessThan, move(lhs), parse_expression(min_precedence, associativity));
  331. case TokenType::LessThanEquals:
  332. consume();
  333. return create_ast_node<BinaryExpression>(BinaryOp::LessThanEquals, move(lhs), parse_expression(min_precedence, associativity));
  334. case TokenType::EqualsEqualsEquals:
  335. consume();
  336. return create_ast_node<BinaryExpression>(BinaryOp::TypedEquals, move(lhs), parse_expression(min_precedence, associativity));
  337. case TokenType::ExclamationMarkEqualsEquals:
  338. consume();
  339. return create_ast_node<BinaryExpression>(BinaryOp::TypedInequals, move(lhs), parse_expression(min_precedence, associativity));
  340. case TokenType::EqualsEquals:
  341. consume();
  342. return create_ast_node<BinaryExpression>(BinaryOp::AbstractEquals, move(lhs), parse_expression(min_precedence, associativity));
  343. case TokenType::ExclamationMarkEquals:
  344. consume();
  345. return create_ast_node<BinaryExpression>(BinaryOp::AbstractInequals, move(lhs), parse_expression(min_precedence, associativity));
  346. case TokenType::ParenOpen:
  347. return parse_call_expression(move(lhs));
  348. case TokenType::Equals:
  349. consume();
  350. return create_ast_node<AssignmentExpression>(AssignmentOp::Assignment, move(lhs), parse_expression(min_precedence, associativity));
  351. case TokenType::Period:
  352. consume();
  353. return create_ast_node<MemberExpression>(move(lhs), parse_expression(min_precedence, associativity));
  354. case TokenType::BracketOpen: {
  355. consume(TokenType::BracketOpen);
  356. auto expression = create_ast_node<MemberExpression>(move(lhs), parse_expression(0), true);
  357. consume(TokenType::BracketClose);
  358. return expression;
  359. }
  360. case TokenType::PlusPlus:
  361. consume();
  362. return create_ast_node<UpdateExpression>(UpdateOp::Increment, move(lhs));
  363. case TokenType::MinusMinus:
  364. consume();
  365. return create_ast_node<UpdateExpression>(UpdateOp::Decrement, move(lhs));
  366. case TokenType::DoubleAmpersand:
  367. consume();
  368. return create_ast_node<LogicalExpression>(LogicalOp::And, move(lhs), parse_expression(min_precedence, associativity));
  369. case TokenType::DoublePipe:
  370. consume();
  371. return create_ast_node<LogicalExpression>(LogicalOp::Or, move(lhs), parse_expression(min_precedence, associativity));
  372. default:
  373. m_has_errors = true;
  374. expected("secondary expression (missing switch case)");
  375. consume();
  376. return create_ast_node<ErrorExpression>();
  377. }
  378. }
  379. NonnullRefPtr<CallExpression> Parser::parse_call_expression(NonnullRefPtr<Expression> lhs)
  380. {
  381. consume(TokenType::ParenOpen);
  382. NonnullRefPtrVector<Expression> arguments;
  383. while (match_expression()) {
  384. arguments.append(parse_expression(0));
  385. if (!match(TokenType::Comma))
  386. break;
  387. consume();
  388. }
  389. consume(TokenType::ParenClose);
  390. return create_ast_node<CallExpression>(move(lhs), move(arguments));
  391. }
  392. NonnullRefPtr<ReturnStatement> Parser::parse_return_statement()
  393. {
  394. consume(TokenType::Return);
  395. if (match_expression()) {
  396. return create_ast_node<ReturnStatement>(parse_expression(0));
  397. }
  398. return create_ast_node<ReturnStatement>(nullptr);
  399. }
  400. NonnullRefPtr<BlockStatement> Parser::parse_block_statement()
  401. {
  402. auto block = create_ast_node<BlockStatement>();
  403. consume(TokenType::CurlyOpen);
  404. while (!done() && !match(TokenType::CurlyClose)) {
  405. if (match(TokenType::Semicolon)) {
  406. consume();
  407. } else if (match_statement()) {
  408. block->append(parse_statement());
  409. } else {
  410. expected("statement");
  411. consume();
  412. }
  413. }
  414. consume(TokenType::CurlyClose);
  415. return block;
  416. }
  417. template<typename FunctionNodeType>
  418. NonnullRefPtr<FunctionNodeType> Parser::parse_function_node()
  419. {
  420. consume(TokenType::Function);
  421. String name;
  422. if (FunctionNodeType::must_have_name()) {
  423. name = consume(TokenType::Identifier).value();
  424. } else {
  425. if (match(TokenType::Identifier))
  426. name = consume(TokenType::Identifier).value();
  427. }
  428. consume(TokenType::ParenOpen);
  429. Vector<FlyString> parameters;
  430. while (match(TokenType::Identifier)) {
  431. auto parameter = consume(TokenType::Identifier).value();
  432. parameters.append(parameter);
  433. if (match(TokenType::ParenClose)) {
  434. break;
  435. }
  436. consume(TokenType::Comma);
  437. }
  438. consume(TokenType::ParenClose);
  439. auto body = parse_block_statement();
  440. return create_ast_node<FunctionNodeType>(name, move(body), move(parameters));
  441. }
  442. NonnullRefPtr<VariableDeclaration> Parser::parse_variable_declaration()
  443. {
  444. DeclarationType declaration_type;
  445. switch (m_current_token.type()) {
  446. case TokenType::Var:
  447. declaration_type = DeclarationType::Var;
  448. consume(TokenType::Var);
  449. break;
  450. case TokenType::Let:
  451. declaration_type = DeclarationType::Let;
  452. consume(TokenType::Let);
  453. break;
  454. case TokenType::Const:
  455. declaration_type = DeclarationType::Const;
  456. consume(TokenType::Const);
  457. break;
  458. default:
  459. ASSERT_NOT_REACHED();
  460. }
  461. auto name = consume(TokenType::Identifier).value();
  462. RefPtr<Expression> initializer;
  463. if (match(TokenType::Equals)) {
  464. consume();
  465. initializer = parse_expression(0);
  466. }
  467. return create_ast_node<VariableDeclaration>(create_ast_node<Identifier>(name), move(initializer), declaration_type);
  468. }
  469. NonnullRefPtr<TryStatement> Parser::parse_try_statement()
  470. {
  471. consume(TokenType::Try);
  472. auto block = parse_block_statement();
  473. RefPtr<CatchClause> handler;
  474. if (match(TokenType::Catch))
  475. handler = parse_catch_clause();
  476. RefPtr<BlockStatement> finalizer;
  477. if (match(TokenType::Finally)) {
  478. consume();
  479. finalizer = parse_block_statement();
  480. }
  481. return create_ast_node<TryStatement>(move(block), move(handler), move(finalizer));
  482. }
  483. NonnullRefPtr<CatchClause> Parser::parse_catch_clause()
  484. {
  485. consume(TokenType::Catch);
  486. String parameter;
  487. if (match(TokenType::ParenOpen)) {
  488. consume();
  489. parameter = consume(TokenType::Identifier).value();
  490. consume(TokenType::ParenClose);
  491. }
  492. auto body = parse_block_statement();
  493. return create_ast_node<CatchClause>(parameter, move(body));
  494. }
  495. NonnullRefPtr<IfStatement> Parser::parse_if_statement()
  496. {
  497. consume(TokenType::If);
  498. consume(TokenType::ParenOpen);
  499. auto predicate = parse_expression(0);
  500. consume(TokenType::ParenClose);
  501. auto consequent = parse_statement();
  502. RefPtr<Statement> alternate;
  503. if (match(TokenType::Else)) {
  504. consume(TokenType::Else);
  505. alternate = parse_statement();
  506. }
  507. return create_ast_node<IfStatement>(move(predicate), move(consequent), move(alternate));
  508. }
  509. NonnullRefPtr<ForStatement> Parser::parse_for_statement()
  510. {
  511. consume(TokenType::For);
  512. consume(TokenType::ParenOpen);
  513. RefPtr<ASTNode> init;
  514. switch (m_current_token.type()) {
  515. case TokenType::Semicolon:
  516. break;
  517. default:
  518. if (match_expression())
  519. init = parse_expression(0);
  520. else if (match_variable_declaration())
  521. init = parse_variable_declaration();
  522. else
  523. ASSERT_NOT_REACHED();
  524. break;
  525. }
  526. consume(TokenType::Semicolon);
  527. RefPtr<Expression> test;
  528. switch (m_current_token.type()) {
  529. case TokenType::Semicolon:
  530. break;
  531. default:
  532. test = parse_expression(0);
  533. break;
  534. }
  535. consume(TokenType::Semicolon);
  536. RefPtr<Expression> update;
  537. switch (m_current_token.type()) {
  538. case TokenType::Semicolon:
  539. break;
  540. default:
  541. update = parse_expression(0);
  542. break;
  543. }
  544. consume(TokenType::ParenClose);
  545. auto body = parse_block_statement();
  546. return create_ast_node<ForStatement>(move(init), move(test), move(update), move(body));
  547. }
  548. bool Parser::match(TokenType type) const
  549. {
  550. return m_current_token.type() == type;
  551. }
  552. bool Parser::match_variable_declaration() const
  553. {
  554. switch (m_current_token.type()) {
  555. case TokenType::Var:
  556. case TokenType::Let:
  557. case TokenType::Const:
  558. return true;
  559. default:
  560. return false;
  561. }
  562. }
  563. bool Parser::match_expression() const
  564. {
  565. auto type = m_current_token.type();
  566. return type == TokenType::BoolLiteral
  567. || type == TokenType::NumericLiteral
  568. || type == TokenType::StringLiteral
  569. || type == TokenType::UndefinedLiteral
  570. || type == TokenType::NullLiteral
  571. || type == TokenType::Identifier
  572. || type == TokenType::New
  573. || type == TokenType::CurlyOpen
  574. || type == TokenType::BracketOpen
  575. || type == TokenType::ParenOpen
  576. || type == TokenType::Function
  577. || match_unary_prefixed_expression();
  578. }
  579. bool Parser::match_unary_prefixed_expression() const
  580. {
  581. auto type = m_current_token.type();
  582. return type == TokenType::PlusPlus
  583. || type == TokenType::MinusMinus
  584. || type == TokenType::ExclamationMark
  585. || type == TokenType::Tilde
  586. || type == TokenType::Typeof;
  587. }
  588. bool Parser::match_secondary_expression() const
  589. {
  590. auto type = m_current_token.type();
  591. return type == TokenType::Plus
  592. || type == TokenType::PlusEquals
  593. || type == TokenType::Minus
  594. || type == TokenType::MinusEquals
  595. || type == TokenType::Asterisk
  596. || type == TokenType::AsteriskEquals
  597. || type == TokenType::Slash
  598. || type == TokenType::SlashEquals
  599. || type == TokenType::Equals
  600. || type == TokenType::EqualsEqualsEquals
  601. || type == TokenType::ExclamationMarkEqualsEquals
  602. || type == TokenType::EqualsEquals
  603. || type == TokenType::ExclamationMarkEquals
  604. || type == TokenType::GreaterThan
  605. || type == TokenType::GreaterThanEquals
  606. || type == TokenType::LessThan
  607. || type == TokenType::LessThanEquals
  608. || type == TokenType::ParenOpen
  609. || type == TokenType::Period
  610. || type == TokenType::BracketOpen
  611. || type == TokenType::PlusPlus
  612. || type == TokenType::MinusMinus;
  613. }
  614. bool Parser::match_statement() const
  615. {
  616. auto type = m_current_token.type();
  617. return match_expression()
  618. || type == TokenType::Function
  619. || type == TokenType::Return
  620. || type == TokenType::Let
  621. || type == TokenType::Class
  622. || type == TokenType::Delete
  623. || type == TokenType::Do
  624. || type == TokenType::If
  625. || type == TokenType::Try
  626. || type == TokenType::While
  627. || type == TokenType::For
  628. || type == TokenType::Const
  629. || type == TokenType::CurlyOpen
  630. || type == TokenType::Var;
  631. }
  632. bool Parser::done() const
  633. {
  634. return match(TokenType::Eof);
  635. }
  636. Token Parser::consume()
  637. {
  638. auto old_token = m_current_token;
  639. m_current_token = m_lexer.next();
  640. return old_token;
  641. }
  642. Token Parser::consume(TokenType type)
  643. {
  644. if (m_current_token.type() != type) {
  645. m_has_errors = true;
  646. fprintf(stderr, "Error: Unexpected token %s. Expected %s\n", m_current_token.name(), Token::name(type));
  647. }
  648. return consume();
  649. }
  650. void Parser::expected(const char* what)
  651. {
  652. m_has_errors = true;
  653. fprintf(stderr, "Error: Unexpected token %s. Expected %s\n", m_current_token.name(), what);
  654. }
  655. }