mirror of
				https://github.com/python/cpython.git
				synced 2025-10-31 13:41:24 +00:00 
			
		
		
		
	 01481f2dc1
			
		
	
	
		01481f2dc1
		
			
		
	
	
	
	
		
			
			* The lexer, which include the actual lexeme producing logic, goes into the `lexer` directory. * The wrappers, one wrapper per input mode (file, string, utf-8, and readline), go into the `tokenizer` directory and include logic for creating a lexer instance and managing the buffer for different modes. --------- Co-authored-by: Pablo Galindo <pablogsal@gmail.com> Co-authored-by: blurb-it[bot] <43283697+blurb-it[bot]@users.noreply.github.com>
		
			
				
	
	
		
			552 lines
		
	
	
	
		
			15 KiB
		
	
	
	
		
			C
		
	
	
	
	
	
			
		
		
	
	
			552 lines
		
	
	
	
		
			15 KiB
		
	
	
	
		
			C
		
	
	
	
	
	
| #include "Python.h"
 | |
| #include "errcode.h"
 | |
| #include "pycore_token.h"
 | |
| 
 | |
| #include "../lexer/state.h"
 | |
| 
 | |
| 
 | |
| /* ############## ERRORS ############## */
 | |
| 
 | |
| static int
 | |
| _syntaxerror_range(struct tok_state *tok, const char *format,
 | |
|                    int col_offset, int end_col_offset,
 | |
|                    va_list vargs)
 | |
| {
 | |
|     // In release builds, we don't want to overwrite a previous error, but in debug builds we
 | |
|     // want to fail if we are not doing it so we can fix it.
 | |
|     assert(tok->done != E_ERROR);
 | |
|     if (tok->done == E_ERROR) {
 | |
|         return ERRORTOKEN;
 | |
|     }
 | |
|     PyObject *errmsg, *errtext, *args;
 | |
|     errmsg = PyUnicode_FromFormatV(format, vargs);
 | |
|     if (!errmsg) {
 | |
|         goto error;
 | |
|     }
 | |
| 
 | |
|     errtext = PyUnicode_DecodeUTF8(tok->line_start, tok->cur - tok->line_start,
 | |
|                                    "replace");
 | |
|     if (!errtext) {
 | |
|         goto error;
 | |
|     }
 | |
| 
 | |
|     if (col_offset == -1) {
 | |
|         col_offset = (int)PyUnicode_GET_LENGTH(errtext);
 | |
|     }
 | |
|     if (end_col_offset == -1) {
 | |
|         end_col_offset = col_offset;
 | |
|     }
 | |
| 
 | |
|     Py_ssize_t line_len = strcspn(tok->line_start, "\n");
 | |
|     if (line_len != tok->cur - tok->line_start) {
 | |
|         Py_DECREF(errtext);
 | |
|         errtext = PyUnicode_DecodeUTF8(tok->line_start, line_len,
 | |
|                                        "replace");
 | |
|     }
 | |
|     if (!errtext) {
 | |
|         goto error;
 | |
|     }
 | |
| 
 | |
|     args = Py_BuildValue("(O(OiiNii))", errmsg, tok->filename, tok->lineno,
 | |
|                          col_offset, errtext, tok->lineno, end_col_offset);
 | |
|     if (args) {
 | |
|         PyErr_SetObject(PyExc_SyntaxError, args);
 | |
|         Py_DECREF(args);
 | |
|     }
 | |
| 
 | |
| error:
 | |
|     Py_XDECREF(errmsg);
 | |
|     tok->done = E_ERROR;
 | |
|     return ERRORTOKEN;
 | |
| }
 | |
| 
 | |
| int
 | |
| _PyTokenizer_syntaxerror(struct tok_state *tok, const char *format, ...)
 | |
| {
 | |
|     // This errors are cleaned on startup. Todo: Fix it.
 | |
|     va_list vargs;
 | |
|     va_start(vargs, format);
 | |
|     int ret = _syntaxerror_range(tok, format, -1, -1, vargs);
 | |
|     va_end(vargs);
 | |
|     return ret;
 | |
| }
 | |
| 
 | |
| int
 | |
