TestSqlExpressionParser.cpp 22 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604
  1. /*
  2. * Copyright (c) 2021, Tim Flynn <trflynn89@serenityos.org>
  3. * Copyright (c) 2021, Jan de Visser <jan@de-visser.net>
  4. *
  5. * SPDX-License-Identifier: BSD-2-Clause
  6. */
  7. #include <LibTest/TestCase.h>
  8. #include <AK/ByteString.h>
  9. #include <AK/HashMap.h>
  10. #include <AK/Result.h>
  11. #include <AK/StringBuilder.h>
  12. #include <AK/StringView.h>
  13. #include <AK/TypeCasts.h>
  14. #include <LibSQL/AST/Lexer.h>
  15. #include <LibSQL/AST/Parser.h>
  16. namespace {
  17. class ExpressionParser : public SQL::AST::Parser {
  18. public:
  19. explicit ExpressionParser(SQL::AST::Lexer lexer)
  20. : SQL::AST::Parser(move(lexer))
  21. {
  22. }
  23. NonnullRefPtr<SQL::AST::Expression> parse()
  24. {
  25. return SQL::AST::Parser::parse_expression();
  26. }
  27. };
  28. using ParseResult = AK::Result<NonnullRefPtr<SQL::AST::Expression>, ByteString>;
  29. ParseResult parse(StringView sql)
  30. {
  31. auto parser = ExpressionParser(SQL::AST::Lexer(sql));
  32. auto expression = parser.parse();
  33. if (parser.has_errors()) {
  34. return parser.errors()[0].to_byte_string();
  35. }
  36. return expression;
  37. }
  38. }
  39. TEST_CASE(numeric_literal)
  40. {
  41. // FIXME Right now the "1a" test fails (meaning the parse succeeds).
  42. // This is obviously inconsistent.
  43. // See the FIXME in lexer.cpp, method consume_exponent() about
  44. // solutions.
  45. // EXPECT(parse("1e"sv).is_error());
  46. // EXPECT(parse("1a"sv).is_error());
  47. // EXPECT(parse("0x"sv).is_error());
  48. auto validate = [](StringView sql, double expected_value) {
  49. auto expression = TRY_OR_FAIL(parse(sql));
  50. EXPECT(is<SQL::AST::NumericLiteral>(*expression));
  51. auto const& literal = static_cast<const SQL::AST::NumericLiteral&>(*expression);
  52. EXPECT_EQ(literal.value(), expected_value);
  53. };
  54. validate("123"sv, 123);
  55. validate("3.14"sv, 3.14);
  56. validate("0xA"sv, 10);
  57. validate("0xff"sv, 255);
  58. validate("0x100"sv, 256);
  59. validate("1e3"sv, 1000);
  60. }
  61. TEST_CASE(string_literal)
  62. {
  63. EXPECT(parse("'"sv).is_error());
  64. EXPECT(parse("'unterminated"sv).is_error());
  65. auto validate = [](StringView sql, StringView expected_value) {
  66. auto expression = TRY_OR_FAIL(parse(sql));
  67. EXPECT(is<SQL::AST::StringLiteral>(*expression));
  68. auto const& literal = static_cast<const SQL::AST::StringLiteral&>(*expression);
  69. EXPECT_EQ(literal.value(), expected_value);
  70. };
  71. validate("''"sv, ""sv);
  72. validate("'hello friends'"sv, "hello friends"sv);
  73. validate("'hello ''friends'''"sv, "hello 'friends'"sv);
  74. }
  75. TEST_CASE(blob_literal)
  76. {
  77. EXPECT(parse("x'"sv).is_error());
  78. EXPECT(parse("x'unterminated"sv).is_error());
  79. EXPECT(parse("x'NOTHEX'"sv).is_error());
  80. auto validate = [](StringView sql, StringView expected_value) {
  81. auto expression = TRY_OR_FAIL(parse(sql));
  82. EXPECT(is<SQL::AST::BlobLiteral>(*expression));
  83. auto const& literal = static_cast<const SQL::AST::BlobLiteral&>(*expression);
  84. EXPECT_EQ(literal.value(), expected_value);
  85. };
  86. validate("x''"sv, ""sv);
  87. validate("x'DEADC0DE'"sv, "DEADC0DE"sv);
  88. }
  89. TEST_CASE(boolean_literal)
  90. {
  91. auto validate = [](StringView sql, bool expected_value) {
  92. auto expression = TRY_OR_FAIL(parse(sql));
  93. EXPECT(is<SQL::AST::BooleanLiteral>(*expression));
  94. auto const& literal = static_cast<SQL::AST::BooleanLiteral const&>(*expression);
  95. EXPECT_EQ(literal.value(), expected_value);
  96. };
  97. validate("TRUE"sv, true);
  98. validate("FALSE"sv, false);
  99. }
  100. TEST_CASE(null_literal)
  101. {
  102. auto validate = [](StringView sql) {
  103. auto expression = TRY_OR_FAIL(parse(sql));
  104. EXPECT(is<SQL::AST::NullLiteral>(*expression));
  105. };
  106. validate("NULL"sv);
  107. }
  108. TEST_CASE(bind_parameter)
  109. {
  110. auto validate = [](StringView sql) {
  111. auto expression = TRY_OR_FAIL(parse(sql));
  112. EXPECT(is<SQL::AST::Placeholder>(*expression));
  113. };
  114. validate("?"sv);
  115. }
  116. TEST_CASE(column_name)
  117. {
  118. EXPECT(parse(".column_name"sv).is_error());
  119. EXPECT(parse("table_name."sv).is_error());
  120. EXPECT(parse("schema_name.table_name."sv).is_error());
  121. EXPECT(parse("\"unterminated"sv).is_error());
  122. auto validate = [](StringView sql, StringView expected_schema, StringView expected_table, StringView expected_column) {
  123. auto expression = TRY_OR_FAIL(parse(sql));
  124. EXPECT(is<SQL::AST::ColumnNameExpression>(*expression));
  125. auto const& column = static_cast<const SQL::AST::ColumnNameExpression&>(*expression);
  126. EXPECT_EQ(column.schema_name(), expected_schema);
  127. EXPECT_EQ(column.table_name(), expected_table);
  128. EXPECT_EQ(column.column_name(), expected_column);
  129. };
  130. validate("column_name"sv, {}, {}, "COLUMN_NAME"sv);
  131. validate("table_name.column_name"sv, {}, "TABLE_NAME"sv, "COLUMN_NAME"sv);
  132. validate("schema_name.table_name.column_name"sv, "SCHEMA_NAME"sv, "TABLE_NAME"sv, "COLUMN_NAME"sv);
  133. validate("\"Column_Name\""sv, {}, {}, "Column_Name"sv);
  134. validate("\"Column\n_Name\""sv, {}, {}, "Column\n_Name"sv);
  135. }
  136. TEST_CASE(unary_operator)
  137. {
  138. EXPECT(parse("-"sv).is_error());
  139. EXPECT(parse("--"sv).is_error());
  140. EXPECT(parse("+"sv).is_error());
  141. EXPECT(parse("++"sv).is_error());
  142. EXPECT(parse("~"sv).is_error());
  143. EXPECT(parse("~~"sv).is_error());
  144. EXPECT(parse("NOT"sv).is_error());
  145. auto validate = [](StringView sql, SQL::AST::UnaryOperator expected_operator) {
  146. auto expression = TRY_OR_FAIL(parse(sql));
  147. EXPECT(is<SQL::AST::UnaryOperatorExpression>(*expression));
  148. auto const& unary = static_cast<const SQL::AST::UnaryOperatorExpression&>(*expression);
  149. EXPECT_EQ(unary.type(), expected_operator);
  150. auto const& secondary_expression = unary.expression();
  151. EXPECT(!is<SQL::AST::ErrorExpression>(*secondary_expression));
  152. };
  153. validate("-15"sv, SQL::AST::UnaryOperator::Minus);
  154. validate("+15"sv, SQL::AST::UnaryOperator::Plus);
  155. validate("~15"sv, SQL::AST::UnaryOperator::BitwiseNot);
  156. validate("NOT 15"sv, SQL::AST::UnaryOperator::Not);
  157. }
  158. TEST_CASE(binary_operator)
  159. {
  160. HashMap<StringView, SQL::AST::BinaryOperator> operators {
  161. { "||"sv, SQL::AST::BinaryOperator::Concatenate },
  162. { "*"sv, SQL::AST::BinaryOperator::Multiplication },
  163. { "/"sv, SQL::AST::BinaryOperator::Division },
  164. { "%"sv, SQL::AST::BinaryOperator::Modulo },
  165. { "+"sv, SQL::AST::BinaryOperator::Plus },
  166. { "-"sv, SQL::AST::BinaryOperator::Minus },
  167. { "<<"sv, SQL::AST::BinaryOperator::ShiftLeft },
  168. { ">>"sv, SQL::AST::BinaryOperator::ShiftRight },
  169. { "&"sv, SQL::AST::BinaryOperator::BitwiseAnd },
  170. { "|"sv, SQL::AST::BinaryOperator::BitwiseOr },
  171. { "<"sv, SQL::AST::BinaryOperator::LessThan },
  172. { "<="sv, SQL::AST::BinaryOperator::LessThanEquals },
  173. { ">"sv, SQL::AST::BinaryOperator::GreaterThan },
  174. { ">="sv, SQL::AST::BinaryOperator::GreaterThanEquals },
  175. { "="sv, SQL::AST::BinaryOperator::Equals },
  176. { "=="sv, SQL::AST::BinaryOperator::Equals },
  177. { "!="sv, SQL::AST::BinaryOperator::NotEquals },
  178. { "<>"sv, SQL::AST::BinaryOperator::NotEquals },
  179. { "AND"sv, SQL::AST::BinaryOperator::And },
  180. { "OR"sv, SQL::AST::BinaryOperator::Or },
  181. };
  182. for (auto op : operators) {
  183. EXPECT(parse(op.key).is_error());
  184. StringBuilder builder;
  185. builder.append("1 "sv);
  186. builder.append(op.key);
  187. EXPECT(parse(builder.to_byte_string()).is_error());
  188. builder.clear();
  189. if (op.key != "+" && op.key != "-") { // "+1" and "-1" are fine (unary operator).
  190. builder.append(op.key);
  191. builder.append(" 1"sv);
  192. EXPECT(parse(builder.to_byte_string()).is_error());
  193. }
  194. }
  195. auto validate = [](StringView sql, SQL::AST::BinaryOperator expected_operator) {
  196. auto expression = TRY_OR_FAIL(parse(sql));
  197. EXPECT(is<SQL::AST::BinaryOperatorExpression>(*expression));
  198. auto const& binary = static_cast<const SQL::AST::BinaryOperatorExpression&>(*expression);
  199. EXPECT(!is<SQL::AST::ErrorExpression>(*binary.lhs()));
  200. EXPECT(!is<SQL::AST::ErrorExpression>(*binary.rhs()));
  201. EXPECT_EQ(binary.type(), expected_operator);
  202. };
  203. for (auto op : operators) {
  204. StringBuilder builder;
  205. builder.append("1 "sv);
  206. builder.append(op.key);
  207. builder.append(" 1"sv);
  208. validate(builder.to_byte_string(), op.value);
  209. }
  210. }
  211. TEST_CASE(chained_expression)
  212. {
  213. EXPECT(parse("()"sv).is_error());
  214. EXPECT(parse("(,)"sv).is_error());
  215. EXPECT(parse("(15,)"sv).is_error());
  216. auto validate = [](StringView sql, size_t expected_chain_size) {
  217. auto expression = TRY_OR_FAIL(parse(sql));
  218. EXPECT(is<SQL::AST::ChainedExpression>(*expression));
  219. auto const& chain = static_cast<const SQL::AST::ChainedExpression&>(*expression).expressions();
  220. EXPECT_EQ(chain.size(), expected_chain_size);
  221. for (auto const& chained_expression : chain)
  222. EXPECT(!is<SQL::AST::ErrorExpression>(chained_expression));
  223. };
  224. validate("(15)"sv, 1);
  225. validate("(15, 16)"sv, 2);
  226. validate("(15, 16, column_name)"sv, 3);
  227. }
  228. TEST_CASE(cast_expression)
  229. {
  230. EXPECT(parse("CAST"sv).is_error());
  231. EXPECT(parse("CAST ("sv).is_error());
  232. EXPECT(parse("CAST ()"sv).is_error());
  233. EXPECT(parse("CAST (15)"sv).is_error());
  234. EXPECT(parse("CAST (15 AS"sv).is_error());
  235. EXPECT(parse("CAST (15 AS)"sv).is_error());
  236. EXPECT(parse("CAST (15 AS int"sv).is_error());
  237. auto validate = [](StringView sql, StringView expected_type_name) {
  238. auto expression = TRY_OR_FAIL(parse(sql));
  239. EXPECT(is<SQL::AST::CastExpression>(*expression));
  240. auto const& cast = static_cast<const SQL::AST::CastExpression&>(*expression);
  241. EXPECT(!is<SQL::AST::ErrorExpression>(*cast.expression()));
  242. auto const& type_name = cast.type_name();
  243. EXPECT_EQ(type_name->name(), expected_type_name);
  244. };
  245. validate("CAST (15 AS int)"sv, "INT"sv);
  246. // FIXME The syntax in the test below fails on both sqlite3 and psql (PostgreSQL).
  247. // Also fails here because null is interpreted as the NULL keyword and not the
  248. // identifier null (which is not a type)
  249. // validate("CAST ('NULL' AS null)"sv, "null"sv);
  250. validate("CAST (15 AS varchar(255))"sv, "VARCHAR"sv);
  251. }
  252. TEST_CASE(case_expression)
  253. {
  254. EXPECT(parse("CASE"sv).is_error());
  255. EXPECT(parse("CASE END"sv).is_error());
  256. EXPECT(parse("CASE 15"sv).is_error());
  257. EXPECT(parse("CASE 15 END"sv).is_error());
  258. EXPECT(parse("CASE WHEN"sv).is_error());
  259. EXPECT(parse("CASE WHEN THEN"sv).is_error());
  260. EXPECT(parse("CASE WHEN 15 THEN 16"sv).is_error());
  261. EXPECT(parse("CASE WHEN 15 THEN 16 ELSE"sv).is_error());
  262. EXPECT(parse("CASE WHEN 15 THEN 16 ELSE END"sv).is_error());
  263. auto validate = [](StringView sql, bool expect_case_expression, size_t expected_when_then_size, bool expect_else_expression) {
  264. auto expression = TRY_OR_FAIL(parse(sql));
  265. EXPECT(is<SQL::AST::CaseExpression>(*expression));
  266. auto const& case_ = static_cast<const SQL::AST::CaseExpression&>(*expression);
  267. auto const& case_expression = case_.case_expression();
  268. EXPECT_EQ(case_expression.is_null(), !expect_case_expression);
  269. if (case_expression)
  270. EXPECT(!is<SQL::AST::ErrorExpression>(*case_expression));
  271. auto const& when_then_clauses = case_.when_then_clauses();
  272. EXPECT_EQ(when_then_clauses.size(), expected_when_then_size);
  273. for (auto const& when_then_clause : when_then_clauses) {
  274. EXPECT(!is<SQL::AST::ErrorExpression>(*when_then_clause.when));
  275. EXPECT(!is<SQL::AST::ErrorExpression>(*when_then_clause.then));
  276. }
  277. auto const& else_expression = case_.else_expression();
  278. EXPECT_EQ(else_expression.is_null(), !expect_else_expression);
  279. if (else_expression)
  280. EXPECT(!is<SQL::AST::ErrorExpression>(*else_expression));
  281. };
  282. validate("CASE WHEN 16 THEN 17 END"sv, false, 1, false);
  283. validate("CASE WHEN 16 THEN 17 WHEN 18 THEN 19 END"sv, false, 2, false);
  284. validate("CASE WHEN 16 THEN 17 WHEN 18 THEN 19 ELSE 20 END"sv, false, 2, true);
  285. validate("CASE 15 WHEN 16 THEN 17 END"sv, true, 1, false);
  286. validate("CASE 15 WHEN 16 THEN 17 WHEN 18 THEN 19 END"sv, true, 2, false);
  287. validate("CASE 15 WHEN 16 THEN 17 WHEN 18 THEN 19 ELSE 20 END"sv, true, 2, true);
  288. }
  289. TEST_CASE(exists_expression)
  290. {
  291. EXPECT(parse("EXISTS"sv).is_error());
  292. EXPECT(parse("EXISTS ("sv).is_error());
  293. EXPECT(parse("EXISTS (SELECT"sv).is_error());
  294. EXPECT(parse("EXISTS (SELECT)"sv).is_error());
  295. EXPECT(parse("EXISTS (SELECT * FROM table_name"sv).is_error());
  296. EXPECT(parse("NOT EXISTS"sv).is_error());
  297. EXPECT(parse("NOT EXISTS ("sv).is_error());
  298. EXPECT(parse("NOT EXISTS (SELECT"sv).is_error());
  299. EXPECT(parse("NOT EXISTS (SELECT)"sv).is_error());
  300. EXPECT(parse("NOT EXISTS (SELECT * FROM table_name"sv).is_error());
  301. EXPECT(parse("("sv).is_error());
  302. EXPECT(parse("(SELECT"sv).is_error());
  303. EXPECT(parse("(SELECT)"sv).is_error());
  304. EXPECT(parse("(SELECT * FROM table_name"sv).is_error());
  305. auto validate = [](StringView sql, bool expected_invert_expression) {
  306. auto expression = TRY_OR_FAIL(parse(sql));
  307. EXPECT(is<SQL::AST::ExistsExpression>(*expression));
  308. auto const& exists = static_cast<const SQL::AST::ExistsExpression&>(*expression);
  309. EXPECT_EQ(exists.invert_expression(), expected_invert_expression);
  310. };
  311. validate("EXISTS (SELECT * FROM table_name)"sv, false);
  312. validate("NOT EXISTS (SELECT * FROM table_name)"sv, true);
  313. validate("(SELECT * FROM table_name)"sv, false);
  314. }
  315. TEST_CASE(collate_expression)
  316. {
  317. EXPECT(parse("COLLATE"sv).is_error());
  318. EXPECT(parse("COLLATE name"sv).is_error());
  319. EXPECT(parse("15 COLLATE"sv).is_error());
  320. auto validate = [](StringView sql, StringView expected_collation_name) {
  321. auto expression = TRY_OR_FAIL(parse(sql));
  322. EXPECT(is<SQL::AST::CollateExpression>(*expression));
  323. auto const& collate = static_cast<const SQL::AST::CollateExpression&>(*expression);
  324. EXPECT(!is<SQL::AST::ErrorExpression>(*collate.expression()));
  325. EXPECT_EQ(collate.collation_name(), expected_collation_name);
  326. };
  327. validate("15 COLLATE fifteen"sv, "FIFTEEN"sv);
  328. validate("(15, 16) COLLATE \"chain\""sv, "chain"sv);
  329. }
  330. TEST_CASE(is_expression)
  331. {
  332. EXPECT(parse("IS"sv).is_error());
  333. EXPECT(parse("IS 1"sv).is_error());
  334. EXPECT(parse("1 IS"sv).is_error());
  335. EXPECT(parse("IS NOT"sv).is_error());
  336. EXPECT(parse("IS NOT 1"sv).is_error());
  337. EXPECT(parse("1 IS NOT"sv).is_error());
  338. auto validate = [](StringView sql, bool expected_invert_expression) {
  339. auto expression = TRY_OR_FAIL(parse(sql));
  340. EXPECT(is<SQL::AST::IsExpression>(*expression));
  341. auto const& is_ = static_cast<const SQL::AST::IsExpression&>(*expression);
  342. EXPECT(!is<SQL::AST::ErrorExpression>(*is_.lhs()));
  343. EXPECT(!is<SQL::AST::ErrorExpression>(*is_.rhs()));
  344. EXPECT_EQ(is_.invert_expression(), expected_invert_expression);
  345. };
  346. validate("1 IS NULL"sv, false);
  347. validate("1 IS NOT NULL"sv, true);
  348. }
  349. TEST_CASE(match_expression)
  350. {
  351. HashMap<StringView, SQL::AST::MatchOperator> operators {
  352. { "LIKE"sv, SQL::AST::MatchOperator::Like },
  353. { "GLOB"sv, SQL::AST::MatchOperator::Glob },
  354. { "MATCH"sv, SQL::AST::MatchOperator::Match },
  355. { "REGEXP"sv, SQL::AST::MatchOperator::Regexp },
  356. };
  357. for (auto op : operators) {
  358. EXPECT(parse(op.key).is_error());
  359. StringBuilder builder;
  360. builder.append("1 "sv);
  361. builder.append(op.key);
  362. EXPECT(parse(builder.to_byte_string()).is_error());
  363. builder.clear();
  364. builder.append(op.key);
  365. builder.append(" 1"sv);
  366. EXPECT(parse(builder.to_byte_string()).is_error());
  367. }
  368. auto validate = [](StringView sql, SQL::AST::MatchOperator expected_operator, bool expected_invert_expression, bool expect_escape) {
  369. auto expression = TRY_OR_FAIL(parse(sql));
  370. EXPECT(is<SQL::AST::MatchExpression>(*expression));
  371. auto const& match = static_cast<const SQL::AST::MatchExpression&>(*expression);
  372. EXPECT(!is<SQL::AST::ErrorExpression>(*match.lhs()));
  373. EXPECT(!is<SQL::AST::ErrorExpression>(*match.rhs()));
  374. EXPECT_EQ(match.type(), expected_operator);
  375. EXPECT_EQ(match.invert_expression(), expected_invert_expression);
  376. EXPECT(match.escape() || !expect_escape);
  377. };
  378. for (auto op : operators) {
  379. StringBuilder builder;
  380. builder.append("1 "sv);
  381. builder.append(op.key);
  382. builder.append(" 1"sv);
  383. validate(builder.to_byte_string(), op.value, false, false);
  384. builder.clear();
  385. builder.append("1 NOT "sv);
  386. builder.append(op.key);
  387. builder.append(" 1"sv);
  388. validate(builder.to_byte_string(), op.value, true, false);
  389. builder.clear();
  390. builder.append("1 NOT "sv);
  391. builder.append(op.key);
  392. builder.append(" 1 ESCAPE '+'"sv);
  393. validate(builder.to_byte_string(), op.value, true, true);
  394. }
  395. }
  396. TEST_CASE(null_expression)
  397. {
  398. EXPECT(parse("ISNULL"sv).is_error());
  399. EXPECT(parse("NOTNULL"sv).is_error());
  400. EXPECT(parse("15 NOT"sv).is_error());
  401. auto validate = [](StringView sql, bool expected_invert_expression) {
  402. auto expression = TRY_OR_FAIL(parse(sql));
  403. EXPECT(is<SQL::AST::NullExpression>(*expression));
  404. auto const& null = static_cast<const SQL::AST::NullExpression&>(*expression);
  405. EXPECT_EQ(null.invert_expression(), expected_invert_expression);
  406. };
  407. validate("15 ISNULL"sv, false);
  408. validate("15 NOTNULL"sv, true);
  409. validate("15 NOT NULL"sv, true);
  410. }
  411. TEST_CASE(between_expression)
  412. {
  413. EXPECT(parse("BETWEEN"sv).is_error());
  414. EXPECT(parse("NOT BETWEEN"sv).is_error());
  415. EXPECT(parse("BETWEEN 10 AND 20"sv).is_error());
  416. EXPECT(parse("NOT BETWEEN 10 AND 20"sv).is_error());
  417. EXPECT(parse("15 BETWEEN 10"sv).is_error());
  418. EXPECT(parse("15 BETWEEN 10 AND"sv).is_error());
  419. EXPECT(parse("15 BETWEEN AND 20"sv).is_error());
  420. EXPECT(parse("15 BETWEEN 10 OR 20"sv).is_error());
  421. auto validate = [](StringView sql, bool expected_invert_expression) {
  422. auto expression = TRY_OR_FAIL(parse(sql));
  423. EXPECT(is<SQL::AST::BetweenExpression>(*expression));
  424. auto const& between = static_cast<const SQL::AST::BetweenExpression&>(*expression);
  425. EXPECT(!is<SQL::AST::ErrorExpression>(*between.expression()));
  426. EXPECT(!is<SQL::AST::ErrorExpression>(*between.lhs()));
  427. EXPECT(!is<SQL::AST::ErrorExpression>(*between.rhs()));
  428. EXPECT_EQ(between.invert_expression(), expected_invert_expression);
  429. };
  430. validate("15 BETWEEN 10 AND 20"sv, false);
  431. validate("15 NOT BETWEEN 10 AND 20"sv, true);
  432. }
  433. TEST_CASE(in_table_expression)
  434. {
  435. EXPECT(parse("IN"sv).is_error());
  436. EXPECT(parse("IN table_name"sv).is_error());
  437. EXPECT(parse("NOT IN"sv).is_error());
  438. EXPECT(parse("NOT IN table_name"sv).is_error());
  439. auto validate = [](StringView sql, StringView expected_schema, StringView expected_table, bool expected_invert_expression) {
  440. auto expression = TRY_OR_FAIL(parse(sql));
  441. EXPECT(is<SQL::AST::InTableExpression>(*expression));
  442. auto const& in = static_cast<const SQL::AST::InTableExpression&>(*expression);
  443. EXPECT(!is<SQL::AST::ErrorExpression>(*in.expression()));
  444. EXPECT_EQ(in.schema_name(), expected_schema);
  445. EXPECT_EQ(in.table_name(), expected_table);
  446. EXPECT_EQ(in.invert_expression(), expected_invert_expression);
  447. };
  448. validate("15 IN table_name"sv, {}, "TABLE_NAME"sv, false);
  449. validate("15 IN schema_name.table_name"sv, "SCHEMA_NAME"sv, "TABLE_NAME"sv, false);
  450. validate("15 NOT IN table_name"sv, {}, "TABLE_NAME"sv, true);
  451. validate("15 NOT IN schema_name.table_name"sv, "SCHEMA_NAME"sv, "TABLE_NAME"sv, true);
  452. }
  453. TEST_CASE(in_chained_expression)
  454. {
  455. EXPECT(parse("IN ()"sv).is_error());
  456. EXPECT(parse("NOT IN ()"sv).is_error());
  457. auto validate = [](StringView sql, size_t expected_chain_size, bool expected_invert_expression) {
  458. auto expression = TRY_OR_FAIL(parse(sql));
  459. EXPECT(is<SQL::AST::InChainedExpression>(*expression));
  460. auto const& in = static_cast<const SQL::AST::InChainedExpression&>(*expression);
  461. EXPECT(!is<SQL::AST::ErrorExpression>(*in.expression()));
  462. EXPECT_EQ(in.expression_chain()->expressions().size(), expected_chain_size);
  463. EXPECT_EQ(in.invert_expression(), expected_invert_expression);
  464. for (auto const& chained_expression : in.expression_chain()->expressions())
  465. EXPECT(!is<SQL::AST::ErrorExpression>(chained_expression));
  466. };
  467. validate("15 IN ()"sv, 0, false);
  468. validate("15 IN (15)"sv, 1, false);
  469. validate("15 IN (15, 16)"sv, 2, false);
  470. validate("15 NOT IN ()"sv, 0, true);
  471. validate("15 NOT IN (15)"sv, 1, true);
  472. validate("15 NOT IN (15, 16)"sv, 2, true);
  473. }
  474. TEST_CASE(in_selection_expression)
  475. {
  476. EXPECT(parse("IN (SELECT)"sv).is_error());
  477. EXPECT(parse("IN (SELECT * FROM table_name, SELECT * FROM table_name);"sv).is_error());
  478. EXPECT(parse("NOT IN (SELECT)"sv).is_error());
  479. EXPECT(parse("NOT IN (SELECT * FROM table_name, SELECT * FROM table_name);"sv).is_error());
  480. auto validate = [](StringView sql, bool expected_invert_expression) {
  481. auto expression = TRY_OR_FAIL(parse(sql));
  482. EXPECT(is<SQL::AST::InSelectionExpression>(*expression));
  483. auto const& in = static_cast<const SQL::AST::InSelectionExpression&>(*expression);
  484. EXPECT(!is<SQL::AST::ErrorExpression>(*in.expression()));
  485. EXPECT_EQ(in.invert_expression(), expected_invert_expression);
  486. };
  487. validate("15 IN (SELECT * FROM table_name)"sv, false);
  488. validate("15 NOT IN (SELECT * FROM table_name)"sv, true);
  489. }
  490. TEST_CASE(expression_tree_depth_limit)
  491. {
  492. auto too_deep_expression = ByteString::formatted("{:+^{}}1", "", SQL::AST::Limits::maximum_expression_tree_depth);
  493. EXPECT(!parse(too_deep_expression.substring_view(1)).is_error());
  494. EXPECT(parse(too_deep_expression).is_error());
  495. }