Parser.cpp 33 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662663664665666667668669670671672673674675676677678679680681682683684685686687688689690691692693694695696697698699700701702703704705706707708709710711712713714715716717718719720721722723724725726727728729730731732733734735736737738739740741742743744745746747748749750751752753754755756757758759760761762763764765766767768769770771772773774775776777778779780781782783784785786787788789790791792793794795796797798799800801802803804805806807808809810811812813814815816817818819820821822823824825826827828829830831832833834835836837838839840841842843844845846847848849850851852853854855856857858859860861862863864865866867868869870871872873874875876877878879880881882883884885886887888889890891892893894895896897898899900901902903904905906907908909910911912913914915916917918919920921922923924925926927928929930931932933934935936937938939940941942943944945946947948949950951952953954955956957958959960961962963964965966967968969970971972973974975976977978979980981982983984985986987988989990
  1. /*
  2. * Copyright (c) 2021, Tim Flynn <trflynn89@pm.me>
  3. *
  4. * SPDX-License-Identifier: BSD-2-Clause
  5. */
  6. #include "Parser.h"
  7. #include <AK/TypeCasts.h>
  8. namespace SQL {
  9. Parser::Parser(Lexer lexer)
  10. : m_parser_state(move(lexer))
  11. {
  12. }
  13. NonnullRefPtr<Statement> Parser::next_statement()
  14. {
  15. if (match(TokenType::With)) {
  16. auto common_table_expression_list = parse_common_table_expression_list();
  17. return parse_statement_with_expression_list(move(common_table_expression_list));
  18. }
  19. return parse_statement();
  20. }
  21. NonnullRefPtr<Statement> Parser::parse_statement()
  22. {
  23. switch (m_parser_state.m_token.type()) {
  24. case TokenType::Create:
  25. return parse_create_table_statement();
  26. case TokenType::Drop:
  27. return parse_drop_table_statement();
  28. case TokenType::Delete:
  29. return parse_delete_statement({});
  30. case TokenType::Select:
  31. return parse_select_statement({});
  32. default:
  33. expected("CREATE, DROP, DELETE, or SELECT");
  34. return create_ast_node<ErrorStatement>();
  35. }
  36. }
  37. NonnullRefPtr<Statement> Parser::parse_statement_with_expression_list(RefPtr<CommonTableExpressionList> common_table_expression_list)
  38. {
  39. switch (m_parser_state.m_token.type()) {
  40. case TokenType::Delete:
  41. return parse_delete_statement(move(common_table_expression_list));
  42. case TokenType::Select:
  43. return parse_select_statement(move(common_table_expression_list));
  44. default:
  45. expected("DELETE or SELECT");
  46. return create_ast_node<ErrorStatement>();
  47. }
  48. }
  49. NonnullRefPtr<CreateTable> Parser::parse_create_table_statement()
  50. {
  51. // https://sqlite.org/lang_createtable.html
  52. consume(TokenType::Create);
  53. bool is_temporary = false;
  54. if (consume_if(TokenType::Temp) || consume_if(TokenType::Temporary))
  55. is_temporary = true;
  56. consume(TokenType::Table);
  57. bool is_error_if_table_exists = true;
  58. if (consume_if(TokenType::If)) {
  59. consume(TokenType::Not);
  60. consume(TokenType::Exists);
  61. is_error_if_table_exists = false;
  62. }
  63. String schema_or_table_name = consume(TokenType::Identifier).value();
  64. String schema_name;
  65. String table_name;
  66. if (consume_if(TokenType::Period)) {
  67. schema_name = move(schema_or_table_name);
  68. table_name = consume(TokenType::Identifier).value();
  69. } else {
  70. table_name = move(schema_or_table_name);
  71. }
  72. // FIXME: Parse "AS select-stmt".
  73. NonnullRefPtrVector<ColumnDefinition> column_definitions;
  74. consume(TokenType::ParenOpen);
  75. do {
  76. column_definitions.append(parse_column_definition());
  77. if (match(TokenType::ParenClose))
  78. break;
  79. consume(TokenType::Comma);
  80. } while (!match(TokenType::Eof));
  81. // FIXME: Parse "table-constraint".
  82. consume(TokenType::ParenClose);
  83. consume(TokenType::SemiColon);
  84. return create_ast_node<CreateTable>(move(schema_name), move(table_name), move(column_definitions), is_temporary, is_error_if_table_exists);
  85. }
  86. NonnullRefPtr<DropTable> Parser::parse_drop_table_statement()
  87. {
  88. // https://sqlite.org/lang_droptable.html
  89. consume(TokenType::Drop);
  90. consume(TokenType::Table);
  91. bool is_error_if_table_does_not_exist = true;
  92. if (consume_if(TokenType::If)) {
  93. consume(TokenType::Exists);
  94. is_error_if_table_does_not_exist = false;
  95. }
  96. String schema_or_table_name = consume(TokenType::Identifier).value();
  97. String schema_name;
  98. String table_name;
  99. if (consume_if(TokenType::Period)) {
  100. schema_name = move(schema_or_table_name);
  101. table_name = consume(TokenType::Identifier).value();
  102. } else {
  103. table_name = move(schema_or_table_name);
  104. }
  105. consume(TokenType::SemiColon);
  106. return create_ast_node<DropTable>(move(schema_name), move(table_name), is_error_if_table_does_not_exist);
  107. }
  108. NonnullRefPtr<Delete> Parser::parse_delete_statement(RefPtr<CommonTableExpressionList> common_table_expression_list)
  109. {
  110. // https://sqlite.org/lang_delete.html
  111. consume(TokenType::Delete);
  112. consume(TokenType::From);
  113. auto qualified_table_name = parse_qualified_table_name();
  114. RefPtr<Expression> where_clause;
  115. if (consume_if(TokenType::Where))
  116. where_clause = parse_expression();
  117. RefPtr<ReturningClause> returning_clause;
  118. if (match(TokenType::Returning))
  119. returning_clause = parse_returning_clause();
  120. consume(TokenType::SemiColon);
  121. return create_ast_node<Delete>(move(common_table_expression_list), move(qualified_table_name), move(where_clause), move(returning_clause));
  122. }
  123. NonnullRefPtr<Select> Parser::parse_select_statement(RefPtr<CommonTableExpressionList> common_table_expression_list)
  124. {
  125. // https://sqlite.org/lang_select.html
  126. consume(TokenType::Select);
  127. bool select_all = !consume_if(TokenType::Distinct);
  128. consume_if(TokenType::All); // ALL is the default, so ignore it if specified.
  129. NonnullRefPtrVector<ResultColumn> result_column_list;
  130. do {
  131. result_column_list.append(parse_result_column());
  132. if (!match(TokenType::Comma))
  133. break;
  134. consume(TokenType::Comma);
  135. } while (!match(TokenType::Eof));
  136. NonnullRefPtrVector<TableOrSubquery> table_or_subquery_list;
  137. if (consume_if(TokenType::From)) {
  138. // FIXME: Parse join-clause.
  139. do {
  140. table_or_subquery_list.append(parse_table_or_subquery());
  141. if (!match(TokenType::Comma))
  142. break;
  143. consume(TokenType::Comma);
  144. } while (!match(TokenType::Eof));
  145. }
  146. RefPtr<Expression> where_clause;
  147. if (consume_if(TokenType::Where))
  148. where_clause = parse_expression();
  149. RefPtr<GroupByClause> group_by_clause;
  150. if (consume_if(TokenType::Group)) {
  151. consume(TokenType::By);
  152. NonnullRefPtrVector<Expression> group_by_list;
  153. do {
  154. group_by_list.append(parse_expression());
  155. if (!match(TokenType::Comma))
  156. break;
  157. consume(TokenType::Comma);
  158. } while (!match(TokenType::Eof));
  159. RefPtr<Expression> having_clause;
  160. if (consume_if(TokenType::Having))
  161. having_clause = parse_expression();
  162. group_by_clause = create_ast_node<GroupByClause>(move(group_by_list), move(having_clause));
  163. }
  164. // FIXME: Parse 'WINDOW window-name AS window-defn'.
  165. // FIXME: Parse 'compound-operator'.
  166. NonnullRefPtrVector<OrderingTerm> ordering_term_list;
  167. if (consume_if(TokenType::Order)) {
  168. consume(TokenType::By);
  169. do {
  170. ordering_term_list.append(parse_ordering_term());
  171. if (!match(TokenType::Comma))
  172. break;
  173. consume(TokenType::Comma);
  174. } while (!match(TokenType::Eof));
  175. }
  176. RefPtr<LimitClause> limit_clause;
  177. if (consume_if(TokenType::Limit)) {
  178. auto limit_expression = parse_expression();
  179. RefPtr<Expression> offset_expression;
  180. if (consume_if(TokenType::Offset)) {
  181. offset_expression = parse_expression();
  182. } else {
  183. // Note: The limit clause may instead be definied as "offset-expression, limit-expression", effectively reversing the
  184. // order of the expressions. SQLite notes "this is counter-intuitive" and "to avoid confusion, programmers are strongly
  185. // encouraged to ... avoid using a LIMIT clause with a comma-separated offset."
  186. VERIFY(!consume_if(TokenType::Comma));
  187. }
  188. limit_clause = create_ast_node<LimitClause>(move(limit_expression), move(offset_expression));
  189. }
  190. consume(TokenType::SemiColon);
  191. return create_ast_node<Select>(move(common_table_expression_list), select_all, move(result_column_list), move(table_or_subquery_list), move(where_clause), move(group_by_clause), move(ordering_term_list), move(limit_clause));
  192. }
  193. NonnullRefPtr<CommonTableExpressionList> Parser::parse_common_table_expression_list()
  194. {
  195. consume(TokenType::With);
  196. bool recursive = consume_if(TokenType::Recursive);
  197. NonnullRefPtrVector<CommonTableExpression> common_table_expression;
  198. do {
  199. common_table_expression.append(parse_common_table_expression());
  200. if (!match(TokenType::Comma))
  201. break;
  202. consume(TokenType::Comma);
  203. } while (!match(TokenType::Eof));
  204. return create_ast_node<CommonTableExpressionList>(recursive, move(common_table_expression));
  205. }
  206. NonnullRefPtr<Expression> Parser::parse_expression()
  207. {
  208. // https://sqlite.org/lang_expr.html
  209. auto expression = parse_primary_expression();
  210. if (match_secondary_expression())
  211. expression = parse_secondary_expression(move(expression));
  212. // FIXME: Parse 'bind-parameter'.
  213. // FIXME: Parse 'function-name'.
  214. // FIXME: Parse 'exists'.
  215. // FIXME: Parse 'raise-function'.
  216. return expression;
  217. }
  218. NonnullRefPtr<Expression> Parser::parse_primary_expression()
  219. {
  220. if (auto expression = parse_literal_value_expression(); expression.has_value())
  221. return move(expression.value());
  222. if (auto expression = parse_column_name_expression(); expression.has_value())
  223. return move(expression.value());
  224. if (auto expression = parse_unary_operator_expression(); expression.has_value())
  225. return move(expression.value());
  226. if (auto expression = parse_chained_expression(); expression.has_value())
  227. return move(expression.value());
  228. if (auto expression = parse_cast_expression(); expression.has_value())
  229. return move(expression.value());
  230. if (auto expression = parse_case_expression(); expression.has_value())
  231. return move(expression.value());
  232. expected("Primary Expression");
  233. consume();
  234. return create_ast_node<ErrorExpression>();
  235. }
  236. NonnullRefPtr<Expression> Parser::parse_secondary_expression(NonnullRefPtr<Expression> primary)
  237. {
  238. if (auto expression = parse_binary_operator_expression(primary); expression.has_value())
  239. return move(expression.value());
  240. if (auto expression = parse_collate_expression(primary); expression.has_value())
  241. return move(expression.value());
  242. if (auto expression = parse_is_expression(primary); expression.has_value())
  243. return move(expression.value());
  244. bool invert_expression = false;
  245. if (consume_if(TokenType::Not))
  246. invert_expression = true;
  247. if (auto expression = parse_match_expression(primary, invert_expression); expression.has_value())
  248. return move(expression.value());
  249. if (auto expression = parse_null_expression(primary, invert_expression); expression.has_value())
  250. return move(expression.value());
  251. if (auto expression = parse_between_expression(primary, invert_expression); expression.has_value())
  252. return move(expression.value());
  253. if (auto expression = parse_in_expression(primary, invert_expression); expression.has_value())
  254. return move(expression.value());
  255. expected("Secondary Expression");
  256. consume();
  257. return create_ast_node<ErrorExpression>();
  258. }
  259. bool Parser::match_secondary_expression() const
  260. {
  261. return match(TokenType::Not)
  262. || match(TokenType::DoublePipe)
  263. || match(TokenType::Asterisk)
  264. || match(TokenType::Divide)
  265. || match(TokenType::Modulus)
  266. || match(TokenType::Plus)
  267. || match(TokenType::Minus)
  268. || match(TokenType::ShiftLeft)
  269. || match(TokenType::ShiftRight)
  270. || match(TokenType::Ampersand)
  271. || match(TokenType::Pipe)
  272. || match(TokenType::LessThan)
  273. || match(TokenType::LessThanEquals)
  274. || match(TokenType::GreaterThan)
  275. || match(TokenType::GreaterThanEquals)
  276. || match(TokenType::Equals)
  277. || match(TokenType::EqualsEquals)
  278. || match(TokenType::NotEquals1)
  279. || match(TokenType::NotEquals2)
  280. || match(TokenType::And)
  281. || match(TokenType::Or)
  282. || match(TokenType::Collate)
  283. || match(TokenType::Is)
  284. || match(TokenType::Like)
  285. || match(TokenType::Glob)
  286. || match(TokenType::Match)
  287. || match(TokenType::Regexp)
  288. || match(TokenType::Isnull)
  289. || match(TokenType::Notnull)
  290. || match(TokenType::Between)
  291. || match(TokenType::In);
  292. }
  293. Optional<NonnullRefPtr<Expression>> Parser::parse_literal_value_expression()
  294. {
  295. if (match(TokenType::NumericLiteral)) {
  296. auto value = consume().double_value();
  297. return create_ast_node<NumericLiteral>(value);
  298. }
  299. if (match(TokenType::StringLiteral)) {
  300. // TODO: Should the surrounding ' ' be removed here?
  301. auto value = consume().value();
  302. return create_ast_node<StringLiteral>(value);
  303. }
  304. if (match(TokenType::BlobLiteral)) {
  305. // TODO: Should the surrounding x' ' be removed here?
  306. auto value = consume().value();
  307. return create_ast_node<BlobLiteral>(value);
  308. }
  309. if (consume_if(TokenType::Null))
  310. return create_ast_node<NullLiteral>();
  311. return {};
  312. }
  313. Optional<NonnullRefPtr<Expression>> Parser::parse_column_name_expression(String with_parsed_identifier, bool with_parsed_period)
  314. {
  315. if (with_parsed_identifier.is_null() && !match(TokenType::Identifier))
  316. return {};
  317. String first_identifier;
  318. if (with_parsed_identifier.is_null())
  319. first_identifier = consume(TokenType::Identifier).value();
  320. else
  321. first_identifier = move(with_parsed_identifier);
  322. String schema_name;
  323. String table_name;
  324. String column_name;
  325. if (with_parsed_period || consume_if(TokenType::Period)) {
  326. String second_identifier = consume(TokenType::Identifier).value();
  327. if (consume_if(TokenType::Period)) {
  328. schema_name = move(first_identifier);
  329. table_name = move(second_identifier);
  330. column_name = consume(TokenType::Identifier).value();
  331. } else {
  332. table_name = move(first_identifier);
  333. column_name = move(second_identifier);
  334. }
  335. } else {
  336. column_name = move(first_identifier);
  337. }
  338. return create_ast_node<ColumnNameExpression>(move(schema_name), move(table_name), move(column_name));
  339. }
  340. Optional<NonnullRefPtr<Expression>> Parser::parse_unary_operator_expression()
  341. {
  342. if (consume_if(TokenType::Minus))
  343. return create_ast_node<UnaryOperatorExpression>(UnaryOperator::Minus, parse_expression());
  344. if (consume_if(TokenType::Plus))
  345. return create_ast_node<UnaryOperatorExpression>(UnaryOperator::Plus, parse_expression());
  346. if (consume_if(TokenType::Tilde))
  347. return create_ast_node<UnaryOperatorExpression>(UnaryOperator::BitwiseNot, parse_expression());
  348. if (consume_if(TokenType::Not))
  349. return create_ast_node<UnaryOperatorExpression>(UnaryOperator::Not, parse_expression());
  350. return {};
  351. }
  352. Optional<NonnullRefPtr<Expression>> Parser::parse_binary_operator_expression(NonnullRefPtr<Expression> lhs)
  353. {
  354. if (consume_if(TokenType::DoublePipe))
  355. return create_ast_node<BinaryOperatorExpression>(BinaryOperator::Concatenate, move(lhs), parse_expression());
  356. if (consume_if(TokenType::Asterisk))
  357. return create_ast_node<BinaryOperatorExpression>(BinaryOperator::Multiplication, move(lhs), parse_expression());
  358. if (consume_if(TokenType::Divide))
  359. return create_ast_node<BinaryOperatorExpression>(BinaryOperator::Division, move(lhs), parse_expression());
  360. if (consume_if(TokenType::Modulus))
  361. return create_ast_node<BinaryOperatorExpression>(BinaryOperator::Modulo, move(lhs), parse_expression());
  362. if (consume_if(TokenType::Plus))
  363. return create_ast_node<BinaryOperatorExpression>(BinaryOperator::Plus, move(lhs), parse_expression());
  364. if (consume_if(TokenType::Minus))
  365. return create_ast_node<BinaryOperatorExpression>(BinaryOperator::Minus, move(lhs), parse_expression());
  366. if (consume_if(TokenType::ShiftLeft))
  367. return create_ast_node<BinaryOperatorExpression>(BinaryOperator::ShiftLeft, move(lhs), parse_expression());
  368. if (consume_if(TokenType::ShiftRight))
  369. return create_ast_node<BinaryOperatorExpression>(BinaryOperator::ShiftRight, move(lhs), parse_expression());
  370. if (consume_if(TokenType::Ampersand))
  371. return create_ast_node<BinaryOperatorExpression>(BinaryOperator::BitwiseAnd, move(lhs), parse_expression());
  372. if (consume_if(TokenType::Pipe))
  373. return create_ast_node<BinaryOperatorExpression>(BinaryOperator::BitwiseOr, move(lhs), parse_expression());
  374. if (consume_if(TokenType::LessThan))
  375. return create_ast_node<BinaryOperatorExpression>(BinaryOperator::LessThan, move(lhs), parse_expression());
  376. if (consume_if(TokenType::LessThanEquals))
  377. return create_ast_node<BinaryOperatorExpression>(BinaryOperator::LessThanEquals, move(lhs), parse_expression());
  378. if (consume_if(TokenType::GreaterThan))
  379. return create_ast_node<BinaryOperatorExpression>(BinaryOperator::GreaterThan, move(lhs), parse_expression());
  380. if (consume_if(TokenType::GreaterThanEquals))
  381. return create_ast_node<BinaryOperatorExpression>(BinaryOperator::GreaterThanEquals, move(lhs), parse_expression());
  382. if (consume_if(TokenType::Equals) || consume_if(TokenType::EqualsEquals))
  383. return create_ast_node<BinaryOperatorExpression>(BinaryOperator::Equals, move(lhs), parse_expression());
  384. if (consume_if(TokenType::NotEquals1) || consume_if(TokenType::NotEquals2))
  385. return create_ast_node<BinaryOperatorExpression>(BinaryOperator::NotEquals, move(lhs), parse_expression());
  386. if (consume_if(TokenType::And))
  387. return create_ast_node<BinaryOperatorExpression>(BinaryOperator::And, move(lhs), parse_expression());
  388. if (consume_if(TokenType::Or))
  389. return create_ast_node<BinaryOperatorExpression>(BinaryOperator::Or, move(lhs), parse_expression());
  390. return {};
  391. }
  392. Optional<NonnullRefPtr<Expression>> Parser::parse_chained_expression()
  393. {
  394. if (!match(TokenType::ParenOpen))
  395. return {};
  396. NonnullRefPtrVector<Expression> expressions;
  397. consume(TokenType::ParenOpen);
  398. do {
  399. expressions.append(parse_expression());
  400. if (match(TokenType::ParenClose))
  401. break;
  402. consume(TokenType::Comma);
  403. } while (!match(TokenType::Eof));
  404. consume(TokenType::ParenClose);
  405. return create_ast_node<ChainedExpression>(move(expressions));
  406. }
  407. Optional<NonnullRefPtr<Expression>> Parser::parse_cast_expression()
  408. {
  409. if (!match(TokenType::Cast))
  410. return {};
  411. consume(TokenType::Cast);
  412. consume(TokenType::ParenOpen);
  413. auto expression = parse_expression();
  414. consume(TokenType::As);
  415. auto type_name = parse_type_name();
  416. consume(TokenType::ParenClose);
  417. return create_ast_node<CastExpression>(move(expression), move(type_name));
  418. }
  419. Optional<NonnullRefPtr<Expression>> Parser::parse_case_expression()
  420. {
  421. if (!match(TokenType::Case))
  422. return {};
  423. consume();
  424. RefPtr<Expression> case_expression;
  425. if (!match(TokenType::When)) {
  426. case_expression = parse_expression();
  427. }
  428. Vector<CaseExpression::WhenThenClause> when_then_clauses;
  429. do {
  430. consume(TokenType::When);
  431. auto when = parse_expression();
  432. consume(TokenType::Then);
  433. auto then = parse_expression();
  434. when_then_clauses.append({ move(when), move(then) });
  435. if (!match(TokenType::When))
  436. break;
  437. } while (!match(TokenType::Eof));
  438. RefPtr<Expression> else_expression;
  439. if (consume_if(TokenType::Else))
  440. else_expression = parse_expression();
  441. consume(TokenType::End);
  442. return create_ast_node<CaseExpression>(move(case_expression), move(when_then_clauses), move(else_expression));
  443. }
  444. Optional<NonnullRefPtr<Expression>> Parser::parse_collate_expression(NonnullRefPtr<Expression> expression)
  445. {
  446. if (!match(TokenType::Collate))
  447. return {};
  448. consume();
  449. String collation_name = consume(TokenType::Identifier).value();
  450. return create_ast_node<CollateExpression>(move(expression), move(collation_name));
  451. }
  452. Optional<NonnullRefPtr<Expression>> Parser::parse_is_expression(NonnullRefPtr<Expression> expression)
  453. {
  454. if (!match(TokenType::Is))
  455. return {};
  456. consume();
  457. bool invert_expression = false;
  458. if (match(TokenType::Not)) {
  459. consume();
  460. invert_expression = true;
  461. }
  462. auto rhs = parse_expression();
  463. return create_ast_node<IsExpression>(move(expression), move(rhs), invert_expression);
  464. }
  465. Optional<NonnullRefPtr<Expression>> Parser::parse_match_expression(NonnullRefPtr<Expression> lhs, bool invert_expression)
  466. {
  467. auto parse_escape = [this]() {
  468. RefPtr<Expression> escape;
  469. if (consume_if(TokenType::Escape))
  470. escape = parse_expression();
  471. return escape;
  472. };
  473. if (consume_if(TokenType::Like))
  474. return create_ast_node<MatchExpression>(MatchOperator::Like, move(lhs), parse_expression(), parse_escape(), invert_expression);
  475. if (consume_if(TokenType::Glob))
  476. return create_ast_node<MatchExpression>(MatchOperator::Glob, move(lhs), parse_expression(), parse_escape(), invert_expression);
  477. if (consume_if(TokenType::Match))
  478. return create_ast_node<MatchExpression>(MatchOperator::Match, move(lhs), parse_expression(), parse_escape(), invert_expression);
  479. if (consume_if(TokenType::Regexp))
  480. return create_ast_node<MatchExpression>(MatchOperator::Regexp, move(lhs), parse_expression(), parse_escape(), invert_expression);
  481. return {};
  482. }
  483. Optional<NonnullRefPtr<Expression>> Parser::parse_null_expression(NonnullRefPtr<Expression> expression, bool invert_expression)
  484. {
  485. if (!match(TokenType::Isnull) && !match(TokenType::Notnull) && !(invert_expression && match(TokenType::Null)))
  486. return {};
  487. auto type = consume().type();
  488. invert_expression |= (type == TokenType::Notnull);
  489. return create_ast_node<NullExpression>(move(expression), invert_expression);
  490. }
  491. Optional<NonnullRefPtr<Expression>> Parser::parse_between_expression(NonnullRefPtr<Expression> expression, bool invert_expression)
  492. {
  493. if (!match(TokenType::Between))
  494. return {};
  495. consume();
  496. auto nested = parse_expression();
  497. if (!is<BinaryOperatorExpression>(*nested)) {
  498. expected("Binary Expression");
  499. return create_ast_node<ErrorExpression>();
  500. }
  501. const auto& binary_expression = static_cast<const BinaryOperatorExpression&>(*nested);
  502. if (binary_expression.type() != BinaryOperator::And) {
  503. expected("AND Expression");
  504. return create_ast_node<ErrorExpression>();
  505. }
  506. return create_ast_node<BetweenExpression>(move(expression), binary_expression.lhs(), binary_expression.rhs(), invert_expression);
  507. }
  508. Optional<NonnullRefPtr<Expression>> Parser::parse_in_expression(NonnullRefPtr<Expression> expression, bool invert_expression)
  509. {
  510. if (!match(TokenType::In))
  511. return {};
  512. consume();
  513. if (consume_if(TokenType::ParenOpen)) {
  514. if (match(TokenType::Select)) {
  515. // FIXME: Parse "select-stmt".
  516. return {};
  517. }
  518. // FIXME: Consolidate this with parse_chained_expression(). That method consumes the opening paren as
  519. // well, and also requires at least one expression (whereas this allows for an empty chain).
  520. NonnullRefPtrVector<Expression> expressions;
  521. if (!match(TokenType::ParenClose)) {
  522. do {
  523. expressions.append(parse_expression());
  524. if (match(TokenType::ParenClose))
  525. break;
  526. consume(TokenType::Comma);
  527. } while (!match(TokenType::Eof));
  528. }
  529. consume(TokenType::ParenClose);
  530. auto chain = create_ast_node<ChainedExpression>(move(expressions));
  531. return create_ast_node<InChainedExpression>(move(expression), move(chain), invert_expression);
  532. }
  533. String schema_or_table_name = consume(TokenType::Identifier).value();
  534. String schema_name;
  535. String table_name;
  536. if (consume_if(TokenType::Period)) {
  537. schema_name = move(schema_or_table_name);
  538. table_name = consume(TokenType::Identifier).value();
  539. } else {
  540. table_name = move(schema_or_table_name);
  541. }
  542. if (match(TokenType::ParenOpen)) {
  543. // FIXME: Parse "table-function".
  544. return {};
  545. }
  546. return create_ast_node<InTableExpression>(move(expression), move(schema_name), move(table_name), invert_expression);
  547. }
  548. NonnullRefPtr<ColumnDefinition> Parser::parse_column_definition()
  549. {
  550. // https://sqlite.org/syntax/column-def.html
  551. auto name = consume(TokenType::Identifier).value();
  552. auto type_name = match(TokenType::Identifier)
  553. ? parse_type_name()
  554. // https://www.sqlite.org/datatype3.html: If no type is specified then the column has affinity BLOB.
  555. : create_ast_node<TypeName>("BLOB", NonnullRefPtrVector<SignedNumber> {});
  556. // FIXME: Parse "column-constraint".
  557. return create_ast_node<ColumnDefinition>(move(name), move(type_name));
  558. }
  559. NonnullRefPtr<TypeName> Parser::parse_type_name()
  560. {
  561. // https: //sqlite.org/syntax/type-name.html
  562. auto name = consume(TokenType::Identifier).value();
  563. NonnullRefPtrVector<SignedNumber> signed_numbers;
  564. if (consume_if(TokenType::ParenOpen)) {
  565. signed_numbers.append(parse_signed_number());
  566. if (consume_if(TokenType::Comma))
  567. signed_numbers.append(parse_signed_number());
  568. consume(TokenType::ParenClose);
  569. }
  570. return create_ast_node<TypeName>(move(name), move(signed_numbers));
  571. }
  572. NonnullRefPtr<SignedNumber> Parser::parse_signed_number()
  573. {
  574. // https://sqlite.org/syntax/signed-number.html
  575. bool is_positive = true;
  576. if (consume_if(TokenType::Plus))
  577. is_positive = true;
  578. else if (consume_if(TokenType::Minus))
  579. is_positive = false;
  580. if (match(TokenType::NumericLiteral)) {
  581. auto number = consume(TokenType::NumericLiteral).double_value();
  582. return create_ast_node<SignedNumber>(is_positive ? number : (number * -1));
  583. }
  584. expected("NumericLiteral");
  585. return create_ast_node<SignedNumber>(0);
  586. }
  587. NonnullRefPtr<CommonTableExpression> Parser::parse_common_table_expression()
  588. {
  589. // https://sqlite.org/syntax/common-table-expression.html
  590. auto table_name = consume(TokenType::Identifier).value();
  591. Vector<String> column_names;
  592. if (consume_if(TokenType::ParenOpen)) {
  593. do {
  594. column_names.append(consume(TokenType::Identifier).value());
  595. if (match(TokenType::ParenClose))
  596. break;
  597. consume(TokenType::Comma);
  598. } while (!match(TokenType::Eof));
  599. consume(TokenType::ParenClose);
  600. }
  601. consume(TokenType::As);
  602. consume(TokenType::ParenOpen);
  603. // FIXME: Parse "select-stmt".
  604. consume(TokenType::ParenClose);
  605. return create_ast_node<CommonTableExpression>(move(table_name), move(column_names));
  606. }
  607. NonnullRefPtr<QualifiedTableName> Parser::parse_qualified_table_name()
  608. {
  609. // https://sqlite.org/syntax/qualified-table-name.html
  610. String schema_or_table_name = consume(TokenType::Identifier).value();
  611. String schema_name;
  612. String table_name;
  613. if (consume_if(TokenType::Period)) {
  614. schema_name = move(schema_or_table_name);
  615. table_name = consume(TokenType::Identifier).value();
  616. } else {
  617. table_name = move(schema_or_table_name);
  618. }
  619. String alias;
  620. if (consume_if(TokenType::As))
  621. alias = consume(TokenType::Identifier).value();
  622. // Note: The qualified-table-name spec may include an "INDEXED BY index-name" or "NOT INDEXED" clause. This is a SQLite extension
  623. // "designed to help detect undesirable query plan changes during regression testing", and "application developers are admonished
  624. // to omit all use of INDEXED BY during application design, implementation, testing, and tuning". Our implementation purposefully
  625. // omits parsing INDEXED BY for now until there is good reason to add support.
  626. return create_ast_node<QualifiedTableName>(move(schema_name), move(table_name), move(alias));
  627. }
  628. NonnullRefPtr<ReturningClause> Parser::parse_returning_clause()
  629. {
  630. // https://sqlite.org/syntax/returning-clause.html
  631. consume(TokenType::Returning);
  632. if (consume_if(TokenType::Asterisk))
  633. return create_ast_node<ReturningClause>();
  634. Vector<ReturningClause::ColumnClause> columns;
  635. do {
  636. auto expression = parse_expression();
  637. String column_alias;
  638. if (consume_if(TokenType::As) || match(TokenType::Identifier))
  639. column_alias = consume(TokenType::Identifier).value();
  640. columns.append({ move(expression), move(column_alias) });
  641. if (!match(TokenType::Comma))
  642. break;
  643. consume(TokenType::Comma);
  644. } while (!match(TokenType::Eof));
  645. return create_ast_node<ReturningClause>(move(columns));
  646. }
  647. NonnullRefPtr<ResultColumn> Parser::parse_result_column()
  648. {
  649. // https://sqlite.org/syntax/result-column.html
  650. if (consume_if(TokenType::Asterisk))
  651. return create_ast_node<ResultColumn>();
  652. // If we match an identifier now, we don't know whether it is a table-name of the form "table-name.*", or if it is the start of a
  653. // column-name-expression, until we try to parse the asterisk. So if we consume an indentifier and a period, but don't find an
  654. // asterisk, hold onto that information to form a column-name-expression later.
  655. String table_name;
  656. bool parsed_period = false;
  657. if (match(TokenType::Identifier)) {
  658. table_name = consume().value();
  659. parsed_period = consume_if(TokenType::Period);
  660. if (parsed_period && consume_if(TokenType::Asterisk))
  661. return create_ast_node<ResultColumn>(move(table_name));
  662. }
  663. auto expression = table_name.is_null()
  664. ? parse_expression()
  665. : static_cast<NonnullRefPtr<Expression>>(*parse_column_name_expression(move(table_name), parsed_period));
  666. String column_alias;
  667. if (consume_if(TokenType::As) || match(TokenType::Identifier))
  668. column_alias = consume(TokenType::Identifier).value();
  669. return create_ast_node<ResultColumn>(move(expression), move(column_alias));
  670. }
  671. NonnullRefPtr<TableOrSubquery> Parser::parse_table_or_subquery()
  672. {
  673. // https://sqlite.org/syntax/table-or-subquery.html
  674. if (match(TokenType::Identifier)) {
  675. String schema_or_table_name = consume().value();
  676. String schema_name;
  677. String table_name;
  678. if (consume_if(TokenType::Period)) {
  679. schema_name = move(schema_or_table_name);
  680. table_name = consume(TokenType::Identifier).value();
  681. } else {
  682. table_name = move(schema_or_table_name);
  683. }
  684. String table_alias;
  685. if (consume_if(TokenType::As) || match(TokenType::Identifier))
  686. table_alias = consume(TokenType::Identifier).value();
  687. return create_ast_node<TableOrSubquery>(move(schema_name), move(table_name), move(table_alias));
  688. }
  689. consume(TokenType::ParenOpen);
  690. // FIXME: Parse join-clause.
  691. NonnullRefPtrVector<TableOrSubquery> subqueries;
  692. while (!has_errors() && !match(TokenType::Eof)) {
  693. subqueries.append(parse_table_or_subquery());
  694. if (!match(TokenType::Comma))
  695. break;
  696. consume(TokenType::Comma);
  697. }
  698. consume(TokenType::ParenClose);
  699. return create_ast_node<TableOrSubquery>(move(subqueries));
  700. }
  701. NonnullRefPtr<OrderingTerm> Parser::parse_ordering_term()
  702. {
  703. // https://sqlite.org/syntax/ordering-term.html
  704. auto expression = parse_expression();
  705. String collation_name;
  706. if (is<CollateExpression>(*expression)) {
  707. const auto& collate = static_cast<const CollateExpression&>(*expression);
  708. collation_name = collate.collation_name();
  709. expression = collate.expression();
  710. } else if (consume_if(TokenType::Collate)) {
  711. collation_name = consume(TokenType::Identifier).value();
  712. }
  713. Order order = consume_if(TokenType::Desc) ? Order::Descending : Order::Ascending;
  714. consume_if(TokenType::Asc); // ASC is the default, so ignore it if specified.
  715. Nulls nulls = order == Order::Ascending ? Nulls::First : Nulls::Last;
  716. if (consume_if(TokenType::Nulls)) {
  717. if (consume_if(TokenType::First))
  718. nulls = Nulls::First;
  719. else if (consume_if(TokenType::Last))
  720. nulls = Nulls::Last;
  721. else
  722. expected("FIRST or LAST");
  723. }
  724. return create_ast_node<OrderingTerm>(move(expression), move(collation_name), order, nulls);
  725. }
  726. Token Parser::consume()
  727. {
  728. auto old_token = m_parser_state.m_token;
  729. m_parser_state.m_token = m_parser_state.m_lexer.next();
  730. return old_token;
  731. }
  732. Token Parser::consume(TokenType expected_type)
  733. {
  734. if (!match(expected_type)) {
  735. expected(Token::name(expected_type));
  736. }
  737. return consume();
  738. }
  739. bool Parser::consume_if(TokenType expected_type)
  740. {
  741. if (!match(expected_type))
  742. return false;
  743. consume();
  744. return true;
  745. }
  746. bool Parser::match(TokenType type) const
  747. {
  748. return m_parser_state.m_token.type() == type;
  749. }
  750. void Parser::expected(StringView what)
  751. {
  752. syntax_error(String::formatted("Unexpected token {}, expected {}", m_parser_state.m_token.name(), what));
  753. }
  754. void Parser::syntax_error(String message)
  755. {
  756. m_parser_state.m_errors.append({ move(message), position() });
  757. }
  758. Parser::Position Parser::position() const
  759. {
  760. return {
  761. m_parser_state.m_token.line_number(),
  762. m_parser_state.m_token.line_column()
  763. };
  764. }
  765. Parser::ParserState::ParserState(Lexer lexer)
  766. : m_lexer(move(lexer))
  767. , m_token(m_lexer.next())
  768. {
  769. }
  770. }