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