GenerateUnicodeData.cpp 42 KB

12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849505152535455565758596061626364656667686970717273747576777879808182838485868788899091929394959697989910010110210310410510610710810911011111211311411511611711811912012112212312412512612712812913013113213313413513613713813914014114214314414514614714814915015115215315415515615715815916016116216316416516616716816917017117217317417517617717817918018118218318418518618718818919019119219319419519619719819920020120220320420520620720820921021121221321421521621721821922022122222322422522622722822923023123223323423523623723823924024124224324424524624724824925025125225325425525625725825926026126226326426526626726826927027127227327427527627727827928028128228328428528628728828929029129229329429529629729829930030130230330430530630730830931031131231331431531631731831932032132232332432532632732832933033133233333433533633733833934034134234334434534634734834935035135235335435535635735835936036136236336436536636736836937037137237337437537637737837938038138238338438538638738838939039139239339439539639739839940040140240340440540640740840941041141241341441541641741841942042142242342442542642742842943043143243343443543643743843944044144244344444544644744844945045145245345445545645745845946046146246346446546646746846947047147247347447547647747847948048148248348448548648748848949049149249349449549649749849950050150250350450550650750850951051151251351451551651751851952052152252352452552652752852953053153253353453553653753853954054154254354454554654754854955055155255355455555655755855956056156256356456556656756856957057157257357457557657757857958058158258358458558658758858959059159259359459559659759859960060160260360460560660760860961061161261361461561661761861962062162262362462562662762862963063163263363463563663763863964064164264364464564664764864965065165265365465565665765865966066166266366466566666766866967067167267367467567667767867968068168268368468568668768868969069169269369469569669769869970070170270370470570670770870971071171271371471571671771871972072172272372472572672772872973073173273373473573673773873974074174274374474574674774874975075175275375475575675775875976076176276376476576676776876977077177277377477577677777877978078178278378478578678778878979079179279379479579679779879980080180280380480580680780880981081181281381481581681781881982082182282382482582682782882983083183283383483583683783883984084184284384484584684784884985085185285385485585685785885986086186286386486586686786886987087187287387487587687787887988088188288388488588688788888989089189289389489589689789889990090190290390490590690790890991091191291391491591691791891992092192292392492592692792892993093193293393493593693793893994094194294394494594694794894995095195295395495595695795895996096196296396496596696796896997097197297397497597697797897998098198298398498598698798898999099199299399499599699799899910001001100210031004100510061007100810091010101110121013101410151016101710181019102010211022102310241025102610271028102910301031103210331034103510361037103810391040104110421043104410451046104710481049105010511052105310541055105610571058105910601061106210631064106510661067106810691070107110721073
  1. /*
  2. * Copyright (c) 2021, Tim Flynn <trflynn89@pm.me>
  3. *
  4. * SPDX-License-Identifier: BSD-2-Clause
  5. */
  6. #include <AK/AllOf.h>
  7. #include <AK/Array.h>
  8. #include <AK/CharacterTypes.h>
  9. #include <AK/Find.h>
  10. #include <AK/HashMap.h>
  11. #include <AK/Optional.h>
  12. #include <AK/QuickSort.h>
  13. #include <AK/SourceGenerator.h>
  14. #include <AK/String.h>
  15. #include <AK/StringUtils.h>
  16. #include <AK/Types.h>
  17. #include <AK/Vector.h>
  18. #include <LibCore/ArgsParser.h>
  19. #include <LibCore/File.h>
  20. // Some code points are excluded from UnicodeData.txt, and instead are part of a "range" of code
  21. // points, as indicated by the "name" field. For example:
  22. // 3400;<CJK Ideograph Extension A, First>;Lo;0;L;;;;;N;;;;;
  23. // 4DBF;<CJK Ideograph Extension A, Last>;Lo;0;L;;;;;N;;;;;
  24. struct CodePointRange {
  25. u32 first;
  26. u32 last;
  27. };
  28. // SpecialCasing source: https://www.unicode.org/Public/13.0.0/ucd/SpecialCasing.txt
  29. // Field descriptions: https://www.unicode.org/reports/tr44/tr44-13.html#SpecialCasing.txt
  30. struct SpecialCasing {
  31. u32 index { 0 };
  32. u32 code_point { 0 };
  33. Vector<u32> lowercase_mapping;
  34. Vector<u32> uppercase_mapping;
  35. Vector<u32> titlecase_mapping;
  36. String locale;
  37. String condition;
  38. };
  39. // PropList source: https://www.unicode.org/Public/13.0.0/ucd/PropList.txt
  40. // Property descriptions: https://www.unicode.org/reports/tr44/tr44-13.html#PropList.txt
  41. using PropList = HashMap<String, Vector<CodePointRange>>;
  42. // PropertyAliases source: https://www.unicode.org/Public/13.0.0/ucd/PropertyAliases.txt
  43. struct Alias {
  44. String property;
  45. String alias;
  46. };
  47. // Normalization source: https://www.unicode.org/Public/13.0.0/ucd/DerivedNormalizationProps.txt
  48. // Normalization descriptions: https://www.unicode.org/reports/tr44/#DerivedNormalizationProps.txt
  49. enum class QuickCheck {
  50. Yes,
  51. No,
  52. Maybe,
  53. };
  54. struct Normalization {
  55. CodePointRange code_point_range;
  56. Vector<u32> value;
  57. QuickCheck quick_check { QuickCheck::Yes };
  58. };
  59. using NormalizationProps = HashMap<String, Vector<Normalization>>;
  60. // UnicodeData source: https://www.unicode.org/Public/13.0.0/ucd/UnicodeData.txt
  61. // Field descriptions: https://www.unicode.org/reports/tr44/tr44-13.html#UnicodeData.txt
  62. // https://www.unicode.org/reports/tr44/#General_Category_Values
  63. struct CodePointData {
  64. u32 code_point { 0 };
  65. String name;
  66. u8 canonical_combining_class { 0 };
  67. String bidi_class;
  68. String decomposition_type;
  69. Optional<i8> numeric_value_decimal;
  70. Optional<i8> numeric_value_digit;
  71. Optional<i8> numeric_value_numeric;
  72. bool bidi_mirrored { false };
  73. String unicode_1_name;
  74. String iso_comment;
  75. Optional<u32> simple_uppercase_mapping;
  76. Optional<u32> simple_lowercase_mapping;
  77. Optional<u32> simple_titlecase_mapping;
  78. Vector<u32> special_casing_indices;
  79. };
  80. struct UnicodeData {
  81. u32 code_points_with_non_zero_combining_class { 0 };
  82. u32 simple_uppercase_mapping_size { 0 };
  83. u32 simple_lowercase_mapping_size { 0 };
  84. Vector<SpecialCasing> special_casing;
  85. u32 code_points_with_special_casing { 0 };
  86. u32 largest_casing_transform_size { 0 };
  87. u32 largest_special_casing_size { 0 };
  88. Vector<String> conditions;
  89. Vector<CodePointData> code_point_data;
  90. Vector<CodePointRange> code_point_ranges;
  91. PropList general_categories;
  92. Vector<Alias> general_category_aliases;
  93. // The Unicode standard defines additional properties (Any, Assigned, ASCII) which are not in
  94. // any UCD file. Assigned code point ranges are derived as this generator is executed.
  95. // https://unicode.org/reports/tr18/#General_Category_Property
  96. PropList prop_list {
  97. { "Any"sv, { { 0, 0x10ffff } } },
  98. { "Assigned"sv, {} },
  99. { "ASCII"sv, { { 0, 0x7f } } },
  100. };
  101. Vector<Alias> prop_aliases;
  102. PropList script_list {
  103. { "Unknown"sv, {} },
  104. };
  105. Vector<Alias> script_aliases;
  106. PropList script_extensions;
  107. // FIXME: We are not yet doing anything with this data. It will be needed for String.prototype.normalize.
  108. NormalizationProps normalization_props;
  109. };
  110. static Vector<u32> parse_code_point_list(StringView const& list)
  111. {
  112. Vector<u32> code_points;
  113. auto segments = list.split_view(' ');
  114. for (auto const& code_point : segments)
  115. code_points.append(AK::StringUtils::convert_to_uint_from_hex<u32>(code_point).value());
  116. return code_points;
  117. }
  118. static CodePointRange parse_code_point_range(StringView const& list)
  119. {
  120. CodePointRange code_point_range {};
  121. if (list.contains(".."sv)) {
  122. auto segments = list.split_view(".."sv);
  123. VERIFY(segments.size() == 2);
  124. auto begin = AK::StringUtils::convert_to_uint_from_hex<u32>(segments[0]).value();
  125. auto end = AK::StringUtils::convert_to_uint_from_hex<u32>(segments[1]).value();
  126. code_point_range = { begin, end };
  127. } else {
  128. auto code_point = AK::StringUtils::convert_to_uint_from_hex<u32>(list).value();
  129. code_point_range = { code_point, code_point };
  130. }
  131. return code_point_range;
  132. }
  133. static void parse_special_casing(Core::File& file, UnicodeData& unicode_data)
  134. {
  135. while (file.can_read_line()) {
  136. auto line = file.read_line();
  137. if (line.is_empty() || line.starts_with('#'))
  138. continue;
  139. if (auto index = line.find('#'); index.has_value())
  140. line = line.substring(0, *index);
  141. auto segments = line.split(';', true);
  142. VERIFY(segments.size() == 5 || segments.size() == 6);
  143. SpecialCasing casing {};
  144. casing.code_point = AK::StringUtils::convert_to_uint_from_hex<u32>(segments[0]).value();
  145. casing.lowercase_mapping = parse_code_point_list(segments[1]);
  146. casing.titlecase_mapping = parse_code_point_list(segments[2]);
  147. casing.uppercase_mapping = parse_code_point_list(segments[3]);
  148. if (auto condition = segments[4].trim_whitespace(); !condition.is_empty()) {
  149. auto conditions = condition.split(' ', true);
  150. VERIFY(conditions.size() == 1 || conditions.size() == 2);
  151. if (conditions.size() == 2) {
  152. casing.locale = move(conditions[0]);
  153. casing.condition = move(conditions[1]);
  154. } else if (all_of(conditions[0], is_ascii_lower_alpha)) {
  155. casing.locale = move(conditions[0]);
  156. } else {
  157. casing.condition = move(conditions[0]);
  158. }
  159. if (!casing.locale.is_empty())
  160. casing.locale = String::formatted("{:c}{}", to_ascii_uppercase(casing.locale[0]), casing.locale.substring_view(1));
  161. casing.condition = casing.condition.replace("_", "", true);
  162. if (!casing.condition.is_empty() && !unicode_data.conditions.contains_slow(casing.condition))
  163. unicode_data.conditions.append(casing.condition);
  164. }
  165. unicode_data.largest_casing_transform_size = max(unicode_data.largest_casing_transform_size, casing.lowercase_mapping.size());
  166. unicode_data.largest_casing_transform_size = max(unicode_data.largest_casing_transform_size, casing.titlecase_mapping.size());
  167. unicode_data.largest_casing_transform_size = max(unicode_data.largest_casing_transform_size, casing.uppercase_mapping.size());
  168. unicode_data.special_casing.append(move(casing));
  169. }
  170. quick_sort(unicode_data.special_casing, [](auto const& lhs, auto const& rhs) {
  171. if (lhs.code_point != rhs.code_point)
  172. return lhs.code_point < rhs.code_point;
  173. if (lhs.locale.is_empty() && !rhs.locale.is_empty())
  174. return false;
  175. if (!lhs.locale.is_empty() && rhs.locale.is_empty())
  176. return true;
  177. return lhs.locale < rhs.locale;
  178. });
  179. for (u32 i = 0; i < unicode_data.special_casing.size(); ++i)
  180. unicode_data.special_casing[i].index = i;
  181. }
  182. static void parse_prop_list(Core::File& file, PropList& prop_list, bool multi_value_property = false)
  183. {
  184. while (file.can_read_line()) {
  185. auto line = file.read_line();
  186. if (line.is_empty() || line.starts_with('#'))
  187. continue;
  188. if (auto index = line.find('#'); index.has_value())
  189. line = line.substring(0, *index);
  190. auto segments = line.split_view(';', true);
  191. VERIFY(segments.size() == 2);
  192. auto code_point_range = parse_code_point_range(segments[0].trim_whitespace());
  193. Vector<StringView> properties;
  194. if (multi_value_property)
  195. properties = segments[1].trim_whitespace().split_view(' ');
  196. else
  197. properties = { segments[1].trim_whitespace() };
  198. for (auto const& property : properties) {
  199. auto& code_points = prop_list.ensure(property.trim_whitespace());
  200. code_points.append(code_point_range);
  201. }
  202. }
  203. }
  204. static void parse_alias_list(Core::File& file, PropList const& prop_list, Vector<Alias>& prop_aliases)
  205. {
  206. String current_property;
  207. auto append_alias = [&](auto alias, auto property) {
  208. // Note: The alias files contain lines such as "Hyphen = Hyphen", which we should just skip.
  209. if (alias == property)
  210. return;
  211. // FIXME: We will, eventually, need to find where missing properties are located and parse them.
  212. if (!prop_list.contains(property))
  213. return;
  214. prop_aliases.append({ property, alias });
  215. };
  216. while (file.can_read_line()) {
  217. auto line = file.read_line();
  218. if (line.is_empty() || line.starts_with('#')) {
  219. if (line.ends_with("Properties"sv))
  220. current_property = line.substring(2);
  221. continue;
  222. }
  223. // Note: For now, we only care about Binary Property aliases for Unicode property escapes.
  224. if (current_property != "Binary Properties"sv)
  225. continue;
  226. auto segments = line.split_view(';', true);
  227. VERIFY((segments.size() == 2) || (segments.size() == 3));
  228. auto alias = segments[0].trim_whitespace();
  229. auto property = segments[1].trim_whitespace();
  230. append_alias(alias, property);
  231. if (segments.size() == 3) {
  232. alias = segments[2].trim_whitespace();
  233. append_alias(alias, property);
  234. }
  235. }
  236. }
  237. static void parse_value_alias_list(Core::File& file, StringView desired_category, Vector<String> const& value_list, Vector<Alias>& prop_aliases, bool primary_value_is_first = true)
  238. {
  239. VERIFY(file.seek(0));
  240. auto append_alias = [&](auto alias, auto value) {
  241. // Note: The value alias file contains lines such as "Ahom = Ahom", which we should just skip.
  242. if (alias == value)
  243. return;
  244. // FIXME: We will, eventually, need to find where missing properties are located and parse them.
  245. if (!value_list.contains_slow(value))
  246. return;
  247. prop_aliases.append({ value, alias });
  248. };
  249. while (file.can_read_line()) {
  250. auto line = file.read_line();
  251. if (line.is_empty() || line.starts_with('#'))
  252. continue;
  253. if (auto index = line.find('#'); index.has_value())
  254. line = line.substring(0, *index);
  255. auto segments = line.split_view(';', true);
  256. auto category = segments[0].trim_whitespace();
  257. if (category != desired_category)
  258. continue;
  259. VERIFY((segments.size() == 3) || (segments.size() == 4));
  260. auto value = primary_value_is_first ? segments[1].trim_whitespace() : segments[2].trim_whitespace();
  261. auto alias = primary_value_is_first ? segments[2].trim_whitespace() : segments[1].trim_whitespace();
  262. append_alias(alias, value);
  263. if (segments.size() == 4) {
  264. alias = segments[3].trim_whitespace();
  265. append_alias(alias, value);
  266. }
  267. }
  268. }
  269. static void parse_normalization_props(Core::File& file, UnicodeData& unicode_data)
  270. {
  271. while (file.can_read_line()) {
  272. auto line = file.read_line();
  273. if (line.is_empty() || line.starts_with('#'))
  274. continue;
  275. if (auto index = line.find('#'); index.has_value())
  276. line = line.substring(0, *index);
  277. auto segments = line.split_view(';', true);
  278. VERIFY((segments.size() == 2) || (segments.size() == 3));
  279. auto code_point_range = parse_code_point_range(segments[0].trim_whitespace());
  280. auto property = segments[1].trim_whitespace().to_string();
  281. Vector<u32> value;
  282. QuickCheck quick_check = QuickCheck::Yes;
  283. if (segments.size() == 3) {
  284. auto value_or_quick_check = segments[2].trim_whitespace();
  285. if ((value_or_quick_check == "N"sv))
  286. quick_check = QuickCheck::No;
  287. else if ((value_or_quick_check == "M"sv))
  288. quick_check = QuickCheck::Maybe;
  289. else
  290. value = parse_code_point_list(value_or_quick_check);
  291. }
  292. auto& normalizations = unicode_data.normalization_props.ensure(property);
  293. normalizations.append({ code_point_range, move(value), quick_check });
  294. auto& prop_list = unicode_data.prop_list.ensure(property);
  295. prop_list.append(move(code_point_range));
  296. }
  297. }
  298. static void parse_unicode_data(Core::File& file, UnicodeData& unicode_data)
  299. {
  300. Optional<u32> code_point_range_start;
  301. auto& assigned_code_points = unicode_data.prop_list.find("Assigned"sv)->value;
  302. Optional<u32> assigned_code_point_range_start = 0;
  303. u32 previous_code_point = 0;
  304. while (file.can_read_line()) {
  305. auto line = file.read_line();
  306. if (line.is_empty())
  307. continue;
  308. auto segments = line.split(';', true);
  309. VERIFY(segments.size() == 15);
  310. CodePointData data {};
  311. data.code_point = AK::StringUtils::convert_to_uint_from_hex<u32>(segments[0]).value();
  312. data.name = move(segments[1]);
  313. data.canonical_combining_class = AK::StringUtils::convert_to_uint<u8>(segments[3]).value();
  314. data.bidi_class = move(segments[4]);
  315. data.decomposition_type = move(segments[5]);
  316. data.numeric_value_decimal = AK::StringUtils::convert_to_int<i8>(segments[6]);
  317. data.numeric_value_digit = AK::StringUtils::convert_to_int<i8>(segments[7]);
  318. data.numeric_value_numeric = AK::StringUtils::convert_to_int<i8>(segments[8]);
  319. data.bidi_mirrored = segments[9] == "Y"sv;
  320. data.unicode_1_name = move(segments[10]);
  321. data.iso_comment = move(segments[11]);
  322. data.simple_uppercase_mapping = AK::StringUtils::convert_to_uint_from_hex<u32>(segments[12]);
  323. data.simple_lowercase_mapping = AK::StringUtils::convert_to_uint_from_hex<u32>(segments[13]);
  324. data.simple_titlecase_mapping = AK::StringUtils::convert_to_uint_from_hex<u32>(segments[14]);
  325. if (!assigned_code_point_range_start.has_value())
  326. assigned_code_point_range_start = data.code_point;
  327. if (data.name.starts_with("<"sv) && data.name.ends_with(", First>")) {
  328. VERIFY(!code_point_range_start.has_value() && assigned_code_point_range_start.has_value());
  329. code_point_range_start = data.code_point;
  330. data.name = data.name.substring(1, data.name.length() - 9);
  331. assigned_code_points.append({ *assigned_code_point_range_start, previous_code_point });
  332. assigned_code_point_range_start.clear();
  333. } else if (data.name.starts_with("<"sv) && data.name.ends_with(", Last>")) {
  334. VERIFY(code_point_range_start.has_value());
  335. CodePointRange code_point_range { *code_point_range_start, data.code_point };
  336. unicode_data.code_point_ranges.append(code_point_range);
  337. assigned_code_points.append(code_point_range);
  338. data.name = data.name.substring(1, data.name.length() - 8);
  339. code_point_range_start.clear();
  340. } else if ((data.code_point > 0) && (data.code_point - previous_code_point) != 1) {
  341. VERIFY(assigned_code_point_range_start.has_value());
  342. assigned_code_points.append({ *assigned_code_point_range_start, previous_code_point });
  343. assigned_code_point_range_start = data.code_point;
  344. }
  345. bool has_special_casing { false };
  346. for (auto const& casing : unicode_data.special_casing) {
  347. if (casing.code_point == data.code_point) {
  348. data.special_casing_indices.append(casing.index);
  349. has_special_casing = true;
  350. }
  351. }
  352. unicode_data.code_points_with_non_zero_combining_class += data.canonical_combining_class != 0;
  353. unicode_data.simple_uppercase_mapping_size += data.simple_uppercase_mapping.has_value();
  354. unicode_data.simple_lowercase_mapping_size += data.simple_lowercase_mapping.has_value();
  355. unicode_data.code_points_with_special_casing += has_special_casing;
  356. unicode_data.largest_special_casing_size = max(unicode_data.largest_special_casing_size, data.special_casing_indices.size());
  357. previous_code_point = data.code_point;
  358. unicode_data.code_point_data.append(move(data));
  359. }
  360. }
  361. static void generate_unicode_data_header(Core::File& file, UnicodeData& unicode_data)
  362. {
  363. StringBuilder builder;
  364. SourceGenerator generator { builder };
  365. generator.set("casing_transform_size", String::number(unicode_data.largest_casing_transform_size));
  366. auto generate_enum = [&](StringView name, StringView default_, Vector<String> values, Vector<Alias> aliases = {}) {
  367. quick_sort(values);
  368. quick_sort(aliases, [](auto& alias1, auto& alias2) { return alias1.alias < alias2.alias; });
  369. generator.set("name", name);
  370. generator.set("underlying", String::formatted("{}UnderlyingType", name));
  371. generator.append(R"~~~(
  372. using @underlying@ = u8;
  373. enum class @name@ : @underlying@ {)~~~");
  374. if (!default_.is_empty()) {
  375. generator.set("default", default_);
  376. generator.append(R"~~~(
  377. @default@,)~~~");
  378. }
  379. for (auto const& value : values) {
  380. generator.set("value", value);
  381. generator.append(R"~~~(
  382. @value@,)~~~");
  383. }
  384. for (auto const& alias : aliases) {
  385. generator.set("alias", alias.alias);
  386. generator.set("value", alias.property);
  387. generator.append(R"~~~(
  388. @alias@ = @value@,)~~~");
  389. }
  390. generator.append(R"~~~(
  391. };
  392. )~~~");
  393. };
  394. generator.append(R"~~~(
  395. #pragma once
  396. #include <AK/Optional.h>
  397. #include <AK/Span.h>
  398. #include <AK/Types.h>
  399. #include <LibUnicode/Forward.h>
  400. #include <LibUnicode/UnicodeLocale.h>
  401. namespace Unicode {
  402. )~~~");
  403. generate_enum("Condition"sv, "None"sv, move(unicode_data.conditions));
  404. generate_enum("GeneralCategory"sv, {}, unicode_data.general_categories.keys(), unicode_data.general_category_aliases);
  405. generate_enum("Property"sv, {}, unicode_data.prop_list.keys(), unicode_data.prop_aliases);
  406. generate_enum("Script"sv, {}, unicode_data.script_list.keys(), unicode_data.script_aliases);
  407. generator.append(R"~~~(
  408. struct SpecialCasing {
  409. u32 code_point { 0 };
  410. u32 lowercase_mapping[@casing_transform_size@];
  411. u32 lowercase_mapping_size { 0 };
  412. u32 uppercase_mapping[@casing_transform_size@];
  413. u32 uppercase_mapping_size { 0 };
  414. u32 titlecase_mapping[@casing_transform_size@];
  415. u32 titlecase_mapping_size { 0 };
  416. Locale locale { Locale::None };
  417. Condition condition { Condition::None };
  418. };
  419. namespace Detail {
  420. u32 canonical_combining_class(u32 code_point);
  421. u32 simple_uppercase_mapping(u32 code_point);
  422. u32 simple_lowercase_mapping(u32 code_point);
  423. Span<SpecialCasing const* const> special_case_mapping(u32 code_point);
  424. bool code_point_has_general_category(u32 code_point, GeneralCategory general_category);
  425. Optional<GeneralCategory> general_category_from_string(StringView const& general_category);
  426. bool code_point_has_property(u32 code_point, Property property);
  427. Optional<Property> property_from_string(StringView const& property);
  428. bool code_point_has_script(u32 code_point, Script script);
  429. bool code_point_has_script_extension(u32 code_point, Script script);
  430. Optional<Script> script_from_string(StringView const& script);
  431. }
  432. }
  433. )~~~");
  434. file.write(generator.as_string_view());
  435. }
  436. static void generate_unicode_data_implementation(Core::File& file, UnicodeData const& unicode_data)
  437. {
  438. StringBuilder builder;
  439. SourceGenerator generator { builder };
  440. generator.set("largest_special_casing_size", String::number(unicode_data.largest_special_casing_size));
  441. generator.set("special_casing_size", String::number(unicode_data.special_casing.size()));
  442. generator.append(R"~~~(
  443. #include <AK/Array.h>
  444. #include <AK/BinarySearch.h>
  445. #include <AK/CharacterTypes.h>
  446. #include <AK/HashMap.h>
  447. #include <AK/String.h>
  448. #include <AK/StringView.h>
  449. #include <LibUnicode/UnicodeData.h>
  450. namespace Unicode {
  451. )~~~");
  452. auto append_list_and_size = [&](auto const& list, StringView format) {
  453. if (list.is_empty()) {
  454. generator.append(", {}, 0");
  455. return;
  456. }
  457. bool first = true;
  458. generator.append(", {");
  459. for (auto const& item : list) {
  460. generator.append(first ? " " : ", ");
  461. generator.append(String::formatted(format, item));
  462. first = false;
  463. }
  464. generator.append(String::formatted(" }}, {}", list.size()));
  465. };
  466. generator.append(R"~~~(
  467. static constexpr Array<SpecialCasing, @special_casing_size@> s_special_casing { {)~~~");
  468. for (auto const& casing : unicode_data.special_casing) {
  469. generator.set("code_point", String::formatted("{:#x}", casing.code_point));
  470. generator.append(R"~~~(
  471. { @code_point@)~~~");
  472. constexpr auto format = "0x{:x}"sv;
  473. append_list_and_size(casing.lowercase_mapping, format);
  474. append_list_and_size(casing.uppercase_mapping, format);
  475. append_list_and_size(casing.titlecase_mapping, format);
  476. generator.set("locale", casing.locale.is_empty() ? "None" : casing.locale);
  477. generator.append(", Locale::@locale@");
  478. generator.set("condition", casing.condition.is_empty() ? "None" : casing.condition);
  479. generator.append(", Condition::@condition@");
  480. generator.append(" },");
  481. }
  482. generator.append(R"~~~(
  483. } };
  484. struct CodePointMapping {
  485. u32 code_point { 0 };
  486. u32 mapping { 0 };
  487. };
  488. struct SpecialCaseMapping {
  489. u32 code_point { 0 };
  490. Array<SpecialCasing const*, @largest_special_casing_size@> special_casing {};
  491. u32 special_casing_size { 0 };
  492. };
  493. template<typename MappingType>
  494. struct CodePointComparator {
  495. constexpr int operator()(u32 code_point, MappingType const& mapping)
  496. {
  497. return code_point - mapping.code_point;
  498. }
  499. };
  500. )~~~");
  501. auto append_code_point_mappings = [&](StringView name, StringView mapping_type, u32 size, auto mapping_getter) {
  502. generator.set("name", name);
  503. generator.set("mapping_type", mapping_type);
  504. generator.set("size", String::number(size));
  505. generator.append(R"~~~(
  506. static constexpr Array<@mapping_type@, @size@> s_@name@_mappings { {
  507. )~~~");
  508. constexpr size_t max_mappings_per_row = 20;
  509. size_t mappings_in_current_row = 0;
  510. for (auto const& data : unicode_data.code_point_data) {
  511. auto mapping = mapping_getter(data);
  512. if constexpr (IsSame<decltype(mapping), Optional<u32>>) {
  513. if (!mapping.has_value())
  514. continue;
  515. } else {
  516. if (mapping.is_empty())
  517. continue;
  518. }
  519. if (mappings_in_current_row++ > 0)
  520. generator.append(" ");
  521. generator.set("code_point", String::formatted("{:#x}", data.code_point));
  522. generator.append("{ @code_point@");
  523. if constexpr (IsSame<decltype(mapping), Optional<u32>>) {
  524. generator.set("mapping", String::formatted("{:#x}", *mapping));
  525. generator.append(", @mapping@ },");
  526. } else {
  527. append_list_and_size(data.special_casing_indices, "&s_special_casing[{}]"sv);
  528. generator.append(" },");
  529. }
  530. if (mappings_in_current_row == max_mappings_per_row) {
  531. mappings_in_current_row = 0;
  532. generator.append("\n ");
  533. }
  534. }
  535. generator.append(R"~~~(
  536. } };
  537. )~~~");
  538. };
  539. append_code_point_mappings("combining_class"sv, "CodePointMapping"sv, unicode_data.code_points_with_non_zero_combining_class,
  540. [](auto const& data) -> Optional<u32> {
  541. if (data.canonical_combining_class == 0)
  542. return {};
  543. return data.canonical_combining_class;
  544. });
  545. append_code_point_mappings("uppercase"sv, "CodePointMapping"sv, unicode_data.simple_uppercase_mapping_size, [](auto const& data) { return data.simple_uppercase_mapping; });
  546. append_code_point_mappings("lowercase"sv, "CodePointMapping"sv, unicode_data.simple_lowercase_mapping_size, [](auto const& data) { return data.simple_lowercase_mapping; });
  547. append_code_point_mappings("special_case"sv, "SpecialCaseMapping"sv, unicode_data.code_points_with_special_casing, [](auto const& data) { return data.special_casing_indices; });
  548. generator.append(R"~~~(
  549. struct CodePointRange {
  550. u32 first { 0 };
  551. u32 last { 0 };
  552. };
  553. struct CodePointRangeComparator {
  554. constexpr int operator()(u32 code_point, CodePointRange const& range)
  555. {
  556. return (code_point > range.last) - (code_point < range.first);
  557. }
  558. };
  559. )~~~");
  560. auto append_code_point_range_list = [&](String name, Vector<CodePointRange> const& ranges) {
  561. generator.set("name", name);
  562. generator.set("size", String::number(ranges.size()));
  563. generator.append(R"~~~(
  564. static constexpr Array<CodePointRange, @size@> @name@ { {
  565. )~~~");
  566. constexpr size_t max_ranges_per_row = 20;
  567. size_t ranges_in_current_row = 0;
  568. for (auto const& range : ranges) {
  569. if (ranges_in_current_row++ > 0)
  570. generator.append(" ");
  571. generator.set("first", String::formatted("{:#x}", range.first));
  572. generator.set("last", String::formatted("{:#x}", range.last));
  573. generator.append("{ @first@, @last@ },");
  574. if (ranges_in_current_row == max_ranges_per_row) {
  575. ranges_in_current_row = 0;
  576. generator.append("\n ");
  577. }
  578. }
  579. generator.append(R"~~~(
  580. } };
  581. )~~~");
  582. };
  583. auto append_prop_list = [&](StringView collection_name, StringView property_format, PropList const& property_list) {
  584. for (auto const& property : property_list) {
  585. auto name = String::formatted(property_format, property.key);
  586. append_code_point_range_list(move(name), property.value);
  587. }
  588. auto property_names = property_list.keys();
  589. quick_sort(property_names);
  590. generator.set("name", collection_name);
  591. generator.set("size", String::number(property_names.size()));
  592. generator.append(R"~~~(
  593. static constexpr Array<Span<CodePointRange const>, @size@> @name@ { {)~~~");
  594. for (auto const& property_name : property_names) {
  595. generator.set("name", String::formatted(property_format, property_name));
  596. generator.append(R"~~~(
  597. @name@.span(),)~~~");
  598. }
  599. generator.append(R"~~~(
  600. } };
  601. )~~~");
  602. };
  603. append_prop_list("s_general_categories"sv, "s_general_category_{}"sv, unicode_data.general_categories);
  604. append_prop_list("s_properties"sv, "s_property_{}"sv, unicode_data.prop_list);
  605. append_prop_list("s_scripts"sv, "s_script_{}"sv, unicode_data.script_list);
  606. append_prop_list("s_script_extensions"sv, "s_script_extension_{}"sv, unicode_data.script_extensions);
  607. generator.append(R"~~~(
  608. namespace Detail {
  609. )~~~");
  610. auto append_code_point_mapping_search = [&](StringView method, StringView mappings, StringView fallback) {
  611. generator.set("method", method);
  612. generator.set("mappings", mappings);
  613. generator.set("fallback", fallback);
  614. generator.append(R"~~~(
  615. u32 @method@(u32 code_point)
  616. {
  617. auto const* mapping = binary_search(@mappings@, code_point, nullptr, CodePointComparator<CodePointMapping> {});
  618. return mapping ? mapping->mapping : @fallback@;
  619. }
  620. )~~~");
  621. };
  622. append_code_point_mapping_search("canonical_combining_class"sv, "s_combining_class_mappings"sv, "0"sv);
  623. append_code_point_mapping_search("simple_uppercase_mapping"sv, "s_uppercase_mappings"sv, "code_point"sv);
  624. append_code_point_mapping_search("simple_lowercase_mapping"sv, "s_lowercase_mappings"sv, "code_point"sv);
  625. generator.append(R"~~~(
  626. Span<SpecialCasing const* const> special_case_mapping(u32 code_point)
  627. {
  628. auto const* mapping = binary_search(s_special_case_mappings, code_point, nullptr, CodePointComparator<SpecialCaseMapping> {});
  629. if (mapping == nullptr)
  630. return {};
  631. return mapping->special_casing.span().slice(0, mapping->special_casing_size);
  632. }
  633. )~~~");
  634. auto append_prop_search = [&](StringView enum_title, StringView enum_snake, StringView collection_name) {
  635. generator.set("enum_title", enum_title);
  636. generator.set("enum_snake", enum_snake);
  637. generator.set("collection_name", collection_name);
  638. generator.append(R"~~~(
  639. bool code_point_has_@enum_snake@(u32 code_point, @enum_title@ @enum_snake@)
  640. {
  641. auto index = static_cast<@enum_title@UnderlyingType>(@enum_snake@);
  642. auto const& ranges = @collection_name@.at(index);
  643. auto const* range = binary_search(ranges, code_point, nullptr, CodePointRangeComparator {});
  644. return range != nullptr;
  645. }
  646. )~~~");
  647. };
  648. auto append_from_string = [&](StringView enum_title, StringView enum_snake, PropList const& prop_list, Vector<Alias> const& aliases) {
  649. generator.set("enum_title", enum_title);
  650. generator.set("enum_snake", enum_snake);
  651. auto properties = prop_list.keys();
  652. for (auto const& alias : aliases)
  653. properties.append(alias.alias);
  654. quick_sort(properties);
  655. generator.append(R"~~~(
  656. Optional<@enum_title@> @enum_snake@_from_string(StringView const& @enum_snake@)
  657. {
  658. static HashMap<String, @enum_title@> @enum_snake@_values { {)~~~");
  659. for (auto const& property : properties) {
  660. generator.set("property", property);
  661. generator.append(R"~~~(
  662. { "@property@"sv, @enum_title@::@property@ },)~~~");
  663. }
  664. generator.append(R"~~~(
  665. } };
  666. if (auto value = @enum_snake@_values.get(@enum_snake@); value.has_value())
  667. return value.value();
  668. return {};
  669. }
  670. )~~~");
  671. };
  672. append_prop_search("GeneralCategory"sv, "general_category"sv, "s_general_categories"sv);
  673. append_from_string("GeneralCategory"sv, "general_category"sv, unicode_data.general_categories, unicode_data.general_category_aliases);
  674. append_prop_search("Property"sv, "property"sv, "s_properties"sv);
  675. append_from_string("Property"sv, "property"sv, unicode_data.prop_list, unicode_data.prop_aliases);
  676. append_prop_search("Script"sv, "script"sv, "s_scripts"sv);
  677. append_prop_search("Script"sv, "script_extension"sv, "s_script_extensions"sv);
  678. append_from_string("Script"sv, "script"sv, unicode_data.script_list, unicode_data.script_aliases);
  679. generator.append(R"~~~(
  680. }
  681. }
  682. )~~~");
  683. file.write(generator.as_string_view());
  684. }
  685. static Vector<u32> flatten_code_point_ranges(Vector<CodePointRange> const& code_points)
  686. {
  687. Vector<u32> flattened;
  688. for (auto const& range : code_points) {
  689. flattened.grow_capacity(range.last - range.first);
  690. for (u32 code_point = range.first; code_point <= range.last; ++code_point)
  691. flattened.append(code_point);
  692. }
  693. return flattened;
  694. }
  695. static Vector<CodePointRange> form_code_point_ranges(Vector<u32> code_points)
  696. {
  697. Vector<CodePointRange> ranges;
  698. u32 range_start = code_points[0];
  699. u32 range_end = range_start;
  700. for (size_t i = 1; i < code_points.size(); ++i) {
  701. u32 code_point = code_points[i];
  702. if ((code_point - range_end) == 1) {
  703. range_end = code_point;
  704. } else {
  705. ranges.append({ range_start, range_end });
  706. range_start = code_point;
  707. range_end = code_point;
  708. }
  709. }
  710. ranges.append({ range_start, range_end });
  711. return ranges;
  712. }
  713. static void sort_and_merge_code_point_ranges(Vector<CodePointRange>& code_points)
  714. {
  715. quick_sort(code_points, [](auto const& range1, auto const& range2) {
  716. return range1.first < range2.first;
  717. });
  718. for (size_t i = 0; i < code_points.size() - 1;) {
  719. if (code_points[i].last >= code_points[i + 1].first) {
  720. code_points[i].last = max(code_points[i].last, code_points[i + 1].last);
  721. code_points.remove(i + 1);
  722. } else {
  723. ++i;
  724. }
  725. }
  726. auto all_code_points = flatten_code_point_ranges(code_points);
  727. code_points = form_code_point_ranges(all_code_points);
  728. }
  729. static void populate_general_category_unions(PropList& general_categories)
  730. {
  731. // The Unicode standard defines General Category values which are not in any UCD file. These
  732. // values are simply unions of other values.
  733. // https://www.unicode.org/reports/tr44/#GC_Values_Table
  734. auto populate_union = [&](auto alias, auto categories) {
  735. auto& code_points = general_categories.ensure(alias);
  736. for (auto const& category : categories)
  737. code_points.extend(general_categories.find(category)->value);
  738. sort_and_merge_code_point_ranges(code_points);
  739. };
  740. populate_union("LC"sv, Array { "Ll"sv, "Lu"sv, "Lt"sv });
  741. populate_union("L"sv, Array { "Lu"sv, "Ll"sv, "Lt"sv, "Lm"sv, "Lo"sv });
  742. populate_union("M"sv, Array { "Mn"sv, "Mc"sv, "Me"sv });
  743. populate_union("N"sv, Array { "Nd"sv, "Nl"sv, "No"sv });
  744. populate_union("P"sv, Array { "Pc"sv, "Pd"sv, "Ps"sv, "Pe"sv, "Pi"sv, "Pf"sv, "Po"sv });
  745. populate_union("S"sv, Array { "Sm"sv, "Sc"sv, "Sk"sv, "So"sv });
  746. populate_union("Z"sv, Array { "Zs"sv, "Zl"sv, "Zp"sv });
  747. populate_union("C"sv, Array { "Cc"sv, "Cf"sv, "Cs"sv, "Co"sv, "Cn"sv });
  748. }
  749. static void normalize_script_extensions(PropList& script_extensions, PropList const& script_list, Vector<Alias> const& script_aliases)
  750. {
  751. // The ScriptExtensions UCD file lays out its code point ranges rather uniquely compared to
  752. // other files. The Script listed on each line may either be a full Script string or an aliased
  753. // abbreviation. Further, the extensions may or may not include the base Script list. Normalize
  754. // the extensions here to be keyed by the full Script name and always include the base list.
  755. auto extensions = move(script_extensions);
  756. script_extensions = script_list;
  757. for (auto const& extension : extensions) {
  758. auto it = find_if(script_aliases.begin(), script_aliases.end(), [&](auto const& alias) { return extension.key == alias.alias; });
  759. auto const& key = (it == script_aliases.end()) ? extension.key : it->property;
  760. auto& code_points = script_extensions.find(key)->value;
  761. code_points.extend(extension.value);
  762. sort_and_merge_code_point_ranges(code_points);
  763. }
  764. // Lastly, the Common and Inherited script extensions are special. They must not contain any
  765. // code points which appear in other script extensions. The ScriptExtensions UCD file does not
  766. // list these extensions, therefore this peculiarity must be handled programmatically.
  767. // https://www.unicode.org/reports/tr24/#Assignment_ScriptX_Values
  768. auto code_point_has_other_extension = [&](StringView key, u32 code_point) {
  769. for (auto const& extension : extensions) {
  770. if (extension.key == key)
  771. continue;
  772. if (any_of(extension.value, [&](auto const& r) { return (r.first <= code_point) && (code_point <= r.last); }))
  773. return true;
  774. }
  775. return false;
  776. };
  777. auto get_code_points_without_other_extensions = [&](StringView key) {
  778. auto code_points = flatten_code_point_ranges(script_list.find(key)->value);
  779. code_points.remove_all_matching([&](u32 c) { return code_point_has_other_extension(key, c); });
  780. return code_points;
  781. };
  782. auto common_code_points = get_code_points_without_other_extensions("Common"sv);
  783. script_extensions.set("Common"sv, form_code_point_ranges(common_code_points));
  784. auto inherited_code_points = get_code_points_without_other_extensions("Inherited"sv);
  785. script_extensions.set("Inherited"sv, form_code_point_ranges(inherited_code_points));
  786. }
  787. int main(int argc, char** argv)
  788. {
  789. char const* generated_header_path = nullptr;
  790. char const* generated_implementation_path = nullptr;
  791. char const* unicode_data_path = nullptr;
  792. char const* special_casing_path = nullptr;
  793. char const* derived_general_category_path = nullptr;
  794. char const* prop_list_path = nullptr;
  795. char const* derived_core_prop_path = nullptr;
  796. char const* derived_binary_prop_path = nullptr;
  797. char const* prop_alias_path = nullptr;
  798. char const* prop_value_alias_path = nullptr;
  799. char const* scripts_path = nullptr;
  800. char const* script_extensions_path = nullptr;
  801. char const* emoji_data_path = nullptr;
  802. char const* normalization_path = nullptr;
  803. Core::ArgsParser args_parser;
  804. args_parser.add_option(generated_header_path, "Path to the Unicode Data header file to generate", "generated-header-path", 'h', "generated-header-path");
  805. args_parser.add_option(generated_implementation_path, "Path to the Unicode Data implementation file to generate", "generated-implementation-path", 'c', "generated-implementation-path");
  806. args_parser.add_option(unicode_data_path, "Path to UnicodeData.txt file", "unicode-data-path", 'u', "unicode-data-path");
  807. args_parser.add_option(special_casing_path, "Path to SpecialCasing.txt file", "special-casing-path", 's', "special-casing-path");
  808. args_parser.add_option(derived_general_category_path, "Path to DerivedGeneralCategory.txt file", "derived-general-category-path", 'g', "derived-general-category-path");
  809. args_parser.add_option(prop_list_path, "Path to PropList.txt file", "prop-list-path", 'p', "prop-list-path");
  810. args_parser.add_option(derived_core_prop_path, "Path to DerivedCoreProperties.txt file", "derived-core-prop-path", 'd', "derived-core-prop-path");
  811. args_parser.add_option(derived_binary_prop_path, "Path to DerivedBinaryProperties.txt file", "derived-binary-prop-path", 'b', "derived-binary-prop-path");
  812. args_parser.add_option(prop_alias_path, "Path to PropertyAliases.txt file", "prop-alias-path", 'a', "prop-alias-path");
  813. args_parser.add_option(prop_value_alias_path, "Path to PropertyValueAliases.txt file", "prop-value-alias-path", 'v', "prop-value-alias-path");
  814. args_parser.add_option(scripts_path, "Path to Scripts.txt file", "scripts-path", 'r', "scripts-path");
  815. args_parser.add_option(script_extensions_path, "Path to ScriptExtensions.txt file", "script-extensions-path", 'x', "script-extensions-path");
  816. args_parser.add_option(emoji_data_path, "Path to emoji-data.txt file", "emoji-data-path", 'e', "emoji-data-path");
  817. args_parser.add_option(normalization_path, "Path to DerivedNormalizationProps.txt file", "normalization-path", 'n', "normalization-path");
  818. args_parser.parse(argc, argv);
  819. auto open_file = [&](StringView path, StringView flags, Core::OpenMode mode = Core::OpenMode::ReadOnly) {
  820. if (path.is_empty()) {
  821. warnln("{} is required", flags);
  822. args_parser.print_usage(stderr, argv[0]);
  823. exit(1);
  824. }
  825. auto file_or_error = Core::File::open(path, mode);
  826. if (file_or_error.is_error()) {
  827. warnln("Failed to open {}: {}", path, file_or_error.release_error());
  828. exit(1);
  829. }
  830. return file_or_error.release_value();
  831. };
  832. auto generated_header_file = open_file(generated_header_path, "-h/--generated-header-path", Core::OpenMode::ReadWrite);
  833. auto generated_implementation_file = open_file(generated_implementation_path, "-c/--generated-implementation-path", Core::OpenMode::ReadWrite);
  834. auto unicode_data_file = open_file(unicode_data_path, "-u/--unicode-data-path");
  835. auto derived_general_category_file = open_file(derived_general_category_path, "-g/--derived-general-category-path");
  836. auto special_casing_file = open_file(special_casing_path, "-s/--special-casing-path");
  837. auto prop_list_file = open_file(prop_list_path, "-p/--prop-list-path");
  838. auto derived_core_prop_file = open_file(derived_core_prop_path, "-d/--derived-core-prop-path");
  839. auto derived_binary_prop_file = open_file(derived_binary_prop_path, "-b/--derived-binary-prop-path");
  840. auto prop_alias_file = open_file(prop_alias_path, "-a/--prop-alias-path");
  841. auto prop_value_alias_file = open_file(prop_value_alias_path, "-v/--prop-value-alias-path");
  842. auto scripts_file = open_file(scripts_path, "-r/--scripts-path");
  843. auto script_extensions_file = open_file(script_extensions_path, "-x/--script-extensions-path");
  844. auto emoji_data_file = open_file(emoji_data_path, "-e/--emoji-data-path");
  845. auto normalization_file = open_file(normalization_path, "-n/--normalization-path");
  846. UnicodeData unicode_data {};
  847. parse_special_casing(special_casing_file, unicode_data);
  848. parse_prop_list(derived_general_category_file, unicode_data.general_categories);
  849. parse_prop_list(prop_list_file, unicode_data.prop_list);
  850. parse_prop_list(derived_core_prop_file, unicode_data.prop_list);
  851. parse_prop_list(derived_binary_prop_file, unicode_data.prop_list);
  852. parse_prop_list(emoji_data_file, unicode_data.prop_list);
  853. parse_normalization_props(normalization_file, unicode_data);
  854. parse_alias_list(prop_alias_file, unicode_data.prop_list, unicode_data.prop_aliases);
  855. parse_prop_list(scripts_file, unicode_data.script_list);
  856. parse_prop_list(script_extensions_file, unicode_data.script_extensions, true);
  857. populate_general_category_unions(unicode_data.general_categories);
  858. parse_unicode_data(unicode_data_file, unicode_data);
  859. parse_value_alias_list(prop_value_alias_file, "gc"sv, unicode_data.general_categories.keys(), unicode_data.general_category_aliases);
  860. parse_value_alias_list(prop_value_alias_file, "sc"sv, unicode_data.script_list.keys(), unicode_data.script_aliases, false);
  861. normalize_script_extensions(unicode_data.script_extensions, unicode_data.script_list, unicode_data.script_aliases);
  862. generate_unicode_data_header(generated_header_file, unicode_data);
  863. generate_unicode_data_implementation(generated_implementation_file, unicode_data);
  864. return 0;
  865. }