Damien | d99b052 | 2013-12-21 18:17:45 +0000 | [diff] [blame] | 1 | /* lexer.h -- simple tokeniser for Micro Python |
| 2 | * |
| 3 | * Uses (byte) length instead of null termination. |
| 4 | * Tokens are the same - UTF-8 with (byte) length. |
Damien | 429d719 | 2013-10-04 19:53:11 +0100 | [diff] [blame] | 5 | */ |
| 6 | |
Damien | d99b052 | 2013-12-21 18:17:45 +0000 | [diff] [blame] | 7 | typedef enum _mp_token_kind_t { |
| 8 | MP_TOKEN_END, // 0 |
Damien | 429d719 | 2013-10-04 19:53:11 +0100 | [diff] [blame] | 9 | |
Damien | d99b052 | 2013-12-21 18:17:45 +0000 | [diff] [blame] | 10 | MP_TOKEN_INVALID, |
| 11 | MP_TOKEN_DEDENT_MISMATCH, |
| 12 | MP_TOKEN_LONELY_STRING_OPEN, |
Damien | 429d719 | 2013-10-04 19:53:11 +0100 | [diff] [blame] | 13 | |
Damien | d99b052 | 2013-12-21 18:17:45 +0000 | [diff] [blame] | 14 | MP_TOKEN_NEWLINE, // 4 |
| 15 | MP_TOKEN_INDENT, // 5 |
| 16 | MP_TOKEN_DEDENT, // 6 |
Damien | 429d719 | 2013-10-04 19:53:11 +0100 | [diff] [blame] | 17 | |
Damien | d99b052 | 2013-12-21 18:17:45 +0000 | [diff] [blame] | 18 | MP_TOKEN_NAME, // 7 |
| 19 | MP_TOKEN_NUMBER, |
| 20 | MP_TOKEN_STRING, |
| 21 | MP_TOKEN_BYTES, |
Damien | 429d719 | 2013-10-04 19:53:11 +0100 | [diff] [blame] | 22 | |
Damien George | e9906ac | 2014-01-04 18:44:46 +0000 | [diff] [blame] | 23 | MP_TOKEN_ELLIPSIS, |
Damien | 429d719 | 2013-10-04 19:53:11 +0100 | [diff] [blame] | 24 | |
Damien | d99b052 | 2013-12-21 18:17:45 +0000 | [diff] [blame] | 25 | MP_TOKEN_KW_FALSE, // 12 |
| 26 | MP_TOKEN_KW_NONE, |
| 27 | MP_TOKEN_KW_TRUE, |
| 28 | MP_TOKEN_KW_AND, |
| 29 | MP_TOKEN_KW_AS, |
| 30 | MP_TOKEN_KW_ASSERT, |
| 31 | MP_TOKEN_KW_BREAK, |
| 32 | MP_TOKEN_KW_CLASS, |
| 33 | MP_TOKEN_KW_CONTINUE, |
| 34 | MP_TOKEN_KW_DEF, // 21 |
| 35 | MP_TOKEN_KW_DEL, |
| 36 | MP_TOKEN_KW_ELIF, |
| 37 | MP_TOKEN_KW_ELSE, |
| 38 | MP_TOKEN_KW_EXCEPT, |
| 39 | MP_TOKEN_KW_FINALLY, |
| 40 | MP_TOKEN_KW_FOR, |
| 41 | MP_TOKEN_KW_FROM, |
| 42 | MP_TOKEN_KW_GLOBAL, |
| 43 | MP_TOKEN_KW_IF, |
| 44 | MP_TOKEN_KW_IMPORT, // 31 |
| 45 | MP_TOKEN_KW_IN, |
| 46 | MP_TOKEN_KW_IS, |
| 47 | MP_TOKEN_KW_LAMBDA, |
| 48 | MP_TOKEN_KW_NONLOCAL, |
| 49 | MP_TOKEN_KW_NOT, |
| 50 | MP_TOKEN_KW_OR, |
| 51 | MP_TOKEN_KW_PASS, |
| 52 | MP_TOKEN_KW_RAISE, |
| 53 | MP_TOKEN_KW_RETURN, |
| 54 | MP_TOKEN_KW_TRY, // 41 |
| 55 | MP_TOKEN_KW_WHILE, |
| 56 | MP_TOKEN_KW_WITH, |
| 57 | MP_TOKEN_KW_YIELD, |
Damien | 429d719 | 2013-10-04 19:53:11 +0100 | [diff] [blame] | 58 | |
Damien | d99b052 | 2013-12-21 18:17:45 +0000 | [diff] [blame] | 59 | MP_TOKEN_OP_PLUS, // 45 |
| 60 | MP_TOKEN_OP_MINUS, |
| 61 | MP_TOKEN_OP_STAR, |
| 62 | MP_TOKEN_OP_DBL_STAR, |
| 63 | MP_TOKEN_OP_SLASH, |
| 64 | MP_TOKEN_OP_DBL_SLASH, |
| 65 | MP_TOKEN_OP_PERCENT, |
| 66 | MP_TOKEN_OP_LESS, |
| 67 | MP_TOKEN_OP_DBL_LESS, |
| 68 | MP_TOKEN_OP_MORE, |
| 69 | MP_TOKEN_OP_DBL_MORE, // 55 |
| 70 | MP_TOKEN_OP_AMPERSAND, |
| 71 | MP_TOKEN_OP_PIPE, |
| 72 | MP_TOKEN_OP_CARET, |
| 73 | MP_TOKEN_OP_TILDE, |
| 74 | MP_TOKEN_OP_LESS_EQUAL, |
| 75 | MP_TOKEN_OP_MORE_EQUAL, |
| 76 | MP_TOKEN_OP_DBL_EQUAL, |
| 77 | MP_TOKEN_OP_NOT_EQUAL, |
Damien | 429d719 | 2013-10-04 19:53:11 +0100 | [diff] [blame] | 78 | |
Damien | d99b052 | 2013-12-21 18:17:45 +0000 | [diff] [blame] | 79 | MP_TOKEN_DEL_PAREN_OPEN, // 64 |
| 80 | MP_TOKEN_DEL_PAREN_CLOSE, |
| 81 | MP_TOKEN_DEL_BRACKET_OPEN, |
| 82 | MP_TOKEN_DEL_BRACKET_CLOSE, |
| 83 | MP_TOKEN_DEL_BRACE_OPEN, |
| 84 | MP_TOKEN_DEL_BRACE_CLOSE, |
| 85 | MP_TOKEN_DEL_COMMA, |
| 86 | MP_TOKEN_DEL_COLON, |
| 87 | MP_TOKEN_DEL_PERIOD, |
| 88 | MP_TOKEN_DEL_SEMICOLON, |
| 89 | MP_TOKEN_DEL_AT, // 74 |
| 90 | MP_TOKEN_DEL_EQUAL, |
| 91 | MP_TOKEN_DEL_PLUS_EQUAL, |
| 92 | MP_TOKEN_DEL_MINUS_EQUAL, |
| 93 | MP_TOKEN_DEL_STAR_EQUAL, |
| 94 | MP_TOKEN_DEL_SLASH_EQUAL, |
| 95 | MP_TOKEN_DEL_DBL_SLASH_EQUAL, |
| 96 | MP_TOKEN_DEL_PERCENT_EQUAL, |
| 97 | MP_TOKEN_DEL_AMPERSAND_EQUAL, |
| 98 | MP_TOKEN_DEL_PIPE_EQUAL, |
| 99 | MP_TOKEN_DEL_CARET_EQUAL, // 84 |
| 100 | MP_TOKEN_DEL_DBL_MORE_EQUAL, |
| 101 | MP_TOKEN_DEL_DBL_LESS_EQUAL, |
| 102 | MP_TOKEN_DEL_DBL_STAR_EQUAL, |
| 103 | MP_TOKEN_DEL_MINUS_MORE, |
| 104 | } mp_token_kind_t; |
Damien | 429d719 | 2013-10-04 19:53:11 +0100 | [diff] [blame] | 105 | |
Damien | d99b052 | 2013-12-21 18:17:45 +0000 | [diff] [blame] | 106 | typedef struct _mp_token_t { |
Damien | a5185f4 | 2013-10-20 14:41:27 +0100 | [diff] [blame] | 107 | const char *src_name; // name of source |
| 108 | uint src_line; // source line |
| 109 | uint src_column; // source column |
Damien | 429d719 | 2013-10-04 19:53:11 +0100 | [diff] [blame] | 110 | |
Damien | d99b052 | 2013-12-21 18:17:45 +0000 | [diff] [blame] | 111 | mp_token_kind_t kind; // kind of token |
Damien | a5185f4 | 2013-10-20 14:41:27 +0100 | [diff] [blame] | 112 | const char *str; // string of token (valid only while this token is current token) |
Damien | 429d719 | 2013-10-04 19:53:11 +0100 | [diff] [blame] | 113 | uint len; // (byte) length of string of token |
Damien | d99b052 | 2013-12-21 18:17:45 +0000 | [diff] [blame] | 114 | } mp_token_t; |
Damien | 429d719 | 2013-10-04 19:53:11 +0100 | [diff] [blame] | 115 | |
Damien | a5185f4 | 2013-10-20 14:41:27 +0100 | [diff] [blame] | 116 | // the next-char function must return the next character in the stream |
Damien | d99b052 | 2013-12-21 18:17:45 +0000 | [diff] [blame] | 117 | // it must return MP_LEXER_CHAR_EOF if end of stream |
| 118 | // it can be called again after returning MP_LEXER_CHAR_EOF, and in that case must return MP_LEXER_CHAR_EOF |
| 119 | #define MP_LEXER_CHAR_EOF (-1) |
| 120 | typedef unichar (*mp_lexer_stream_next_char_t)(void*); |
| 121 | typedef void (*mp_lexer_stream_close_t)(void*); |
Damien | a5185f4 | 2013-10-20 14:41:27 +0100 | [diff] [blame] | 122 | |
Damien | d99b052 | 2013-12-21 18:17:45 +0000 | [diff] [blame] | 123 | typedef struct _mp_lexer_t mp_lexer_t; |
Damien | 429d719 | 2013-10-04 19:53:11 +0100 | [diff] [blame] | 124 | |
Damien | d99b052 | 2013-12-21 18:17:45 +0000 | [diff] [blame] | 125 | void mp_token_show(const mp_token_t *tok); |
| 126 | void mp_token_show_error_prefix(const mp_token_t *tok); |
| 127 | bool mp_token_show_error(const mp_token_t *tok, const char *msg); |
Damien | 429d719 | 2013-10-04 19:53:11 +0100 | [diff] [blame] | 128 | |
Damien | d99b052 | 2013-12-21 18:17:45 +0000 | [diff] [blame] | 129 | mp_lexer_t *mp_lexer_new(const char *src_name, void *stream_data, mp_lexer_stream_next_char_t stream_next_char, mp_lexer_stream_close_t stream_close); |
Damien George | 9193f89 | 2014-01-08 15:28:26 +0000 | [diff] [blame] | 130 | mp_lexer_t *mp_lexer_new_from_str_len(const char *src_name, const char *str, uint len, uint free_len); |
| 131 | |
Damien | d99b052 | 2013-12-21 18:17:45 +0000 | [diff] [blame] | 132 | void mp_lexer_free(mp_lexer_t *lex); |
| 133 | void mp_lexer_to_next(mp_lexer_t *lex); |
| 134 | const mp_token_t *mp_lexer_cur(const mp_lexer_t *lex); |
| 135 | bool mp_lexer_is_kind(mp_lexer_t *lex, mp_token_kind_t kind); |
Damien | 429d719 | 2013-10-04 19:53:11 +0100 | [diff] [blame] | 136 | /* unused |
Damien | d99b052 | 2013-12-21 18:17:45 +0000 | [diff] [blame] | 137 | bool mp_lexer_is_str(mp_lexer_t *lex, const char *str); |
| 138 | bool mp_lexer_opt_kind(mp_lexer_t *lex, mp_token_kind_t kind); |
| 139 | bool mp_lexer_opt_str(mp_lexer_t *lex, const char *str); |
Damien | 429d719 | 2013-10-04 19:53:11 +0100 | [diff] [blame] | 140 | */ |
Damien | d99b052 | 2013-12-21 18:17:45 +0000 | [diff] [blame] | 141 | bool mp_lexer_show_error(mp_lexer_t *lex, const char *msg); |
| 142 | bool mp_lexer_show_error_pythonic(mp_lexer_t *lex, const char *msg); |
Damien George | 66028ab | 2014-01-03 14:03:48 +0000 | [diff] [blame] | 143 | |
| 144 | // used to import a module; must be implemented for a specific port |
| 145 | mp_lexer_t *mp_import_open_file(qstr mod_name); |