15 lines
527 B
C
15 lines
527 B
C
/* Auto generated with chartype.pl script.
|
|
* Mask of various character properties
|
|
*/
|
|
|
|
static const unsigned char char_type[] = {
|
|
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
|
|
};
|
|
|