TestSqlValueAndTuple.cpp 39 KB

12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849505152535455565758596061626364656667686970717273747576777879808182838485868788899091929394959697989910010110210310410510610710810911011111211311411511611711811912012112212312412512612712812913013113213313413513613713813914014114214314414514614714814915015115215315415515615715815916016116216316416516616716816917017117217317417517617717817918018118218318418518618718818919019119219319419519619719819920020120220320420520620720820921021121221321421521621721821922022122222322422522622722822923023123223323423523623723823924024124224324424524624724824925025125225325425525625725825926026126226326426526626726826927027127227327427527627727827928028128228328428528628728828929029129229329429529629729829930030130230330430530630730830931031131231331431531631731831932032132232332432532632732832933033133233333433533633733833934034134234334434534634734834935035135235335435535635735835936036136236336436536636736836937037137237337437537637737837938038138238338438538638738838939039139239339439539639739839940040140240340440540640740840941041141241341441541641741841942042142242342442542642742842943043143243343443543643743843944044144244344444544644744844945045145245345445545645745845946046146246346446546646746846947047147247347447547647747847948048148248348448548648748848949049149249349449549649749849950050150250350450550650750850951051151251351451551651751851952052152252352452552652752852953053153253353453553653753853954054154254354454554654754854955055155255355455555655755855956056156256356456556656756856957057157257357457557657757857958058158258358458558658758858959059159259359459559659759859960060160260360460560660760860961061161261361461561661761861962062162262362462562662762862963063163263363463563663763863964064164264364464564664764864965065165265365465565665765865966066166266366466566666766866967067167267367467567667767867968068168268368468568668768868969069169269369469569669769869970070170270370470570670770870971071171271371471571671771871972072172272372472572672772872973073173273373473573673773873974074174274374474574674774874975075175275375475575675775875976076176276376476576676776876977077177277377477577677777877978078178278378478578678778878979079179279379479579679779879980080180280380480580680780880981081181281381481581681781881982082182282382482582682782882983083183283383483583683783883984084184284384484584684784884985085185285385485585685785885986086186286386486586686786886987087187287387487587687787887988088188288388488588688788888989089189289389489589689789889990090190290390490590690790890991091191291391491591691791891992092192292392492592692792892993093193293393493593693793893994094194294394494594694794894995095195295395495595695795895996096196296396496596696796896997097197297397497597697797897998098198298398498598698798898999099199299399499599699799899910001001100210031004100510061007100810091010101110121013101410151016101710181019102010211022102310241025102610271028102910301031103210331034103510361037103810391040104110421043104410451046104710481049105010511052105310541055105610571058105910601061106210631064106510661067106810691070107110721073107410751076107710781079108010811082108310841085108610871088108910901091109210931094109510961097109810991100110111021103110411051106110711081109111011111112111311141115111611171118111911201121112211231124112511261127112811291130113111321133113411351136113711381139114011411142114311441145114611471148114911501151115211531154115511561157115811591160116111621163116411651166116711681169117011711172117311741175117611771178117911801181118211831184118511861187118811891190119111921193119411951196119711981199120012011202120312041205120612071208120912101211121212131214121512161217121812191220122112221223122412251226122712281229123012311232123312341235123612371238123912401241124212431244124512461247124812491250125112521253125412551256125712581259126012611262126312641265126612671268126912701271127212731274127512761277127812791280128112821283128412851286128712881289129012911292129312941295129612971298129913001301130213031304130513061307
  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 <AK/Time.h>
  9. #include <LibSQL/Meta.h>
  10. #include <LibSQL/Row.h>
  11. #include <LibSQL/Tuple.h>
  12. #include <LibSQL/Value.h>
  13. #include <LibTest/TestCase.h>
  14. TEST_CASE(null_value)
  15. {
  16. SQL::Value v(SQL::SQLType::Null);
  17. EXPECT_EQ(v.type(), SQL::SQLType::Null);
  18. EXPECT_EQ(v.to_byte_string(), "(null)"sv);
  19. EXPECT(!v.to_bool().has_value());
  20. EXPECT(!v.to_int<i32>().has_value());
  21. EXPECT(!v.to_int<u32>().has_value());
  22. EXPECT(!v.to_double().has_value());
  23. }
  24. TEST_CASE(assign_null)
  25. {
  26. SQL::Value v("Test");
  27. EXPECT_EQ(v.type(), SQL::SQLType::Text);
  28. EXPECT(!v.is_null());
  29. v = SQL::Value();
  30. EXPECT_EQ(v.type(), SQL::SQLType::Null);
  31. EXPECT(v.is_null());
  32. }
  33. TEST_CASE(text_value)
  34. {
  35. {
  36. SQL::Value v(SQL::SQLType::Text);
  37. EXPECT_EQ(v.type(), SQL::SQLType::Text);
  38. EXPECT(v.is_null());
  39. v = "Test"sv;
  40. EXPECT_EQ(v.type(), SQL::SQLType::Text);
  41. EXPECT_EQ(v.to_byte_string(), "Test"sv);
  42. }
  43. {
  44. SQL::Value v(ByteString("String Test"sv));
  45. EXPECT_EQ(v.type(), SQL::SQLType::Text);
  46. EXPECT_EQ(v.to_byte_string(), "String Test"sv);
  47. v = ByteString("String Test 2"sv);
  48. EXPECT_EQ(v.type(), SQL::SQLType::Text);
  49. EXPECT_EQ(v.to_byte_string(), "String Test 2"sv);
  50. }
  51. {
  52. SQL::Value v("const char * Test");
  53. EXPECT_EQ(v.type(), SQL::SQLType::Text);
  54. EXPECT_EQ(v.to_byte_string(), "const char * Test"sv);
  55. v = "const char * Test 2";
  56. EXPECT_EQ(v.type(), SQL::SQLType::Text);
  57. EXPECT_EQ(v.to_byte_string(), "const char * Test 2"sv);
  58. }
  59. }
  60. TEST_CASE(text_value_to_other_types)
  61. {
  62. {
  63. SQL::Value v("42");
  64. EXPECT_EQ(v.type(), SQL::SQLType::Text);
  65. EXPECT(v.to_int<i32>().has_value());
  66. EXPECT_EQ(v.to_int<i32>().value(), 42);
  67. EXPECT(v.to_double().has_value());
  68. EXPECT((v.to_double().value() - 42.0) < NumericLimits<double>().epsilon());
  69. }
  70. {
  71. SQL::Value v("true");
  72. EXPECT_EQ(v.type(), SQL::SQLType::Text);
  73. EXPECT(v.to_bool().has_value());
  74. EXPECT(v.to_bool().value());
  75. }
  76. {
  77. SQL::Value v("false");
  78. EXPECT_EQ(v.type(), SQL::SQLType::Text);
  79. EXPECT(v.to_bool().has_value());
  80. EXPECT(!v.to_bool().value());
  81. }
  82. {
  83. SQL::Value v("foo");
  84. EXPECT_EQ(v.type(), SQL::SQLType::Text);
  85. EXPECT(!v.to_bool().has_value());
  86. EXPECT(!v.to_int<i32>().has_value());
  87. EXPECT(!v.to_int<u32>().has_value());
  88. EXPECT(!v.to_double().has_value());
  89. }
  90. {
  91. SQL::Value v("3.14");
  92. EXPECT_EQ(v.type(), SQL::SQLType::Text);
  93. EXPECT(v.to_double().has_value());
  94. EXPECT((v.to_double().value() - 3.14) < NumericLimits<double>().epsilon());
  95. }
  96. }
  97. TEST_CASE(assign_int_to_text_value)
  98. {
  99. SQL::Value v(SQL::SQLType::Text);
  100. EXPECT_EQ(v.type(), SQL::SQLType::Text);
  101. EXPECT(v.is_null());
  102. v = 42;
  103. EXPECT_EQ(v.type(), SQL::SQLType::Integer);
  104. EXPECT_EQ(v, 42);
  105. }
  106. TEST_CASE(serialize_text_value)
  107. {
  108. SQL::Value v("Test");
  109. EXPECT_EQ(v.type(), SQL::SQLType::Text);
  110. EXPECT_EQ(v, "Test"sv);
  111. SQL::Serializer serializer;
  112. serializer.serialize<SQL::Value>(v);
  113. serializer.rewind();
  114. auto v2 = serializer.deserialize<SQL::Value>();
  115. EXPECT_EQ(v2.type(), SQL::SQLType::Text);
  116. EXPECT_EQ(v2, "Test"sv);
  117. EXPECT_EQ(v2, v);
  118. }
  119. TEST_CASE(integer_value)
  120. {
  121. {
  122. SQL::Value v(SQL::SQLType::Integer);
  123. EXPECT_EQ(v.type(), SQL::SQLType::Integer);
  124. EXPECT(v.is_null());
  125. v = 42;
  126. EXPECT_EQ(v.type(), SQL::SQLType::Integer);
  127. EXPECT(v.to_int<i32>().has_value());
  128. EXPECT_EQ(v.to_int<i32>().value(), 42);
  129. EXPECT_EQ(v.to_byte_string(), "42"sv);
  130. EXPECT(v.to_double().has_value());
  131. EXPECT((v.to_double().value() - 42.0) < NumericLimits<double>().epsilon());
  132. EXPECT(v.to_bool().has_value());
  133. EXPECT(v.to_bool().value());
  134. }
  135. {
  136. SQL::Value v(0);
  137. EXPECT_EQ(v.type(), SQL::SQLType::Integer);
  138. EXPECT(v.to_int<i32>().has_value());
  139. EXPECT_EQ(v.to_int<i32>().value(), 0);
  140. EXPECT(v.to_bool().has_value());
  141. EXPECT(!v.to_bool().value());
  142. }
  143. {
  144. SQL::Value v(42);
  145. EXPECT_EQ(v.type(), SQL::SQLType::Integer);
  146. EXPECT(v.to_int<i32>().has_value());
  147. EXPECT_EQ(v.to_int<i32>().value(), 42);
  148. }
  149. {
  150. SQL::Value text("42");
  151. SQL::Value integer(SQL::SQLType::Integer);
  152. integer = text;
  153. EXPECT(integer.to_int<i32>().has_value());
  154. EXPECT_EQ(integer.to_int<i32>().value(), 42);
  155. }
  156. }
  157. TEST_CASE(serialize_int_value)
  158. {
  159. SQL::Value v(42);
  160. EXPECT_EQ(v.type(), SQL::SQLType::Integer);
  161. EXPECT_EQ(v, 42);
  162. SQL::Serializer serializer;
  163. serializer.serialize<SQL::Value>(v);
  164. serializer.rewind();
  165. auto v2 = serializer.deserialize<SQL::Value>();
  166. EXPECT_EQ(v2.type(), SQL::SQLType::Integer);
  167. EXPECT_EQ(v2, 42);
  168. EXPECT_EQ(v2, v);
  169. }
  170. TEST_CASE(serialize_downsized_int_value)
  171. {
  172. auto run_test_for_value = [](auto value) {
  173. using T = decltype(value);
  174. SQL::Value v(value);
  175. SQL::Serializer serializer;
  176. serializer.serialize(v);
  177. serializer.rewind();
  178. auto type_flags = serializer.deserialize<u8>();
  179. auto type_data = type_flags & 0xf0;
  180. auto type = static_cast<SQL::SQLType>(type_flags & 0x0f);
  181. EXPECT_NE(type_data, 0);
  182. EXPECT_EQ(type, SQL::SQLType::Integer);
  183. auto deserialized = serializer.deserialize<T>();
  184. EXPECT_EQ(deserialized, value);
  185. };
  186. run_test_for_value(NumericLimits<i8>::min());
  187. run_test_for_value(NumericLimits<i8>::max());
  188. run_test_for_value(NumericLimits<i16>::min());
  189. run_test_for_value(NumericLimits<i16>::max());
  190. run_test_for_value(NumericLimits<i32>::min());
  191. run_test_for_value(NumericLimits<i32>::max());
  192. run_test_for_value(NumericLimits<i64>::min());
  193. run_test_for_value(NumericLimits<i64>::max());
  194. run_test_for_value(NumericLimits<u8>::min());
  195. run_test_for_value(NumericLimits<u8>::max());
  196. run_test_for_value(NumericLimits<u16>::min());
  197. run_test_for_value(NumericLimits<u16>::max());
  198. run_test_for_value(NumericLimits<u32>::min());
  199. run_test_for_value(NumericLimits<u32>::max());
  200. run_test_for_value(NumericLimits<u64>::min());
  201. run_test_for_value(NumericLimits<u64>::max());
  202. }
  203. TEST_CASE(float_value)
  204. {
  205. {
  206. SQL::Value v(SQL::SQLType::Float);
  207. EXPECT_EQ(v.type(), SQL::SQLType::Float);
  208. EXPECT(v.is_null());
  209. v = 3.14;
  210. EXPECT_EQ(v.type(), SQL::SQLType::Float);
  211. EXPECT(v.to_double().has_value());
  212. EXPECT((v.to_double().value() - 3.14) < NumericLimits<double>().epsilon());
  213. EXPECT(v.to_int<i32>().has_value());
  214. EXPECT_EQ(v.to_int<i32>().value(), 3);
  215. EXPECT_EQ(v.to_byte_string(), "3.14");
  216. EXPECT(v.to_bool().has_value());
  217. EXPECT(v.to_bool().value());
  218. v = 0.0;
  219. EXPECT_EQ(v.type(), SQL::SQLType::Float);
  220. EXPECT(v.to_double().has_value());
  221. EXPECT(v.to_double().value() < NumericLimits<double>().epsilon());
  222. EXPECT(v.to_int<i32>().has_value());
  223. EXPECT_EQ(v.to_int<i32>().value(), 0);
  224. EXPECT_EQ(v.to_byte_string(), "0"sv);
  225. EXPECT(v.to_bool().has_value());
  226. EXPECT(!v.to_bool().value());
  227. }
  228. {
  229. SQL::Value v(3.14);
  230. EXPECT_EQ(v.type(), SQL::SQLType::Float);
  231. EXPECT((v.to_double().value() - 3.14) < NumericLimits<double>().epsilon());
  232. }
  233. {
  234. SQL::Value v(3.51);
  235. EXPECT_EQ(v.type(), SQL::SQLType::Float);
  236. EXPECT(v.to_int<i32>().has_value());
  237. EXPECT_EQ(v.to_int<i32>().value(), 4);
  238. }
  239. {
  240. SQL::Value v(-3.14);
  241. EXPECT_EQ(v.type(), SQL::SQLType::Float);
  242. EXPECT(v.to_int<i32>().has_value());
  243. EXPECT_EQ(v.to_int<i32>().value(), -3);
  244. }
  245. {
  246. SQL::Value v(-3.51);
  247. EXPECT_EQ(v.type(), SQL::SQLType::Float);
  248. EXPECT(v.to_int<i32>().has_value());
  249. EXPECT_EQ(v.to_int<i32>().value(), -4);
  250. }
  251. }
  252. TEST_CASE(serialize_float_value)
  253. {
  254. SQL::Value v(3.14);
  255. EXPECT_EQ(v.type(), SQL::SQLType::Float);
  256. EXPECT(v.to_double().value() - 3.14 < NumericLimits<double>().epsilon());
  257. SQL::Serializer serializer;
  258. serializer.serialize<SQL::Value>(v);
  259. serializer.rewind();
  260. auto v2 = serializer.deserialize<SQL::Value>();
  261. EXPECT_EQ(v2.type(), SQL::SQLType::Float);
  262. EXPECT((v.to_double().value() - 3.14) < NumericLimits<double>().epsilon());
  263. EXPECT_EQ(v2, v);
  264. }
  265. TEST_CASE(copy_value)
  266. {
  267. SQL::Value text("42");
  268. SQL::Value copy(text);
  269. EXPECT_EQ(copy, "42"sv);
  270. }
  271. TEST_CASE(to_int)
  272. {
  273. SQL::Value text("42");
  274. SQL::Value integer(42);
  275. EXPECT_EQ(text, integer);
  276. EXPECT_EQ(integer, text);
  277. SQL::Value int_64 { static_cast<i64>(123) };
  278. EXPECT_EQ(int_64.to_int<i8>(), 123);
  279. EXPECT_EQ(int_64.to_int<i16>(), 123);
  280. EXPECT_EQ(int_64.to_int<i32>(), 123);
  281. EXPECT_EQ(int_64.to_int<u8>(), 123u);
  282. EXPECT_EQ(int_64.to_int<u16>(), 123u);
  283. EXPECT_EQ(int_64.to_int<u32>(), 123u);
  284. EXPECT_EQ(int_64.to_int<u64>(), 123u);
  285. SQL::Value uint_64 { static_cast<i64>(123) };
  286. EXPECT_EQ(uint_64.to_int<i8>(), 123);
  287. EXPECT_EQ(uint_64.to_int<i16>(), 123);
  288. EXPECT_EQ(uint_64.to_int<i32>(), 123);
  289. EXPECT_EQ(uint_64.to_int<i64>(), 123);
  290. EXPECT_EQ(uint_64.to_int<u8>(), 123u);
  291. EXPECT_EQ(uint_64.to_int<u16>(), 123u);
  292. EXPECT_EQ(uint_64.to_int<u32>(), 123u);
  293. }
  294. TEST_CASE(to_int_failures)
  295. {
  296. SQL::Value large_int_64 { NumericLimits<i64>::max() };
  297. EXPECT(!large_int_64.to_int<i8>().has_value());
  298. EXPECT(!large_int_64.to_int<i16>().has_value());
  299. EXPECT(!large_int_64.to_int<i32>().has_value());
  300. EXPECT(!large_int_64.to_int<u8>().has_value());
  301. EXPECT(!large_int_64.to_int<u16>().has_value());
  302. EXPECT(!large_int_64.to_int<u32>().has_value());
  303. SQL::Value large_int_32 { NumericLimits<i32>::max() };
  304. EXPECT(!large_int_32.to_int<i8>().has_value());
  305. EXPECT(!large_int_32.to_int<i16>().has_value());
  306. EXPECT(!large_int_32.to_int<u8>().has_value());
  307. EXPECT(!large_int_32.to_int<u16>().has_value());
  308. SQL::Value small_int_64 { NumericLimits<i64>::min() };
  309. EXPECT(!small_int_64.to_int<i8>().has_value());
  310. EXPECT(!small_int_64.to_int<i16>().has_value());
  311. EXPECT(!small_int_64.to_int<i32>().has_value());
  312. EXPECT(!small_int_64.to_int<u8>().has_value());
  313. EXPECT(!small_int_64.to_int<u16>().has_value());
  314. EXPECT(!small_int_64.to_int<u32>().has_value());
  315. EXPECT(!small_int_64.to_int<u64>().has_value());
  316. SQL::Value small_int_32 { NumericLimits<i32>::min() };
  317. EXPECT(!small_int_32.to_int<i8>().has_value());
  318. EXPECT(!small_int_32.to_int<i16>().has_value());
  319. EXPECT(!small_int_32.to_int<u8>().has_value());
  320. EXPECT(!small_int_32.to_int<u16>().has_value());
  321. EXPECT(!small_int_32.to_int<u32>().has_value());
  322. EXPECT(!small_int_32.to_int<u64>().has_value());
  323. SQL::Value large_uint_64 { NumericLimits<u64>::max() };
  324. EXPECT(!large_uint_64.to_int<i8>().has_value());
  325. EXPECT(!large_uint_64.to_int<i16>().has_value());
  326. EXPECT(!large_uint_64.to_int<i32>().has_value());
  327. EXPECT(!large_uint_64.to_int<i64>().has_value());
  328. EXPECT(!large_uint_64.to_int<u8>().has_value());
  329. EXPECT(!large_uint_64.to_int<u16>().has_value());
  330. EXPECT(!large_uint_64.to_int<u32>().has_value());
  331. SQL::Value large_uint_32 { NumericLimits<u32>::max() };
  332. EXPECT(!large_uint_32.to_int<i8>().has_value());
  333. EXPECT(!large_uint_32.to_int<i16>().has_value());
  334. EXPECT(!large_uint_32.to_int<u8>().has_value());
  335. EXPECT(!large_uint_32.to_int<u16>().has_value());
  336. }
  337. TEST_CASE(bool_value)
  338. {
  339. {
  340. SQL::Value v(SQL::SQLType::Boolean);
  341. EXPECT_EQ(v.type(), SQL::SQLType::Boolean);
  342. EXPECT(v.is_null());
  343. v = true;
  344. EXPECT_EQ(v.type(), SQL::SQLType::Boolean);
  345. EXPECT(v.to_bool().has_value());
  346. EXPECT(v.to_bool().value());
  347. EXPECT(v.to_int<i32>().has_value());
  348. EXPECT_EQ(v.to_int<i32>().value(), 1);
  349. EXPECT_EQ(v.to_byte_string(), "true"sv);
  350. EXPECT(v.to_double().has_value());
  351. EXPECT((v.to_double().value() - 1.0) < NumericLimits<double>().epsilon());
  352. }
  353. {
  354. SQL::Value v(false);
  355. EXPECT_EQ(v.type(), SQL::SQLType::Boolean);
  356. EXPECT(v.to_bool().has_value());
  357. EXPECT(!v.to_bool().value());
  358. EXPECT(v.to_int<i32>().has_value());
  359. EXPECT_EQ(v.to_int<i32>().value(), 0);
  360. EXPECT_EQ(v.to_byte_string(), "false"sv);
  361. EXPECT(v.to_double().has_value());
  362. EXPECT(v.to_double().value() < NumericLimits<double>().epsilon());
  363. }
  364. {
  365. SQL::Value v(true);
  366. EXPECT_EQ(v.type(), SQL::SQLType::Boolean);
  367. EXPECT(v.to_bool().has_value());
  368. EXPECT(v.to_bool().value());
  369. EXPECT(v.to_int<i32>().has_value());
  370. EXPECT_EQ(v.to_int<i32>().value(), 1);
  371. EXPECT_EQ(v.to_byte_string(), "true"sv);
  372. EXPECT(v.to_double().has_value());
  373. EXPECT((v.to_double().value() - 1.0) < NumericLimits<double>().epsilon());
  374. }
  375. }
  376. TEST_CASE(serialize_boolean_value)
  377. {
  378. SQL::Value v(true);
  379. EXPECT_EQ(v.type(), SQL::SQLType::Boolean);
  380. EXPECT_EQ(v.to_bool(), true);
  381. SQL::Serializer serializer;
  382. serializer.serialize<SQL::Value>(v);
  383. serializer.rewind();
  384. auto v2 = serializer.deserialize<SQL::Value>();
  385. EXPECT_EQ(v2.type(), SQL::SQLType::Boolean);
  386. EXPECT_EQ(v2.to_bool(), true);
  387. EXPECT_EQ(v, v2);
  388. }
  389. TEST_CASE(unix_date_time_value)
  390. {
  391. auto now = UnixDateTime::now();
  392. {
  393. SQL::Value value(now);
  394. EXPECT_EQ(value.type(), SQL::SQLType::Integer);
  395. auto result = value.to_unix_date_time();
  396. VERIFY(result.has_value());
  397. EXPECT_EQ(result->milliseconds_since_epoch(), now.milliseconds_since_epoch());
  398. }
  399. {
  400. auto now_plus_10s = now + Duration::from_seconds(10);
  401. SQL::Value value(now_plus_10s);
  402. EXPECT_EQ(value.type(), SQL::SQLType::Integer);
  403. auto result = value.to_unix_date_time();
  404. VERIFY(result.has_value());
  405. EXPECT_EQ(result->milliseconds_since_epoch(), now_plus_10s.milliseconds_since_epoch());
  406. }
  407. {
  408. auto now_minus_10s = now - Duration::from_seconds(10);
  409. SQL::Value value(now_minus_10s);
  410. EXPECT_EQ(value.type(), SQL::SQLType::Integer);
  411. auto result = value.to_unix_date_time();
  412. VERIFY(result.has_value());
  413. EXPECT_EQ(result->milliseconds_since_epoch(), now_minus_10s.milliseconds_since_epoch());
  414. }
  415. }
  416. TEST_CASE(tuple_value)
  417. {
  418. NonnullRefPtr<SQL::TupleDescriptor> descriptor = adopt_ref(*new SQL::TupleDescriptor);
  419. descriptor->append({ "schema", "table", "col1", SQL::SQLType::Text, SQL::Order::Ascending });
  420. descriptor->append({ "schema", "table", "col2", SQL::SQLType::Integer, SQL::Order::Descending });
  421. auto v = MUST(SQL::Value::create_tuple(move(descriptor)));
  422. Vector<SQL::Value> values;
  423. values.empend("Test");
  424. values.empend(42);
  425. MUST(v.assign_tuple(values));
  426. auto values2 = v.to_vector();
  427. EXPECT(values2.has_value());
  428. EXPECT_EQ(values, values2.value());
  429. }
  430. TEST_CASE(copy_tuple_value)
  431. {
  432. NonnullRefPtr<SQL::TupleDescriptor> descriptor = adopt_ref(*new SQL::TupleDescriptor);
  433. descriptor->append({ "schema", "table", "col1", SQL::SQLType::Text, SQL::Order::Ascending });
  434. descriptor->append({ "schema", "table", "col2", SQL::SQLType::Integer, SQL::Order::Descending });
  435. auto v = MUST(SQL::Value::create_tuple(move(descriptor)));
  436. Vector<SQL::Value> values;
  437. values.empend("Test");
  438. values.empend(42);
  439. MUST(v.assign_tuple(values));
  440. auto values2 = v;
  441. EXPECT_EQ(values2.type(), v.type());
  442. EXPECT_EQ(v.type(), SQL::SQLType::Tuple);
  443. EXPECT_EQ(values, values2.to_vector().value());
  444. }
  445. TEST_CASE(tuple_value_wrong_type)
  446. {
  447. NonnullRefPtr<SQL::TupleDescriptor> descriptor = adopt_ref(*new SQL::TupleDescriptor);
  448. descriptor->append({ "schema", "table", "col1", SQL::SQLType::Text, SQL::Order::Ascending });
  449. auto v = MUST(SQL::Value::create_tuple(move(descriptor)));
  450. Vector<SQL::Value> values;
  451. values.empend(42);
  452. auto result = v.assign_tuple(move(values));
  453. EXPECT(result.is_error());
  454. }
  455. TEST_CASE(tuple_value_too_many_values)
  456. {
  457. NonnullRefPtr<SQL::TupleDescriptor> descriptor = adopt_ref(*new SQL::TupleDescriptor);
  458. descriptor->append({ "schema", "table", "col1", SQL::SQLType::Text, SQL::Order::Ascending });
  459. auto v = MUST(SQL::Value::create_tuple(move(descriptor)));
  460. Vector<SQL::Value> values;
  461. values.empend("Test");
  462. values.empend(42);
  463. auto result = v.assign_tuple(move(values));
  464. EXPECT(result.is_error());
  465. }
  466. TEST_CASE(tuple_value_not_enough_values)
  467. {
  468. NonnullRefPtr<SQL::TupleDescriptor> descriptor = adopt_ref(*new SQL::TupleDescriptor);
  469. descriptor->append({ "schema", "table", "col1", SQL::SQLType::Text, SQL::Order::Ascending });
  470. descriptor->append({ "schema", "table", "col2", SQL::SQLType::Integer, SQL::Order::Ascending });
  471. auto v = MUST(SQL::Value::create_tuple(move(descriptor)));
  472. Vector<SQL::Value> values;
  473. values.empend("Test");
  474. MUST(v.assign_tuple(values));
  475. EXPECT_EQ(v.type(), SQL::SQLType::Tuple);
  476. auto values_opt = v.to_vector();
  477. EXPECT(values_opt.has_value());
  478. EXPECT_EQ(values_opt.value().size(), 2u);
  479. auto col2 = values_opt.value()[1];
  480. EXPECT_EQ(col2.type(), SQL::SQLType::Integer);
  481. }
  482. TEST_CASE(serialize_tuple_value)
  483. {
  484. NonnullRefPtr<SQL::TupleDescriptor> descriptor = adopt_ref(*new SQL::TupleDescriptor);
  485. descriptor->append({ "schema", "table", "col1", SQL::SQLType::Text, SQL::Order::Ascending });
  486. descriptor->append({ "schema", "table", "col2", SQL::SQLType::Integer, SQL::Order::Descending });
  487. auto v = MUST(SQL::Value::create_tuple(move(descriptor)));
  488. Vector<SQL::Value> values;
  489. values.empend("Test");
  490. values.empend(42);
  491. MUST(v.assign_tuple(values));
  492. SQL::Serializer serializer;
  493. serializer.serialize<SQL::Value>(v);
  494. serializer.rewind();
  495. auto v2 = serializer.deserialize<SQL::Value>();
  496. EXPECT_EQ(v2.type(), SQL::SQLType::Tuple);
  497. EXPECT_EQ(v, v2);
  498. }
  499. TEST_CASE(order_text_values)
  500. {
  501. SQL::Value v1(SQL::SQLType::Text);
  502. v1 = "Test_A";
  503. SQL::Value v2(SQL::SQLType::Text);
  504. v2 = "Test_B";
  505. EXPECT(v1 <= v2);
  506. EXPECT(v1 < v2);
  507. EXPECT(v2 >= v1);
  508. EXPECT(v2 > v1);
  509. }
  510. TEST_CASE(order_int_values)
  511. {
  512. SQL::Value v1(SQL::SQLType::Integer);
  513. v1 = 12;
  514. SQL::Value v2(SQL::SQLType::Integer);
  515. v2 = 42;
  516. EXPECT(v1 <= v2);
  517. EXPECT(v1 < v2);
  518. EXPECT(v2 >= v1);
  519. EXPECT(v2 > v1);
  520. }
  521. TEST_CASE(tuple)
  522. {
  523. NonnullRefPtr<SQL::TupleDescriptor> descriptor = adopt_ref(*new SQL::TupleDescriptor);
  524. descriptor->append({ "schema", "table", "col1", SQL::SQLType::Text, SQL::Order::Ascending });
  525. descriptor->append({ "schema", "table", "col2", SQL::SQLType::Integer, SQL::Order::Descending });
  526. SQL::Tuple tuple(descriptor);
  527. tuple["col1"] = "Test";
  528. tuple["col2"] = 42;
  529. EXPECT_EQ(tuple[0], "Test"sv);
  530. EXPECT_EQ(tuple[1], 42);
  531. }
  532. TEST_CASE(serialize_tuple)
  533. {
  534. NonnullRefPtr<SQL::TupleDescriptor> descriptor = adopt_ref(*new SQL::TupleDescriptor);
  535. descriptor->append({ "schema", "table", "col1", SQL::SQLType::Text, SQL::Order::Ascending });
  536. descriptor->append({ "schema", "table", "col2", SQL::SQLType::Integer, SQL::Order::Descending });
  537. SQL::Tuple tuple(descriptor);
  538. tuple["col1"] = "Test";
  539. tuple["col2"] = 42;
  540. EXPECT_EQ(tuple[0], "Test"sv);
  541. EXPECT_EQ(tuple[1], 42);
  542. SQL::Serializer serializer;
  543. serializer.serialize<SQL::Tuple>(tuple);
  544. serializer.rewind();
  545. auto tuple2 = serializer.deserialize<SQL::Tuple>();
  546. EXPECT_EQ(tuple2[0], "Test"sv);
  547. EXPECT_EQ(tuple2[1], 42);
  548. }
  549. TEST_CASE(copy_tuple)
  550. {
  551. NonnullRefPtr<SQL::TupleDescriptor> descriptor = adopt_ref(*new SQL::TupleDescriptor);
  552. descriptor->append({ "schema", "table", "col1", SQL::SQLType::Text, SQL::Order::Ascending });
  553. descriptor->append({ "schema", "table", "col2", SQL::SQLType::Integer, SQL::Order::Descending });
  554. SQL::Tuple tuple(descriptor);
  555. tuple["col1"] = "Test";
  556. tuple["col2"] = 42;
  557. SQL::Tuple copy;
  558. copy = tuple;
  559. EXPECT_EQ(tuple, copy);
  560. SQL::Tuple copy_2(copy);
  561. EXPECT_EQ(tuple, copy_2);
  562. }
  563. TEST_CASE(compare_tuples)
  564. {
  565. NonnullRefPtr<SQL::TupleDescriptor> descriptor = adopt_ref(*new SQL::TupleDescriptor);
  566. descriptor->append({ "schema", "table", "col1", SQL::SQLType::Text, SQL::Order::Ascending });
  567. descriptor->append({ "schema", "table", "col2", SQL::SQLType::Integer, SQL::Order::Descending });
  568. SQL::Tuple tuple1(descriptor);
  569. tuple1["col1"] = "Test";
  570. tuple1["col2"] = 42;
  571. SQL::Tuple tuple2(descriptor);
  572. tuple2["col1"] = "Test";
  573. tuple2["col2"] = 12;
  574. SQL::Tuple tuple3(descriptor);
  575. tuple3["col1"] = "Text";
  576. tuple3["col2"] = 12;
  577. EXPECT(tuple1 <= tuple2);
  578. EXPECT(tuple1 < tuple2);
  579. EXPECT(tuple2 >= tuple1);
  580. EXPECT(tuple2 > tuple1);
  581. EXPECT(tuple1 <= tuple3);
  582. EXPECT(tuple1 < tuple3);
  583. EXPECT(tuple3 >= tuple1);
  584. EXPECT(tuple3 > tuple1);
  585. }
  586. TEST_CASE(add)
  587. {
  588. {
  589. SQL::Value value1 { 21 };
  590. SQL::Value value2 { 42 };
  591. auto result = value1.add(value2);
  592. EXPECT_EQ(result.value().type(), SQL::SQLType::Integer);
  593. EXPECT_EQ(result.value(), 63);
  594. }
  595. {
  596. SQL::Value value1 { 21 };
  597. SQL::Value value2 { static_cast<u8>(42) };
  598. auto result = value1.add(value2);
  599. EXPECT_EQ(result.value().type(), SQL::SQLType::Integer);
  600. EXPECT_EQ(result.value(), 63);
  601. }
  602. {
  603. SQL::Value value1 { static_cast<u8>(21) };
  604. SQL::Value value2 { 42 };
  605. auto result = value1.add(value2);
  606. EXPECT_EQ(result.value().type(), SQL::SQLType::Integer);
  607. EXPECT_EQ(result.value(), 63);
  608. }
  609. {
  610. SQL::Value value1 { static_cast<double>(21) };
  611. SQL::Value value2 { 42 };
  612. auto result = value1.add(value2);
  613. EXPECT_EQ(result.value().type(), SQL::SQLType::Integer);
  614. EXPECT_EQ(result.value(), 63);
  615. }
  616. {
  617. SQL::Value value1 { static_cast<double>(21.5) };
  618. SQL::Value value2 { 42 };
  619. auto result = value1.add(value2);
  620. EXPECT_EQ(result.value().type(), SQL::SQLType::Float);
  621. EXPECT((result.value().to_double().value() - 63.5) < NumericLimits<double>().epsilon());
  622. }
  623. }
  624. TEST_CASE(add_error)
  625. {
  626. {
  627. // Fails to coerce value2 to the signedness of value1.
  628. SQL::Value value1 { 1 };
  629. SQL::Value value2 { NumericLimits<u64>::max() };
  630. auto result = value1.add(value2);
  631. EXPECT(result.is_error());
  632. EXPECT_EQ(result.error().error(), SQL::SQLErrorCode::IntegerOverflow);
  633. }
  634. {
  635. // Fails to coerce value2 to the signedness of value1.
  636. SQL::Value value1 { static_cast<u64>(1) };
  637. SQL::Value value2 { -1 };
  638. auto result = value1.add(value2);
  639. EXPECT(result.is_error());
  640. EXPECT_EQ(result.error().error(), SQL::SQLErrorCode::IntegerOverflow);
  641. }
  642. {
  643. // The operation itself would overflow.
  644. SQL::Value value1 { static_cast<u64>(1) };
  645. SQL::Value value2 { NumericLimits<u64>::max() };
  646. auto result = value1.add(value2);
  647. EXPECT(result.is_error());
  648. EXPECT_EQ(result.error().error(), SQL::SQLErrorCode::IntegerOverflow);
  649. }
  650. {
  651. // Cannot convert value to a number.
  652. SQL::Value value1 { 1 };
  653. SQL::Value value2 { "foo"sv };
  654. auto result = value1.add(value2);
  655. EXPECT(result.is_error());
  656. EXPECT_EQ(result.error().error(), SQL::SQLErrorCode::NumericOperatorTypeMismatch);
  657. }
  658. }
  659. TEST_CASE(subtract)
  660. {
  661. {
  662. SQL::Value value1 { 21 };
  663. SQL::Value value2 { 42 };
  664. auto result = value1.subtract(value2);
  665. EXPECT_EQ(result.value().type(), SQL::SQLType::Integer);
  666. EXPECT_EQ(result.value(), -21);
  667. }
  668. {
  669. SQL::Value value1 { 21 };
  670. SQL::Value value2 { static_cast<u8>(42) };
  671. auto result = value1.subtract(value2);
  672. EXPECT_EQ(result.value().type(), SQL::SQLType::Integer);
  673. EXPECT_EQ(result.value(), -21);
  674. }
  675. {
  676. SQL::Value value1 { static_cast<u8>(42) };
  677. SQL::Value value2 { 21 };
  678. auto result = value1.subtract(value2);
  679. EXPECT_EQ(result.value().type(), SQL::SQLType::Integer);
  680. EXPECT_EQ(result.value(), 21);
  681. }
  682. {
  683. SQL::Value value1 { static_cast<double>(21) };
  684. SQL::Value value2 { 42 };
  685. auto result = value1.subtract(value2);
  686. EXPECT_EQ(result.value().type(), SQL::SQLType::Integer);
  687. EXPECT_EQ(result.value(), -21);
  688. }
  689. {
  690. SQL::Value value1 { static_cast<double>(21.5) };
  691. SQL::Value value2 { 42 };
  692. auto result = value1.subtract(value2);
  693. EXPECT_EQ(result.value().type(), SQL::SQLType::Float);
  694. EXPECT((result.value().to_double().value() - 20.5) < NumericLimits<double>().epsilon());
  695. }
  696. }
  697. TEST_CASE(subtract_error)
  698. {
  699. {
  700. // Fails to coerce value2 to the signedness of value1.
  701. SQL::Value value1 { 1 };
  702. SQL::Value value2 { NumericLimits<u64>::max() };
  703. auto result = value1.subtract(value2);
  704. EXPECT(result.is_error());
  705. EXPECT_EQ(result.error().error(), SQL::SQLErrorCode::IntegerOverflow);
  706. }
  707. {
  708. // Fails to coerce value2 to the signedness of value1.
  709. SQL::Value value1 { static_cast<u64>(1) };
  710. SQL::Value value2 { -1 };
  711. auto result = value1.subtract(value2);
  712. EXPECT(result.is_error());
  713. EXPECT_EQ(result.error().error(), SQL::SQLErrorCode::IntegerOverflow);
  714. }
  715. {
  716. // The operation itself would overflow.
  717. SQL::Value value1 { static_cast<u64>(0) };
  718. SQL::Value value2 { static_cast<u64>(1) };
  719. auto result = value1.subtract(value2);
  720. EXPECT(result.is_error());
  721. EXPECT_EQ(result.error().error(), SQL::SQLErrorCode::IntegerOverflow);
  722. }
  723. {
  724. // Cannot convert value to a number.
  725. SQL::Value value1 { 1 };
  726. SQL::Value value2 { "foo"sv };
  727. auto result = value1.subtract(value2);
  728. EXPECT(result.is_error());
  729. EXPECT_EQ(result.error().error(), SQL::SQLErrorCode::NumericOperatorTypeMismatch);
  730. }
  731. }
  732. TEST_CASE(multiply)
  733. {
  734. {
  735. SQL::Value value1 { 2 };
  736. SQL::Value value2 { 21 };
  737. auto result = value1.multiply(value2);
  738. EXPECT_EQ(result.value().type(), SQL::SQLType::Integer);
  739. EXPECT_EQ(result.value(), 42);
  740. }
  741. {
  742. SQL::Value value1 { 2 };
  743. SQL::Value value2 { static_cast<u8>(21) };
  744. auto result = value1.multiply(value2);
  745. EXPECT_EQ(result.value().type(), SQL::SQLType::Integer);
  746. EXPECT_EQ(result.value(), 42);
  747. }
  748. {
  749. SQL::Value value1 { static_cast<u8>(2) };
  750. SQL::Value value2 { 21 };
  751. auto result = value1.multiply(value2);
  752. EXPECT_EQ(result.value().type(), SQL::SQLType::Integer);
  753. EXPECT_EQ(result.value(), 42);
  754. }
  755. {
  756. SQL::Value value1 { static_cast<double>(2) };
  757. SQL::Value value2 { 21 };
  758. auto result = value1.multiply(value2);
  759. EXPECT_EQ(result.value().type(), SQL::SQLType::Integer);
  760. EXPECT_EQ(result.value(), 42);
  761. }
  762. {
  763. SQL::Value value1 { static_cast<double>(2.5) };
  764. SQL::Value value2 { 21 };
  765. auto result = value1.multiply(value2);
  766. EXPECT_EQ(result.value().type(), SQL::SQLType::Float);
  767. EXPECT((result.value().to_double().value() - 52.5) < NumericLimits<double>().epsilon());
  768. }
  769. }
  770. TEST_CASE(multiply_error)
  771. {
  772. {
  773. // Fails to coerce value2 to the signedness of value1.
  774. SQL::Value value1 { 1 };
  775. SQL::Value value2 { NumericLimits<u64>::max() };
  776. auto result = value1.multiply(value2);
  777. EXPECT(result.is_error());
  778. EXPECT_EQ(result.error().error(), SQL::SQLErrorCode::IntegerOverflow);
  779. }
  780. {
  781. // Fails to coerce value2 to the signedness of value1.
  782. SQL::Value value1 { static_cast<u64>(1) };
  783. SQL::Value value2 { -1 };
  784. auto result = value1.multiply(value2);
  785. EXPECT(result.is_error());
  786. EXPECT_EQ(result.error().error(), SQL::SQLErrorCode::IntegerOverflow);
  787. }
  788. {
  789. // The operation itself would overflow.
  790. SQL::Value value1 { NumericLimits<i64>::max() };
  791. SQL::Value value2 { 2 };
  792. auto result = value1.multiply(value2);
  793. EXPECT(result.is_error());
  794. EXPECT_EQ(result.error().error(), SQL::SQLErrorCode::IntegerOverflow);
  795. }
  796. {
  797. // Cannot convert value to a number.
  798. SQL::Value value1 { 1 };
  799. SQL::Value value2 { "foo"sv };
  800. auto result = value1.multiply(value2);
  801. EXPECT(result.is_error());
  802. EXPECT_EQ(result.error().error(), SQL::SQLErrorCode::NumericOperatorTypeMismatch);
  803. }
  804. }
  805. TEST_CASE(divide)
  806. {
  807. {
  808. SQL::Value value1 { 42 };
  809. SQL::Value value2 { -2 };
  810. auto result = value1.divide(value2);
  811. EXPECT_EQ(result.value().type(), SQL::SQLType::Integer);
  812. EXPECT_EQ(result.value(), -21);
  813. }
  814. {
  815. SQL::Value value1 { 42 };
  816. SQL::Value value2 { static_cast<u8>(2) };
  817. auto result = value1.divide(value2);
  818. EXPECT_EQ(result.value().type(), SQL::SQLType::Integer);
  819. EXPECT_EQ(result.value(), 21);
  820. }
  821. {
  822. SQL::Value value1 { static_cast<u8>(42) };
  823. SQL::Value value2 { 2 };
  824. auto result = value1.divide(value2);
  825. EXPECT_EQ(result.value().type(), SQL::SQLType::Integer);
  826. EXPECT_EQ(result.value(), 21);
  827. }
  828. {
  829. SQL::Value value1 { static_cast<double>(42) };
  830. SQL::Value value2 { 2 };
  831. auto result = value1.divide(value2);
  832. EXPECT_EQ(result.value().type(), SQL::SQLType::Integer);
  833. EXPECT_EQ(result.value(), 21);
  834. }
  835. {
  836. SQL::Value value1 { static_cast<double>(43) };
  837. SQL::Value value2 { 2 };
  838. auto result = value1.divide(value2);
  839. EXPECT_EQ(result.value().type(), SQL::SQLType::Float);
  840. EXPECT((result.value().to_double().value() - 21.5) < NumericLimits<double>().epsilon());
  841. }
  842. }
  843. TEST_CASE(divide_error)
  844. {
  845. {
  846. // The operation itself would overflow.
  847. SQL::Value value1 { 1 };
  848. SQL::Value value2 { 0 };
  849. auto result = value1.divide(value2);
  850. EXPECT(result.is_error());
  851. EXPECT_EQ(result.error().error(), SQL::SQLErrorCode::IntegerOverflow);
  852. }
  853. {
  854. // Cannot convert value to a number.
  855. SQL::Value value1 { 1 };
  856. SQL::Value value2 { "foo"sv };
  857. auto result = value1.divide(value2);
  858. EXPECT(result.is_error());
  859. EXPECT_EQ(result.error().error(), SQL::SQLErrorCode::NumericOperatorTypeMismatch);
  860. }
  861. }
  862. TEST_CASE(modulo)
  863. {
  864. {
  865. SQL::Value value1 { 21 };
  866. SQL::Value value2 { 2 };
  867. auto result = value1.modulo(value2);
  868. EXPECT_EQ(result.value().type(), SQL::SQLType::Integer);
  869. EXPECT_EQ(result.value(), 1);
  870. }
  871. {
  872. SQL::Value value1 { 21 };
  873. SQL::Value value2 { static_cast<u8>(2) };
  874. auto result = value1.modulo(value2);
  875. EXPECT_EQ(result.value().type(), SQL::SQLType::Integer);
  876. EXPECT_EQ(result.value(), 1);
  877. }
  878. {
  879. SQL::Value value1 { static_cast<u8>(21) };
  880. SQL::Value value2 { 2 };
  881. auto result = value1.modulo(value2);
  882. EXPECT_EQ(result.value().type(), SQL::SQLType::Integer);
  883. EXPECT_EQ(result.value(), 1);
  884. }
  885. {
  886. SQL::Value value1 { static_cast<double>(21) };
  887. SQL::Value value2 { 2 };
  888. auto result = value1.modulo(value2);
  889. EXPECT_EQ(result.value().type(), SQL::SQLType::Integer);
  890. EXPECT_EQ(result.value(), 1);
  891. }
  892. }
  893. TEST_CASE(modulo_error)
  894. {
  895. {
  896. // Fails to coerce value2 to the signedness of value1.
  897. SQL::Value value1 { 1 };
  898. SQL::Value value2 { NumericLimits<u64>::max() };
  899. auto result = value1.modulo(value2);
  900. EXPECT(result.is_error());
  901. EXPECT_EQ(result.error().error(), SQL::SQLErrorCode::IntegerOverflow);
  902. }
  903. {
  904. // Fails to coerce value2 to the signedness of value1.
  905. SQL::Value value1 { static_cast<u64>(1) };
  906. SQL::Value value2 { -1 };
  907. auto result = value1.modulo(value2);
  908. EXPECT(result.is_error());
  909. EXPECT_EQ(result.error().error(), SQL::SQLErrorCode::IntegerOverflow);
  910. }
  911. {
  912. // The operation itself would overflow.
  913. SQL::Value value1 { 21 };
  914. SQL::Value value2 { 0 };
  915. auto result = value1.modulo(value2);
  916. EXPECT(result.is_error());
  917. EXPECT_EQ(result.error().error(), SQL::SQLErrorCode::IntegerOverflow);
  918. }
  919. {
  920. // Cannot convert value to an integer.
  921. SQL::Value value1 { 1 };
  922. SQL::Value value2 { "foo"sv };
  923. auto result = value1.modulo(value2);
  924. EXPECT(result.is_error());
  925. EXPECT_EQ(result.error().error(), SQL::SQLErrorCode::NumericOperatorTypeMismatch);
  926. }
  927. {
  928. // Cannot convert value to an integer.
  929. SQL::Value value1 { static_cast<double>(21.5) };
  930. SQL::Value value2 { 2 };
  931. auto result = value1.modulo(value2);
  932. EXPECT(result.is_error());
  933. EXPECT_EQ(result.error().error(), SQL::SQLErrorCode::NumericOperatorTypeMismatch);
  934. }
  935. }
  936. TEST_CASE(shift_left)
  937. {
  938. {
  939. SQL::Value value1 { 0b0011'0000 };
  940. SQL::Value value2 { 2 };
  941. auto result = value1.shift_left(value2);
  942. EXPECT_EQ(result.value().type(), SQL::SQLType::Integer);
  943. EXPECT_EQ(result.value(), 0b1100'0000);
  944. }
  945. {
  946. SQL::Value value1 { 0b0011'0000 };
  947. SQL::Value value2 { static_cast<u8>(2) };
  948. auto result = value1.shift_left(value2);
  949. EXPECT_EQ(result.value().type(), SQL::SQLType::Integer);
  950. EXPECT_EQ(result.value(), 0b1100'0000);
  951. }
  952. {
  953. SQL::Value value1 { static_cast<u8>(0b0011'0000) };
  954. SQL::Value value2 { 2 };
  955. auto result = value1.shift_left(value2);
  956. EXPECT_EQ(result.value().type(), SQL::SQLType::Integer);
  957. EXPECT_EQ(result.value(), 0b1100'0000);
  958. }
  959. {
  960. SQL::Value value1 { static_cast<double>(0b0011'0000) };
  961. SQL::Value value2 { 2 };
  962. auto result = value1.shift_left(value2);
  963. EXPECT_EQ(result.value().type(), SQL::SQLType::Integer);
  964. EXPECT_EQ(result.value(), 0b1100'0000);
  965. }
  966. }
  967. TEST_CASE(shift_left_error)
  968. {
  969. {
  970. // Fails to coerce value2 to the signedness of value1.
  971. SQL::Value value1 { 1 };
  972. SQL::Value value2 { NumericLimits<u64>::max() };
  973. auto result = value1.shift_left(value2);
  974. EXPECT(result.is_error());
  975. EXPECT_EQ(result.error().error(), SQL::SQLErrorCode::IntegerOverflow);
  976. }
  977. {
  978. // Fails to coerce value2 to the signedness of value1.
  979. SQL::Value value1 { static_cast<u64>(1) };
  980. SQL::Value value2 { -1 };
  981. auto result = value1.shift_left(value2);
  982. EXPECT(result.is_error());
  983. EXPECT_EQ(result.error().error(), SQL::SQLErrorCode::IntegerOverflow);
  984. }
  985. {
  986. // The operation itself would overflow.
  987. SQL::Value value1 { 21 };
  988. SQL::Value value2 { -1 };
  989. auto result = value1.shift_left(value2);
  990. EXPECT(result.is_error());
  991. EXPECT_EQ(result.error().error(), SQL::SQLErrorCode::IntegerOverflow);
  992. }
  993. {
  994. // The operation itself would overflow.
  995. SQL::Value value1 { 21 };
  996. SQL::Value value2 { 64 };
  997. auto result = value1.shift_left(value2);
  998. EXPECT(result.is_error());
  999. EXPECT_EQ(result.error().error(), SQL::SQLErrorCode::IntegerOverflow);
  1000. }
  1001. {
  1002. // Cannot convert value to an integer.
  1003. SQL::Value value1 { 1 };
  1004. SQL::Value value2 { "foo"sv };
  1005. auto result = value1.shift_left(value2);
  1006. EXPECT(result.is_error());
  1007. EXPECT_EQ(result.error().error(), SQL::SQLErrorCode::NumericOperatorTypeMismatch);
  1008. }
  1009. {
  1010. // Cannot convert value to an integer.
  1011. SQL::Value value1 { static_cast<double>(21.5) };
  1012. SQL::Value value2 { 2 };
  1013. auto result = value1.shift_left(value2);
  1014. EXPECT(result.is_error());
  1015. EXPECT_EQ(result.error().error(), SQL::SQLErrorCode::NumericOperatorTypeMismatch);
  1016. }
  1017. }
  1018. TEST_CASE(shift_right)
  1019. {
  1020. {
  1021. SQL::Value value1 { 0b0011'0000 };
  1022. SQL::Value value2 { 2 };
  1023. auto result = value1.shift_right(value2);
  1024. EXPECT_EQ(result.value().type(), SQL::SQLType::Integer);
  1025. EXPECT_EQ(result.value(), 0b0000'1100);
  1026. }
  1027. {
  1028. SQL::Value value1 { 0b0011'0000 };
  1029. SQL::Value value2 { static_cast<u8>(2) };
  1030. auto result = value1.shift_right(value2);
  1031. EXPECT_EQ(result.value().type(), SQL::SQLType::Integer);
  1032. EXPECT_EQ(result.value(), 0b0000'1100);
  1033. }
  1034. {
  1035. SQL::Value value1 { static_cast<u8>(0b0011'0000) };
  1036. SQL::Value value2 { 2 };
  1037. auto result = value1.shift_right(value2);
  1038. EXPECT_EQ(result.value().type(), SQL::SQLType::Integer);
  1039. EXPECT_EQ(result.value(), 0b0000'1100);
  1040. }
  1041. {
  1042. SQL::Value value1 { static_cast<double>(0b0011'0000) };
  1043. SQL::Value value2 { 2 };
  1044. auto result = value1.shift_right(value2);
  1045. EXPECT_EQ(result.value().type(), SQL::SQLType::Integer);
  1046. EXPECT_EQ(result.value(), 0b0000'1100);
  1047. }
  1048. }
  1049. TEST_CASE(shift_right_error)
  1050. {
  1051. {
  1052. // Fails to coerce value2 to the signedness of value1.
  1053. SQL::Value value1 { 1 };
  1054. SQL::Value value2 { NumericLimits<u64>::max() };
  1055. auto result = value1.shift_right(value2);
  1056. EXPECT(result.is_error());
  1057. EXPECT_EQ(result.error().error(), SQL::SQLErrorCode::IntegerOverflow);
  1058. }
  1059. {
  1060. // Fails to coerce value2 to the signedness of value1.
  1061. SQL::Value value1 { static_cast<u64>(1) };
  1062. SQL::Value value2 { -1 };
  1063. auto result = value1.shift_right(value2);
  1064. EXPECT(result.is_error());
  1065. EXPECT_EQ(result.error().error(), SQL::SQLErrorCode::IntegerOverflow);
  1066. }
  1067. {
  1068. // The operation itself would overflow.
  1069. SQL::Value value1 { 21 };
  1070. SQL::Value value2 { -1 };
  1071. auto result = value1.shift_right(value2);
  1072. EXPECT(result.is_error());
  1073. EXPECT_EQ(result.error().error(), SQL::SQLErrorCode::IntegerOverflow);
  1074. }
  1075. {
  1076. // The operation itself would overflow.
  1077. SQL::Value value1 { 21 };
  1078. SQL::Value value2 { 64 };
  1079. auto result = value1.shift_right(value2);
  1080. EXPECT(result.is_error());
  1081. EXPECT_EQ(result.error().error(), SQL::SQLErrorCode::IntegerOverflow);
  1082. }
  1083. {
  1084. // Cannot convert value to an integer.
  1085. SQL::Value value1 { 1 };
  1086. SQL::Value value2 { "foo"sv };
  1087. auto result = value1.shift_right(value2);
  1088. EXPECT(result.is_error());
  1089. EXPECT_EQ(result.error().error(), SQL::SQLErrorCode::NumericOperatorTypeMismatch);
  1090. }
  1091. {
  1092. // Cannot convert value to an integer.
  1093. SQL::Value value1 { static_cast<double>(21.5) };
  1094. SQL::Value value2 { 2 };
  1095. auto result = value1.shift_right(value2);
  1096. EXPECT(result.is_error());
  1097. EXPECT_EQ(result.error().error(), SQL::SQLErrorCode::NumericOperatorTypeMismatch);
  1098. }
  1099. }