| _PyTokenizer_syntaxerror_known_range(struct tok_state *tok,
 | |
|                         int col_offset, int end_col_offset,
 | |
|                         const char *format, ...)
 | |
| {
 | |
|     va_list vargs;
 | |
|     va_start(vargs, format);
 | |
|     int ret = _syntaxerror_range(tok, format, col_offset, end_col_offset, vargs);
 | |
|     va_end(vargs);
 | |
|     return ret;
 | |
| }
 | |
| 
 | |
| int
 | |
| _PyTokenizer_indenterror(struct tok_state *tok)
 | |
| {
 | |
|     tok->done = E_TABSPACE;
 | |
|     tok->cur = tok->inp;
 | |
|     return ERRORTOKEN;
 | |
| }
 | |
| 
 | |
| char *
 | |
| _PyTokenizer_error_ret(struct tok_state *tok) /* XXX */
 | |
| {
 | |
|     tok->decoding_erred = 1;
 | |
|     if ((tok->fp != NULL || tok->readline != NULL) && tok->buf != NULL) {/* see _PyTokenizer_Free */
 | |
|         PyMem_Free(tok->buf);
 | |
|     }
 | |
|     tok->buf = tok->cur = tok->inp = NULL;
 | |
|     tok->start = NULL;
 | |
|     tok->end = NULL;
 | |
|     tok->done = E_DECODE;
 | |
|     return NULL;                /* as if it were EOF */
 | |
| }
 | |
| 
 | |
| int
 | |
| _PyTokenizer_warn_invalid_escape_sequence(struct tok_state *tok, int first_invalid_escape_char)
 | |
| {
 | |
|     if (!tok->report_warnings) {
 | |
|         return 0;
 | |
|     }
 | |
| 
 | |
|     PyObject *msg = PyUnicode_FromFormat(
 | |
|         "invalid escape sequence '\\%c'",
 | |
|         (char) first_invalid_escape_char
 | |
|     );
 | |
| 
 | |
|     if (msg == NULL) {
 | |
|         return -1;
 | |
|     }
 | |
| 
 | |
|     if (PyErr_WarnExplicitObject(PyExc_SyntaxWarning, msg, tok->filename,
 | |
|                                  tok->lineno, NULL, NULL) < 0) {
 | |
|         Py_DECREF(msg);
 | |
| 
 | |
|         if (PyErr_ExceptionMatches(PyExc_SyntaxWarning)) {
 | |
|             /* Replace the SyntaxWarning exception with a SyntaxError
 | |
|                to get a more accurate error report */
 | |
|             PyErr_Clear();
 | |
|             return _PyTokenizer_syntaxerror(tok, "invalid escape sequence '\\%c'", (char) first_invalid_escape_char);
 | |
|         }
 | |
| 
 | |
|         return -1;
 | |
|     }
 | |
| 
 | |
|     Py_DECREF(msg);
 | |
|     return 0;
 | |
| }
 | |
| 
 | |
| int
 | |
| _PyTokenizer_parser_warn(struct tok_state *tok, PyObject *category, const char *format, ...)
 | |
| {
 | |
|     if (!tok->report_warnings) {
 | |
|         return 0;
 | |
|     }
 | |
| 
 | |
|     PyObject *errmsg;
 | |
|     va_list vargs;
 | |
|     va_start(vargs, format);
 | |
|     errmsg = PyUnicode_FromFormatV(format, vargs);
 | |
|     va_end(vargs);
 | |
|     if (!errmsg) {
 | |
|         goto error;
 | |
|     }
 | |
| 
 | |
|     if (PyErr_WarnExplicitObject(category, errmsg, tok->filename,
 | |
|                                  tok->lineno, NULL, NULL) < 0) {
 | |
|         if (PyErr_ExceptionMatches(category)) {
 | |
|             /* Replace the DeprecationWarning exception with a SyntaxError
 | |
|                to get a more accurate error report */
 | |
|             PyErr_Clear();
 | |
|             _PyTokenizer_syntaxerror(tok, "%U", errmsg);
 | |
|         }
 | |
|         goto error;
 | |
|     }
 | |
|     Py_DECREF(errmsg);
 | |
|     return 0;
 | |
| 
 | |
| error:
 | |
|     Py_XDECREF(errmsg);
 | |
|     tok->done = E_ERROR;
 | |
|     return -1;
 | |
| }
 | |
