AST.h 36 KB

1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253545556575859606162636465666768697071727374757677787980818283848586878889909192939495969798991001011021031041051061071081091101111121131141151161171181191201211221231241251261271281291301311321331341351361371381391401411421431441451461471481491501511521531541551561571581591601611621631641651661671681691701711721731741751761771781791801811821831841851861871881891901911921931941951961971981992002012022032042052062072082092102112122132142152162172182192202212222232242252262272282292302312322332342352362372382392402412422432442452462472482492502512522532542552562572582592602612622632642652662672682692702712722732742752762772782792802812822832842852862872882892902912922932942952962972982993003013023033043053063073083093103113123133143153163173183193203213223233243253263273283293303313323333343353363373383393403413423433443453463473483493503513523533543553563573583593603613623633643653663673683693703713723733743753763773783793803813823833843853863873883893903913923933943953963973983994004014024034044054064074084094104114124134144154164174184194204214224234244254264274284294304314324334344354364374384394404414424434444454464474484494504514524534544554564574584594604614624634644654664674684694704714724734744754764774784794804814824834844854864874884894904914924934944954964974984995005015025035045055065075085095105115125135145155165175185195205215225235245255265275285295305315325335345355365375385395405415425435445455465475485495505515525535545555565575585595605615625635645655665675685695705715725735745755765775785795805815825835845855865875885895905915925935945955965975985996006016026036046056066076086096106116126136146156166176186196206216226236246256266276286296306316326336346356366376386396406416426436446456466476486496506516526536546556566576586596606616626636646656666676686696706716726736746756766776786796806816826836846856866876886896906916926936946956966976986997007017027037047057067077087097107117127137147157167177187197207217227237247257267277287297307317327337347357367377387397407417427437447457467477487497507517527537547557567577587597607617627637647657667677687697707717727737747757767777787797807817827837847857867877887897907917927937947957967977987998008018028038048058068078088098108118128138148158168178188198208218228238248258268278288298308318328338348358368378388398408418428438448458468478488498508518528538548558568578588598608618628638648658668678688698708718728738748758768778788798808818828838848858868878888898908918928938948958968978988999009019029039049059069079089099109119129139149159169179189199209219229239249259269279289299309319329339349359369379389399409419429439449459469479489499509519529539549559569579589599609619629639649659669679689699709719729739749759769779789799809819829839849859869879889899909919929939949959969979989991000100110021003100410051006100710081009101010111012101310141015101610171018101910201021102210231024102510261027102810291030103110321033103410351036103710381039104010411042104310441045104610471048104910501051105210531054105510561057105810591060106110621063106410651066106710681069107010711072107310741075107610771078107910801081108210831084108510861087108810891090109110921093109410951096
  1. /*
  2. * Copyright (c) 2021, Tim Flynn <trflynn89@serenityos.org>
  3. * Copyright (c) 2021, Mahmoud Mandour <ma.mandourr@gmail.com>
  4. * Copyright (c) 2022, the SerenityOS developers.
  5. *
  6. * SPDX-License-Identifier: BSD-2-Clause
  7. */
  8. #pragma once
  9. #include <AK/DeprecatedString.h>
  10. #include <AK/NonnullRefPtr.h>
  11. #include <AK/NonnullRefPtrVector.h>
  12. #include <AK/RefCounted.h>
  13. #include <AK/RefPtr.h>
  14. #include <LibSQL/AST/Token.h>
  15. #include <LibSQL/Forward.h>
  16. #include <LibSQL/Result.h>
  17. #include <LibSQL/ResultSet.h>
  18. #include <LibSQL/Type.h>
  19. namespace SQL::AST {
  20. template<class T, class... Args>
  21. static inline NonnullRefPtr<T>
  22. create_ast_node(Args&&... args)
  23. {
  24. return adopt_ref(*new T(forward<Args>(args)...));
  25. }
  26. class ASTNode : public RefCounted<ASTNode> {
  27. public:
  28. virtual ~ASTNode() = default;
  29. protected:
  30. ASTNode() = default;
  31. };
  32. //==================================================================================================
  33. // Language types
  34. //==================================================================================================
  35. class SignedNumber final : public ASTNode {
  36. public:
  37. explicit SignedNumber(double value)
  38. : m_value(value)
  39. {
  40. }
  41. double value() const { return m_value; }
  42. private:
  43. double m_value;
  44. };
  45. class TypeName : public ASTNode {
  46. public:
  47. TypeName(DeprecatedString name, NonnullRefPtrVector<SignedNumber> signed_numbers)
  48. : m_name(move(name))
  49. , m_signed_numbers(move(signed_numbers))
  50. {
  51. VERIFY(m_signed_numbers.size() <= 2);
  52. }
  53. DeprecatedString const& name() const { return m_name; }
  54. NonnullRefPtrVector<SignedNumber> const& signed_numbers() const { return m_signed_numbers; }
  55. private:
  56. DeprecatedString m_name;
  57. NonnullRefPtrVector<SignedNumber> m_signed_numbers;
  58. };
  59. class ColumnDefinition : public ASTNode {
  60. public:
  61. ColumnDefinition(DeprecatedString name, NonnullRefPtr<TypeName> type_name)
  62. : m_name(move(name))
  63. , m_type_name(move(type_name))
  64. {
  65. }
  66. DeprecatedString const& name() const { return m_name; }
  67. NonnullRefPtr<TypeName> const& type_name() const { return m_type_name; }
  68. private:
  69. DeprecatedString m_name;
  70. NonnullRefPtr<TypeName> m_type_name;
  71. };
  72. class CommonTableExpression : public ASTNode {
  73. public:
  74. CommonTableExpression(DeprecatedString table_name, Vector<DeprecatedString> column_names, NonnullRefPtr<Select> select_statement)
  75. : m_table_name(move(table_name))
  76. , m_column_names(move(column_names))
  77. , m_select_statement(move(select_statement))
  78. {
  79. }
  80. DeprecatedString const& table_name() const { return m_table_name; }
  81. Vector<DeprecatedString> const& column_names() const { return m_column_names; }
  82. NonnullRefPtr<Select> const& select_statement() const { return m_select_statement; }
  83. private:
  84. DeprecatedString m_table_name;
  85. Vector<DeprecatedString> m_column_names;
  86. NonnullRefPtr<Select> m_select_statement;
  87. };
  88. class CommonTableExpressionList : public ASTNode {
  89. public:
  90. CommonTableExpressionList(bool recursive, NonnullRefPtrVector<CommonTableExpression> common_table_expressions)
  91. : m_recursive(recursive)
  92. , m_common_table_expressions(move(common_table_expressions))
  93. {
  94. VERIFY(!m_common_table_expressions.is_empty());
  95. }
  96. bool recursive() const { return m_recursive; }
  97. NonnullRefPtrVector<CommonTableExpression> const& common_table_expressions() const { return m_common_table_expressions; }
  98. private:
  99. bool m_recursive;
  100. NonnullRefPtrVector<CommonTableExpression> m_common_table_expressions;
  101. };
  102. class QualifiedTableName : public ASTNode {
  103. public:
  104. QualifiedTableName(DeprecatedString schema_name, DeprecatedString table_name, DeprecatedString alias)
  105. : m_schema_name(move(schema_name))
  106. , m_table_name(move(table_name))
  107. , m_alias(move(alias))
  108. {
  109. }
  110. DeprecatedString const& schema_name() const { return m_schema_name; }
  111. DeprecatedString const& table_name() const { return m_table_name; }
  112. DeprecatedString const& alias() const { return m_alias; }
  113. private:
  114. DeprecatedString m_schema_name;
  115. DeprecatedString m_table_name;
  116. DeprecatedString m_alias;
  117. };
  118. class ReturningClause : public ASTNode {
  119. public:
  120. struct ColumnClause {
  121. NonnullRefPtr<Expression> expression;
  122. DeprecatedString column_alias;
  123. };
  124. ReturningClause() = default;
  125. explicit ReturningClause(Vector<ColumnClause> columns)
  126. : m_columns(move(columns))
  127. {
  128. }
  129. bool return_all_columns() const { return m_columns.is_empty(); };
  130. Vector<ColumnClause> const& columns() const { return m_columns; }
  131. private:
  132. Vector<ColumnClause> m_columns;
  133. };
  134. enum class ResultType {
  135. All,
  136. Table,
  137. Expression,
  138. };
  139. class ResultColumn : public ASTNode {
  140. public:
  141. ResultColumn() = default;
  142. explicit ResultColumn(DeprecatedString table_name)
  143. : m_type(ResultType::Table)
  144. , m_table_name(move(table_name))
  145. {
  146. }
  147. ResultColumn(NonnullRefPtr<Expression> expression, DeprecatedString column_alias)
  148. : m_type(ResultType::Expression)
  149. , m_expression(move(expression))
  150. , m_column_alias(move(column_alias))
  151. {
  152. }
  153. ResultType type() const { return m_type; }
  154. bool select_from_table() const { return !m_table_name.is_null(); }
  155. DeprecatedString const& table_name() const { return m_table_name; }
  156. bool select_from_expression() const { return !m_expression.is_null(); }
  157. RefPtr<Expression> const& expression() const { return m_expression; }
  158. DeprecatedString const& column_alias() const { return m_column_alias; }
  159. private:
  160. ResultType m_type { ResultType::All };
  161. DeprecatedString m_table_name {};
  162. RefPtr<Expression> m_expression {};
  163. DeprecatedString m_column_alias {};
  164. };
  165. class GroupByClause : public ASTNode {
  166. public:
  167. GroupByClause(NonnullRefPtrVector<Expression> group_by_list, RefPtr<Expression> having_clause)
  168. : m_group_by_list(move(group_by_list))
  169. , m_having_clause(move(having_clause))
  170. {
  171. VERIFY(!m_group_by_list.is_empty());
  172. }
  173. NonnullRefPtrVector<Expression> const& group_by_list() const { return m_group_by_list; }
  174. RefPtr<Expression> const& having_clause() const { return m_having_clause; }
  175. private:
  176. NonnullRefPtrVector<Expression> m_group_by_list;
  177. RefPtr<Expression> m_having_clause;
  178. };
  179. class TableOrSubquery : public ASTNode {
  180. public:
  181. TableOrSubquery() = default;
  182. TableOrSubquery(DeprecatedString schema_name, DeprecatedString table_name, DeprecatedString table_alias)
  183. : m_is_table(true)
  184. , m_schema_name(move(schema_name))
  185. , m_table_name(move(table_name))
  186. , m_table_alias(move(table_alias))
  187. {
  188. }
  189. explicit TableOrSubquery(NonnullRefPtrVector<TableOrSubquery> subqueries)
  190. : m_is_subquery(!subqueries.is_empty())
  191. , m_subqueries(move(subqueries))
  192. {
  193. }
  194. bool is_table() const { return m_is_table; }
  195. DeprecatedString const& schema_name() const { return m_schema_name; }
  196. DeprecatedString const& table_name() const { return m_table_name; }
  197. DeprecatedString const& table_alias() const { return m_table_alias; }
  198. bool is_subquery() const { return m_is_subquery; }
  199. NonnullRefPtrVector<TableOrSubquery> const& subqueries() const { return m_subqueries; }
  200. private:
  201. bool m_is_table { false };
  202. DeprecatedString m_schema_name {};
  203. DeprecatedString m_table_name {};
  204. DeprecatedString m_table_alias {};
  205. bool m_is_subquery { false };
  206. NonnullRefPtrVector<TableOrSubquery> m_subqueries {};
  207. };
  208. class OrderingTerm : public ASTNode {
  209. public:
  210. OrderingTerm(NonnullRefPtr<Expression> expression, DeprecatedString collation_name, Order order, Nulls nulls)
  211. : m_expression(move(expression))
  212. , m_collation_name(move(collation_name))
  213. , m_order(order)
  214. , m_nulls(nulls)
  215. {
  216. }
  217. NonnullRefPtr<Expression> const& expression() const { return m_expression; }
  218. DeprecatedString const& collation_name() const { return m_collation_name; }
  219. Order order() const { return m_order; }
  220. Nulls nulls() const { return m_nulls; }
  221. private:
  222. NonnullRefPtr<Expression> m_expression;
  223. DeprecatedString m_collation_name;
  224. Order m_order;
  225. Nulls m_nulls;
  226. };
  227. class LimitClause : public ASTNode {
  228. public:
  229. LimitClause(NonnullRefPtr<Expression> limit_expression, RefPtr<Expression> offset_expression)
  230. : m_limit_expression(move(limit_expression))
  231. , m_offset_expression(move(offset_expression))
  232. {
  233. }
  234. NonnullRefPtr<Expression> const& limit_expression() const { return m_limit_expression; }
  235. RefPtr<Expression> const& offset_expression() const { return m_offset_expression; }
  236. private:
  237. NonnullRefPtr<Expression> m_limit_expression;
  238. RefPtr<Expression> m_offset_expression;
  239. };
  240. //==================================================================================================
  241. // Expressions
  242. //==================================================================================================
  243. struct ExecutionContext {
  244. NonnullRefPtr<Database> database;
  245. Statement const* statement { nullptr };
  246. Span<Value const> placeholder_values {};
  247. Tuple* current_row { nullptr };
  248. };
  249. class Expression : public ASTNode {
  250. public:
  251. virtual ResultOr<Value> evaluate(ExecutionContext&) const
  252. {
  253. return Result { SQLCommand::Unknown, SQLErrorCode::NotYetImplemented };
  254. }
  255. };
  256. class ErrorExpression final : public Expression {
  257. };
  258. class NumericLiteral : public Expression {
  259. public:
  260. explicit NumericLiteral(double value)
  261. : m_value(value)
  262. {
  263. }
  264. double value() const { return m_value; }
  265. virtual ResultOr<Value> evaluate(ExecutionContext&) const override;
  266. private:
  267. double m_value;
  268. };
  269. class StringLiteral : public Expression {
  270. public:
  271. explicit StringLiteral(DeprecatedString value)
  272. : m_value(move(value))
  273. {
  274. }
  275. DeprecatedString const& value() const { return m_value; }
  276. virtual ResultOr<Value> evaluate(ExecutionContext&) const override;
  277. private:
  278. DeprecatedString m_value;
  279. };
  280. class BlobLiteral : public Expression {
  281. public:
  282. explicit BlobLiteral(DeprecatedString value)
  283. : m_value(move(value))
  284. {
  285. }
  286. DeprecatedString const& value() const { return m_value; }
  287. private:
  288. DeprecatedString m_value;
  289. };
  290. class NullLiteral : public Expression {
  291. public:
  292. virtual ResultOr<Value> evaluate(ExecutionContext&) const override;
  293. };
  294. class Placeholder : public Expression {
  295. public:
  296. explicit Placeholder(size_t parameter_index)
  297. : m_parameter_index(parameter_index)
  298. {
  299. }
  300. size_t parameter_index() const { return m_parameter_index; }
  301. virtual ResultOr<Value> evaluate(ExecutionContext&) const override;
  302. private:
  303. size_t m_parameter_index { 0 };
  304. };
  305. class NestedExpression : public Expression {
  306. public:
  307. NonnullRefPtr<Expression> const& expression() const { return m_expression; }
  308. virtual ResultOr<Value> evaluate(ExecutionContext&) const override;
  309. protected:
  310. explicit NestedExpression(NonnullRefPtr<Expression> expression)
  311. : m_expression(move(expression))
  312. {
  313. }
  314. private:
  315. NonnullRefPtr<Expression> m_expression;
  316. };
  317. class NestedDoubleExpression : public Expression {
  318. public:
  319. NonnullRefPtr<Expression> const& lhs() const { return m_lhs; }
  320. NonnullRefPtr<Expression> const& rhs() const { return m_rhs; }
  321. protected:
  322. NestedDoubleExpression(NonnullRefPtr<Expression> lhs, NonnullRefPtr<Expression> rhs)
  323. : m_lhs(move(lhs))
  324. , m_rhs(move(rhs))
  325. {
  326. }
  327. private:
  328. NonnullRefPtr<Expression> m_lhs;
  329. NonnullRefPtr<Expression> m_rhs;
  330. };
  331. class InvertibleNestedExpression : public NestedExpression {
  332. public:
  333. bool invert_expression() const { return m_invert_expression; }
  334. protected:
  335. InvertibleNestedExpression(NonnullRefPtr<Expression> expression, bool invert_expression)
  336. : NestedExpression(move(expression))
  337. , m_invert_expression(invert_expression)
  338. {
  339. }
  340. private:
  341. bool m_invert_expression;
  342. };
  343. class InvertibleNestedDoubleExpression : public NestedDoubleExpression {
  344. public:
  345. bool invert_expression() const { return m_invert_expression; }
  346. protected:
  347. InvertibleNestedDoubleExpression(NonnullRefPtr<Expression> lhs, NonnullRefPtr<Expression> rhs, bool invert_expression)
  348. : NestedDoubleExpression(move(lhs), move(rhs))
  349. , m_invert_expression(invert_expression)
  350. {
  351. }
  352. private:
  353. bool m_invert_expression;
  354. };
  355. class ColumnNameExpression : public Expression {
  356. public:
  357. ColumnNameExpression(DeprecatedString schema_name, DeprecatedString table_name, DeprecatedString column_name)
  358. : m_schema_name(move(schema_name))
  359. , m_table_name(move(table_name))
  360. , m_column_name(move(column_name))
  361. {
  362. }
  363. DeprecatedString const& schema_name() const { return m_schema_name; }
  364. DeprecatedString const& table_name() const { return m_table_name; }
  365. DeprecatedString const& column_name() const { return m_column_name; }
  366. virtual ResultOr<Value> evaluate(ExecutionContext&) const override;
  367. private:
  368. DeprecatedString m_schema_name;
  369. DeprecatedString m_table_name;
  370. DeprecatedString m_column_name;
  371. };
  372. #define __enum_UnaryOperator(S) \
  373. S(Minus, "-") \
  374. S(Plus, "+") \
  375. S(BitwiseNot, "~") \
  376. S(Not, "NOT")
  377. enum class UnaryOperator {
  378. #undef __UnaryOperator
  379. #define __UnaryOperator(code, name) code,
  380. __enum_UnaryOperator(__UnaryOperator)
  381. #undef __UnaryOperator
  382. };
  383. constexpr char const* UnaryOperator_name(UnaryOperator op)
  384. {
  385. switch (op) {
  386. #undef __UnaryOperator
  387. #define __UnaryOperator(code, name) \
  388. case UnaryOperator::code: \
  389. return name;
  390. __enum_UnaryOperator(__UnaryOperator)
  391. #undef __UnaryOperator
  392. default : VERIFY_NOT_REACHED();
  393. }
  394. }
  395. class UnaryOperatorExpression : public NestedExpression {
  396. public:
  397. UnaryOperatorExpression(UnaryOperator type, NonnullRefPtr<Expression> expression)
  398. : NestedExpression(move(expression))
  399. , m_type(type)
  400. {
  401. }
  402. UnaryOperator type() const { return m_type; }
  403. virtual ResultOr<Value> evaluate(ExecutionContext&) const override;
  404. private:
  405. UnaryOperator m_type;
  406. };
  407. // Note: These are in order of highest-to-lowest operator precedence.
  408. #define __enum_BinaryOperator(S) \
  409. S(Concatenate, "||") \
  410. S(Multiplication, "*") \
  411. S(Division, "/") \
  412. S(Modulo, "%") \
  413. S(Plus, "+") \
  414. S(Minus, "-") \
  415. S(ShiftLeft, "<<") \
  416. S(ShiftRight, ">>") \
  417. S(BitwiseAnd, "&") \
  418. S(BitwiseOr, "|") \
  419. S(LessThan, "<") \
  420. S(LessThanEquals, "<=") \
  421. S(GreaterThan, ">") \
  422. S(GreaterThanEquals, ">=") \
  423. S(Equals, "=") \
  424. S(NotEquals, "!=") \
  425. S(And, "and") \
  426. S(Or, "or")
  427. enum class BinaryOperator {
  428. #undef __BinaryOperator
  429. #define __BinaryOperator(code, name) code,
  430. __enum_BinaryOperator(__BinaryOperator)
  431. #undef __BinaryOperator
  432. };
  433. constexpr char const* BinaryOperator_name(BinaryOperator op)
  434. {
  435. switch (op) {
  436. #undef __BinaryOperator
  437. #define __BinaryOperator(code, name) \
  438. case BinaryOperator::code: \
  439. return name;
  440. __enum_BinaryOperator(__BinaryOperator)
  441. #undef __BinaryOperator
  442. default : VERIFY_NOT_REACHED();
  443. }
  444. }
  445. class BinaryOperatorExpression : public NestedDoubleExpression {
  446. public:
  447. BinaryOperatorExpression(BinaryOperator type, NonnullRefPtr<Expression> lhs, NonnullRefPtr<Expression> rhs)
  448. : NestedDoubleExpression(move(lhs), move(rhs))
  449. , m_type(type)
  450. {
  451. }
  452. BinaryOperator type() const { return m_type; }
  453. virtual ResultOr<Value> evaluate(ExecutionContext&) const override;
  454. private:
  455. BinaryOperator m_type;
  456. };
  457. class ChainedExpression : public Expression {
  458. public:
  459. explicit ChainedExpression(NonnullRefPtrVector<Expression> expressions)
  460. : m_expressions(move(expressions))
  461. {
  462. }
  463. NonnullRefPtrVector<Expression> const& expressions() const { return m_expressions; }
  464. virtual ResultOr<Value> evaluate(ExecutionContext&) const override;
  465. private:
  466. NonnullRefPtrVector<Expression> m_expressions;
  467. };
  468. class CastExpression : public NestedExpression {
  469. public:
  470. CastExpression(NonnullRefPtr<Expression> expression, NonnullRefPtr<TypeName> type_name)
  471. : NestedExpression(move(expression))
  472. , m_type_name(move(type_name))
  473. {
  474. }
  475. NonnullRefPtr<TypeName> const& type_name() const { return m_type_name; }
  476. private:
  477. NonnullRefPtr<TypeName> m_type_name;
  478. };
  479. class CaseExpression : public Expression {
  480. public:
  481. struct WhenThenClause {
  482. NonnullRefPtr<Expression> when;
  483. NonnullRefPtr<Expression> then;
  484. };
  485. CaseExpression(RefPtr<Expression> case_expression, Vector<WhenThenClause> when_then_clauses, RefPtr<Expression> else_expression)
  486. : m_case_expression(case_expression)
  487. , m_when_then_clauses(when_then_clauses)
  488. , m_else_expression(else_expression)
  489. {
  490. VERIFY(!m_when_then_clauses.is_empty());
  491. }
  492. RefPtr<Expression> const& case_expression() const { return m_case_expression; }
  493. Vector<WhenThenClause> const& when_then_clauses() const { return m_when_then_clauses; }
  494. RefPtr<Expression> const& else_expression() const { return m_else_expression; }
  495. private:
  496. RefPtr<Expression> m_case_expression;
  497. Vector<WhenThenClause> m_when_then_clauses;
  498. RefPtr<Expression> m_else_expression;
  499. };
  500. class ExistsExpression : public Expression {
  501. public:
  502. ExistsExpression(NonnullRefPtr<Select> select_statement, bool invert_expression)
  503. : m_select_statement(move(select_statement))
  504. , m_invert_expression(invert_expression)
  505. {
  506. }
  507. NonnullRefPtr<Select> const& select_statement() const { return m_select_statement; }
  508. bool invert_expression() const { return m_invert_expression; }
  509. private:
  510. NonnullRefPtr<Select> m_select_statement;
  511. bool m_invert_expression;
  512. };
  513. class CollateExpression : public NestedExpression {
  514. public:
  515. CollateExpression(NonnullRefPtr<Expression> expression, DeprecatedString collation_name)
  516. : NestedExpression(move(expression))
  517. , m_collation_name(move(collation_name))
  518. {
  519. }
  520. DeprecatedString const& collation_name() const { return m_collation_name; }
  521. private:
  522. DeprecatedString m_collation_name;
  523. };
  524. enum class MatchOperator {
  525. Like,
  526. Glob,
  527. Match,
  528. Regexp,
  529. };
  530. class MatchExpression : public InvertibleNestedDoubleExpression {
  531. public:
  532. MatchExpression(MatchOperator type, NonnullRefPtr<Expression> lhs, NonnullRefPtr<Expression> rhs, RefPtr<Expression> escape, bool invert_expression)
  533. : InvertibleNestedDoubleExpression(move(lhs), move(rhs), invert_expression)
  534. , m_type(type)
  535. , m_escape(move(escape))
  536. {
  537. }
  538. MatchOperator type() const { return m_type; }
  539. RefPtr<Expression> const& escape() const { return m_escape; }
  540. virtual ResultOr<Value> evaluate(ExecutionContext&) const override;
  541. private:
  542. MatchOperator m_type;
  543. RefPtr<Expression> m_escape;
  544. };
  545. class NullExpression : public InvertibleNestedExpression {
  546. public:
  547. NullExpression(NonnullRefPtr<Expression> expression, bool invert_expression)
  548. : InvertibleNestedExpression(move(expression), invert_expression)
  549. {
  550. }
  551. };
  552. class IsExpression : public InvertibleNestedDoubleExpression {
  553. public:
  554. IsExpression(NonnullRefPtr<Expression> lhs, NonnullRefPtr<Expression> rhs, bool invert_expression)
  555. : InvertibleNestedDoubleExpression(move(lhs), move(rhs), invert_expression)
  556. {
  557. }
  558. };
  559. class BetweenExpression : public InvertibleNestedDoubleExpression {
  560. public:
  561. BetweenExpression(NonnullRefPtr<Expression> expression, NonnullRefPtr<Expression> lhs, NonnullRefPtr<Expression> rhs, bool invert_expression)
  562. : InvertibleNestedDoubleExpression(move(lhs), move(rhs), invert_expression)
  563. , m_expression(move(expression))
  564. {
  565. }
  566. NonnullRefPtr<Expression> const& expression() const { return m_expression; }
  567. private:
  568. NonnullRefPtr<Expression> m_expression;
  569. };
  570. class InSelectionExpression : public InvertibleNestedExpression {
  571. public:
  572. InSelectionExpression(NonnullRefPtr<Expression> expression, NonnullRefPtr<Select> select_statement, bool invert_expression)
  573. : InvertibleNestedExpression(move(expression), invert_expression)
  574. , m_select_statement(move(select_statement))
  575. {
  576. }
  577. NonnullRefPtr<Select> const& select_statement() const { return m_select_statement; }
  578. private:
  579. NonnullRefPtr<Select> m_select_statement;
  580. };
  581. class InChainedExpression : public InvertibleNestedExpression {
  582. public:
  583. InChainedExpression(NonnullRefPtr<Expression> expression, NonnullRefPtr<ChainedExpression> expression_chain, bool invert_expression)
  584. : InvertibleNestedExpression(move(expression), invert_expression)
  585. , m_expression_chain(move(expression_chain))
  586. {
  587. }
  588. NonnullRefPtr<ChainedExpression> const& expression_chain() const { return m_expression_chain; }
  589. private:
  590. NonnullRefPtr<ChainedExpression> m_expression_chain;
  591. };
  592. class InTableExpression : public InvertibleNestedExpression {
  593. public:
  594. InTableExpression(NonnullRefPtr<Expression> expression, DeprecatedString schema_name, DeprecatedString table_name, bool invert_expression)
  595. : InvertibleNestedExpression(move(expression), invert_expression)
  596. , m_schema_name(move(schema_name))
  597. , m_table_name(move(table_name))
  598. {
  599. }
  600. DeprecatedString const& schema_name() const { return m_schema_name; }
  601. DeprecatedString const& table_name() const { return m_table_name; }
  602. private:
  603. DeprecatedString m_schema_name;
  604. DeprecatedString m_table_name;
  605. };
  606. //==================================================================================================
  607. // Statements
  608. //==================================================================================================
  609. class Statement : public ASTNode {
  610. public:
  611. ResultOr<ResultSet> execute(AK::NonnullRefPtr<Database> database, Span<Value const> placeholder_values = {}) const;
  612. virtual ResultOr<ResultSet> execute(ExecutionContext&) const
  613. {
  614. return Result { SQLCommand::Unknown, SQLErrorCode::NotYetImplemented };
  615. }
  616. };
  617. class ErrorStatement final : public Statement {
  618. };
  619. class CreateSchema : public Statement {
  620. public:
  621. CreateSchema(DeprecatedString schema_name, bool is_error_if_schema_exists)
  622. : m_schema_name(move(schema_name))
  623. , m_is_error_if_schema_exists(is_error_if_schema_exists)
  624. {
  625. }
  626. DeprecatedString const& schema_name() const { return m_schema_name; }
  627. bool is_error_if_schema_exists() const { return m_is_error_if_schema_exists; }
  628. ResultOr<ResultSet> execute(ExecutionContext&) const override;
  629. private:
  630. DeprecatedString m_schema_name;
  631. bool m_is_error_if_schema_exists;
  632. };
  633. class CreateTable : public Statement {
  634. public:
  635. CreateTable(DeprecatedString schema_name, DeprecatedString table_name, RefPtr<Select> select_statement, bool is_temporary, bool is_error_if_table_exists)
  636. : m_schema_name(move(schema_name))
  637. , m_table_name(move(table_name))
  638. , m_select_statement(move(select_statement))
  639. , m_is_temporary(is_temporary)
  640. , m_is_error_if_table_exists(is_error_if_table_exists)
  641. {
  642. }
  643. CreateTable(DeprecatedString schema_name, DeprecatedString table_name, NonnullRefPtrVector<ColumnDefinition> columns, bool is_temporary, bool is_error_if_table_exists)
  644. : m_schema_name(move(schema_name))
  645. , m_table_name(move(table_name))
  646. , m_columns(move(columns))
  647. , m_is_temporary(is_temporary)
  648. , m_is_error_if_table_exists(is_error_if_table_exists)
  649. {
  650. }
  651. DeprecatedString const& schema_name() const { return m_schema_name; }
  652. DeprecatedString const& table_name() const { return m_table_name; }
  653. bool has_selection() const { return !m_select_statement.is_null(); }
  654. RefPtr<Select> const& select_statement() const { return m_select_statement; }
  655. bool has_columns() const { return !m_columns.is_empty(); }
  656. NonnullRefPtrVector<ColumnDefinition> const& columns() const { return m_columns; }
  657. bool is_temporary() const { return m_is_temporary; }
  658. bool is_error_if_table_exists() const { return m_is_error_if_table_exists; }
  659. ResultOr<ResultSet> execute(ExecutionContext&) const override;
  660. private:
  661. DeprecatedString m_schema_name;
  662. DeprecatedString m_table_name;
  663. RefPtr<Select> m_select_statement;
  664. NonnullRefPtrVector<ColumnDefinition> m_columns;
  665. bool m_is_temporary;
  666. bool m_is_error_if_table_exists;
  667. };
  668. class AlterTable : public Statement {
  669. public:
  670. DeprecatedString const& schema_name() const { return m_schema_name; }
  671. DeprecatedString const& table_name() const { return m_table_name; }
  672. protected:
  673. AlterTable(DeprecatedString schema_name, DeprecatedString table_name)
  674. : m_schema_name(move(schema_name))
  675. , m_table_name(move(table_name))
  676. {
  677. }
  678. private:
  679. DeprecatedString m_schema_name;
  680. DeprecatedString m_table_name;
  681. };
  682. class RenameTable : public AlterTable {
  683. public:
  684. RenameTable(DeprecatedString schema_name, DeprecatedString table_name, DeprecatedString new_table_name)
  685. : AlterTable(move(schema_name), move(table_name))
  686. , m_new_table_name(move(new_table_name))
  687. {
  688. }
  689. DeprecatedString const& new_table_name() const { return m_new_table_name; }
  690. private:
  691. DeprecatedString m_new_table_name;
  692. };
  693. class RenameColumn : public AlterTable {
  694. public:
  695. RenameColumn(DeprecatedString schema_name, DeprecatedString table_name, DeprecatedString column_name, DeprecatedString new_column_name)
  696. : AlterTable(move(schema_name), move(table_name))
  697. , m_column_name(move(column_name))
  698. , m_new_column_name(move(new_column_name))
  699. {
  700. }
  701. DeprecatedString const& column_name() const { return m_column_name; }
  702. DeprecatedString const& new_column_name() const { return m_new_column_name; }
  703. private:
  704. DeprecatedString m_column_name;
  705. DeprecatedString m_new_column_name;
  706. };
  707. class AddColumn : public AlterTable {
  708. public:
  709. AddColumn(DeprecatedString schema_name, DeprecatedString table_name, NonnullRefPtr<ColumnDefinition> column)
  710. : AlterTable(move(schema_name), move(table_name))
  711. , m_column(move(column))
  712. {
  713. }
  714. NonnullRefPtr<ColumnDefinition> const& column() const { return m_column; }
  715. private:
  716. NonnullRefPtr<ColumnDefinition> m_column;
  717. };
  718. class DropColumn : public AlterTable {
  719. public:
  720. DropColumn(DeprecatedString schema_name, DeprecatedString table_name, DeprecatedString column_name)
  721. : AlterTable(move(schema_name), move(table_name))
  722. , m_column_name(move(column_name))
  723. {
  724. }
  725. DeprecatedString const& column_name() const { return m_column_name; }
  726. private:
  727. DeprecatedString m_column_name;
  728. };
  729. class DropTable : public Statement {
  730. public:
  731. DropTable(DeprecatedString schema_name, DeprecatedString table_name, bool is_error_if_table_does_not_exist)
  732. : m_schema_name(move(schema_name))
  733. , m_table_name(move(table_name))
  734. , m_is_error_if_table_does_not_exist(is_error_if_table_does_not_exist)
  735. {
  736. }
  737. DeprecatedString const& schema_name() const { return m_schema_name; }
  738. DeprecatedString const& table_name() const { return m_table_name; }
  739. bool is_error_if_table_does_not_exist() const { return m_is_error_if_table_does_not_exist; }
  740. private:
  741. DeprecatedString m_schema_name;
  742. DeprecatedString m_table_name;
  743. bool m_is_error_if_table_does_not_exist;
  744. };
  745. enum class ConflictResolution {
  746. Abort,
  747. Fail,
  748. Ignore,
  749. Replace,
  750. Rollback,
  751. };
  752. class Insert : public Statement {
  753. public:
  754. Insert(RefPtr<CommonTableExpressionList> common_table_expression_list, ConflictResolution conflict_resolution, DeprecatedString schema_name, DeprecatedString table_name, DeprecatedString alias, Vector<DeprecatedString> column_names, NonnullRefPtrVector<ChainedExpression> chained_expressions)
  755. : m_common_table_expression_list(move(common_table_expression_list))
  756. , m_conflict_resolution(conflict_resolution)
  757. , m_schema_name(move(schema_name))
  758. , m_table_name(move(table_name))
  759. , m_alias(move(alias))
  760. , m_column_names(move(column_names))
  761. , m_chained_expressions(move(chained_expressions))
  762. {
  763. }
  764. Insert(RefPtr<CommonTableExpressionList> common_table_expression_list, ConflictResolution conflict_resolution, DeprecatedString schema_name, DeprecatedString table_name, DeprecatedString alias, Vector<DeprecatedString> column_names, RefPtr<Select> select_statement)
  765. : m_common_table_expression_list(move(common_table_expression_list))
  766. , m_conflict_resolution(conflict_resolution)
  767. , m_schema_name(move(schema_name))
  768. , m_table_name(move(table_name))
  769. , m_alias(move(alias))
  770. , m_column_names(move(column_names))
  771. , m_select_statement(move(select_statement))
  772. {
  773. }
  774. Insert(RefPtr<CommonTableExpressionList> common_table_expression_list, ConflictResolution conflict_resolution, DeprecatedString schema_name, DeprecatedString table_name, DeprecatedString alias, Vector<DeprecatedString> column_names)
  775. : m_common_table_expression_list(move(common_table_expression_list))
  776. , m_conflict_resolution(conflict_resolution)
  777. , m_schema_name(move(schema_name))
  778. , m_table_name(move(table_name))
  779. , m_alias(move(alias))
  780. , m_column_names(move(column_names))
  781. {
  782. }
  783. RefPtr<CommonTableExpressionList> const& common_table_expression_list() const { return m_common_table_expression_list; }
  784. ConflictResolution conflict_resolution() const { return m_conflict_resolution; }
  785. DeprecatedString const& schema_name() const { return m_schema_name; }
  786. DeprecatedString const& table_name() const { return m_table_name; }
  787. DeprecatedString const& alias() const { return m_alias; }
  788. Vector<DeprecatedString> const& column_names() const { return m_column_names; }
  789. bool default_values() const { return !has_expressions() && !has_selection(); };
  790. bool has_expressions() const { return !m_chained_expressions.is_empty(); }
  791. NonnullRefPtrVector<ChainedExpression> const& chained_expressions() const { return m_chained_expressions; }
  792. bool has_selection() const { return !m_select_statement.is_null(); }
  793. RefPtr<Select> const& select_statement() const { return m_select_statement; }
  794. virtual ResultOr<ResultSet> execute(ExecutionContext&) const override;
  795. private:
  796. RefPtr<CommonTableExpressionList> m_common_table_expression_list;
  797. ConflictResolution m_conflict_resolution;
  798. DeprecatedString m_schema_name;
  799. DeprecatedString m_table_name;
  800. DeprecatedString m_alias;
  801. Vector<DeprecatedString> m_column_names;
  802. NonnullRefPtrVector<ChainedExpression> m_chained_expressions;
  803. RefPtr<Select> m_select_statement;
  804. };
  805. class Update : public Statement {
  806. public:
  807. struct UpdateColumns {
  808. Vector<DeprecatedString> column_names;
  809. NonnullRefPtr<Expression> expression;
  810. };
  811. Update(RefPtr<CommonTableExpressionList> common_table_expression_list, ConflictResolution conflict_resolution, NonnullRefPtr<QualifiedTableName> qualified_table_name, Vector<UpdateColumns> update_columns, NonnullRefPtrVector<TableOrSubquery> table_or_subquery_list, RefPtr<Expression> where_clause, RefPtr<ReturningClause> returning_clause)
  812. : m_common_table_expression_list(move(common_table_expression_list))
  813. , m_conflict_resolution(conflict_resolution)
  814. , m_qualified_table_name(move(qualified_table_name))
  815. , m_update_columns(move(update_columns))
  816. , m_table_or_subquery_list(move(table_or_subquery_list))
  817. , m_where_clause(move(where_clause))
  818. , m_returning_clause(move(returning_clause))
  819. {
  820. }
  821. RefPtr<CommonTableExpressionList> const& common_table_expression_list() const { return m_common_table_expression_list; }
  822. ConflictResolution conflict_resolution() const { return m_conflict_resolution; }
  823. NonnullRefPtr<QualifiedTableName> const& qualified_table_name() const { return m_qualified_table_name; }
  824. Vector<UpdateColumns> const& update_columns() const { return m_update_columns; }
  825. NonnullRefPtrVector<TableOrSubquery> const& table_or_subquery_list() const { return m_table_or_subquery_list; }
  826. RefPtr<Expression> const& where_clause() const { return m_where_clause; }
  827. RefPtr<ReturningClause> const& returning_clause() const { return m_returning_clause; }
  828. virtual ResultOr<ResultSet> execute(ExecutionContext&) const override;
  829. private:
  830. RefPtr<CommonTableExpressionList> m_common_table_expression_list;
  831. ConflictResolution m_conflict_resolution;
  832. NonnullRefPtr<QualifiedTableName> m_qualified_table_name;
  833. Vector<UpdateColumns> m_update_columns;
  834. NonnullRefPtrVector<TableOrSubquery> m_table_or_subquery_list;
  835. RefPtr<Expression> m_where_clause;
  836. RefPtr<ReturningClause> m_returning_clause;
  837. };
  838. class Delete : public Statement {
  839. public:
  840. Delete(RefPtr<CommonTableExpressionList> common_table_expression_list, NonnullRefPtr<QualifiedTableName> qualified_table_name, RefPtr<Expression> where_clause, RefPtr<ReturningClause> returning_clause)
  841. : m_common_table_expression_list(move(common_table_expression_list))
  842. , m_qualified_table_name(move(qualified_table_name))
  843. , m_where_clause(move(where_clause))
  844. , m_returning_clause(move(returning_clause))
  845. {
  846. }
  847. RefPtr<CommonTableExpressionList> const& common_table_expression_list() const { return m_common_table_expression_list; }
  848. NonnullRefPtr<QualifiedTableName> const& qualified_table_name() const { return m_qualified_table_name; }
  849. RefPtr<Expression> const& where_clause() const { return m_where_clause; }
  850. RefPtr<ReturningClause> const& returning_clause() const { return m_returning_clause; }
  851. virtual ResultOr<ResultSet> execute(ExecutionContext&) const override;
  852. private:
  853. RefPtr<CommonTableExpressionList> m_common_table_expression_list;
  854. NonnullRefPtr<QualifiedTableName> m_qualified_table_name;
  855. RefPtr<Expression> m_where_clause;
  856. RefPtr<ReturningClause> m_returning_clause;
  857. };
  858. class Select : public Statement {
  859. public:
  860. Select(RefPtr<CommonTableExpressionList> common_table_expression_list, bool select_all, NonnullRefPtrVector<ResultColumn> result_column_list, NonnullRefPtrVector<TableOrSubquery> table_or_subquery_list, RefPtr<Expression> where_clause, RefPtr<GroupByClause> group_by_clause, NonnullRefPtrVector<OrderingTerm> ordering_term_list, RefPtr<LimitClause> limit_clause)
  861. : m_common_table_expression_list(move(common_table_expression_list))
  862. , m_select_all(move(select_all))
  863. , m_result_column_list(move(result_column_list))
  864. , m_table_or_subquery_list(move(table_or_subquery_list))
  865. , m_where_clause(move(where_clause))
  866. , m_group_by_clause(move(group_by_clause))
  867. , m_ordering_term_list(move(ordering_term_list))
  868. , m_limit_clause(move(limit_clause))
  869. {
  870. }
  871. RefPtr<CommonTableExpressionList> const& common_table_expression_list() const { return m_common_table_expression_list; }
  872. bool select_all() const { return m_select_all; }
  873. NonnullRefPtrVector<ResultColumn> const& result_column_list() const { return m_result_column_list; }
  874. NonnullRefPtrVector<TableOrSubquery> const& table_or_subquery_list() const { return m_table_or_subquery_list; }
  875. RefPtr<Expression> const& where_clause() const { return m_where_clause; }
  876. RefPtr<GroupByClause> const& group_by_clause() const { return m_group_by_clause; }
  877. NonnullRefPtrVector<OrderingTerm> const& ordering_term_list() const { return m_ordering_term_list; }
  878. RefPtr<LimitClause> const& limit_clause() const { return m_limit_clause; }
  879. ResultOr<ResultSet> execute(ExecutionContext&) const override;
  880. private:
  881. RefPtr<CommonTableExpressionList> m_common_table_expression_list;
  882. bool m_select_all;
  883. NonnullRefPtrVector<ResultColumn> m_result_column_list;
  884. NonnullRefPtrVector<TableOrSubquery> m_table_or_subquery_list;
  885. RefPtr<Expression> m_where_clause;
  886. RefPtr<GroupByClause> m_group_by_clause;
  887. NonnullRefPtrVector<OrderingTerm> m_ordering_term_list;
  888. RefPtr<LimitClause> m_limit_clause;
  889. };
  890. class DescribeTable : public Statement {
  891. public:
  892. DescribeTable(NonnullRefPtr<QualifiedTableName> qualified_table_name)
  893. : m_qualified_table_name(move(qualified_table_name))
  894. {
  895. }
  896. NonnullRefPtr<QualifiedTableName> qualified_table_name() const { return m_qualified_table_name; }
  897. ResultOr<ResultSet> execute(ExecutionContext&) const override;
  898. private:
  899. NonnullRefPtr<QualifiedTableName> m_qualified_table_name;
  900. };
  901. }