lexer.cpp 31 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662663664665666667668669670671672673674675676677678679680681682683684685686687688689690691692693694695696697698699700701702703704705706707708709710711712713714715716717718719720721722723724725726727728729730731732733734735736737738739740741742743744745746747748749750751752753754755756757758759760761762763764765766767768769770771772773774775776777778779780781782783784785786787788789790791792793794795796797798799800801802803804805
  1. #include "pocketpy/compiler/lexer.hpp"
  2. #include "pocketpy/common/gil.hpp"
  3. #include "pocketpy/common/version.h"
  4. #include "pocketpy/common/str.h"
  5. #include <cstdarg>
  6. namespace pkpy {
  7. // clang-format off
  8. static const uint32_t kLoRangeA[] = {170,186,443,448,660,1488,1519,1568,1601,1646,1649,1749,1774,1786,1791,1808,1810,1869,1969,1994,2048,2112,2144,2208,2230,2308,2365,2384,2392,2418,2437,2447,2451,2474,2482,2486,2493,2510,2524,2527,2544,2556,2565,2575,2579,2602,2610,2613,2616,2649,2654,2674,2693,2703,2707,2730,2738,2741,2749,2768,2784,2809,2821,2831,2835,2858,2866,2869,2877,2908,2911,2929,2947,2949,2958,2962,2969,2972,2974,2979,2984,2990,3024,3077,3086,3090,3114,3133,3160,3168,3200,3205,3214,3218,3242,3253,3261,3294,3296,3313,3333,3342,3346,3389,3406,3412,3423,3450,3461,3482,3507,3517,3520,3585,3634,3648,3713,3716,3718,3724,3749,3751,3762,3773,3776,3804,3840,3904,3913,3976,4096,4159,4176,4186,4193,4197,4206,4213,4238,4352,4682,4688,4696,4698,4704,4746,4752,4786,4792,4800,4802,4808,4824,4882,4888,4992,5121,5743,5761,5792,5873,5888,5902,5920,5952,5984,5998,6016,6108,6176,6212,6272,6279,6314,6320,6400,6480,6512,6528,6576,6656,6688,6917,6981,7043,7086,7098,7168,7245,7258,7401,7406,7413,7418,8501,11568,11648,11680,11688,11696,11704,11712,11720,11728,11736,12294,12348,12353,12447,12449,12543,12549,12593,12704,12784,13312,19968,40960,40982,42192,42240,42512,42538,42606,42656,42895,42999,43003,43011,43015,43020,43072,43138,43250,43259,43261,43274,43312,43360,43396,43488,43495,43514,43520,43584,43588,43616,43633,43642,43646,43697,43701,43705,43712,43714,43739,43744,43762,43777,43785,43793,43808,43816,43968,44032,55216,55243,63744,64112,64285,64287,64298,64312,64318,64320,64323,64326,64467,64848,64914,65008,65136,65142,65382,65393,65440,65474,65482,65490,65498,65536,65549,65576,65596,65599,65616,65664,66176,66208,66304,66349,66370,66384,66432,66464,66504,66640,66816,66864,67072,67392,67424,67584,67592,67594,67639,67644,67647,67680,67712,67808,67828,67840,67872,67968,68030,68096,68112,68117,68121,68192,68224,68288,68297,68352,68416,68448,68480,68608,68864,69376,69415,69424,69600,69635,69763,69840,69891,69956,69968,70006,70019,70081,70106,70108,70144,70163,70272,70280,70282,70287,70303,70320,70405,70415,70419,70442,70450,70453,70461,70480,70493,70656,70727,70751,70784,70852,70855,71040,71128,71168,71236,71296,71352,71424,71680,71935,72096,72106,72161,72163,72192,72203,72250,72272,72284,72349,72384,72704,72714,72768,72818,72960,72968,72971,73030,73056,73063,73066,73112,73440,73728,74880,77824,82944,92160,92736,92880,92928,93027,93053,93952,94032,94208,100352,110592,110928,110948,110960,113664,113776,113792,113808,123136,123214,123584,124928,126464,126469,126497,126500,126503,126505,126516,126521,126523,126530,126535,126537,126539,126541,126545,126548,126551,126553,126555,126557,126559,126561,126564,126567,126572,126580,126585,126590,126592,126603,126625,126629,126635,131072,173824,177984,178208,183984,194560};
  9. static const uint32_t kLoRangeB[] = {170,186,443,451,660,1514,1522,1599,1610,1647,1747,1749,1775,1788,1791,1808,1839,1957,1969,2026,2069,2136,2154,2228,2237,2361,2365,2384,2401,2432,2444,2448,2472,2480,2482,2489,2493,2510,2525,2529,2545,2556,2570,2576,2600,2608,2611,2614,2617,2652,2654,2676,2701,2705,2728,2736,2739,2745,2749,2768,2785,2809,2828,2832,2856,2864,2867,2873,2877,2909,2913,2929,2947,2954,2960,2965,2970,2972,2975,2980,2986,3001,3024,3084,3088,3112,3129,3133,3162,3169,3200,3212,3216,3240,3251,3257,3261,3294,3297,3314,3340,3344,3386,3389,3406,3414,3425,3455,3478,3505,3515,3517,3526,3632,3635,3653,3714,3716,3722,3747,3749,3760,3763,3773,3780,3807,3840,3911,3948,3980,4138,4159,4181,4189,4193,4198,4208,4225,4238,4680,4685,4694,4696,4701,4744,4749,4784,4789,4798,4800,4805,4822,4880,4885,4954,5007,5740,5759,5786,5866,5880,5900,5905,5937,5969,5996,6000,6067,6108,6210,6264,6276,6312,6314,6389,6430,6509,6516,6571,6601,6678,6740,6963,6987,7072,7087,7141,7203,7247,7287,7404,7411,7414,7418,8504,11623,11670,11686,11694,11702,11710,11718,11726,11734,11742,12294,12348,12438,12447,12538,12543,12591,12686,12730,12799,19893,40943,40980,42124,42231,42507,42527,42539,42606,42725,42895,42999,43009,43013,43018,43042,43123,43187,43255,43259,43262,43301,43334,43388,43442,43492,43503,43518,43560,43586,43595,43631,43638,43642,43695,43697,43702,43709,43712,43714,43740,43754,43762,43782,43790,43798,43814,43822,44002,55203,55238,55291,64109,64217,64285,64296,64310,64316,64318,64321,64324,64433,64829,64911,64967,65019,65140,65276,65391,65437,65470,65479,65487,65495,65500,65547,65574,65594,65597,65613,65629,65786,66204,66256,66335,66368,66377,66421,66461,66499,66511,66717,66855,66915,67382,67413,67431,67589,67592,67637,67640,67644,67669,67702,67742,67826,67829,67861,67897,68023,68031,68096,68115,68119,68149,68220,68252,68295,68324,68405,68437,68466,68497,68680,68899,69404,69415,69445,69622,69687,69807,69864,69926,69956,70002,70006,70066,70084,70106,70108,70161,70187,70278,70280,70285,70301,70312,70366,70412,70416,70440,70448,70451,70457,70461,70480,70497,70708,70730,70751,70831,70853,70855,71086,71131,71215,71236,71338,71352,71450,71723,71935,72103,72144,72161,72163,72192,72242,72250,72272,72329,72349,72440,72712,72750,72768,72847,72966,72969,73008,73030,73061,73064,73097,73112,73458,74649,75075,78894,83526,92728,92766,92909,92975,93047,93071,94026,94032,100343,101106,110878,110930,110951,111355,113770,113788,113800,113817,123180,123214,123627,125124,126467,126495,126498,126500,126503,126514,126519,126521,126523,126530,126535,126537,126539,126543,126546,126548,126551,126553,126555,126557,126559,126562,126564,126570,126578,126583,126588,126590,126601,126619,126627,126633,126651,173782,177972,178205,183969,191456,195101};
  10. // clang-format on
  11. static bool is_possible_number_char(char c) noexcept{
  12. switch(c) {
  13. // clang-format off
  14. case '0': case '1': case '2': case '3': case '4': case '5': case '6': case '7': case '8': case '9':
  15. case 'a': case 'b': case 'c': case 'd': case 'e': case 'f':
  16. case 'A': case 'B': case 'C': case 'D': case 'E': case 'F':
  17. case '.': case 'L': case 'x': case 'o': case 'j':
  18. return true;
  19. default: return false;
  20. // clang-format on
  21. }
  22. }
  23. static bool is_unicode_Lo_char(uint32_t c) noexcept{
  24. // open a hole for carrot
  25. if(c == U'🥕') return true;
  26. auto index = lower_bound(kLoRangeA, kLoRangeA + 476, c) - kLoRangeA;
  27. if(c == kLoRangeA[index]) return true;
  28. index -= 1;
  29. if(index < 0) return false;
  30. return c >= kLoRangeA[index] && c <= kLoRangeB[index];
  31. }
  32. bool Lexer::match_n_chars(int n, char c0) noexcept{
  33. const char* c = curr_char;
  34. for(int i = 0; i < n; i++) {
  35. if(*c == '\0') return false;
  36. if(*c != c0) return false;
  37. c++;
  38. }
  39. for(int i = 0; i < n; i++)
  40. eatchar_include_newline();
  41. return true;
  42. }
  43. bool Lexer::match_string(const char* s) noexcept{
  44. int s_len = strlen(s);
  45. bool ok = strncmp(curr_char, s, s_len) == 0;
  46. if(ok)
  47. for(int i = 0; i < s_len; i++)
  48. eatchar_include_newline();
  49. return ok;
  50. }
  51. int Lexer::eat_spaces() noexcept{
  52. int count = 0;
  53. while(true) {
  54. switch(peekchar()) {
  55. case ' ': count += 1; break;
  56. case '\t': count += 4; break;
  57. default: return count;
  58. }
  59. eatchar();
  60. }
  61. }
  62. bool Lexer::eat_indentation() noexcept{
  63. if(brackets_level > 0) return true;
  64. int spaces = eat_spaces();
  65. if(peekchar() == '#') skip_line_comment();
  66. if(peekchar() == '\0' || peekchar() == '\n') return true;
  67. // https://docs.python.org/3/reference/lexical_analysis.html#indentation
  68. if(spaces > indents.back()) {
  69. indents.push_back(spaces);
  70. nexts.push_back(Token{TK("@indent"), token_start, 0, current_line, brackets_level, {}});
  71. } else if(spaces < indents.back()) {
  72. while(spaces < indents.back()) {
  73. indents.pop_back();
  74. nexts.push_back(Token{TK("@dedent"), token_start, 0, current_line, brackets_level, {}});
  75. }
  76. if(spaces != indents.back()) { return false; }
  77. }
  78. return true;
  79. }
  80. char Lexer::eatchar() noexcept{
  81. char c = peekchar();
  82. assert(c != '\n'); // eatchar() cannot consume a newline
  83. curr_char++;
  84. return c;
  85. }
  86. char Lexer::eatchar_include_newline() noexcept{
  87. char c = peekchar();
  88. curr_char++;
  89. if(c == '\n') {
  90. current_line++;
  91. c11_vector__push(const char*, &src->line_starts, curr_char);
  92. }
  93. return c;
  94. }
  95. Error* Lexer::eat_name() noexcept{
  96. curr_char--;
  97. while(true) {
  98. unsigned char c = peekchar();
  99. int u8bytes = pkpy_utils__u8_header(c, true);
  100. if(u8bytes == 0) return SyntaxError("invalid char: %c", c);
  101. if(u8bytes == 1) {
  102. if(isalpha(c) || c == '_' || isdigit(c)) {
  103. curr_char++;
  104. continue;
  105. } else {
  106. break;
  107. }
  108. }
  109. // handle multibyte char
  110. Str u8str(curr_char, u8bytes);
  111. if(u8str.size != u8bytes) return SyntaxError("invalid utf8 sequence: %s", u8str.c_str());
  112. uint32_t value = 0;
  113. for(int k = 0; k < u8bytes; k++) {
  114. uint8_t b = u8str[k];
  115. if(k == 0) {
  116. if(u8bytes == 2)
  117. value = (b & 0b00011111) << 6;
  118. else if(u8bytes == 3)
  119. value = (b & 0b00001111) << 12;
  120. else if(u8bytes == 4)
  121. value = (b & 0b00000111) << 18;
  122. } else {
  123. value |= (b & 0b00111111) << (6 * (u8bytes - k - 1));
  124. }
  125. }
  126. if(is_unicode_Lo_char(value))
  127. curr_char += u8bytes;
  128. else
  129. break;
  130. }
  131. int length = (int)(curr_char - token_start);
  132. if(length == 0) return SyntaxError("@id contains invalid char");
  133. std::string_view name(token_start, length);
  134. if(src->mode == JSON_MODE) {
  135. if(name == "true") {
  136. add_token(TK("True"));
  137. } else if(name == "false") {
  138. add_token(TK("False"));
  139. } else if(name == "null") {
  140. add_token(TK("None"));
  141. } else {
  142. return SyntaxError("invalid JSON token");
  143. }
  144. return NULL;
  145. }
  146. const auto KW_BEGIN = kTokens + TK("False");
  147. const auto KW_END = kTokens + kTokenCount;
  148. auto it = lower_bound(KW_BEGIN, KW_END, name);
  149. if(it != KW_END && *it == name) {
  150. add_token(it - kTokens);
  151. } else {
  152. add_token(TK("@id"));
  153. }
  154. return NULL;
  155. }
  156. void Lexer::skip_line_comment() noexcept{
  157. char c;
  158. while((c = peekchar()) != '\0') {
  159. if(c == '\n') return;
  160. eatchar();
  161. }
  162. }
  163. bool Lexer::matchchar(char c) noexcept{
  164. if(peekchar() != c) return false;
  165. eatchar_include_newline();
  166. return true;
  167. }
  168. void Lexer::add_token(TokenIndex type, TokenValue value) noexcept{
  169. switch(type) {
  170. case TK("{"):
  171. case TK("["):
  172. case TK("("): brackets_level++; break;
  173. case TK(")"):
  174. case TK("]"):
  175. case TK("}"): brackets_level--; break;
  176. }
  177. auto token = Token{type,
  178. token_start,
  179. (int)(curr_char - token_start),
  180. current_line - ((type == TK("@eol")) ? 1 : 0),
  181. brackets_level,
  182. value};
  183. // handle "not in", "is not", "yield from"
  184. if(!nexts.empty()) {
  185. auto& back = nexts.back();
  186. if(back.type == TK("not") && type == TK("in")) {
  187. back.type = TK("not in");
  188. return;
  189. }
  190. if(back.type == TK("is") && type == TK("not")) {
  191. back.type = TK("is not");
  192. return;
  193. }
  194. if(back.type == TK("yield") && type == TK("from")) {
  195. back.type = TK("yield from");
  196. return;
  197. }
  198. nexts.push_back(token);
  199. }
  200. }
  201. void Lexer::add_token_2(char c, TokenIndex one, TokenIndex two) noexcept{
  202. if(matchchar(c))
  203. add_token(two);
  204. else
  205. add_token(one);
  206. }
  207. Error* Lexer::eat_string_until(char quote, bool raw, Str* out) noexcept{
  208. bool quote3 = match_n_chars(2, quote);
  209. small_vector_2<char, 32> buff;
  210. while(true) {
  211. char c = eatchar_include_newline();
  212. if(c == quote) {
  213. if(quote3 && !match_n_chars(2, quote)) {
  214. buff.push_back(c);
  215. continue;
  216. }
  217. break;
  218. }
  219. if(c == '\0') {
  220. if(quote3 && src->mode == REPL_MODE) return NeedMoreLines();
  221. return SyntaxError("EOL while scanning string literal");
  222. }
  223. if(c == '\n') {
  224. if(!quote3)
  225. return SyntaxError("EOL while scanning string literal");
  226. else {
  227. buff.push_back(c);
  228. continue;
  229. }
  230. }
  231. if(!raw && c == '\\') {
  232. switch(eatchar_include_newline()) {
  233. case '"': buff.push_back('"'); break;
  234. case '\'': buff.push_back('\''); break;
  235. case '\\': buff.push_back('\\'); break;
  236. case 'n': buff.push_back('\n'); break;
  237. case 'r': buff.push_back('\r'); break;
  238. case 't': buff.push_back('\t'); break;
  239. case 'b': buff.push_back('\b'); break;
  240. case 'x': {
  241. char hex[3] = {eatchar(), eatchar(), '\0'};
  242. size_t parsed;
  243. char code;
  244. try {
  245. code = (char)std::stoi(hex, &parsed, 16);
  246. } catch(...) {
  247. return SyntaxError("invalid hex char");
  248. }
  249. if(parsed != 2) return SyntaxError("invalid hex char");
  250. buff.push_back(code);
  251. } break;
  252. default: return SyntaxError("invalid escape char");
  253. }
  254. } else {
  255. buff.push_back(c);
  256. }
  257. }
  258. *out = Str(buff.data(), buff.size());
  259. return nullptr;
  260. }
  261. Error* Lexer::eat_string(char quote, StringType type) noexcept{
  262. Str s;
  263. Error* err = eat_string_until(quote, type == StringType::RAW_STRING, &s);
  264. if(err) return err;
  265. if(type == StringType::F_STRING) {
  266. add_token(TK("@fstr"), s);
  267. }else if(type == StringType::NORMAL_BYTES) {
  268. add_token(TK("@bytes"), s);
  269. }else{
  270. add_token(TK("@str"), s);
  271. }
  272. return NULL;
  273. }
  274. Error* Lexer::eat_number() noexcept{
  275. const char* i = token_start;
  276. while(is_possible_number_char(*i))
  277. i++;
  278. bool is_scientific_notation = false;
  279. if(*(i - 1) == 'e' && (*i == '+' || *i == '-')) {
  280. i++;
  281. while(isdigit(*i) || *i == 'j')
  282. i++;
  283. is_scientific_notation = true;
  284. }
  285. std::string_view text(token_start, i - token_start);
  286. this->curr_char = i;
  287. if(text[0] != '.' && !is_scientific_notation) {
  288. // try long
  289. if(i[-1] == 'L') {
  290. add_token(TK("@long"));
  291. return NULL;
  292. }
  293. // try integer
  294. i64 int_out;
  295. switch(parse_uint(text, &int_out, -1)) {
  296. case IntParsingResult::Success: add_token(TK("@num"), int_out); return NULL;
  297. case IntParsingResult::Overflow: return SyntaxError("int literal is too large");
  298. case IntParsingResult::Failure: break; // do nothing
  299. }
  300. }
  301. // try float
  302. double float_out;
  303. char* p_end;
  304. try {
  305. float_out = std::strtod(text.data(), &p_end);
  306. } catch(...) {
  307. return SyntaxError("invalid number literal");
  308. }
  309. if(p_end == text.data() + text.size()) {
  310. add_token(TK("@num"), (f64)float_out);
  311. return NULL;
  312. }
  313. if(i[-1] == 'j' && p_end == text.data() + text.size() - 1) {
  314. add_token(TK("@imag"), (f64)float_out);
  315. return NULL;
  316. }
  317. return SyntaxError("invalid number literal");
  318. }
  319. Error* Lexer::lex_one_token(bool* eof) noexcept{
  320. *eof = false;
  321. while(peekchar() != '\0') {
  322. token_start = curr_char;
  323. char c = eatchar_include_newline();
  324. switch(c) {
  325. case '\'':
  326. case '"': {
  327. Error* err = eat_string(c, StringType::NORMAL_STRING);
  328. if(err) return err;
  329. return NULL;
  330. }
  331. case '#': skip_line_comment(); break;
  332. case '~': add_token(TK("~")); return NULL;
  333. case '{': add_token(TK("{")); return NULL;
  334. case '}': add_token(TK("}")); return NULL;
  335. case ',': add_token(TK(",")); return NULL;
  336. case ':': add_token(TK(":")); return NULL;
  337. case ';': add_token(TK(";")); return NULL;
  338. case '(': add_token(TK("(")); return NULL;
  339. case ')': add_token(TK(")")); return NULL;
  340. case '[': add_token(TK("[")); return NULL;
  341. case ']': add_token(TK("]")); return NULL;
  342. case '@': add_token(TK("@")); return NULL;
  343. case '\\': {
  344. // line continuation character
  345. char c = eatchar_include_newline();
  346. if(c != '\n') {
  347. if(src->mode == REPL_MODE && c == '\0') return NeedMoreLines();
  348. return SyntaxError("expected newline after line continuation character");
  349. }
  350. eat_spaces();
  351. return NULL;
  352. }
  353. case '%': add_token_2('=', TK("%"), TK("%=")); return NULL;
  354. case '&': add_token_2('=', TK("&"), TK("&=")); return NULL;
  355. case '|': add_token_2('=', TK("|"), TK("|=")); return NULL;
  356. case '^': add_token_2('=', TK("^"), TK("^=")); return NULL;
  357. case '.': {
  358. if(matchchar('.')) {
  359. if(matchchar('.')) {
  360. add_token(TK("..."));
  361. } else {
  362. add_token(TK(".."));
  363. }
  364. } else {
  365. char next_char = peekchar();
  366. if(next_char >= '0' && next_char <= '9') {
  367. Error* err = eat_number();
  368. if(err) return err;
  369. } else {
  370. add_token(TK("."));
  371. }
  372. }
  373. return NULL;
  374. }
  375. case '=': add_token_2('=', TK("="), TK("==")); return NULL;
  376. case '+':
  377. if(matchchar('+')) {
  378. add_token(TK("++"));
  379. } else {
  380. add_token_2('=', TK("+"), TK("+="));
  381. }
  382. return NULL;
  383. case '>': {
  384. if(matchchar('='))
  385. add_token(TK(">="));
  386. else if(matchchar('>'))
  387. add_token_2('=', TK(">>"), TK(">>="));
  388. else
  389. add_token(TK(">"));
  390. return NULL;
  391. }
  392. case '<': {
  393. if(matchchar('='))
  394. add_token(TK("<="));
  395. else if(matchchar('<'))
  396. add_token_2('=', TK("<<"), TK("<<="));
  397. else
  398. add_token(TK("<"));
  399. return NULL;
  400. }
  401. case '-': {
  402. if(matchchar('-')) {
  403. add_token(TK("--"));
  404. } else {
  405. if(matchchar('='))
  406. add_token(TK("-="));
  407. else if(matchchar('>'))
  408. add_token(TK("->"));
  409. else
  410. add_token(TK("-"));
  411. }
  412. return NULL;
  413. }
  414. case '!':
  415. if(matchchar('=')){
  416. add_token(TK("!="));
  417. }else{
  418. Error* err = SyntaxError("expected '=' after '!'");
  419. if(err) return err;
  420. }
  421. break;
  422. case '*':
  423. if(matchchar('*')) {
  424. add_token(TK("**")); // '**'
  425. } else {
  426. add_token_2('=', TK("*"), TK("*="));
  427. }
  428. return NULL;
  429. case '/':
  430. if(matchchar('/')) {
  431. add_token_2('=', TK("//"), TK("//="));
  432. } else {
  433. add_token_2('=', TK("/"), TK("/="));
  434. }
  435. return NULL;
  436. case ' ':
  437. case '\t': eat_spaces(); break;
  438. case '\n': {
  439. add_token(TK("@eol"));
  440. if(!eat_indentation()){
  441. return IndentationError("unindent does not match any outer indentation level");
  442. }
  443. return NULL;
  444. }
  445. default: {
  446. if(c == 'f') {
  447. if(matchchar('\'')) return eat_string('\'', StringType::F_STRING);
  448. if(matchchar('"')) return eat_string('"', StringType::F_STRING);
  449. } else if(c == 'r') {
  450. if(matchchar('\'')) return eat_string('\'', StringType::RAW_STRING);
  451. if(matchchar('"')) return eat_string('"', StringType::RAW_STRING);
  452. } else if(c == 'b') {
  453. if(matchchar('\'')) return eat_string('\'', StringType::NORMAL_BYTES);
  454. if(matchchar('"')) return eat_string('"', StringType::NORMAL_BYTES);
  455. }
  456. if(c >= '0' && c <= '9') return eat_number();
  457. return eat_name();
  458. }
  459. }
  460. }
  461. token_start = curr_char;
  462. while(indents.size() > 1) {
  463. indents.pop_back();
  464. add_token(TK("@dedent"));
  465. return NULL;
  466. }
  467. add_token(TK("@eof"));
  468. *eof = true;
  469. return NULL;
  470. }
  471. Error* Lexer::_error(bool lexer_err, const char* type, const char* msg, va_list* args, i64 userdata) noexcept{
  472. PK_THREAD_LOCAL Error err;
  473. err.type = type;
  474. err.src = src;
  475. if(lexer_err){
  476. err.lineno = current_line;
  477. err.cursor = curr_char;
  478. if(*curr_char == '\n') {
  479. err.lineno--;
  480. err.cursor--;
  481. }
  482. }else{
  483. err.lineno = -1;
  484. err.cursor = NULL;
  485. }
  486. if(args){
  487. vsnprintf(err.msg, sizeof(err.msg), msg, *args);
  488. }else{
  489. std::strncpy(err.msg, msg, sizeof(err.msg));
  490. }
  491. err.userdata = userdata;
  492. return &err;
  493. }
  494. Error* Lexer::SyntaxError(const char* fmt, ...) noexcept{
  495. va_list args;
  496. va_start(args, fmt);
  497. Error* err = _error(true, "SyntaxError", fmt, &args);
  498. va_end(args);
  499. return err;
  500. }
  501. Lexer::Lexer(VM* vm, std::shared_ptr<SourceData> src) noexcept : vm(vm), src(src){
  502. this->token_start = pkpy_Str__data(&src->source);
  503. this->curr_char = pkpy_Str__data(&src->source);
  504. }
  505. Error* Lexer::run() noexcept{
  506. assert(!this->used);
  507. this->used = true;
  508. if(src->is_precompiled) {
  509. return from_precompiled();
  510. }
  511. // push initial tokens
  512. this->nexts.push_back(Token{TK("@sof"), token_start, 0, current_line, brackets_level, {}});
  513. this->indents.push_back(0);
  514. bool eof = false;
  515. while(!eof) {
  516. Error* err = lex_one_token(&eof);
  517. if(err) return err;
  518. }
  519. return NULL;
  520. }
  521. Error* Lexer::from_precompiled() noexcept{
  522. TokenDeserializer deserializer(pkpy_Str__data(&src->source));
  523. deserializer.curr += 5; // skip "pkpy:"
  524. std::string_view version = deserializer.read_string('\n');
  525. if(version != PK_VERSION){
  526. return SyntaxError("precompiled version mismatch");
  527. }
  528. if(deserializer.read_uint('\n') != (i64)src->mode){
  529. return SyntaxError("precompiled mode mismatch");
  530. }
  531. int count = deserializer.read_count();
  532. auto precompiled_tokens = &src->_precompiled_tokens;
  533. for(int i = 0; i < count; i++) {
  534. c11_vector__push(Str, precompiled_tokens, Str(deserializer.read_string('\n')));
  535. }
  536. count = deserializer.read_count();
  537. for(int i = 0; i < count; i++) {
  538. Token t;
  539. t.type = (unsigned char)deserializer.read_uint(',');
  540. if(is_raw_string_used(t.type)) {
  541. i64 index = deserializer.read_uint(',');
  542. t.start = c11__getitem(Str, precompiled_tokens, index).c_str();
  543. t.length = c11__getitem(Str, precompiled_tokens, index).size;
  544. } else {
  545. t.start = nullptr;
  546. t.length = 0;
  547. }
  548. if(deserializer.match_char(',')) {
  549. t.line = nexts.back().line;
  550. } else {
  551. t.line = (int)deserializer.read_uint(',');
  552. }
  553. if(deserializer.match_char(',')) {
  554. t.brackets_level = nexts.back().brackets_level;
  555. } else {
  556. t.brackets_level = (int)deserializer.read_uint(',');
  557. }
  558. char type = deserializer.read_char();
  559. switch(type) {
  560. case 'I': t.value = deserializer.read_uint('\n'); break;
  561. case 'F': t.value = deserializer.read_float('\n'); break;
  562. case 'S': t.value = deserializer.read_string_from_hex('\n'); break;
  563. default: t.value = {}; break;
  564. }
  565. nexts.push_back(t);
  566. }
  567. return NULL;
  568. }
  569. Error* Lexer::precompile(Str* out) noexcept{
  570. assert(!src->is_precompiled);
  571. Error* err = run();
  572. if(err) return err;
  573. SStream ss;
  574. ss << "pkpy:" PK_VERSION << '\n'; // L1: version string
  575. ss << (int)src->mode << '\n'; // L2: mode
  576. small_map<std::string_view, int> token_indices;
  577. for(auto token: nexts) {
  578. if(is_raw_string_used(token.type)) {
  579. if(!token_indices.contains(token.sv())) {
  580. token_indices.insert(token.sv(), 0);
  581. // assert no '\n' in token.sv()
  582. for(char c: token.sv())
  583. assert(c != '\n');
  584. }
  585. }
  586. }
  587. ss << "=" << (int)token_indices.size() << '\n'; // L3: raw string count
  588. int index = 0;
  589. for(auto& kv: token_indices) {
  590. ss << kv.first << '\n'; // L4: raw strings
  591. kv.second = index++;
  592. }
  593. ss << "=" << (int)nexts.size() << '\n'; // L5: token count
  594. for(int i = 0; i < nexts.size(); i++) {
  595. const Token& token = nexts[i];
  596. ss << (int)token.type << ',';
  597. if(is_raw_string_used(token.type)) { ss << token_indices[token.sv()] << ','; }
  598. if(i > 0 && nexts[i - 1].line == token.line)
  599. ss << ',';
  600. else
  601. ss << token.line << ',';
  602. if(i > 0 && nexts[i - 1].brackets_level == token.brackets_level)
  603. ss << ',';
  604. else
  605. ss << token.brackets_level << ',';
  606. // visit token value
  607. std::visit(
  608. [&ss](auto&& arg) {
  609. using T = std::decay_t<decltype(arg)>;
  610. if constexpr(std::is_same_v<T, i64>) {
  611. ss << 'I' << arg;
  612. } else if constexpr(std::is_same_v<T, f64>) {
  613. ss << 'F' << arg;
  614. } else if constexpr(std::is_same_v<T, Str>) {
  615. ss << 'S';
  616. for(char c: arg)
  617. ss.write_hex((unsigned char)c);
  618. }
  619. ss << '\n';
  620. },
  621. token.value);
  622. }
  623. *out = ss.str();
  624. return NULL;
  625. }
  626. std::string_view TokenDeserializer::read_string(char c) noexcept{
  627. const char* start = curr;
  628. while(*curr != c)
  629. curr++;
  630. std::string_view retval(start, curr - start);
  631. curr++; // skip the delimiter
  632. return retval;
  633. }
  634. Str TokenDeserializer::read_string_from_hex(char c) noexcept{
  635. std::string_view s = read_string(c);
  636. char* buffer = (char*)std::malloc(s.size() / 2 + 1);
  637. for(int i = 0; i < s.size(); i += 2) {
  638. char c = 0;
  639. if(s[i] >= '0' && s[i] <= '9')
  640. c += s[i] - '0';
  641. else if(s[i] >= 'a' && s[i] <= 'f')
  642. c += s[i] - 'a' + 10;
  643. else
  644. assert(false);
  645. c <<= 4;
  646. if(s[i + 1] >= '0' && s[i + 1] <= '9')
  647. c += s[i + 1] - '0';
  648. else if(s[i + 1] >= 'a' && s[i + 1] <= 'f')
  649. c += s[i + 1] - 'a' + 10;
  650. else
  651. assert(false);
  652. buffer[i / 2] = c;
  653. }
  654. buffer[s.size() / 2] = 0;
  655. return pair<char*, int>(buffer, s.size() / 2);
  656. }
  657. int TokenDeserializer::read_count() noexcept{
  658. assert(*curr == '=');
  659. curr++;
  660. return read_uint('\n');
  661. }
  662. i64 TokenDeserializer::read_uint(char c) noexcept{
  663. i64 out = 0;
  664. while(*curr != c) {
  665. out = out * 10 + (*curr - '0');
  666. curr++;
  667. }
  668. curr++; // skip the delimiter
  669. return out;
  670. }
  671. f64 TokenDeserializer::read_float(char c) noexcept{
  672. std::string_view sv = read_string(c);
  673. return std::stod(std::string(sv));
  674. }
  675. IntParsingResult parse_uint(std::string_view text, i64* out, int base) noexcept{
  676. *out = 0;
  677. if(base == -1) {
  678. if(text.substr(0, 2) == "0b")
  679. base = 2;
  680. else if(text.substr(0, 2) == "0o")
  681. base = 8;
  682. else if(text.substr(0, 2) == "0x")
  683. base = 16;
  684. else
  685. base = 10;
  686. }
  687. if(base == 10) {
  688. // 10-base 12334
  689. if(text.length() == 0) return IntParsingResult::Failure;
  690. for(char c: text) {
  691. if(c >= '0' && c <= '9') {
  692. *out = (*out * 10) + (c - '0');
  693. } else {
  694. return IntParsingResult::Failure;
  695. }
  696. }
  697. const std::string_view INT64_MAX_S = "9223372036854775807";
  698. if(text.length() > INT64_MAX_S.length()) return IntParsingResult::Overflow;
  699. return IntParsingResult::Success;
  700. } else if(base == 2) {
  701. // 2-base 0b101010
  702. if(text.substr(0, 2) == "0b") text.remove_prefix(2);
  703. if(text.length() == 0) return IntParsingResult::Failure;
  704. for(char c: text) {
  705. if(c == '0' || c == '1') {
  706. *out = (*out << 1) | (c - '0');
  707. } else {
  708. return IntParsingResult::Failure;
  709. }
  710. }
  711. const std::string_view INT64_MAX_S = "111111111111111111111111111111111111111111111111111111111111111";
  712. if(text.length() > INT64_MAX_S.length()) return IntParsingResult::Overflow;
  713. return IntParsingResult::Success;
  714. } else if(base == 8) {
  715. // 8-base 0o123
  716. if(text.substr(0, 2) == "0o") text.remove_prefix(2);
  717. if(text.length() == 0) return IntParsingResult::Failure;
  718. for(char c: text) {
  719. if(c >= '0' && c <= '7') {
  720. *out = (*out << 3) | (c - '0');
  721. } else {
  722. return IntParsingResult::Failure;
  723. }
  724. }
  725. const std::string_view INT64_MAX_S = "777777777777777777777";
  726. if(text.length() > INT64_MAX_S.length()) return IntParsingResult::Overflow;
  727. return IntParsingResult::Success;
  728. } else if(base == 16) {
  729. // 16-base 0x123
  730. if(text.substr(0, 2) == "0x") text.remove_prefix(2);
  731. if(text.length() == 0) return IntParsingResult::Failure;
  732. for(char c: text) {
  733. if(c >= '0' && c <= '9') {
  734. *out = (*out << 4) | (c - '0');
  735. } else if(c >= 'a' && c <= 'f') {
  736. *out = (*out << 4) | (c - 'a' + 10);
  737. } else if(c >= 'A' && c <= 'F') {
  738. *out = (*out << 4) | (c - 'A' + 10);
  739. } else {
  740. return IntParsingResult::Failure;
  741. }
  742. }
  743. const std::string_view INT64_MAX_S = "7fffffffffffffff";
  744. if(text.length() > INT64_MAX_S.length()) return IntParsingResult::Overflow;
  745. return IntParsingResult::Success;
  746. }
  747. return IntParsingResult::Failure;
  748. }
  749. } // namespace pkpy