| 
 | |
| 
 | |
| /* ############## STRING MANIPULATION ############## */
 | |
| 
 | |
| char *
 | |
| _PyTokenizer_new_string(const char *s, Py_ssize_t len, struct tok_state *tok)
 | |
| {
 | |
|     char* result = (char *)PyMem_Malloc(len + 1);
 | |
|     if (!result) {
 | |
|         tok->done = E_NOMEM;
 | |
|         return NULL;
 | |
|     }
 | |
|     memcpy(result, s, len);
 | |
|     result[len] = '\0';
 | |
|     return result;
 | |
| }
 | |
| 
 | |
| PyObject *
 | |
| _PyTokenizer_translate_into_utf8(const char* str, const char* enc) {
 | |
|     PyObject *utf8;
 | |
|     PyObject* buf = PyUnicode_Decode(str, strlen(str), enc, NULL);
 | |
|     if (buf == NULL)
 | |
|         return NULL;
 | |
|     utf8 = PyUnicode_AsUTF8String(buf);
 | |
|     Py_DECREF(buf);
 | |
|     return utf8;
 | |
| }
 | |
| 
 | |
| char *
 | |
| _PyTokenizer_translate_newlines(const char *s, int exec_input, int preserve_crlf,
 | |
|                    struct tok_state *tok) {
 | |
|     int skip_next_lf = 0;
 | |
|     size_t needed_length = strlen(s) + 2, final_length;
 | |
|     char *buf, *current;
 | |
|     char c = '\0';
 | |
|     buf = PyMem_Malloc(needed_length);
 | |
|     if (buf == NULL) {
 | |
|         tok->done = E_NOMEM;
 | |
|         return NULL;
 | |
|     }
 | |
|     for (current = buf; *s; s++, current++) {
 | |
|         c = *s;
 | |
|         if (skip_next_lf) {
 | |
|             skip_next_lf = 0;
 | |
|             if (c == '\n') {
 | |
|                 c = *++s;
 | |
|                 if (!c)
 | |
|                     break;
 | |
|             }
 | |
|         }
 | |
|         if (!preserve_crlf && c == '\r') {
 | |
|             skip_next_lf = 1;
 | |
|             c = '\n';
 | |
|         }
 | |
|         *current = c;
 | |
|     }
 | |
|     /* If this is exec input, add a newline to the end of the string if
 | |
|        there isn't one already. */
 | |
|     if (exec_input && c != '\n' && c != '\0') {
 | |
|         *current = '\n';
 | |
|         current++;
 | |
|     }
 | |
|     *current = '\0';
 | |
|     final_length = current - buf + 1;
 | |
|     if (final_length < needed_length && final_length) {
 | |
|         /* should never fail */
 | |
|         char* result = PyMem_Realloc(buf, final_length);
 | |
|         if (result == NULL) {
 | |
|             PyMem_Free(buf);
 | |
|         }
 | |
|         buf = result;
 | |
|     }
 | |
|     return buf;
 | |
| }
 | |
| 
 | |
| /* ############## ENCODING STUFF ############## */
 | |
| 
 | |
| 
 | |
| /* See whether the file starts with a BOM. If it does,
 | |
|    invoke the set_readline function with the new encoding.
 | |
|    Return 1 on success, 0 on failure.  */
 | |
| int
 | |
| _PyTokenizer_check_bom(int get_char(struct tok_state *),
 | |
|           void unget_char(int, struct tok_state *),
 | |
|           int set_readline(struct tok_state *, const char *),
 | |
|           struct tok_state *tok)
 | |
