OLD | NEW |
1 /* Auto generated with chartype.pl script. | 1 /* Auto generated with chartype.pl script. |
2 * Mask of various character properties | 2 * Mask of various character properties |
3 */ | 3 */ |
4 | 4 |
5 static unsigned char char_type[] = { | 5 static const unsigned char char_type[] = { |
6 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, | 6 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, |
7 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, | 7 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, |
8 120, 0, 1,40, 0, 0, 0,16,16,16, 0,25,25,16,16,16, | 8 120, 0, 1,40, 0, 0, 0,16,16,16, 0,25,25,16,16,16, |
9 16,16,16,16,16,16,16,16,16,16,16, 9, 9,16, 9,16, | 9 16,16,16,16,16,16,16,16,16,16,16, 9, 9,16, 9,16, |
10 0,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16, | 10 0,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16, |
11 16,16,16,16,16,16,16,16,16,16,16, 0, 1, 0, 0, 0, | 11 16,16,16,16,16,16,16,16,16,16,16, 0, 1, 0, 0, 0, |
12 0,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16, | 12 0,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16, |
13 16,16,16,16,16,16,16,16,16,16,16, 0, 0, 0, 0, 2 | 13 16,16,16,16,16,16,16,16,16,16,16, 0, 0, 0, 0, 2 |
14 }; | 14 }; |
15 | 15 |
OLD | NEW |