GenerateUnicodeData.cpp 38 KB

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