| {
 | |
|     int ch1, ch2, ch3;
 | |
|     ch1 = get_char(tok);
 | |
|     tok->decoding_state = STATE_SEEK_CODING;
 | |
|     if (ch1 == EOF) {
 | |
|         return 1;
 | |
|     } else if (ch1 == 0xEF) {
 | |
|         ch2 = get_char(tok);
 | |
|         if (ch2 != 0xBB) {
 | |
|             unget_char(ch2, tok);
 | |
|             unget_char(ch1, tok);
 | |
|             return 1;
 | |
|         }
 | |
|         ch3 = get_char(tok);
 | |
|         if (ch3 != 0xBF) {
 | |
|             unget_char(ch3, tok);
 | |
|             unget_char(ch2, tok);
 | |
|             unget_char(ch1, tok);
 | |
|             return 1;
 | |
|         }
 | |
|     } else {
 | |
|         unget_char(ch1, tok);
 | |
|         return 1;
 | |
|     }
 | |
|     if (tok->encoding != NULL)
 | |
|         PyMem_Free(tok->encoding);
 | |
|     tok->encoding = _PyTokenizer_new_string("utf-8", 5, tok);
 | |
|     if (!tok->encoding)
 | |
|         return 0;
 | |
|     /* No need to set_readline: input is already utf-8 */
 | |
|     return 1;
 | |
| }
 | |
| 
 | |
| static const char *
 | |
| get_normal_name(const char *s)  /* for utf-8 and latin-1 */
 | |
| {
 | |
|     char buf[13];
 | |
|     int i;
 | |
|     for (i = 0; i < 12; i++) {
 | |
|         int c = s[i];
 | |
|         if (c == '\0')
 | |
|             break;
 | |
|         else if (c == '_')
 | |
|             buf[i] = '-';
 | |
|         else
 | |
|             buf[i] = Py_TOLOWER(c);
 | |
|     }
 | |
|     buf[i] = '\0';
 | |
|     if (strcmp(buf, "utf-8") == 0 ||
 | |
|         strncmp(buf, "utf-8-", 6) == 0)
 | |
|         return "utf-8";
 | |
|     else if (strcmp(buf, "latin-1") == 0 ||
 | |
|              strcmp(buf, "iso-8859-1") == 0 ||
 | |
|              strcmp(buf, "iso-latin-1") == 0 ||
 | |
|              strncmp(buf, "latin-1-", 8) == 0 ||
 | |
|              strncmp(buf, "iso-8859-1-", 11) == 0 ||
 | |
|              strncmp(buf, "iso-latin-1-", 12) == 0)
 | |
|         return "iso-8859-1";
 | |
|     else
 | |
|         return s;
 | |
| }
 | |
| 
 | |
| /* Return the coding spec in S, or NULL if none is found.  */
 | |
| static int
 | |
| get_coding_spec(const char *s, char **spec, Py_ssize_t size, struct tok_state *tok)
 | |
| {
 | |
|     Py_ssize_t i;
 | |
|     *spec = NULL;
 | |
|     /* Coding spec must be in a comment, and that comment must be
 | |
|      * the only statement on the source code line. */
 | |
|     for (i = 0; i < size - 6; i++) {
 | |
|         if (s[i] == '#')
 | |
|             break;
 | |
|         if (s[i] != ' ' && s[i] != '\t' && s[i] != '\014')
 | |
|             return 1;
 | |
|     }
 | |
|     for (; i < size - 6; i++) { /* XXX inefficient search */
 | |
|         const char* t = s + i;
 | |
|         if (memcmp(t, "coding", 6) == 0) {
 | |
|             const char* begin = NULL;
 | |
|             t += 6;
 | |
|             if (t[0] != ':' && t[0] != '=')
 | |
|                 continue;
 | |
|             do {
 | |
|                 t++;
 | |
|             } while (t[0] == ' ' || t[0] == '\t');
 | |
| 
 | |
|             begin = t;
 | |
|             while (Py_ISALNUM(t[0]) ||
 | |
|                    t[0] == '-' || t[0] == '_' || t[0] == '.')
 | |
|                 t++;
 | |
| 
 | |
|             if (begin < t) {
 | |
|                 char* r = _PyTokenizer_new_string(begin, t - begin, tok);
 | |
|                 const char* q;
 | |
|                 if (!r)
 | |
|                     return 0;
 | |
|                 q = get_normal_name(r);
 | |
|                 if (r != q) {
 | |
|                     PyMem_Free(r);
 | |
|                     r = _PyTokenizer_new_string(q, strlen(q), tok);
 | |
|                     if (!r)
 | |
|                         return 0;
 | |
|                 }
 | |
|                 *spec = r;
 | |
|                 break;
 | |
|             }
 | |
|         }
 | |
|     }
 | |
|     return 1;
 | |
| }
 | |
