TestSqlValueAndTuple.cpp 16 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569
  1. /*
  2. * Copyright (c) 2021, Jan de Visser <jan@de-visser.net>
  3. * Copyright (c) 2022, Tim Flynn <trflynn89@serenityos.org>
  4. *
  5. * SPDX-License-Identifier: BSD-2-Clause
  6. */
  7. #include <unistd.h>
  8. #include <LibSQL/Meta.h>
  9. #include <LibSQL/Row.h>
  10. #include <LibSQL/Tuple.h>
  11. #include <LibSQL/Value.h>
  12. #include <LibTest/TestCase.h>
  13. TEST_CASE(null_value)
  14. {
  15. SQL::Value v(SQL::SQLType::Null);
  16. EXPECT_EQ(v.type(), SQL::SQLType::Null);
  17. EXPECT_EQ(v.to_string(), "(null)"sv);
  18. EXPECT(!v.to_bool().has_value());
  19. EXPECT(!v.to_int().has_value());
  20. EXPECT(!v.to_u32().has_value());
  21. EXPECT(!v.to_double().has_value());
  22. }
  23. TEST_CASE(assign_null)
  24. {
  25. SQL::Value v("Test");
  26. EXPECT_EQ(v.type(), SQL::SQLType::Text);
  27. EXPECT(!v.is_null());
  28. v = SQL::Value();
  29. EXPECT_EQ(v.type(), SQL::SQLType::Null);
  30. EXPECT(v.is_null());
  31. }
  32. TEST_CASE(text_value)
  33. {
  34. {
  35. SQL::Value v(SQL::SQLType::Text);
  36. EXPECT_EQ(v.type(), SQL::SQLType::Text);
  37. EXPECT(v.is_null());
  38. v = "Test"sv;
  39. EXPECT_EQ(v.type(), SQL::SQLType::Text);
  40. EXPECT_EQ(v.to_string(), "Test"sv);
  41. }
  42. {
  43. SQL::Value v(String("String Test"sv));
  44. EXPECT_EQ(v.type(), SQL::SQLType::Text);
  45. EXPECT_EQ(v.to_string(), "String Test"sv);
  46. v = String("String Test 2"sv);
  47. EXPECT_EQ(v.type(), SQL::SQLType::Text);
  48. EXPECT_EQ(v.to_string(), "String Test 2"sv);
  49. }
  50. {
  51. SQL::Value v("const char * Test");
  52. EXPECT_EQ(v.type(), SQL::SQLType::Text);
  53. EXPECT_EQ(v.to_string(), "const char * Test"sv);
  54. v = "const char * Test 2";
  55. EXPECT_EQ(v.type(), SQL::SQLType::Text);
  56. EXPECT_EQ(v.to_string(), "const char * Test 2"sv);
  57. }
  58. }
  59. TEST_CASE(text_value_to_other_types)
  60. {
  61. {
  62. SQL::Value v("42");
  63. EXPECT_EQ(v.type(), SQL::SQLType::Text);
  64. EXPECT(v.to_int().has_value());
  65. EXPECT_EQ(v.to_int().value(), 42);
  66. EXPECT(v.to_double().has_value());
  67. EXPECT((v.to_double().value() - 42.0) < NumericLimits<double>().epsilon());
  68. }
  69. {
  70. SQL::Value v("true");
  71. EXPECT_EQ(v.type(), SQL::SQLType::Text);
  72. EXPECT(v.to_bool().has_value());
  73. EXPECT(v.to_bool().value());
  74. }
  75. {
  76. SQL::Value v("false");
  77. EXPECT_EQ(v.type(), SQL::SQLType::Text);
  78. EXPECT(v.to_bool().has_value());
  79. EXPECT(!v.to_bool().value());
  80. }
  81. {
  82. SQL::Value v("foo");
  83. EXPECT_EQ(v.type(), SQL::SQLType::Text);
  84. EXPECT(!v.to_bool().has_value());
  85. EXPECT(!v.to_int().has_value());
  86. EXPECT(!v.to_u32().has_value());
  87. EXPECT(!v.to_double().has_value());
  88. }
  89. {
  90. SQL::Value v("3.14");
  91. EXPECT_EQ(v.type(), SQL::SQLType::Text);
  92. EXPECT(v.to_double().has_value());
  93. EXPECT((v.to_double().value() - 3.14) < NumericLimits<double>().epsilon());
  94. }
  95. }
  96. TEST_CASE(assign_int_to_text_value)
  97. {
  98. SQL::Value v(SQL::SQLType::Text);
  99. EXPECT_EQ(v.type(), SQL::SQLType::Text);
  100. EXPECT(v.is_null());
  101. v = 42;
  102. EXPECT_EQ(v.type(), SQL::SQLType::Integer);
  103. EXPECT_EQ(v, 42);
  104. }
  105. TEST_CASE(serialize_text_value)
  106. {
  107. SQL::Value v("Test");
  108. EXPECT_EQ(v.type(), SQL::SQLType::Text);
  109. EXPECT_EQ(v, "Test"sv);
  110. SQL::Serializer serializer;
  111. serializer.serialize<SQL::Value>(v);
  112. serializer.rewind();
  113. auto v2 = serializer.deserialize<SQL::Value>();
  114. EXPECT_EQ(v2.type(), SQL::SQLType::Text);
  115. EXPECT_EQ(v2, "Test"sv);
  116. EXPECT_EQ(v2, v);
  117. }
  118. TEST_CASE(integer_value)
  119. {
  120. {
  121. SQL::Value v(SQL::SQLType::Integer);
  122. EXPECT_EQ(v.type(), SQL::SQLType::Integer);
  123. EXPECT(v.is_null());
  124. v = 42;
  125. EXPECT_EQ(v.type(), SQL::SQLType::Integer);
  126. EXPECT(v.to_int().has_value());
  127. EXPECT_EQ(v.to_int().value(), 42);
  128. EXPECT_EQ(v.to_string(), "42"sv);
  129. EXPECT(v.to_double().has_value());
  130. EXPECT((v.to_double().value() - 42.0) < NumericLimits<double>().epsilon());
  131. EXPECT(v.to_bool().has_value());
  132. EXPECT(v.to_bool().value());
  133. }
  134. {
  135. SQL::Value v(0);
  136. EXPECT_EQ(v.type(), SQL::SQLType::Integer);
  137. EXPECT(v.to_int().has_value());
  138. EXPECT_EQ(v.to_int().value(), 0);
  139. EXPECT(v.to_bool().has_value());
  140. EXPECT(!v.to_bool().value());
  141. }
  142. {
  143. SQL::Value v(42);
  144. EXPECT_EQ(v.type(), SQL::SQLType::Integer);
  145. EXPECT(v.to_int().has_value());
  146. EXPECT_EQ(v.to_int().value(), 42);
  147. }
  148. {
  149. SQL::Value text("42");
  150. SQL::Value integer(SQL::SQLType::Integer);
  151. integer = text;
  152. EXPECT(integer.to_int().has_value());
  153. EXPECT_EQ(integer.to_int().value(), 42);
  154. }
  155. }
  156. TEST_CASE(serialize_int_value)
  157. {
  158. SQL::Value v(42);
  159. EXPECT_EQ(v.type(), SQL::SQLType::Integer);
  160. EXPECT_EQ(v, 42);
  161. SQL::Serializer serializer;
  162. serializer.serialize<SQL::Value>(v);
  163. serializer.rewind();
  164. auto v2 = serializer.deserialize<SQL::Value>();
  165. EXPECT_EQ(v2.type(), SQL::SQLType::Integer);
  166. EXPECT_EQ(v2, 42);
  167. EXPECT_EQ(v2, v);
  168. }
  169. TEST_CASE(float_value)
  170. {
  171. {
  172. SQL::Value v(SQL::SQLType::Float);
  173. EXPECT_EQ(v.type(), SQL::SQLType::Float);
  174. EXPECT(v.is_null());
  175. v = 3.14;
  176. EXPECT_EQ(v.type(), SQL::SQLType::Float);
  177. EXPECT(v.to_double().has_value());
  178. EXPECT((v.to_double().value() - 3.14) < NumericLimits<double>().epsilon());
  179. EXPECT(v.to_int().has_value());
  180. EXPECT_EQ(v.to_int().value(), 3);
  181. EXPECT_EQ(v.to_string(), "3.14");
  182. EXPECT(v.to_bool().has_value());
  183. EXPECT(v.to_bool().value());
  184. v = 0.0;
  185. EXPECT_EQ(v.type(), SQL::SQLType::Float);
  186. EXPECT(v.to_double().has_value());
  187. EXPECT(v.to_double().value() < NumericLimits<double>().epsilon());
  188. EXPECT(v.to_int().has_value());
  189. EXPECT_EQ(v.to_int().value(), 0);
  190. EXPECT_EQ(v.to_string(), "0"sv);
  191. EXPECT(v.to_bool().has_value());
  192. EXPECT(!v.to_bool().value());
  193. }
  194. {
  195. SQL::Value v(3.14);
  196. EXPECT_EQ(v.type(), SQL::SQLType::Float);
  197. EXPECT((v.to_double().value() - 3.14) < NumericLimits<double>().epsilon());
  198. }
  199. {
  200. SQL::Value v(3.51);
  201. EXPECT_EQ(v.type(), SQL::SQLType::Float);
  202. EXPECT(v.to_int().has_value());
  203. EXPECT_EQ(v.to_int().value(), 4);
  204. }
  205. {
  206. SQL::Value v(-3.14);
  207. EXPECT_EQ(v.type(), SQL::SQLType::Float);
  208. EXPECT(v.to_int().has_value());
  209. EXPECT_EQ(v.to_int().value(), -3);
  210. }
  211. {
  212. SQL::Value v(-3.51);
  213. EXPECT_EQ(v.type(), SQL::SQLType::Float);
  214. EXPECT(v.to_int().has_value());
  215. EXPECT_EQ(v.to_int().value(), -4);
  216. }
  217. }
  218. TEST_CASE(serialize_float_value)
  219. {
  220. SQL::Value v(3.14);
  221. EXPECT_EQ(v.type(), SQL::SQLType::Float);
  222. EXPECT(v.to_double().value() - 3.14 < NumericLimits<double>().epsilon());
  223. SQL::Serializer serializer;
  224. serializer.serialize<SQL::Value>(v);
  225. serializer.rewind();
  226. auto v2 = serializer.deserialize<SQL::Value>();
  227. EXPECT_EQ(v2.type(), SQL::SQLType::Float);
  228. EXPECT((v.to_double().value() - 3.14) < NumericLimits<double>().epsilon());
  229. EXPECT_EQ(v2, v);
  230. }
  231. TEST_CASE(copy_value)
  232. {
  233. SQL::Value text("42");
  234. SQL::Value copy(text);
  235. EXPECT_EQ(copy, "42"sv);
  236. }
  237. TEST_CASE(compare_text_to_int)
  238. {
  239. SQL::Value text("42");
  240. SQL::Value integer(42);
  241. EXPECT_EQ(text, integer);
  242. EXPECT_EQ(integer, text);
  243. }
  244. TEST_CASE(bool_value)
  245. {
  246. {
  247. SQL::Value v(SQL::SQLType::Boolean);
  248. EXPECT_EQ(v.type(), SQL::SQLType::Boolean);
  249. EXPECT(v.is_null());
  250. v = true;
  251. EXPECT_EQ(v.type(), SQL::SQLType::Boolean);
  252. EXPECT(v.to_bool().has_value());
  253. EXPECT(v.to_bool().value());
  254. EXPECT(v.to_int().has_value());
  255. EXPECT_EQ(v.to_int().value(), 1);
  256. EXPECT_EQ(v.to_string(), "true"sv);
  257. EXPECT(v.to_double().has_value());
  258. EXPECT((v.to_double().value() - 1.0) < NumericLimits<double>().epsilon());
  259. }
  260. {
  261. SQL::Value v(false);
  262. EXPECT_EQ(v.type(), SQL::SQLType::Boolean);
  263. EXPECT(v.to_bool().has_value());
  264. EXPECT(!v.to_bool().value());
  265. EXPECT(v.to_int().has_value());
  266. EXPECT_EQ(v.to_int().value(), 0);
  267. EXPECT_EQ(v.to_string(), "false"sv);
  268. EXPECT(v.to_double().has_value());
  269. EXPECT(v.to_double().value() < NumericLimits<double>().epsilon());
  270. }
  271. {
  272. SQL::Value v(true);
  273. EXPECT_EQ(v.type(), SQL::SQLType::Boolean);
  274. EXPECT(v.to_bool().has_value());
  275. EXPECT(v.to_bool().value());
  276. EXPECT(v.to_int().has_value());
  277. EXPECT_EQ(v.to_int().value(), 1);
  278. EXPECT_EQ(v.to_string(), "true"sv);
  279. EXPECT(v.to_double().has_value());
  280. EXPECT((v.to_double().value() - 1.0) < NumericLimits<double>().epsilon());
  281. }
  282. }
  283. TEST_CASE(serialize_boolean_value)
  284. {
  285. SQL::Value v(true);
  286. EXPECT_EQ(v.type(), SQL::SQLType::Boolean);
  287. EXPECT_EQ(v.to_bool(), true);
  288. SQL::Serializer serializer;
  289. serializer.serialize<SQL::Value>(v);
  290. serializer.rewind();
  291. auto v2 = serializer.deserialize<SQL::Value>();
  292. EXPECT_EQ(v2.type(), SQL::SQLType::Boolean);
  293. EXPECT_EQ(v2.to_bool(), true);
  294. EXPECT_EQ(v, v2);
  295. }
  296. TEST_CASE(tuple_value)
  297. {
  298. NonnullRefPtr<SQL::TupleDescriptor> descriptor = adopt_ref(*new SQL::TupleDescriptor);
  299. descriptor->append({ "schema", "table", "col1", SQL::SQLType::Text, SQL::Order::Ascending });
  300. descriptor->append({ "schema", "table", "col2", SQL::SQLType::Integer, SQL::Order::Descending });
  301. auto v = MUST(SQL::Value::create_tuple(move(descriptor)));
  302. Vector<SQL::Value> values;
  303. values.empend("Test");
  304. values.empend(42);
  305. MUST(v.assign_tuple(values));
  306. auto values2 = v.to_vector();
  307. EXPECT(values2.has_value());
  308. EXPECT_EQ(values, values2.value());
  309. }
  310. TEST_CASE(copy_tuple_value)
  311. {
  312. NonnullRefPtr<SQL::TupleDescriptor> descriptor = adopt_ref(*new SQL::TupleDescriptor);
  313. descriptor->append({ "schema", "table", "col1", SQL::SQLType::Text, SQL::Order::Ascending });
  314. descriptor->append({ "schema", "table", "col2", SQL::SQLType::Integer, SQL::Order::Descending });
  315. auto v = MUST(SQL::Value::create_tuple(move(descriptor)));
  316. Vector<SQL::Value> values;
  317. values.empend("Test");
  318. values.empend(42);
  319. MUST(v.assign_tuple(values));
  320. auto values2 = v;
  321. EXPECT_EQ(values2.type(), v.type());
  322. EXPECT_EQ(v.type(), SQL::SQLType::Tuple);
  323. EXPECT_EQ(values, values2.to_vector().value());
  324. }
  325. TEST_CASE(tuple_value_wrong_type)
  326. {
  327. NonnullRefPtr<SQL::TupleDescriptor> descriptor = adopt_ref(*new SQL::TupleDescriptor);
  328. descriptor->append({ "schema", "table", "col1", SQL::SQLType::Text, SQL::Order::Ascending });
  329. auto v = MUST(SQL::Value::create_tuple(move(descriptor)));
  330. Vector<SQL::Value> values;
  331. values.empend(42);
  332. auto result = v.assign_tuple(move(values));
  333. EXPECT(result.is_error());
  334. }
  335. TEST_CASE(tuple_value_too_many_values)
  336. {
  337. NonnullRefPtr<SQL::TupleDescriptor> descriptor = adopt_ref(*new SQL::TupleDescriptor);
  338. descriptor->append({ "schema", "table", "col1", SQL::SQLType::Text, SQL::Order::Ascending });
  339. auto v = MUST(SQL::Value::create_tuple(move(descriptor)));
  340. Vector<SQL::Value> values;
  341. values.empend("Test");
  342. values.empend(42);
  343. auto result = v.assign_tuple(move(values));
  344. EXPECT(result.is_error());
  345. }
  346. TEST_CASE(tuple_value_not_enough_values)
  347. {
  348. NonnullRefPtr<SQL::TupleDescriptor> descriptor = adopt_ref(*new SQL::TupleDescriptor);
  349. descriptor->append({ "schema", "table", "col1", SQL::SQLType::Text, SQL::Order::Ascending });
  350. descriptor->append({ "schema", "table", "col2", SQL::SQLType::Integer, SQL::Order::Ascending });
  351. auto v = MUST(SQL::Value::create_tuple(move(descriptor)));
  352. Vector<SQL::Value> values;
  353. values.empend("Test");
  354. MUST(v.assign_tuple(values));
  355. EXPECT_EQ(v.type(), SQL::SQLType::Tuple);
  356. auto values_opt = v.to_vector();
  357. EXPECT(values_opt.has_value());
  358. EXPECT_EQ(values_opt.value().size(), 2u);
  359. auto col2 = values_opt.value()[1];
  360. EXPECT_EQ(col2.type(), SQL::SQLType::Integer);
  361. }
  362. TEST_CASE(serialize_tuple_value)
  363. {
  364. NonnullRefPtr<SQL::TupleDescriptor> descriptor = adopt_ref(*new SQL::TupleDescriptor);
  365. descriptor->append({ "schema", "table", "col1", SQL::SQLType::Text, SQL::Order::Ascending });
  366. descriptor->append({ "schema", "table", "col2", SQL::SQLType::Integer, SQL::Order::Descending });
  367. auto v = MUST(SQL::Value::create_tuple(move(descriptor)));
  368. Vector<SQL::Value> values;
  369. values.empend("Test");
  370. values.empend(42);
  371. MUST(v.assign_tuple(values));
  372. SQL::Serializer serializer;
  373. serializer.serialize<SQL::Value>(v);
  374. serializer.rewind();
  375. auto v2 = serializer.deserialize<SQL::Value>();
  376. EXPECT_EQ(v2.type(), SQL::SQLType::Tuple);
  377. EXPECT_EQ(v, v2);
  378. }
  379. TEST_CASE(order_text_values)
  380. {
  381. SQL::Value v1(SQL::SQLType::Text);
  382. v1 = "Test_A";
  383. SQL::Value v2(SQL::SQLType::Text);
  384. v2 = "Test_B";
  385. EXPECT(v1 <= v2);
  386. EXPECT(v1 < v2);
  387. EXPECT(v2 >= v1);
  388. EXPECT(v2 > v1);
  389. }
  390. TEST_CASE(order_int_values)
  391. {
  392. SQL::Value v1(SQL::SQLType::Integer);
  393. v1 = 12;
  394. SQL::Value v2(SQL::SQLType::Integer);
  395. v2 = 42;
  396. EXPECT(v1 <= v2);
  397. EXPECT(v1 < v2);
  398. EXPECT(v2 >= v1);
  399. EXPECT(v2 > v1);
  400. }
  401. TEST_CASE(tuple)
  402. {
  403. NonnullRefPtr<SQL::TupleDescriptor> descriptor = adopt_ref(*new SQL::TupleDescriptor);
  404. descriptor->append({ "schema", "table", "col1", SQL::SQLType::Text, SQL::Order::Ascending });
  405. descriptor->append({ "schema", "table", "col2", SQL::SQLType::Integer, SQL::Order::Descending });
  406. SQL::Tuple tuple(descriptor);
  407. tuple["col1"] = "Test";
  408. tuple["col2"] = 42;
  409. EXPECT_EQ(tuple[0], "Test"sv);
  410. EXPECT_EQ(tuple[1], 42);
  411. }
  412. TEST_CASE(serialize_tuple)
  413. {
  414. NonnullRefPtr<SQL::TupleDescriptor> descriptor = adopt_ref(*new SQL::TupleDescriptor);
  415. descriptor->append({ "schema", "table", "col1", SQL::SQLType::Text, SQL::Order::Ascending });
  416. descriptor->append({ "schema", "table", "col2", SQL::SQLType::Integer, SQL::Order::Descending });
  417. SQL::Tuple tuple(descriptor);
  418. tuple["col1"] = "Test";
  419. tuple["col2"] = 42;
  420. EXPECT_EQ(tuple[0], "Test"sv);
  421. EXPECT_EQ(tuple[1], 42);
  422. SQL::Serializer serializer;
  423. serializer.serialize<SQL::Tuple>(tuple);
  424. serializer.rewind();
  425. auto tuple2 = serializer.deserialize<SQL::Tuple>();
  426. EXPECT_EQ(tuple2[0], "Test"sv);
  427. EXPECT_EQ(tuple2[1], 42);
  428. }
  429. TEST_CASE(copy_tuple)
  430. {
  431. NonnullRefPtr<SQL::TupleDescriptor> descriptor = adopt_ref(*new SQL::TupleDescriptor);
  432. descriptor->append({ "schema", "table", "col1", SQL::SQLType::Text, SQL::Order::Ascending });
  433. descriptor->append({ "schema", "table", "col2", SQL::SQLType::Integer, SQL::Order::Descending });
  434. SQL::Tuple tuple(descriptor);
  435. tuple["col1"] = "Test";
  436. tuple["col2"] = 42;
  437. SQL::Tuple copy;
  438. copy = tuple;
  439. EXPECT_EQ(tuple, copy);
  440. SQL::Tuple copy_2(copy);
  441. EXPECT_EQ(tuple, copy_2);
  442. }
  443. TEST_CASE(compare_tuples)
  444. {
  445. NonnullRefPtr<SQL::TupleDescriptor> descriptor = adopt_ref(*new SQL::TupleDescriptor);
  446. descriptor->append({ "schema", "table", "col1", SQL::SQLType::Text, SQL::Order::Ascending });
  447. descriptor->append({ "schema", "table", "col2", SQL::SQLType::Integer, SQL::Order::Descending });
  448. SQL::Tuple tuple1(descriptor);
  449. tuple1["col1"] = "Test";
  450. tuple1["col2"] = 42;
  451. SQL::Tuple tuple2(descriptor);
  452. tuple2["col1"] = "Test";
  453. tuple2["col2"] = 12;
  454. SQL::Tuple tuple3(descriptor);
  455. tuple3["col1"] = "Text";
  456. tuple3["col2"] = 12;
  457. EXPECT(tuple1 <= tuple2);
  458. EXPECT(tuple1 < tuple2);
  459. EXPECT(tuple2 >= tuple1);
  460. EXPECT(tuple2 > tuple1);
  461. EXPECT(tuple1 <= tuple3);
  462. EXPECT(tuple1 < tuple3);
  463. EXPECT(tuple3 >= tuple1);
  464. EXPECT(tuple3 > tuple1);
  465. }