OLD | NEW |
| (Empty) |
1 /* Auto generated with chartype.pl script. | |
2 * Mask of various character properties | |
3 */ | |
4 | |
5 static const unsigned char char_type[] = { | |
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, | |
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, | |
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, | |
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 | |
14 }; | |
15 | |
OLD | NEW |