| 
 | |
| /* Check whether the line contains a coding spec. If it does,
 | |
|    invoke the set_readline function for the new encoding.
 | |
|    This function receives the tok_state and the new encoding.
 | |
|    Return 1 on success, 0 on failure.  */
 | |
| int
 | |
| _PyTokenizer_check_coding_spec(const char* line, Py_ssize_t size, struct tok_state *tok,
 | |
|                   int set_readline(struct tok_state *, const char *))
 | |
| {
 | |
|     char *cs;
 | |
|     if (tok->cont_line) {
 | |
|         /* It's a continuation line, so it can't be a coding spec. */
 | |
|         tok->decoding_state = STATE_NORMAL;
 | |
|         return 1;
 | |
|     }
 | |
|     if (!get_coding_spec(line, &cs, size, tok)) {
 | |
|         return 0;
 | |
|     }
 | |
|     if (!cs) {
 | |
|         Py_ssize_t i;
 | |
|         for (i = 0; i < size; i++) {
 | |
|             if (line[i] == '#' || line[i] == '\n' || line[i] == '\r')
 | |
|                 break;
 | |
|             if (line[i] != ' ' && line[i] != '\t' && line[i] != '\014') {
 | |
|                 /* Stop checking coding spec after a line containing
 | |
|                  * anything except a comment. */
 | |
|                 tok->decoding_state = STATE_NORMAL;
 | |
|                 break;
 | |
|             }
 | |
|         }
 | |
|         return 1;
 | |
|     }
 | |
|     tok->decoding_state = STATE_NORMAL;
 | |
|     if (tok->encoding == NULL) {
 | |
|         assert(tok->decoding_readline == NULL);
 | |
|         if (strcmp(cs, "utf-8") != 0 && !set_readline(tok, cs)) {
 | |
|             _PyTokenizer_error_ret(tok);
 | |
|             PyErr_Format(PyExc_SyntaxError, "encoding problem: %s", cs);
 | |
|             PyMem_Free(cs);
 | |
|             return 0;
 | |
|         }
 | |
|         tok->encoding = cs;
 | |
|     } else {                /* then, compare cs with BOM */
 | |
|         if (strcmp(tok->encoding, cs) != 0) {
 | |
|             _PyTokenizer_error_ret(tok);
 | |
|             PyErr_Format(PyExc_SyntaxError,
 | |
|                          "encoding problem: %s with BOM", cs);
 | |
|             PyMem_Free(cs);
 | |
|             return 0;
 | |
|         }
 | |
|         PyMem_Free(cs);
 | |
|     }
 | |
|     return 1;
 | |
| }
 | |
| 
 | |
| /* Check whether the characters at s start a valid
 | |
|    UTF-8 sequence. Return the number of characters forming
 | |
|    the sequence if yes, 0 if not.  The special cases match
 | |
|    those in stringlib/codecs.h:utf8_decode.
 | |
| */
 | |
| static int
 | |
| valid_utf8(const unsigned char* s)
 | |
