2015-01-22 03:40:55 +00:00
|
|
|
/*
|
|
|
|
* Auto generated with chartype.pl script. Mask of various character
|
|
|
|
* properties
|
2000-07-28 01:58:15 +00:00
|
|
|
*/
|
|
|
|
|
2007-10-13 15:51:32 +00:00
|
|
|
static const unsigned char char_type[] = {
|
2015-01-22 03:40:55 +00:00
|
|
|
2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
|
|
|
|
2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
|
|
|
|
120, 0, 1, 40, 0, 0, 0, 16, 16, 16, 0, 25, 25, 16, 16, 16,
|
|
|
|
16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 9, 9, 16, 9, 16,
|
|
|
|
0, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16,
|
|
|
|
16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 0, 1, 0, 0, 0,
|
|
|
|
0, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16,
|
|
|
|
16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 0, 0, 0, 0, 2
|
2000-07-28 01:58:15 +00:00
|
|
|
};
|