GenerateUnicodeData.cpp 39 KB

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