Ignore:
Timestamp:
Jul 28, 2018, 6:26:56 PM (11 months ago)
Author:
cameron
Message:

GetStringValue? method for string properties

File:
1 edited

Legend:

Unmodified
Added
Removed
  • icGREP/icgrep-devel/icgrep/UCD/CaseFolding.h

    r5782 r6134  
    66 *  icgrep is a trademark of International Characters, Inc.
    77 *
    8  *  This file is generated by casefold.py - manual edits may be lost.
     8 *  This file is generated by UCD_properties.py - manual edits may be lost.
    99 */
    1010
     
    2121};
    2222
    23 
    2423UCD::UnicodeSet caseInsensitize(const UCD::UnicodeSet & cc);
     24
    2525
    2626const int foldTableSize = 246;
     
    505505
    506506
    507         const unsigned buffer_length = 4958;
     507        const static std::vector<unsigned> buffer_offsets = {
     508        0, 2, 4, 6, 8, 10, 12, 14, 16, 18, 20, 22, 24, 26, 28, 30, 32, 34,
     509        36, 38, 40, 42, 44, 46, 48, 50, 52, 55, 58, 61, 64, 67, 70, 73, 76,
     510        79, 82, 85, 88, 91, 94, 97, 100, 103, 106, 109, 112, 115, 118, 121,
     511        124, 127, 130, 133, 136, 139, 142, 145, 148, 151, 154, 157, 160,
     512        163, 166, 169, 172, 175, 178, 181, 184, 187, 190, 193, 196, 199,
     513        202, 205, 208, 211, 214, 217, 220, 223, 226, 229, 232, 235, 238,
     514        241, 244, 247, 250, 253, 256, 259, 262, 265, 268, 271, 274, 277,
     515        280, 283, 286, 289, 292, 295, 298, 301, 304, 307, 310, 313, 316,
     516        319, 322, 325, 328, 331, 333, 336, 339, 342, 345, 348, 351, 354,
     517        357, 360, 363, 366, 369, 372, 375, 378, 381, 384, 387, 390, 393,
     518        396, 399, 402, 405, 408, 411, 414, 417, 420, 423, 426, 429, 432,
     519        435, 438, 441, 444, 447, 450, 453, 456, 459, 462, 465, 468, 471,
     520        474, 477, 480, 483, 486, 489, 492, 495, 498, 501, 504, 507, 510,
     521        513, 516, 519, 522, 525, 528, 531, 534, 537, 540, 543, 546, 549,
     522        552, 555, 558, 561, 564, 567, 570, 573, 576, 579, 582, 585, 588,
     523        591, 594, 597, 600, 603, 606, 609, 612, 615, 619, 622, 625, 629,
     524        632, 635, 638, 641, 644, 647, 650, 653, 656, 659, 662, 665, 668,
     525        671, 674, 677, 680, 683, 686, 689, 692, 695, 698, 701, 704, 707,
     526        710, 713, 716, 719, 722, 725, 728, 731, 734, 737, 740, 743, 746,
     527        749, 752, 755, 758, 761, 764, 767, 770, 773, 776, 779, 782, 785,
     528        788, 791, 794, 797, 800, 803, 806, 809, 812, 815, 818, 821, 824,
     529        827, 830, 833, 836, 839, 842, 845, 848, 851, 854, 857, 860, 863,
     530        866, 869, 872, 875, 878, 881, 884, 887, 890, 893, 896, 899, 902,
     531        905, 908, 911, 914, 917, 920, 923, 926, 929, 932, 935, 938, 941,
     532        944, 947, 950, 953, 956, 959, 962, 965, 968, 971, 974, 977, 980,
     533        983, 986, 989, 992, 995, 998, 1001, 1004, 1007, 1010, 1013, 1016,
     534        1019, 1022, 1025, 1028, 1031, 1034, 1037, 1040, 1043, 1046, 1049,
     535        1052, 1055, 1058, 1061, 1064, 1067, 1070, 1073, 1076, 1079, 1082,
     536        1085, 1088, 1091, 1094, 1097, 1100, 1103, 1106, 1109, 1112, 1115,
     537        1118, 1121, 1124, 1127, 1130, 1133, 1136, 1139, 1142, 1145, 1148,
     538        1151, 1154, 1157, 1160, 1163, 1166, 1169, 1172, 1175, 1178, 1181,
     539        1184, 1187, 1190, 1193, 1196, 1199, 1202, 1205, 1208, 1211, 1214,
     540        1217, 1220, 1223, 1226, 1229, 1232, 1235, 1238, 1241, 1244, 1247,
     541        1250, 1253, 1256, 1259, 1262, 1265, 1268, 1271, 1274, 1277, 1280,
     542        1283, 1286, 1289, 1292, 1295, 1298, 1301, 1304, 1307, 1310, 1313,
     543        1316, 1319, 1322, 1325, 1328, 1331, 1334, 1337, 1340, 1343, 1346,
     544        1349, 1352, 1355, 1358, 1361, 1364, 1367, 1370, 1373, 1376, 1379,
     545        1382, 1385, 1388, 1391, 1394, 1397, 1400, 1403, 1406, 1409, 1412,
     546        1416, 1420, 1424, 1428, 1432, 1436, 1440, 1444, 1448, 1452, 1456,
     547        1460, 1464, 1468, 1472, 1476, 1480, 1484, 1488, 1492, 1496, 1500,
     548        1504, 1508, 1512, 1516, 1520, 1524, 1528, 1532, 1536, 1540, 1544,
     549        1548, 1552, 1556, 1560, 1564, 1568, 1572, 1576, 1580, 1584, 1588,
     550        1592, 1596, 1599, 1602, 1605, 1608, 1611, 1614, 1617, 1620, 1624,
     551        1628, 1632, 1636, 1640, 1644, 1648, 1652, 1656, 1660, 1664, 1668,
     552        1672, 1676, 1680, 1684, 1688, 1692, 1696, 1700, 1704, 1708, 1712,
     553        1716, 1720, 1724, 1728, 1732, 1736, 1740, 1744, 1748, 1752, 1756,
     554        1760, 1764, 1768, 1772, 1776, 1780, 1784, 1788, 1792, 1796, 1800,
     555        1804, 1808, 1812, 1816, 1820, 1824, 1828, 1832, 1836, 1840, 1844,
     556        1848, 1852, 1856, 1860, 1864, 1868, 1872, 1876, 1880, 1884, 1888,
     557        1892, 1896, 1900, 1904, 1908, 1912, 1916, 1920, 1924, 1928, 1931,
     558        1935, 1939, 1943, 1947, 1951, 1955, 1959, 1963, 1967, 1971, 1975,
     559        1979, 1983, 1987, 1991, 1995, 1999, 2003, 2007, 2011, 2015, 2019,
     560        2023, 2027, 2031, 2035, 2039, 2043, 2047, 2051, 2055, 2059, 2063,
     561        2067, 2071, 2075, 2079, 2083, 2087, 2091, 2095, 2099, 2103, 2107,
     562        2111, 2115, 2119, 2123, 2127, 2131, 2135, 2139, 2143, 2147, 2151,
     563        2155, 2159, 2163, 2167, 2171, 2175, 2179, 2183, 2187, 2191, 2195,
     564        2199, 2203, 2207, 2211, 2215, 2219, 2223, 2227, 2231, 2235, 2239,
     565        2243, 2247, 2251, 2255, 2259, 2263, 2267, 2271, 2275, 2279, 2283,
     566        2287, 2291, 2295, 2299, 2303, 2307, 2311, 2315, 2319, 2323, 2327,
     567        2331, 2335, 2339, 2343, 2347, 2351, 2355, 2359, 2363, 2367, 2371,
     568        2375, 2379, 2383, 2387, 2391, 2395, 2399, 2403, 2407, 2411, 2415,
     569        2419, 2423, 2427, 2431, 2434, 2438, 2442, 2446, 2450, 2454, 2458,
     570        2462, 2466, 2470, 2474, 2478, 2482, 2486, 2490, 2494, 2498, 2502,
     571        2506, 2510, 2513, 2515, 2518, 2522, 2526, 2530, 2534, 2538, 2542,
     572        2546, 2550, 2554, 2558, 2562, 2566, 2570, 2574, 2578, 2582, 2586,
     573        2590, 2594, 2598, 2602, 2606, 2610, 2614, 2618, 2622, 2626, 2630,
     574        2634, 2638, 2642, 2646, 2650, 2654, 2658, 2662, 2666, 2670, 2674,
     575        2678, 2682, 2686, 2690, 2694, 2698, 2702, 2706, 2710, 2714, 2718,
     576        2722, 2726, 2730, 2734, 2738, 2742, 2746, 2750, 2754, 2758, 2762,
     577        2766, 2770, 2774, 2778, 2782, 2786, 2790, 2794, 2798, 2802, 2806,
     578        2810, 2814, 2818, 2822, 2826, 2830, 2834, 2838, 2842, 2846, 2850,
     579        2854, 2858, 2862, 2866, 2870, 2874, 2878, 2882, 2886, 2889, 2893,
     580        2896, 2900, 2904, 2908, 2911, 2914, 2917, 2920, 2924, 2928, 2931,
     581        2934, 2938, 2942, 2946, 2950, 2954, 2958, 2962, 2966, 2970, 2974,
     582        2978, 2982, 2986, 2990, 2994, 2998, 3002, 3006, 3010, 3014, 3018,
     583        3022, 3026, 3030, 3034, 3038, 3042, 3046, 3050, 3054, 3058, 3062,
     584        3066, 3070, 3074, 3078, 3082, 3086, 3090, 3094, 3098, 3102, 3106,
     585        3110, 3114, 3118, 3122, 3126, 3130, 3134, 3138, 3142, 3146, 3150,
     586        3154, 3158, 3162, 3166, 3170, 3174, 3178, 3182, 3186, 3190, 3194,
     587        3198, 3202, 3206, 3210, 3214, 3218, 3222, 3226, 3230, 3234, 3238,
     588        3242, 3246, 3250, 3254, 3258, 3262, 3266, 3270, 3274, 3278, 3282,
     589        3286, 3290, 3294, 3298, 3302, 3306, 3310, 3314, 3318, 3322, 3326,
     590        3330, 3334, 3338, 3342, 3346, 3350, 3354, 3358, 3362, 3366, 3370,
     591        3374, 3378, 3382, 3386, 3390, 3394, 3398, 3402, 3406, 3410, 3414,
     592        3418, 3422, 3426, 3430, 3434, 3438, 3442, 3446, 3450, 3454, 3458,
     593        3462, 3466, 3470, 3474, 3478, 3482, 3485, 3489, 3493, 3497, 3501,
     594        3505, 3509, 3513, 3517, 3521, 3525, 3529, 3533, 3536, 3539, 3542,
     595        3545, 3548, 3551, 3554, 3557, 3561, 3565, 3569, 3573, 3577, 3581,
     596        3585, 3589, 3593, 3597, 3601, 3605, 3609, 3613, 3617, 3621, 3625,
     597        3629, 3633, 3637, 3641, 3645, 3649, 3653, 3657, 3661, 3665, 3669,
     598        3673, 3677, 3681, 3685, 3689, 3693, 3697, 3701, 3705, 3709, 3713,
     599        3717, 3721, 3725, 3729, 3733, 3737, 3741, 3745, 3749, 3753, 3757,
     600        3761, 3765, 3769, 3773, 3777, 3781, 3785, 3789, 3793, 3797, 3801,
     601        3805, 3809, 3813, 3817, 3821, 3825, 3829, 3833, 3837, 3841, 3845,
     602        3849, 3853, 3857, 3861, 3865, 3869, 3873, 3877, 3881, 3885, 3889,
     603        3893, 3897, 3901, 3905, 3909, 3913, 3917, 3921, 3925, 3929, 3933,
     604        3937, 3941, 3945, 3949, 3953, 3957, 3961, 3965, 3969, 3973, 3977,
     605        3981, 3985, 3989, 3993, 3998, 4003, 4008, 4013, 4018, 4023, 4028,
     606        4033, 4038, 4043, 4048, 4053, 4058, 4063, 4068, 4073, 4078, 4083,
     607        4088, 4093, 4098, 4103, 4108, 4113, 4118, 4123, 4128, 4133, 4138,
     608        4143, 4148, 4153, 4158, 4163, 4168, 4173, 4178, 4183, 4188, 4193,
     609        4198, 4203, 4208, 4213, 4218, 4223, 4228, 4233, 4238, 4243, 4248,
     610        4253, 4258, 4263, 4268, 4273, 4278, 4283, 4288, 4293, 4298, 4303,
     611        4308, 4313, 4318, 4323, 4328, 4333, 4338, 4343, 4348, 4353, 4358,
     612        4363, 4368, 4373, 4378, 4383, 4388, 4393, 4398, 4403, 4408, 4413,
     613        4418, 4423, 4428, 4433, 4438, 4443, 4448, 4453, 4458, 4463, 4468,
     614        4473, 4478, 4483, 4488, 4493, 4498, 4503, 4508, 4513, 4518, 4523,
     615        4528, 4533, 4538, 4543, 4548, 4553, 4558, 4563, 4568, 4573, 4578,
     616        4583, 4588, 4593, 4598, 4603, 4608, 4613, 4618, 4623, 4628, 4633,
     617        4638, 4643, 4648, 4653, 4658, 4663, 4668, 4673, 4678, 4683, 4688,
     618        4693, 4698, 4703, 4708, 4713, 4718, 4723, 4728, 4733, 4738, 4743,
     619        4748, 4753, 4758, 4763, 4768, 4773, 4778, 4783, 4788, 4793, 4798,
     620        4803, 4808, 4813, 4818, 4823, 4828, 4833, 4838, 4843, 4848, 4853,
     621        4858, 4863, 4868, 4873, 4878, 4883, 4888, 4893, 4898, 4903, 4908,
     622        4913, 4918, 4923, 4928, 4933, 4938, 4943, 4948, 4953, 4958};
    508623        const static char string_buffer LLVM_ALIGNAS(32) [5120] = u8R"__(a
    509624b
     
    20512166                                                    std::move(reflexive_set),
    20522167                                                    static_cast<const char *>(string_buffer),
    2053                                                     buffer_length,
     2168                                                    std::move(buffer_offsets),
    20542169                                                    std::move(defined_cps));
    20552170    }
     
    20822197
    20832198
    2084         const unsigned buffer_length = 575;
     2199        const static std::vector<unsigned> buffer_offsets = {
     2200        0, 3, 7, 11, 15, 22, 29, 34, 38, 42, 46, 50, 54, 57, 62, 69, 76, 83,
     2201        89, 95, 101, 107, 113, 119, 125, 131, 137, 143, 149, 155, 161, 167,
     2202        173, 179, 185, 191, 197, 203, 209, 215, 221, 227, 233, 239, 245,
     2203        251, 257, 263, 269, 275, 281, 287, 293, 299, 305, 311, 317, 323,
     2204        329, 335, 341, 347, 353, 359, 365, 371, 377, 382, 387, 392, 399,
     2205        404, 410, 415, 420, 425, 432, 437, 444, 451, 456, 463, 470, 477,
     2206        482, 487, 494, 500, 505, 510, 515, 522, 527, 530, 533, 536, 540,
     2207        544, 547, 550, 555, 560, 565, 570, 575};
    20852208        const static char string_buffer LLVM_ALIGNAS(32) [768] = u8R"__(ss
    20862209i̇
     
    22182341                                                    std::move(explicitly_defined_set),
    22192342                                                    static_cast<const char *>(string_buffer),
    2220                                                     buffer_length,
     2343                                                    std::move(buffer_offsets),
    22212344                                                    std::move(defined_cps));
    22222345    }
Note: See TracChangeset for help on using the changeset viewer.