Ви не можете вибрати більше 25 тем Теми мають розпочинатися з літери або цифри, можуть містити дефіси (-) і не повинні перевищувати 35 символів.

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575
  1. #include "parse/lex.h"
  2. #include <stdlib.h>
  3. static void log_token(struct l2_token *tok) {
  4. switch (tok->kind) {
  5. case L2_TOK_STRING:
  6. case L2_TOK_IDENT:
  7. case L2_TOK_ERROR:
  8. printf("%i:%i\t%s '%s'\n", tok->line, tok->ch,
  9. l2_token_kind_name(tok->kind), tok->v.str);
  10. break;
  11. case L2_TOK_NUMBER:
  12. printf("%i:%i\t%s '%g'\n", tok->line, tok->ch,
  13. l2_token_kind_name(tok->kind), tok->v.num);
  14. break;
  15. default:
  16. printf("%i:%i\t%s\n", tok->line, tok->ch,
  17. l2_token_kind_name(tok->kind));
  18. break;
  19. }
  20. }
  21. const char *l2_token_kind_name(enum l2_token_kind kind) {
  22. switch (kind) {
  23. case L2_TOK_OPEN_PAREN:
  24. return "open-paren";
  25. case L2_TOK_CLOSE_PAREN:
  26. return "close-paren";
  27. case L2_TOK_OPEN_BRACE:
  28. return "open-brace";
  29. case L2_TOK_CLOSE_BRACE:
  30. return "close-brace";
  31. case L2_TOK_OPEN_BRACKET:
  32. return "open-bracket";
  33. case L2_TOK_CLOSE_BRACKET:
  34. return "close-bracket";
  35. case L2_TOK_QUOT:
  36. return "single-quote";
  37. case L2_TOK_COMMA:
  38. return "comma";
  39. case L2_TOK_PERIOD:
  40. return "period";
  41. case L2_TOK_DOT_NUMBER:
  42. return "dot-number";
  43. case L2_TOK_COLON:
  44. return "colon";
  45. case L2_TOK_COLON_EQ:
  46. return "colon-equals";
  47. case L2_TOK_EQUALS:
  48. return "equals";
  49. case L2_TOK_EOL:
  50. return "end-of-line";
  51. case L2_TOK_EOF:
  52. return "end-of-file";
  53. case L2_TOK_NUMBER:
  54. return "number";
  55. case L2_TOK_STRING:
  56. return "string";
  57. case L2_TOK_IDENT:
  58. return "ident";
  59. case L2_TOK_ERROR:
  60. return "error";
  61. }
  62. return "(unknown)";
  63. }
  64. void l2_token_free(struct l2_token *tok) {
  65. if (tok->kind == L2_TOK_STRING || tok->kind == L2_TOK_IDENT) {
  66. free(tok->v.str);
  67. }
  68. }
  69. char *l2_token_extract_str(struct l2_token *tok) {
  70. char *str = tok->v.str;
  71. tok->v.str = NULL;
  72. return str;
  73. }
  74. void l2_lexer_init(struct l2_lexer *lexer, struct l2_io_reader *r) {
  75. lexer->toks[0].kind = L2_TOK_EOF,
  76. lexer->tokidx = 0;
  77. lexer->line = 1;
  78. lexer->ch = 1;
  79. lexer->parens = 0;
  80. lexer->do_log_tokens = 0;
  81. l2_bufio_reader_init(&lexer->reader, r);
  82. }
  83. static int peek_ch(struct l2_lexer *lexer) {
  84. int ch = l2_bufio_peek(&lexer->reader, 1);
  85. return ch;
  86. }
  87. static int read_ch(struct l2_lexer *lexer) {
  88. int ch = l2_bufio_get(&lexer->reader);
  89. lexer->ch += 1;
  90. if (ch == '\n') {
  91. lexer->ch = 1;
  92. lexer->line += 1;
  93. }
  94. return ch;
  95. }
  96. static int is_whitespace(int ch) {
  97. return ch == ' ' || ch == '\r' || ch == '\n' || ch == '\t';
  98. }
  99. static int is_numeric(int ch) {
  100. return ch >= '0' && ch <= '9';
  101. }
  102. static int skip_whitespace(struct l2_lexer *lexer) {
  103. int nl = 0;
  104. while (1) {
  105. while (is_whitespace(peek_ch(lexer))) {
  106. int ch = read_ch(lexer);
  107. if (ch == '\n') {
  108. nl = 1;
  109. }
  110. }
  111. if (peek_ch(lexer) == '#') {
  112. nl = 1;
  113. while (read_ch(lexer) != '\n');
  114. } else {
  115. break;
  116. }
  117. }
  118. return nl;
  119. }
  120. static int read_integer(struct l2_lexer *lexer, long long *num, long long *base, char **err) {
  121. unsigned char buffer[32]; // Should be enough
  122. size_t len = 0;
  123. long long b = -1;
  124. while (len < sizeof(buffer)) {
  125. int ch = peek_ch(lexer);
  126. if (is_numeric(ch)) {
  127. buffer[len++] = ch;
  128. } else if (ch != '\'') {
  129. break;
  130. }
  131. read_ch(lexer);
  132. }
  133. int ch = peek_ch(lexer);
  134. int abbrev_prefix = len == 1 && buffer[0] == '0';
  135. if (abbrev_prefix && ch == 'b') {
  136. b = 2;
  137. } else if (abbrev_prefix && ch == 'o') {
  138. b = 8;
  139. } else if (abbrev_prefix && ch == 'x') {
  140. b = 16;
  141. } else {
  142. // Need to parse the number as base 10 now
  143. long long n = 0;
  144. long long pow = 1;
  145. for (ssize_t i = len - 1; i >= 0; --i) {
  146. n += (buffer[i] - '0') * pow;
  147. pow *= 10;
  148. }
  149. if (ch == 'r') {
  150. b = n;
  151. } else {
  152. *num = n;
  153. *base = 10;
  154. return 0;
  155. }
  156. }
  157. if (b < 2) {
  158. *err = "Number with base lower than 2";
  159. return -1;
  160. } else if (b > 36) {
  161. *err = "Number with base higher than 36";
  162. return -1;
  163. }
  164. // Now that we know the base, we can read in the next part of the number
  165. read_ch(lexer); // Skip the base marker ('x', 'r', etc)
  166. len = 0;
  167. while (len < sizeof(buffer)) {
  168. int ch = peek_ch(lexer);
  169. if (ch == '\'') {
  170. read_ch(lexer);
  171. continue;
  172. }
  173. int digit;
  174. if (ch >= '0' && ch <= '9') {
  175. digit = ch - '0';
  176. } else if (ch >= 'a' && ch <= 'z') {
  177. digit = ch - 'a' + 10;
  178. } else if (ch >= 'A' && ch <= 'Z') {
  179. digit = ch - 'A' + 10;
  180. } else {
  181. break;
  182. }
  183. if (digit >= b) {
  184. *err = "Number with digit too big for the base";
  185. return -1;
  186. }
  187. buffer[len++] = digit;
  188. read_ch(lexer);
  189. }
  190. if (len < 1) {
  191. *err = "Number with no digits";
  192. }
  193. long long n = 0;
  194. long long pow = 1;
  195. for (ssize_t i = len - 1; i >= 0; --i) {
  196. n += buffer[i] * pow;
  197. pow *= b;
  198. }
  199. *num = n;
  200. *base = b;
  201. return 0;
  202. }
  203. static void read_number(struct l2_lexer *lexer, struct l2_token *tok) {
  204. tok->kind = L2_TOK_NUMBER;
  205. float sign = 1;
  206. if (peek_ch(lexer) == '-') {
  207. sign = -1;
  208. read_ch(lexer);
  209. }
  210. if (!is_numeric(peek_ch(lexer))) {
  211. tok->kind = L2_TOK_ERROR;
  212. tok->v.str = "No number in number literal";
  213. return;
  214. }
  215. long long integral;
  216. long long base;
  217. char *err;
  218. if (read_integer(lexer, &integral, &base, &err) < 0) {
  219. tok->kind = L2_TOK_ERROR;
  220. tok->v.str = err;
  221. return;
  222. }
  223. if (peek_ch(lexer) != '.') {
  224. tok->v.num = (double)integral * sign;
  225. return;
  226. }
  227. read_ch(lexer); // '.'
  228. unsigned char buffer[32];
  229. size_t fraction_len = 0;
  230. while (fraction_len < sizeof(buffer)) {
  231. int ch = peek_ch(lexer);
  232. if (ch == '\'') {
  233. read_ch(lexer);
  234. continue;
  235. }
  236. int digit;
  237. if (ch >= '0' && ch <= '9') {
  238. digit = ch - '0';
  239. } else if (ch >= 'a' && ch <= 'z') {
  240. digit = ch - 'a' + 10;
  241. } else if (ch >= 'A' && ch <= 'Z') {
  242. digit = ch - 'A' + 10;
  243. } else {
  244. break;
  245. }
  246. if (digit >= base) {
  247. tok->kind = L2_TOK_ERROR;
  248. tok->v.str = "Number with digits too big for the base";
  249. return;
  250. }
  251. buffer[fraction_len++] = digit;
  252. read_ch(lexer);
  253. }
  254. if (fraction_len < 1) {
  255. tok->kind = L2_TOK_ERROR;
  256. tok->v.str = "Trailing dot in number literal";
  257. return;
  258. }
  259. long long fraction = 0;
  260. long long fraction_power = 1;
  261. for (ssize_t i = fraction_len - 1; (ssize_t)i >= 0; --i) {
  262. fraction += buffer[i] * fraction_power;
  263. fraction_power *= base;
  264. }
  265. double num = (double)integral + ((double)fraction / (double)fraction_power);
  266. tok->v.num = num * sign;
  267. }
  268. static void read_string(struct l2_lexer *lexer, struct l2_token *tok) {
  269. tok->kind = L2_TOK_STRING;
  270. tok->v.str = malloc(16);
  271. if (tok->v.str == NULL) {
  272. tok->kind = L2_TOK_ERROR;
  273. tok->v.str = "Allocaton failure";
  274. return;
  275. }
  276. size_t size = 16;
  277. size_t idx = 0;
  278. while (1) {
  279. int ch = read_ch(lexer);
  280. if (ch == '"') {
  281. tok->v.str[idx] = '\0';
  282. return;
  283. } else if (ch == EOF) {
  284. tok->kind = L2_TOK_EOF;
  285. free(tok->v.str);
  286. tok->v.str = "Unexpected EOF";
  287. return;
  288. } else if (ch == '\\') {
  289. int ch2 = read_ch(lexer);
  290. switch (ch2) {
  291. case 'n':
  292. ch = '\n';
  293. break;
  294. case 'r':
  295. ch = '\r';
  296. break;
  297. case 't':
  298. ch = '\t';
  299. break;
  300. case EOF:
  301. tok->kind = L2_TOK_EOF;
  302. free(tok->v.str);
  303. tok->v.str = "Unexpected EOF";
  304. return;
  305. default:
  306. ch = ch2;
  307. break;
  308. }
  309. }
  310. tok->v.str[idx++] = (char)ch;
  311. if (idx >= size) {
  312. size *= 2;
  313. char *newbuf = realloc(tok->v.str, size);
  314. if (newbuf == NULL) {
  315. free(tok->v.str);
  316. tok->kind = L2_TOK_ERROR;
  317. tok->v.str = "Allocation failure";
  318. return;
  319. }
  320. tok->v.str = newbuf;
  321. }
  322. }
  323. }
  324. static void read_ident(struct l2_lexer *lexer, struct l2_token *tok) {
  325. tok->kind = L2_TOK_IDENT;
  326. tok->v.str = malloc(16);
  327. if (tok->v.str == NULL) {
  328. tok->kind = L2_TOK_ERROR;
  329. tok->v.str = "Allocaton failure";
  330. return;
  331. }
  332. size_t size = 16;
  333. size_t idx = 0;
  334. while (1) {
  335. int ch = peek_ch(lexer);
  336. if (is_whitespace(ch)) {
  337. tok->v.str[idx] = '\0';
  338. return;
  339. }
  340. switch (ch) {
  341. case '(':
  342. case ')':
  343. case '{':
  344. case '}':
  345. case '[':
  346. case ']':
  347. case '\'':
  348. case ',':
  349. case '.':
  350. case ':':
  351. case '=':
  352. case ';':
  353. case EOF:
  354. tok->v.str[idx] = '\0';
  355. return;
  356. }
  357. tok->v.str[idx++] = (char)read_ch(lexer);
  358. if (idx + 1 >= size) {
  359. size *= 2;
  360. char *newbuf = realloc(tok->v.str, size);
  361. if (newbuf == NULL) {
  362. free(tok->v.str);
  363. tok->kind = L2_TOK_ERROR;
  364. tok->v.str = "Allocation failure";
  365. return;
  366. }
  367. tok->v.str = newbuf;
  368. }
  369. }
  370. }
  371. static void read_tok(struct l2_lexer *lexer, struct l2_token *tok) {
  372. tok->line = lexer->line;
  373. tok->ch = lexer->ch;
  374. int nl = skip_whitespace(lexer);
  375. if (nl && lexer->parens == 0) {
  376. tok->kind = L2_TOK_EOL;
  377. return;
  378. }
  379. int ch = peek_ch(lexer);
  380. switch (ch) {
  381. case '(':
  382. read_ch(lexer);
  383. tok->kind = L2_TOK_OPEN_PAREN;
  384. lexer->parens += 1;
  385. break;
  386. case ')':
  387. read_ch(lexer);
  388. tok->kind = L2_TOK_CLOSE_PAREN;
  389. lexer->parens -= 1;
  390. break;
  391. case '{':
  392. read_ch(lexer);
  393. tok->kind = L2_TOK_OPEN_BRACE;
  394. break;
  395. case '}':
  396. read_ch(lexer);
  397. tok->kind = L2_TOK_CLOSE_BRACE;
  398. break;
  399. case '[':
  400. read_ch(lexer);
  401. tok->kind = L2_TOK_OPEN_BRACKET;
  402. break;
  403. case ']':
  404. read_ch(lexer);
  405. tok->kind = L2_TOK_CLOSE_BRACKET;
  406. break;
  407. case ';':
  408. tok->kind = L2_TOK_EOL;
  409. do {
  410. read_ch(lexer);
  411. skip_whitespace(lexer);
  412. } while (peek_ch(lexer) == ';');
  413. break;
  414. case '\'':
  415. read_ch(lexer);
  416. tok->kind = L2_TOK_QUOT;
  417. break;
  418. case ',':
  419. read_ch(lexer);
  420. tok->kind = L2_TOK_COMMA;
  421. break;
  422. case '.':
  423. read_ch(lexer);
  424. if (is_numeric(peek_ch(lexer))) {
  425. tok->kind = L2_TOK_DOT_NUMBER;
  426. long long num, base;
  427. char *err;
  428. if (read_integer(lexer, &num, &base, &err) < 0) {
  429. tok->kind = L2_TOK_ERROR;
  430. tok->v.str = err;
  431. } else {
  432. tok->v.integer = (int)num;
  433. }
  434. } else {
  435. tok->kind = L2_TOK_PERIOD;
  436. }
  437. break;
  438. case ':':
  439. read_ch(lexer);
  440. ch = peek_ch(lexer);
  441. switch (ch) {
  442. case '=':
  443. read_ch(lexer);
  444. tok->kind = L2_TOK_COLON_EQ;
  445. break;
  446. default:
  447. tok->kind = L2_TOK_COLON;
  448. break;
  449. }
  450. break;
  451. case '=':
  452. read_ch(lexer);
  453. tok->kind = L2_TOK_EQUALS;
  454. break;
  455. case EOF:
  456. tok->kind = L2_TOK_EOF;
  457. break;
  458. case '"':
  459. read_ch(lexer);
  460. read_string(lexer, tok);
  461. break;
  462. default:
  463. if (is_numeric(ch) || ch == '-') {
  464. read_number(lexer, tok);
  465. break;
  466. }
  467. read_ident(lexer, tok);
  468. if (tok->kind != L2_TOK_IDENT) {
  469. break;
  470. }
  471. }
  472. }
  473. struct l2_token *l2_lexer_peek(struct l2_lexer *lexer, int count) {
  474. int offset = count - 1;
  475. while (offset >= lexer->tokidx) {
  476. read_tok(lexer, &lexer->toks[lexer->tokidx++]);
  477. if (lexer->do_log_tokens) {
  478. log_token(&lexer->toks[lexer->tokidx - 1]);
  479. }
  480. }
  481. return &lexer->toks[offset];
  482. }
  483. void l2_lexer_consume(struct l2_lexer *lexer) {
  484. l2_token_free(&lexer->toks[0]);
  485. lexer->tokidx -= 1;
  486. memmove(lexer->toks, lexer->toks + 1, lexer->tokidx * sizeof(*lexer->toks));
  487. }
  488. void l2_lexer_skip_opt(struct l2_lexer *lexer, enum l2_token_kind kind) {
  489. if (l2_lexer_peek(lexer, 1)->kind == kind) {
  490. l2_lexer_consume(lexer);
  491. }
  492. }