blob: 14703273c95cb3b7994892ebc9e90caba323181c [file] [log] [blame]
Guido van Rossumf70e43a1991-02-19 12:39:46 +00001
Guido van Rossum85a5fbb1990-10-14 12:07:46 +00002/* Parser-tokenizer link implementation */
3
Guido van Rossum3f5da241990-12-20 15:06:42 +00004#include "pgenheaders.h"
Guido van Rossum85a5fbb1990-10-14 12:07:46 +00005#include "tokenizer.h"
6#include "node.h"
7#include "grammar.h"
8#include "parser.h"
Guido van Rossum3f5da241990-12-20 15:06:42 +00009#include "parsetok.h"
Guido van Rossum85a5fbb1990-10-14 12:07:46 +000010#include "errcode.h"
Martin v. Löwis00f1e3f2002-08-04 17:29:52 +000011#include "graminit.h"
Guido van Rossum85a5fbb1990-10-14 12:07:46 +000012
Guido van Rossum3f5da241990-12-20 15:06:42 +000013
14/* Forward */
Christian Heimes4d6ec852008-03-26 22:34:47 +000015static node *parsetok(struct tok_state *, grammar *, int, perrdetail *, int *);
Martin v. Löwis95292d62002-12-11 14:04:59 +000016static void initerr(perrdetail *err_ret, const char* filename);
Guido van Rossum3f5da241990-12-20 15:06:42 +000017
18/* Parse input coming from a string. Return error code, print some errors. */
Guido van Rossumbd0389d1994-08-29 12:25:45 +000019node *
Martin v. Löwis95292d62002-12-11 14:04:59 +000020PyParser_ParseString(const char *s, grammar *g, int start, perrdetail *err_ret)
Guido van Rossum3f5da241990-12-20 15:06:42 +000021{
Jeremy Hylton3e0055f2005-10-20 19:59:25 +000022 return PyParser_ParseStringFlagsFilename(s, NULL, g, start, err_ret, 0);
Tim Petersfe2127d2001-07-16 05:37:24 +000023}
24
25node *
Martin v. Löwis95292d62002-12-11 14:04:59 +000026PyParser_ParseStringFlags(const char *s, grammar *g, int start,
Tim Petersfe2127d2001-07-16 05:37:24 +000027 perrdetail *err_ret, int flags)
28{
Thomas Heller6b17abf2002-07-09 09:23:27 +000029 return PyParser_ParseStringFlagsFilename(s, NULL,
Neal Norwitz4ded4b52004-07-08 01:54:07 +000030 g, start, err_ret, flags);
Thomas Heller6b17abf2002-07-09 09:23:27 +000031}
32
33node *
Martin v. Löwis95292d62002-12-11 14:04:59 +000034PyParser_ParseStringFlagsFilename(const char *s, const char *filename,
Thomas Heller6b17abf2002-07-09 09:23:27 +000035 grammar *g, int start,
36 perrdetail *err_ret, int flags)
37{
Christian Heimes4d6ec852008-03-26 22:34:47 +000038 int iflags = flags;
39 return PyParser_ParseStringFlagsFilenameEx(s, filename, g, start,
40 err_ret, &iflags);
41}
42
43node *
44PyParser_ParseStringFlagsFilenameEx(const char *s, const char *filename,
45 grammar *g, int start,
46 perrdetail *err_ret, int *flags)
47{
Guido van Rossumbd0389d1994-08-29 12:25:45 +000048 struct tok_state *tok;
49
Thomas Heller6b17abf2002-07-09 09:23:27 +000050 initerr(err_ret, filename);
Guido van Rossumbd0389d1994-08-29 12:25:45 +000051
Benjamin Petersonf5b52242009-03-02 23:31:26 +000052 if (*flags & PyPARSE_IGNORE_COOKIE)
53 tok = PyTokenizer_FromUTF8(s);
54 else
55 tok = PyTokenizer_FromString(s);
56 if (tok == NULL) {
Neal Norwitz40d37812005-10-02 01:48:49 +000057 err_ret->error = PyErr_Occurred() ? E_DECODE : E_NOMEM;
Guido van Rossumbd0389d1994-08-29 12:25:45 +000058 return NULL;
Guido van Rossum3f5da241990-12-20 15:06:42 +000059 }
Guido van Rossumbd0389d1994-08-29 12:25:45 +000060
Martin v. Löwis00f1e3f2002-08-04 17:29:52 +000061 tok->filename = filename ? filename : "<string>";
Tim Petersfe2127d2001-07-16 05:37:24 +000062 return parsetok(tok, g, start, err_ret, flags);
Guido van Rossum3f5da241990-12-20 15:06:42 +000063}
64
Guido van Rossum3f5da241990-12-20 15:06:42 +000065/* Parse input coming from a file. Return error code, print some errors. */
66
Guido van Rossumbd0389d1994-08-29 12:25:45 +000067node *
Martin v. Löwis95292d62002-12-11 14:04:59 +000068PyParser_ParseFile(FILE *fp, const char *filename, grammar *g, int start,
Thomas Wouters23c9e002000-07-22 19:20:54 +000069 char *ps1, char *ps2, perrdetail *err_ret)
Guido van Rossum3f5da241990-12-20 15:06:42 +000070{
Martin v. Löwis85bcc662007-09-04 09:18:06 +000071 return PyParser_ParseFileFlags(fp, filename, NULL,
72 g, start, ps1, ps2, err_ret, 0);
Tim Petersfe2127d2001-07-16 05:37:24 +000073}
74
75node *
Christian Heimes4d6ec852008-03-26 22:34:47 +000076PyParser_ParseFileFlags(FILE *fp, const char *filename, const char *enc,
Martin v. Löwis85bcc662007-09-04 09:18:06 +000077 grammar *g, int start,
Tim Petersfe2127d2001-07-16 05:37:24 +000078 char *ps1, char *ps2, perrdetail *err_ret, int flags)
79{
Christian Heimes4d6ec852008-03-26 22:34:47 +000080 int iflags = flags;
81 return PyParser_ParseFileFlagsEx(fp, filename, enc, g, start, ps1,
82 ps2, err_ret, &iflags);
83}
84
85node *
86PyParser_ParseFileFlagsEx(FILE *fp, const char *filename,
87 const char *enc, grammar *g, int start,
88 char *ps1, char *ps2, perrdetail *err_ret, int *flags)
89{
Guido van Rossumbd0389d1994-08-29 12:25:45 +000090 struct tok_state *tok;
91
Martin v. Löwis16eff6f2002-01-05 21:40:08 +000092 initerr(err_ret, filename);
Guido van Rossumbd0389d1994-08-29 12:25:45 +000093
Brett Cannonfdc1a562007-09-05 20:35:46 +000094 if ((tok = PyTokenizer_FromFile(fp, (char *)enc, ps1, ps2)) == NULL) {
Guido van Rossumbd0389d1994-08-29 12:25:45 +000095 err_ret->error = E_NOMEM;
96 return NULL;
Guido van Rossum3f5da241990-12-20 15:06:42 +000097 }
Martin v. Löwis00f1e3f2002-08-04 17:29:52 +000098 tok->filename = filename;
Tim Petersfe2127d2001-07-16 05:37:24 +000099 return parsetok(tok, g, start, err_ret, flags);
Guido van Rossumbd0389d1994-08-29 12:25:45 +0000100}
Guido van Rossum85a5fbb1990-10-14 12:07:46 +0000101
Neal Norwitze4993c72006-03-16 06:01:25 +0000102#ifdef PY_PARSER_REQUIRES_FUTURE_KEYWORD
Brett Cannone3944a52009-04-01 05:08:41 +0000103#if 0
Thomas Wouters34aa7ba2006-02-28 19:02:24 +0000104static char with_msg[] =
105"%s:%d: Warning: 'with' will become a reserved keyword in Python 2.6\n";
106
107static char as_msg[] =
108"%s:%d: Warning: 'as' will become a reserved keyword in Python 2.6\n";
109
110static void
111warn(const char *msg, const char *filename, int lineno)
112{
113 if (filename == NULL)
114 filename = "<string>";
115 PySys_WriteStderr(msg, filename, lineno);
116}
Neal Norwitzfc85c922006-03-17 05:44:46 +0000117#endif
Brett Cannone3944a52009-04-01 05:08:41 +0000118#endif
Guido van Rossumda62ecc2001-07-17 16:53:11 +0000119
Thomas Wouters89f507f2006-12-13 04:49:30 +0000120/* Parse input coming from the given tokenizer structure.
121 Return error code. */
122
Guido van Rossumbd0389d1994-08-29 12:25:45 +0000123static node *
Tim Petersfe2127d2001-07-16 05:37:24 +0000124parsetok(struct tok_state *tok, grammar *g, int start, perrdetail *err_ret,
Christian Heimes4d6ec852008-03-26 22:34:47 +0000125 int *flags)
Guido van Rossum85a5fbb1990-10-14 12:07:46 +0000126{
127 parser_state *ps;
Guido van Rossumbd0389d1994-08-29 12:25:45 +0000128 node *n;
Thomas Wouters34aa7ba2006-02-28 19:02:24 +0000129 int started = 0, handling_import = 0, handling_with = 0;
Guido van Rossumbd0389d1994-08-29 12:25:45 +0000130
Guido van Rossum86bea461997-04-29 21:03:06 +0000131 if ((ps = PyParser_New(g, start)) == NULL) {
Guido van Rossum85a5fbb1990-10-14 12:07:46 +0000132 fprintf(stderr, "no mem for new parser\n");
Guido van Rossumbd0389d1994-08-29 12:25:45 +0000133 err_ret->error = E_NOMEM;
Neal Norwitz56c65612005-11-15 04:54:23 +0000134 PyTokenizer_Free(tok);
Guido van Rossumbd0389d1994-08-29 12:25:45 +0000135 return NULL;
Guido van Rossum85a5fbb1990-10-14 12:07:46 +0000136 }
Thomas Wouters34aa7ba2006-02-28 19:02:24 +0000137#ifdef PY_PARSER_REQUIRES_FUTURE_KEYWORD
Brett Cannone3944a52009-04-01 05:08:41 +0000138 if (*flags & PyPARSE_BARRY_AS_BDFL)
139 ps->p_flags |= CO_FUTURE_BARRY_AS_BDFL;
Neil Schemenauerc24ea082002-03-22 23:53:36 +0000140#endif
Guido van Rossumbd0389d1994-08-29 12:25:45 +0000141
Guido van Rossum85a5fbb1990-10-14 12:07:46 +0000142 for (;;) {
143 char *a, *b;
144 int type;
Guido van Rossum6da34342000-06-28 22:00:02 +0000145 size_t len;
Guido van Rossum85a5fbb1990-10-14 12:07:46 +0000146 char *str;
Martin v. Löwis49c5da12006-03-01 22:49:05 +0000147 int col_offset;
Guido van Rossumbd0389d1994-08-29 12:25:45 +0000148
Guido van Rossum86bea461997-04-29 21:03:06 +0000149 type = PyTokenizer_Get(tok, &a, &b);
Guido van Rossum85a5fbb1990-10-14 12:07:46 +0000150 if (type == ERRORTOKEN) {
Guido van Rossumbd0389d1994-08-29 12:25:45 +0000151 err_ret->error = tok->done;
Guido van Rossum85a5fbb1990-10-14 12:07:46 +0000152 break;
153 }
Guido van Rossumd8b1d371992-03-04 16:40:44 +0000154 if (type == ENDMARKER && started) {
155 type = NEWLINE; /* Add an extra newline */
Thomas Wouters34aa7ba2006-02-28 19:02:24 +0000156 handling_with = handling_import = 0;
Guido van Rossumd8b1d371992-03-04 16:40:44 +0000157 started = 0;
Guido van Rossum4b499dd32003-02-13 22:07:59 +0000158 /* Add the right number of dedent tokens,
159 except if a certain flag is given --
160 codeop.py uses this. */
161 if (tok->indent &&
Christian Heimes4d6ec852008-03-26 22:34:47 +0000162 !(*flags & PyPARSE_DONT_IMPLY_DEDENT))
Guido van Rossum4b499dd32003-02-13 22:07:59 +0000163 {
164 tok->pendin = -tok->indent;
165 tok->indent = 0;
166 }
Guido van Rossumd8b1d371992-03-04 16:40:44 +0000167 }
168 else
169 started = 1;
Guido van Rossumbd0389d1994-08-29 12:25:45 +0000170 len = b - a; /* XXX this may compute NULL - NULL */
Andrew MacIntyre80d4e2a2002-08-04 06:28:21 +0000171 str = (char *) PyObject_MALLOC(len + 1);
Guido van Rossum85a5fbb1990-10-14 12:07:46 +0000172 if (str == NULL) {
173 fprintf(stderr, "no mem for next token\n");
Guido van Rossumbd0389d1994-08-29 12:25:45 +0000174 err_ret->error = E_NOMEM;
Guido van Rossum85a5fbb1990-10-14 12:07:46 +0000175 break;
176 }
Guido van Rossumbd0389d1994-08-29 12:25:45 +0000177 if (len > 0)
178 strncpy(str, a, len);
Guido van Rossum85a5fbb1990-10-14 12:07:46 +0000179 str[len] = '\0';
Guido van Rossumda62ecc2001-07-17 16:53:11 +0000180
Thomas Wouters34aa7ba2006-02-28 19:02:24 +0000181#ifdef PY_PARSER_REQUIRES_FUTURE_KEYWORD
Brett Cannone3944a52009-04-01 05:08:41 +0000182 if (type == NOTEQUAL) {
183 if (!(ps->p_flags & CO_FUTURE_BARRY_AS_BDFL) &&
184 strcmp(str, "!=")) {
185 err_ret->error = E_SYNTAX;
186 break;
187 }
188 else if ((ps->p_flags & CO_FUTURE_BARRY_AS_BDFL) &&
189 strcmp(str, "<>")) {
190 err_ret->text = "with Barry as BDFL, use '<>' "
191 "instead of '!='";
192 err_ret->error = E_SYNTAX;
193 break;
194 }
Thomas Wouters34aa7ba2006-02-28 19:02:24 +0000195 }
Neil Schemenauerc24ea082002-03-22 23:53:36 +0000196#endif
Martin v. Löwis49c5da12006-03-01 22:49:05 +0000197 if (a >= tok->line_start)
198 col_offset = a - tok->line_start;
199 else
200 col_offset = -1;
201
Guido van Rossumbd0389d1994-08-29 12:25:45 +0000202 if ((err_ret->error =
Guido van Rossum45aecf42006-03-15 04:58:47 +0000203 PyParser_AddToken(ps, (int)type, str,
204 tok->lineno, col_offset,
Fred Drake85f36392000-07-11 17:53:00 +0000205 &(err_ret->expected))) != E_OK) {
Thomas Wouters477c8d52006-05-27 19:21:47 +0000206 if (err_ret->error != E_DONE) {
Andrew MacIntyre80d4e2a2002-08-04 06:28:21 +0000207 PyObject_FREE(str);
Thomas Wouters477c8d52006-05-27 19:21:47 +0000208 err_ret->token = type;
209 }
Guido van Rossum85a5fbb1990-10-14 12:07:46 +0000210 break;
Guido van Rossumff0ec521997-07-27 01:52:50 +0000211 }
Guido van Rossumbd0389d1994-08-29 12:25:45 +0000212 }
213
214 if (err_ret->error == E_DONE) {
215 n = ps->p_tree;
216 ps->p_tree = NULL;
217 }
218 else
219 n = NULL;
Christian Heimesb1b3efc2008-03-26 23:24:27 +0000220
Christian Heimes4d6ec852008-03-26 22:34:47 +0000221#ifdef PY_PARSER_REQUIRES_FUTURE_KEYWORD
222 *flags = ps->p_flags;
223#endif
Guido van Rossum86bea461997-04-29 21:03:06 +0000224 PyParser_Delete(ps);
Guido van Rossumbd0389d1994-08-29 12:25:45 +0000225
226 if (n == NULL) {
227 if (tok->lineno <= 1 && tok->done == E_EOF)
228 err_ret->error = E_EOF;
229 err_ret->lineno = tok->lineno;
Guido van Rossumbd0389d1994-08-29 12:25:45 +0000230 if (tok->buf != NULL) {
Martin v. Löwisa87c4452006-02-15 19:56:18 +0000231 size_t len;
Martin v. Löwis18e16552006-02-15 17:27:45 +0000232 assert(tok->cur - tok->buf < INT_MAX);
233 err_ret->offset = (int)(tok->cur - tok->buf);
Martin v. Löwisa87c4452006-02-15 19:56:18 +0000234 len = tok->inp - tok->buf;
Martin v. Löwis25931462008-03-17 20:43:42 +0000235 err_ret->text = (char *) PyObject_MALLOC(len + 1);
236 if (err_ret->text != NULL) {
237 if (len > 0)
238 strncpy(err_ret->text, tok->buf, len);
239 err_ret->text[len] = '\0';
Guido van Rossumbd0389d1994-08-29 12:25:45 +0000240 }
Guido van Rossum85a5fbb1990-10-14 12:07:46 +0000241 }
Martin v. Löwis00f1e3f2002-08-04 17:29:52 +0000242 } else if (tok->encoding != NULL) {
243 node* r = PyNode_New(encoding_decl);
Thomas Wouters00ee7ba2006-08-21 19:07:27 +0000244 if (!r) {
245 err_ret->error = E_NOMEM;
246 n = NULL;
247 goto done;
248 }
Martin v. Löwis00f1e3f2002-08-04 17:29:52 +0000249 r->n_str = tok->encoding;
250 r->n_nchildren = 1;
251 r->n_child = n;
252 tok->encoding = NULL;
253 n = r;
Guido van Rossum85a5fbb1990-10-14 12:07:46 +0000254 }
Guido van Rossumbd0389d1994-08-29 12:25:45 +0000255
Thomas Wouters00ee7ba2006-08-21 19:07:27 +0000256done:
Guido van Rossum86bea461997-04-29 21:03:06 +0000257 PyTokenizer_Free(tok);
Guido van Rossumbd0389d1994-08-29 12:25:45 +0000258
259 return n;
Guido van Rossum85a5fbb1990-10-14 12:07:46 +0000260}
Guido van Rossum0c156a52001-10-20 14:27:56 +0000261
262static void
Jeremy Hylton3e0055f2005-10-20 19:59:25 +0000263initerr(perrdetail *err_ret, const char *filename)
Guido van Rossum0c156a52001-10-20 14:27:56 +0000264{
265 err_ret->error = E_OK;
Martin v. Löwis16eff6f2002-01-05 21:40:08 +0000266 err_ret->filename = filename;
Guido van Rossum0c156a52001-10-20 14:27:56 +0000267 err_ret->lineno = 0;
268 err_ret->offset = 0;
269 err_ret->text = NULL;
270 err_ret->token = -1;
271 err_ret->expected = -1;
272}