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 16