| {
 | |
|     int expected = 0;
 | |
|     int length;
 | |
|     if (*s < 0x80) {
 | |
|         /* single-byte code */
 | |
|         return 1;
 | |
|     }
 | |
|     else if (*s < 0xE0) {
 | |
|         /* \xC2\x80-\xDF\xBF -- 0080-07FF */
 | |
|         if (*s < 0xC2) {
 | |
|             /* invalid sequence
 | |
|                \x80-\xBF -- continuation byte
 | |
|                \xC0-\xC1 -- fake 0000-007F */
 | |
|             return 0;
 | |
|         }
 | |
|         expected = 1;
 | |
|     }
 | |
|     else if (*s < 0xF0) {
 | |
|         /* \xE0\xA0\x80-\xEF\xBF\xBF -- 0800-FFFF */
 | |
|         if (*s == 0xE0 && *(s + 1) < 0xA0) {
 | |
|             /* invalid sequence
 | |
|                \xE0\x80\x80-\xE0\x9F\xBF -- fake 0000-0800 */
 | |
|             return 0;
 | |
|         }
 | |
|         else if (*s == 0xED && *(s + 1) >= 0xA0) {
 | |
|             /* Decoding UTF-8 sequences in range \xED\xA0\x80-\xED\xBF\xBF
 | |
|                will result in surrogates in range D800-DFFF. Surrogates are
 | |
|                not valid UTF-8 so they are rejected.
 | |
|                See https://www.unicode.org/versions/Unicode5.2.0/ch03.pdf
 | |
|                (table 3-7) and http://www.rfc-editor.org/rfc/rfc3629.txt */
 | |
|             return 0;
 | |
|         }
 | |
|         expected = 2;
 | |
|     }
 | |
|     else if (*s < 0xF5) {
 | |
|         /* \xF0\x90\x80\x80-\xF4\x8F\xBF\xBF -- 10000-10FFFF */
 | |
|         if (*(s + 1) < 0x90 ? *s == 0xF0 : *s == 0xF4) {
 | |
|             /* invalid sequence -- one of:
 | |
|                \xF0\x80\x80\x80-\xF0\x8F\xBF\xBF -- fake 0000-FFFF
 | |
|                \xF4\x90\x80\x80- -- 110000- overflow */
 | |
|             return 0;
 | |
|         }
 | |
|         expected = 3;
 | |
|     }
 | |
|     else {
 | |
|         /* invalid start byte */
 | |
|         return 0;
 | |
|     }
 | |
|     length = expected + 1;
 | |
|     for (; expected; expected--)
 | |
|         if (s[expected] < 0x80 || s[expected] >= 0xC0)
 | |
|             return 0;
 | |
|     return length;
 | |
| }
 | |
| 
 | |
| int
 | |
| _PyTokenizer_ensure_utf8(char *line, struct tok_state *tok)
 | |
| {
 | |
|     int badchar = 0;
 | |
|     unsigned char *c;
 | |
|     int length;
 | |
|     for (c = (unsigned char *)line; *c; c += length) {
 | |
|         if (!(length = valid_utf8(c))) {
 | |
|             badchar = *c;
 | |
|             break;
 | |
|         }
 | |
|     }
 | |
|     if (badchar) {
 | |
|         PyErr_Format(PyExc_SyntaxError,
 | |
|                      "Non-UTF-8 code starting with '\\x%.2x' "
 | |
|                      "in file %U on line %i, "
 | |
|                      "but no encoding declared; "
 | |
|                      "see https://peps.python.org/pep-0263/ for details",
 | |
|                      badchar, tok->filename, tok->lineno);
 | |
|         return 0;
 | |
|     }
 | |
|     return 1;
 | |
| }
 | |
| 
 | |
| 
 | |
| /* ############## DEBUGGING STUFF ############## */
 | |
| 
 | |
| #ifdef Py_DEBUG
 | |
| void
 | |
| _PyTokenizer_print_escape(FILE *f, const char *s, Py_ssize_t size)
 | |
| {
 | |
|     if (s == NULL) {
 | |
|         fputs("NULL", f);
 | |
|         return;
 | |
|     }
 | |
|     putc('"', f);
 | |
|     while (size-- > 0) {
 | |
|         unsigned char c = *s++;
 | |
|         switch (c) {
 | |
|             case '\n': fputs("\\n", f); break;
 | |
|             case '\r': fputs("\\r", f); break;
 | |
|             case '\t': fputs("\\t", f); break;
 | |
|             case '\f': fputs("\\f", f); break;
 | |
|             case '\'': fputs("\\'", f); break;
 | |
|             case '"': fputs("\\\"", f); break;
 | |
|             default:
 | |
|                 if (0x20 <= c && c <= 0x7f)
 | |
|                     putc(c, f);
 | |
|                 else
 | |
|                     fprintf(f, "\\x%02x", c);
 | |
|         }
 | |
|     }
 | |
|     putc('"', f);
 | |
| }
 | |
| 
 | |
| void
 | |
| _PyTokenizer_tok_dump(int type, char *start, char *end)
 | |
| {
 | |
|     fprintf(stderr, "%s", _PyParser_TokenNames[type]);
 | |
|     if (type == NAME || type == NUMBER || type == STRING || type == OP)
 | |
|         fprintf(stderr, "(%.*s)", (int)(end - start), start);
 | |
| }
 | |
| #endif
 |