lexer.cpp 25 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574
  1. #include "pocketpy/lexer.h"
  2. namespace pkpy{
  3. 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};
  4. 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};
  5. std::set<char> kValidChars = {
  6. '0','1','2','3','4','5','6','7','8','9',
  7. // a-f
  8. 'a','b','c','d','e','f',
  9. // A-Z
  10. 'A','B','C','D','E','F',
  11. // other valid chars
  12. '.', 'L', 'x', 'b', 'o', 'j'
  13. };
  14. static bool is_unicode_Lo_char(uint32_t c) {
  15. // open a hole for carrot
  16. if(c == U'🥕') return true;
  17. auto index = std::lower_bound(kLoRangeA, kLoRangeA + 476, c) - kLoRangeA;
  18. if(c == kLoRangeA[index]) return true;
  19. index -= 1;
  20. if(index < 0) return false;
  21. return c >= kLoRangeA[index] && c <= kLoRangeB[index];
  22. }
  23. bool Lexer::match_n_chars(int n, char c0){
  24. const char* c = curr_char;
  25. for(int i=0; i<n; i++){
  26. if(*c == '\0') return false;
  27. if(*c != c0) return false;
  28. c++;
  29. }
  30. for(int i=0; i<n; i++) eatchar_include_newline();
  31. return true;
  32. }
  33. bool Lexer::match_string(const char* s){
  34. int s_len = strlen(s);
  35. bool ok = strncmp(curr_char, s, s_len) == 0;
  36. if(ok) for(int i=0; i<s_len; i++) eatchar_include_newline();
  37. return ok;
  38. }
  39. int Lexer::eat_spaces(){
  40. int count = 0;
  41. while (true) {
  42. switch (peekchar()) {
  43. case ' ' : count+=1; break;
  44. case '\t': count+=4; break;
  45. default: return count;
  46. }
  47. eatchar();
  48. }
  49. }
  50. bool Lexer::eat_indentation(){
  51. if(brackets_level > 0) return true;
  52. int spaces = eat_spaces();
  53. if(peekchar() == '#') skip_line_comment();
  54. if(peekchar() == '\0' || peekchar() == '\n') return true;
  55. // https://docs.python.org/3/reference/lexical_analysis.html#indentation
  56. if(spaces > indents.top()){
  57. indents.push(spaces);
  58. nexts.push_back(Token{TK("@indent"), token_start, 0, current_line, brackets_level, {}});
  59. } else if(spaces < indents.top()){
  60. while(spaces < indents.top()){
  61. indents.pop();
  62. nexts.push_back(Token{TK("@dedent"), token_start, 0, current_line, brackets_level, {}});
  63. }
  64. if(spaces != indents.top()){
  65. return false;
  66. }
  67. }
  68. return true;
  69. }
  70. char Lexer::eatchar() {
  71. char c = peekchar();
  72. if(c == '\n') throw std::runtime_error("eatchar() cannot consume a newline");
  73. curr_char++;
  74. return c;
  75. }
  76. char Lexer::eatchar_include_newline() {
  77. char c = peekchar();
  78. curr_char++;
  79. if (c == '\n'){
  80. current_line++;
  81. src->line_starts.push_back(curr_char);
  82. }
  83. return c;
  84. }
  85. int Lexer::eat_name() {
  86. curr_char--;
  87. while(true){
  88. unsigned char c = peekchar();
  89. int u8bytes = utf8len(c, true);
  90. if(u8bytes == 0) return 1;
  91. if(u8bytes == 1){
  92. if(isalpha(c) || c=='_' || isdigit(c)) {
  93. curr_char++;
  94. continue;
  95. }else{
  96. break;
  97. }
  98. }
  99. // handle multibyte char
  100. Str u8str(curr_char, u8bytes);
  101. if(u8str.size != u8bytes) return 2;
  102. uint32_t value = 0;
  103. for(int k=0; k < u8bytes; k++){
  104. uint8_t b = u8str[k];
  105. if(k==0){
  106. if(u8bytes == 2) value = (b & 0b00011111) << 6;
  107. else if(u8bytes == 3) value = (b & 0b00001111) << 12;
  108. else if(u8bytes == 4) value = (b & 0b00000111) << 18;
  109. }else{
  110. value |= (b & 0b00111111) << (6*(u8bytes-k-1));
  111. }
  112. }
  113. if(is_unicode_Lo_char(value)) curr_char += u8bytes;
  114. else break;
  115. }
  116. int length = (int)(curr_char - token_start);
  117. if(length == 0) return 3;
  118. std::string_view name(token_start, length);
  119. if(src->mode == JSON_MODE){
  120. if(name == "true"){
  121. add_token(TK("True"));
  122. } else if(name == "false"){
  123. add_token(TK("False"));
  124. } else if(name == "null"){
  125. add_token(TK("None"));
  126. } else {
  127. return 4;
  128. }
  129. return 0;
  130. }
  131. if(kTokenKwMap.count(name)){
  132. add_token(kTokenKwMap.at(name));
  133. } else {
  134. add_token(TK("@id"));
  135. }
  136. return 0;
  137. }
  138. void Lexer::skip_line_comment() {
  139. char c;
  140. while ((c = peekchar()) != '\0') {
  141. if (c == '\n') return;
  142. eatchar();
  143. }
  144. }
  145. bool Lexer::matchchar(char c) {
  146. if (peekchar() != c) return false;
  147. eatchar_include_newline();
  148. return true;
  149. }
  150. void Lexer::add_token(TokenIndex type, TokenValue value) {
  151. switch(type){
  152. case TK("{"): case TK("["): case TK("("): brackets_level++; break;
  153. case TK(")"): case TK("]"): case TK("}"): brackets_level--; break;
  154. }
  155. auto token = Token{
  156. type,
  157. token_start,
  158. (int)(curr_char - token_start),
  159. current_line - ((type == TK("@eol")) ? 1 : 0),
  160. brackets_level,
  161. value
  162. };
  163. // handle "not in", "is not", "yield from"
  164. if(!nexts.empty()){
  165. auto& back = nexts.back();
  166. if(back.type == TK("not") && type == TK("in")){
  167. back.type = TK("not in");
  168. return;
  169. }
  170. if(back.type == TK("is") && type == TK("not")){
  171. back.type = TK("is not");
  172. return;
  173. }
  174. if(back.type == TK("yield") && type == TK("from")){
  175. back.type = TK("yield from");
  176. return;
  177. }
  178. nexts.push_back(token);
  179. }
  180. }
  181. void Lexer::add_token_2(char c, TokenIndex one, TokenIndex two) {
  182. if (matchchar(c)) add_token(two);
  183. else add_token(one);
  184. }
  185. Str Lexer::eat_string_until(char quote, bool raw) {
  186. bool quote3 = match_n_chars(2, quote);
  187. pod_vector<char> buff;
  188. while (true) {
  189. char c = eatchar_include_newline();
  190. if (c == quote){
  191. if(quote3 && !match_n_chars(2, quote)){
  192. buff.push_back(c);
  193. continue;
  194. }
  195. break;
  196. }
  197. if (c == '\0'){
  198. if(quote3 && src->mode == REPL_MODE){
  199. throw NeedMoreLines(false);
  200. }
  201. SyntaxError("EOL while scanning string literal");
  202. }
  203. if (c == '\n'){
  204. if(!quote3) SyntaxError("EOL while scanning string literal");
  205. else{
  206. buff.push_back(c);
  207. continue;
  208. }
  209. }
  210. if (!raw && c == '\\') {
  211. switch (eatchar_include_newline()) {
  212. case '"': buff.push_back('"'); break;
  213. case '\'': buff.push_back('\''); break;
  214. case '\\': buff.push_back('\\'); break;
  215. case 'n': buff.push_back('\n'); break;
  216. case 'r': buff.push_back('\r'); break;
  217. case 't': buff.push_back('\t'); break;
  218. case 'b': buff.push_back('\b'); break;
  219. case 'x': {
  220. char hex[3] = {eatchar(), eatchar(), '\0'};
  221. size_t parsed;
  222. char code;
  223. try{
  224. code = (char)std::stoi(hex, &parsed, 16);
  225. }catch(...){
  226. SyntaxError("invalid hex char");
  227. }
  228. if (parsed != 2) SyntaxError("invalid hex char");
  229. buff.push_back(code);
  230. } break;
  231. default: SyntaxError("invalid escape char");
  232. }
  233. } else {
  234. buff.push_back(c);
  235. }
  236. }
  237. return Str(buff.data(), buff.size());
  238. }
  239. void Lexer::eat_string(char quote, StringType type) {
  240. Str s = eat_string_until(quote, type == RAW_STRING);
  241. if(type == F_STRING){
  242. add_token(TK("@fstr"), s);
  243. return;
  244. }
  245. if(type == NORMAL_BYTES){
  246. add_token(TK("@bytes"), s);
  247. return;
  248. }
  249. add_token(TK("@str"), s);
  250. }
  251. void Lexer::eat_number() {
  252. const char* i = token_start;
  253. while(kValidChars.count(*i)) i++;
  254. bool is_scientific_notation = false;
  255. if(*(i-1) == 'e' && (*i == '+' || *i == '-')){
  256. i++;
  257. while(isdigit(*i) || *i=='j') i++;
  258. is_scientific_notation = true;
  259. }
  260. std::string_view text(token_start, i - token_start);
  261. this->curr_char = i;
  262. if(text[0] != '.' && !is_scientific_notation){
  263. // try long
  264. if(i[-1] == 'L'){
  265. add_token(TK("@long"));
  266. return;
  267. }
  268. // try integer
  269. i64 int_out;
  270. switch(parse_uint(text, &int_out, -1)){
  271. case IntParsingResult::Success:
  272. add_token(TK("@num"), int_out);
  273. return;
  274. case IntParsingResult::Overflow:
  275. SyntaxError("int literal is too large");
  276. return;
  277. case IntParsingResult::Failure:
  278. break; // do nothing
  279. }
  280. }
  281. // try float
  282. double float_out;
  283. char* p_end;
  284. try{
  285. float_out = std::strtod(text.data(), &p_end);
  286. }catch(...){
  287. SyntaxError("invalid number literal");
  288. }
  289. if(p_end == text.data() + text.size()){
  290. add_token(TK("@num"), (f64)float_out);
  291. return;
  292. }
  293. if(i[-1] == 'j' && p_end == text.data() + text.size() - 1){
  294. add_token(TK("@imag"), (f64)float_out);
  295. return;
  296. }
  297. SyntaxError("invalid number literal");
  298. }
  299. bool Lexer::lex_one_token() {
  300. while (peekchar() != '\0') {
  301. token_start = curr_char;
  302. char c = eatchar_include_newline();
  303. switch (c) {
  304. case '\'': case '"': eat_string(c, NORMAL_STRING); return true;
  305. case '#': skip_line_comment(); break;
  306. case '~': add_token(TK("~")); return true;
  307. case '{': add_token(TK("{")); return true;
  308. case '}': add_token(TK("}")); return true;
  309. case ',': add_token(TK(",")); return true;
  310. case ':': add_token(TK(":")); return true;
  311. case ';': add_token(TK(";")); return true;
  312. case '(': add_token(TK("(")); return true;
  313. case ')': add_token(TK(")")); return true;
  314. case '[': add_token(TK("[")); return true;
  315. case ']': add_token(TK("]")); return true;
  316. case '@': add_token(TK("@")); return true;
  317. case '\\': {
  318. // line continuation character
  319. char c = eatchar_include_newline();
  320. if (c != '\n'){
  321. if(src->mode == REPL_MODE && c == '\0') throw NeedMoreLines(false);
  322. SyntaxError("expected newline after line continuation character");
  323. }
  324. eat_spaces();
  325. return true;
  326. }
  327. case '%': add_token_2('=', TK("%"), TK("%=")); return true;
  328. case '&': add_token_2('=', TK("&"), TK("&=")); return true;
  329. case '|': add_token_2('=', TK("|"), TK("|=")); return true;
  330. case '^': add_token_2('=', TK("^"), TK("^=")); return true;
  331. case '.': {
  332. if(matchchar('.')) {
  333. if(matchchar('.')) {
  334. add_token(TK("..."));
  335. } else {
  336. add_token(TK(".."));
  337. }
  338. } else {
  339. char next_char = peekchar();
  340. if(next_char >= '0' && next_char <= '9'){
  341. eat_number();
  342. }else{
  343. add_token(TK("."));
  344. }
  345. }
  346. return true;
  347. }
  348. case '=': add_token_2('=', TK("="), TK("==")); return true;
  349. case '+':
  350. if(matchchar('+')){
  351. add_token(TK("++"));
  352. }else{
  353. add_token_2('=', TK("+"), TK("+="));
  354. }
  355. return true;
  356. case '>': {
  357. if(matchchar('=')) add_token(TK(">="));
  358. else if(matchchar('>')) add_token_2('=', TK(">>"), TK(">>="));
  359. else add_token(TK(">"));
  360. return true;
  361. }
  362. case '<': {
  363. if(matchchar('=')) add_token(TK("<="));
  364. else if(matchchar('<')) add_token_2('=', TK("<<"), TK("<<="));
  365. else add_token(TK("<"));
  366. return true;
  367. }
  368. case '-': {
  369. if(matchchar('-')){
  370. add_token(TK("--"));
  371. }else{
  372. if(matchchar('=')) add_token(TK("-="));
  373. else if(matchchar('>')) add_token(TK("->"));
  374. else add_token(TK("-"));
  375. }
  376. return true;
  377. }
  378. case '!':
  379. if(matchchar('=')) add_token(TK("!="));
  380. else SyntaxError("expected '=' after '!'");
  381. break;
  382. case '*':
  383. if (matchchar('*')) {
  384. add_token(TK("**")); // '**'
  385. } else {
  386. add_token_2('=', TK("*"), TK("*="));
  387. }
  388. return true;
  389. case '/':
  390. if(matchchar('/')) {
  391. add_token_2('=', TK("//"), TK("//="));
  392. } else {
  393. add_token_2('=', TK("/"), TK("/="));
  394. }
  395. return true;
  396. case ' ': case '\t': eat_spaces(); break;
  397. case '\n': {
  398. add_token(TK("@eol"));
  399. if(!eat_indentation()) IndentationError("unindent does not match any outer indentation level");
  400. return true;
  401. }
  402. default: {
  403. if(c == 'f'){
  404. if(matchchar('\'')) {eat_string('\'', F_STRING); return true;}
  405. if(matchchar('"')) {eat_string('"', F_STRING); return true;}
  406. }else if(c == 'r'){
  407. if(matchchar('\'')) {eat_string('\'', RAW_STRING); return true;}
  408. if(matchchar('"')) {eat_string('"', RAW_STRING); return true;}
  409. }else if(c == 'b'){
  410. if(matchchar('\'')) {eat_string('\'', NORMAL_BYTES); return true;}
  411. if(matchchar('"')) {eat_string('"', NORMAL_BYTES); return true;}
  412. }
  413. if (c >= '0' && c <= '9') {
  414. eat_number();
  415. return true;
  416. }
  417. switch (eat_name())
  418. {
  419. case 0: break;
  420. case 1: SyntaxError("invalid char: " + std::string(1, c)); break;
  421. case 2: SyntaxError("invalid utf8 sequence: " + std::string(1, c)); break;
  422. case 3: SyntaxError("@id contains invalid char"); break;
  423. case 4: SyntaxError("invalid JSON token"); break;
  424. default: PK_FATAL_ERROR();
  425. }
  426. return true;
  427. }
  428. }
  429. }
  430. token_start = curr_char;
  431. while(indents.size() > 1){
  432. indents.pop();
  433. add_token(TK("@dedent"));
  434. return true;
  435. }
  436. add_token(TK("@eof"));
  437. return false;
  438. }
  439. void Lexer::throw_err(StrName type, Str msg){
  440. int lineno = current_line;
  441. const char* cursor = curr_char;
  442. if(peekchar() == '\n'){
  443. lineno--;
  444. cursor--;
  445. }
  446. throw_err(type, msg, lineno, cursor);
  447. }
  448. Lexer::Lexer(VM* vm, std::shared_ptr<SourceData> src) : vm(vm), src(src) {
  449. this->token_start = src->source.c_str();
  450. this->curr_char = src->source.c_str();
  451. this->nexts.push_back(Token{TK("@sof"), token_start, 0, current_line, brackets_level, {}});
  452. this->indents.push(0);
  453. }
  454. std::vector<Token> Lexer::run() {
  455. PK_ASSERT(curr_char == src->source.c_str());
  456. while (lex_one_token());
  457. return std::move(nexts);
  458. }
  459. inline constexpr bool f_startswith_2(std::string_view t, const char* prefix){
  460. if(t.length() < 2) return false;
  461. return t[0] == prefix[0] && t[1] == prefix[1];
  462. }
  463. IntParsingResult parse_uint(std::string_view text, i64* out, int base){
  464. *out = 0;
  465. if(base == -1){
  466. if(f_startswith_2(text, "0b")) base = 2;
  467. else if(f_startswith_2(text, "0o")) base = 8;
  468. else if(f_startswith_2(text, "0x")) base = 16;
  469. else base = 10;
  470. }
  471. if(base == 10){
  472. // 10-base 12334
  473. if(text.length() == 0) return IntParsingResult::Failure;
  474. for(char c : text){
  475. if(c >= '0' && c <= '9'){
  476. i64 prev_out = *out;
  477. *out = (*out * 10) + (c - '0');
  478. if(*out < prev_out) return IntParsingResult::Overflow;
  479. }else{
  480. return IntParsingResult::Failure;
  481. }
  482. }
  483. return IntParsingResult::Success;
  484. }else if(base == 2){
  485. // 2-base 0b101010
  486. if(f_startswith_2(text, "0b")) text.remove_prefix(2);
  487. if(text.length() == 0) return IntParsingResult::Failure;
  488. for(char c : text){
  489. if(c == '0' || c == '1'){
  490. i64 prev_out = *out;
  491. *out = (*out << 1) | (c - '0');
  492. if(*out < prev_out) return IntParsingResult::Overflow;
  493. }else{
  494. return IntParsingResult::Failure;
  495. }
  496. }
  497. return IntParsingResult::Success;
  498. }else if(base == 8){
  499. // 8-base 0o123
  500. if(f_startswith_2(text, "0o")) text.remove_prefix(2);
  501. if(text.length() == 0) return IntParsingResult::Failure;
  502. for(char c : text){
  503. if(c >= '0' && c <= '7'){
  504. i64 prev_out = *out;
  505. *out = (*out << 3) | (c - '0');
  506. if(*out < prev_out) return IntParsingResult::Overflow;
  507. }else{
  508. return IntParsingResult::Failure;
  509. }
  510. }
  511. return IntParsingResult::Success;
  512. }else if(base == 16){
  513. // 16-base 0x123
  514. if(f_startswith_2(text, "0x")) text.remove_prefix(2);
  515. if(text.length() == 0) return IntParsingResult::Failure;
  516. for(char c : text){
  517. i64 prev_out = *out;
  518. if(c >= '0' && c <= '9'){
  519. *out = (*out << 4) | (c - '0');
  520. if(*out < prev_out) return IntParsingResult::Overflow;
  521. }else if(c >= 'a' && c <= 'f'){
  522. *out = (*out << 4) | (c - 'a' + 10);
  523. if(*out < prev_out) return IntParsingResult::Overflow;
  524. }else if(c >= 'A' && c <= 'F'){
  525. *out = (*out << 4) | (c - 'A' + 10);
  526. if(*out < prev_out) return IntParsingResult::Overflow;
  527. }else{
  528. return IntParsingResult::Failure;
  529. }
  530. }
  531. return IntParsingResult::Success;
  532. }
  533. return IntParsingResult::Failure;
  534. }
  535. } // namespace pkpy