blob: 71792dd4694a957f8826ce2c84c6ebc162904ad1 [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 Rossum6135df61998-04-10 19:35:06 +000013int Py_TabcheckFlag;
14
Guido van Rossum3f5da241990-12-20 15:06:42 +000015
16/* Forward */
Christian Heimes3c608332008-03-26 22:01:37 +000017static node *parsetok(struct tok_state *, grammar *, int, perrdetail *, int *);
Martin v. Löwis95292d62002-12-11 14:04:59 +000018static void initerr(perrdetail *err_ret, const char* filename);
Guido van Rossum3f5da241990-12-20 15:06:42 +000019
20/* Parse input coming from a string. Return error code, print some errors. */
Guido van Rossumbd0389d1994-08-29 12:25:45 +000021node *
Martin v. Löwis95292d62002-12-11 14:04:59 +000022PyParser_ParseString(const char *s, grammar *g, int start, perrdetail *err_ret)
Guido van Rossum3f5da241990-12-20 15:06:42 +000023{
Jeremy Hylton3e0055f2005-10-20 19:59:25 +000024 return PyParser_ParseStringFlagsFilename(s, NULL, g, start, err_ret, 0);
Tim Petersfe2127d2001-07-16 05:37:24 +000025}
26
27node *
Martin v. Löwis95292d62002-12-11 14:04:59 +000028PyParser_ParseStringFlags(const char *s, grammar *g, int start,
Tim Petersfe2127d2001-07-16 05:37:24 +000029 perrdetail *err_ret, int flags)
30{
Thomas Heller6b17abf2002-07-09 09:23:27 +000031 return PyParser_ParseStringFlagsFilename(s, NULL,
Neal Norwitz4ded4b52004-07-08 01:54:07 +000032 g, start, err_ret, flags);
Thomas Heller6b17abf2002-07-09 09:23:27 +000033}
34
35node *
Martin v. Löwis95292d62002-12-11 14:04:59 +000036PyParser_ParseStringFlagsFilename(const char *s, const char *filename,
Thomas Heller6b17abf2002-07-09 09:23:27 +000037 grammar *g, int start,
38 perrdetail *err_ret, int flags)
39{
Christian Heimes3c608332008-03-26 22:01:37 +000040 int iflags = flags;
41 return PyParser_ParseStringFlagsFilenameEx(s, filename, g, start,
42 err_ret, &iflags);
43}
44
45node *
46PyParser_ParseStringFlagsFilenameEx(const char *s, const char *filename,
47 grammar *g, int start,
48 perrdetail *err_ret, int *flags)
49{
Guido van Rossumbd0389d1994-08-29 12:25:45 +000050 struct tok_state *tok;
51
Thomas Heller6b17abf2002-07-09 09:23:27 +000052 initerr(err_ret, filename);
Guido van Rossumbd0389d1994-08-29 12:25:45 +000053
Guido van Rossum86bea461997-04-29 21:03:06 +000054 if ((tok = PyTokenizer_FromString(s)) == NULL) {
Neal Norwitz40d37812005-10-02 01:48:49 +000055 err_ret->error = PyErr_Occurred() ? E_DECODE : E_NOMEM;
Guido van Rossumbd0389d1994-08-29 12:25:45 +000056 return NULL;
Guido van Rossum3f5da241990-12-20 15:06:42 +000057 }
Guido van Rossumbd0389d1994-08-29 12:25:45 +000058
Martin v. Löwis00f1e3f2002-08-04 17:29:52 +000059 tok->filename = filename ? filename : "<string>";
Guido van Rossum89ce4541998-12-21 18:32:40 +000060 if (Py_TabcheckFlag || Py_VerboseFlag) {
Guido van Rossum89ce4541998-12-21 18:32:40 +000061 tok->altwarning = (tok->filename != NULL);
62 if (Py_TabcheckFlag >= 2)
63 tok->alterror++;
64 }
65
Tim Petersfe2127d2001-07-16 05:37:24 +000066 return parsetok(tok, g, start, err_ret, flags);
Guido van Rossum3f5da241990-12-20 15:06:42 +000067}
68
Guido van Rossum3f5da241990-12-20 15:06:42 +000069/* Parse input coming from a file. Return error code, print some errors. */
70
Guido van Rossumbd0389d1994-08-29 12:25:45 +000071node *
Martin v. Löwis95292d62002-12-11 14:04:59 +000072PyParser_ParseFile(FILE *fp, const char *filename, grammar *g, int start,
Thomas Wouters23c9e002000-07-22 19:20:54 +000073 char *ps1, char *ps2, perrdetail *err_ret)
Guido van Rossum3f5da241990-12-20 15:06:42 +000074{
Tim Petersfe2127d2001-07-16 05:37:24 +000075 return PyParser_ParseFileFlags(fp, filename, g, start, ps1, ps2,
76 err_ret, 0);
77}
78
79node *
Martin v. Löwis95292d62002-12-11 14:04:59 +000080PyParser_ParseFileFlags(FILE *fp, const char *filename, grammar *g, int start,
Tim Petersfe2127d2001-07-16 05:37:24 +000081 char *ps1, char *ps2, perrdetail *err_ret, int flags)
82{
Christian Heimes3c608332008-03-26 22:01:37 +000083 int iflags = flags;
84 return PyParser_ParseFileFlagsEx(fp, filename, g, start, ps1, ps2, err_ret, &iflags);
85}
86
87node *
88PyParser_ParseFileFlagsEx(FILE *fp, const char *filename, grammar *g, int start,
89 char *ps1, char *ps2, perrdetail *err_ret, int *flags)
90{
Guido van Rossumbd0389d1994-08-29 12:25:45 +000091 struct tok_state *tok;
92
Martin v. Löwis16eff6f2002-01-05 21:40:08 +000093 initerr(err_ret, filename);
Guido van Rossumbd0389d1994-08-29 12:25:45 +000094
Guido van Rossum86bea461997-04-29 21:03:06 +000095 if ((tok = PyTokenizer_FromFile(fp, ps1, ps2)) == NULL) {
Guido van Rossumbd0389d1994-08-29 12:25:45 +000096 err_ret->error = E_NOMEM;
97 return NULL;
Guido van Rossum3f5da241990-12-20 15:06:42 +000098 }
Martin v. Löwis00f1e3f2002-08-04 17:29:52 +000099 tok->filename = filename;
Guido van Rossum6135df61998-04-10 19:35:06 +0000100 if (Py_TabcheckFlag || Py_VerboseFlag) {
Guido van Rossum6135df61998-04-10 19:35:06 +0000101 tok->altwarning = (filename != NULL);
102 if (Py_TabcheckFlag >= 2)
103 tok->alterror++;
104 }
Guido van Rossumbd0389d1994-08-29 12:25:45 +0000105
Tim Petersfe2127d2001-07-16 05:37:24 +0000106 return parsetok(tok, g, start, err_ret, flags);
Guido van Rossumbd0389d1994-08-29 12:25:45 +0000107}
Guido van Rossum85a5fbb1990-10-14 12:07:46 +0000108
Neal Norwitzca460d92006-09-06 06:28:06 +0000109#if 0
Thomas Wouters34aa7ba2006-02-28 19:02:24 +0000110static char with_msg[] =
111"%s:%d: Warning: 'with' will become a reserved keyword in Python 2.6\n";
112
113static char as_msg[] =
114"%s:%d: Warning: 'as' will become a reserved keyword in Python 2.6\n";
115
116static void
117warn(const char *msg, const char *filename, int lineno)
118{
119 if (filename == NULL)
120 filename = "<string>";
121 PySys_WriteStderr(msg, filename, lineno);
122}
Neal Norwitzca460d92006-09-06 06:28:06 +0000123#endif
124
125/* Parse input coming from the given tokenizer structure.
126 Return error code. */
Guido van Rossumda62ecc2001-07-17 16:53:11 +0000127
Guido van Rossumbd0389d1994-08-29 12:25:45 +0000128static node *
Tim Petersfe2127d2001-07-16 05:37:24 +0000129parsetok(struct tok_state *tok, grammar *g, int start, perrdetail *err_ret,
Christian Heimes3c608332008-03-26 22:01:37 +0000130 int *flags)
Guido van Rossum85a5fbb1990-10-14 12:07:46 +0000131{
132 parser_state *ps;
Guido van Rossumbd0389d1994-08-29 12:25:45 +0000133 node *n;
Thomas Wouters34aa7ba2006-02-28 19:02:24 +0000134 int started = 0, handling_import = 0, handling_with = 0;
Guido van Rossumbd0389d1994-08-29 12:25:45 +0000135
Guido van Rossum86bea461997-04-29 21:03:06 +0000136 if ((ps = PyParser_New(g, start)) == NULL) {
Guido van Rossum85a5fbb1990-10-14 12:07:46 +0000137 fprintf(stderr, "no mem for new parser\n");
Guido van Rossumbd0389d1994-08-29 12:25:45 +0000138 err_ret->error = E_NOMEM;
Neal Norwitz56c65612005-11-15 04:54:23 +0000139 PyTokenizer_Free(tok);
Guido van Rossumbd0389d1994-08-29 12:25:45 +0000140 return NULL;
Guido van Rossum85a5fbb1990-10-14 12:07:46 +0000141 }
Thomas Wouters34aa7ba2006-02-28 19:02:24 +0000142#ifdef PY_PARSER_REQUIRES_FUTURE_KEYWORD
Christian Heimes3c608332008-03-26 22:01:37 +0000143 if (*flags & PyPARSE_PRINT_IS_FUNCTION) {
Eric Smith7c478942008-03-18 23:45:49 +0000144 ps->p_flags |= CO_FUTURE_PRINT_FUNCTION;
Christian Heimes3c608332008-03-26 22:01:37 +0000145 }
146 if (*flags & PyPARSE_UNICODE_LITERALS) {
147 ps->p_flags |= CO_FUTURE_UNICODE_LITERALS;
148 }
149
Neil Schemenauerc24ea082002-03-22 23:53:36 +0000150#endif
Guido van Rossumbd0389d1994-08-29 12:25:45 +0000151
Guido van Rossum85a5fbb1990-10-14 12:07:46 +0000152 for (;;) {
153 char *a, *b;
154 int type;
Guido van Rossum6da34342000-06-28 22:00:02 +0000155 size_t len;
Guido van Rossum85a5fbb1990-10-14 12:07:46 +0000156 char *str;
Martin v. Löwis49c5da12006-03-01 22:49:05 +0000157 int col_offset;
Guido van Rossumbd0389d1994-08-29 12:25:45 +0000158
Guido van Rossum86bea461997-04-29 21:03:06 +0000159 type = PyTokenizer_Get(tok, &a, &b);
Guido van Rossum85a5fbb1990-10-14 12:07:46 +0000160 if (type == ERRORTOKEN) {
Guido van Rossumbd0389d1994-08-29 12:25:45 +0000161 err_ret->error = tok->done;
Guido van Rossum85a5fbb1990-10-14 12:07:46 +0000162 break;
163 }
Guido van Rossumd8b1d371992-03-04 16:40:44 +0000164 if (type == ENDMARKER && started) {
165 type = NEWLINE; /* Add an extra newline */
Thomas Wouters34aa7ba2006-02-28 19:02:24 +0000166 handling_with = handling_import = 0;
Guido van Rossumd8b1d371992-03-04 16:40:44 +0000167 started = 0;
Guido van Rossum4b499dd32003-02-13 22:07:59 +0000168 /* Add the right number of dedent tokens,
169 except if a certain flag is given --
170 codeop.py uses this. */
171 if (tok->indent &&
Christian Heimes3c608332008-03-26 22:01:37 +0000172 !(*flags & PyPARSE_DONT_IMPLY_DEDENT))
Guido van Rossum4b499dd32003-02-13 22:07:59 +0000173 {
174 tok->pendin = -tok->indent;
175 tok->indent = 0;
176 }
Guido van Rossumd8b1d371992-03-04 16:40:44 +0000177 }
178 else
179 started = 1;
Guido van Rossumbd0389d1994-08-29 12:25:45 +0000180 len = b - a; /* XXX this may compute NULL - NULL */
Andrew MacIntyre80d4e2a2002-08-04 06:28:21 +0000181 str = (char *) PyObject_MALLOC(len + 1);
Guido van Rossum85a5fbb1990-10-14 12:07:46 +0000182 if (str == NULL) {
183 fprintf(stderr, "no mem for next token\n");
Guido van Rossumbd0389d1994-08-29 12:25:45 +0000184 err_ret->error = E_NOMEM;
Guido van Rossum85a5fbb1990-10-14 12:07:46 +0000185 break;
186 }
Guido van Rossumbd0389d1994-08-29 12:25:45 +0000187 if (len > 0)
188 strncpy(str, a, len);
Guido van Rossum85a5fbb1990-10-14 12:07:46 +0000189 str[len] = '\0';
Guido van Rossumda62ecc2001-07-17 16:53:11 +0000190
Thomas Wouters34aa7ba2006-02-28 19:02:24 +0000191#ifdef PY_PARSER_REQUIRES_FUTURE_KEYWORD
Neil Schemenauerc24ea082002-03-22 23:53:36 +0000192#endif
Martin v. Löwis49c5da12006-03-01 22:49:05 +0000193 if (a >= tok->line_start)
194 col_offset = a - tok->line_start;
195 else
196 col_offset = -1;
197
Guido van Rossumbd0389d1994-08-29 12:25:45 +0000198 if ((err_ret->error =
Martin v. Löwis49c5da12006-03-01 22:49:05 +0000199 PyParser_AddToken(ps, (int)type, str, tok->lineno, col_offset,
Fred Drake85f36392000-07-11 17:53:00 +0000200 &(err_ret->expected))) != E_OK) {
Martin v. Löwis77736712006-05-04 05:51:03 +0000201 if (err_ret->error != E_DONE) {
Andrew MacIntyre80d4e2a2002-08-04 06:28:21 +0000202 PyObject_FREE(str);
Martin v. Löwis77736712006-05-04 05:51:03 +0000203 err_ret->token = type;
204 }
Guido van Rossum85a5fbb1990-10-14 12:07:46 +0000205 break;
Guido van Rossumff0ec521997-07-27 01:52:50 +0000206 }
Guido van Rossumbd0389d1994-08-29 12:25:45 +0000207 }
208
209 if (err_ret->error == E_DONE) {
210 n = ps->p_tree;
211 ps->p_tree = NULL;
212 }
213 else
214 n = NULL;
215
Christian Heimes342212c2008-03-26 22:20:26 +0000216#ifdef PY_PARSER_REQUIRES_FUTURE_KEYWORD
Christian Heimes3c608332008-03-26 22:01:37 +0000217 *flags = ps->p_flags;
Christian Heimes342212c2008-03-26 22:20:26 +0000218#endif
Guido van Rossum86bea461997-04-29 21:03:06 +0000219 PyParser_Delete(ps);
Guido van Rossumbd0389d1994-08-29 12:25:45 +0000220
221 if (n == NULL) {
222 if (tok->lineno <= 1 && tok->done == E_EOF)
223 err_ret->error = E_EOF;
224 err_ret->lineno = tok->lineno;
Guido van Rossumbd0389d1994-08-29 12:25:45 +0000225 if (tok->buf != NULL) {
Martin v. Löwisa5136192007-09-04 14:19:28 +0000226 char *text = NULL;
Martin v. Löwisa87c4452006-02-15 19:56:18 +0000227 size_t len;
Martin v. Löwis18e16552006-02-15 17:27:45 +0000228 assert(tok->cur - tok->buf < INT_MAX);
229 err_ret->offset = (int)(tok->cur - tok->buf);
Martin v. Löwisa87c4452006-02-15 19:56:18 +0000230 len = tok->inp - tok->buf;
Martin v. Löwisa5136192007-09-04 14:19:28 +0000231#ifdef Py_USING_UNICODE
232 text = PyTokenizer_RestoreEncoding(tok, len, &err_ret->offset);
233
234#endif
235 if (text == NULL) {
236 text = (char *) PyObject_MALLOC(len + 1);
237 if (text != NULL) {
238 if (len > 0)
239 strncpy(text, tok->buf, len);
240 text[len] = '\0';
241 }
Guido van Rossumbd0389d1994-08-29 12:25:45 +0000242 }
Martin v. Löwisa5136192007-09-04 14:19:28 +0000243 err_ret->text = text;
Guido van Rossum85a5fbb1990-10-14 12:07:46 +0000244 }
Martin v. Löwis00f1e3f2002-08-04 17:29:52 +0000245 } else if (tok->encoding != NULL) {
246 node* r = PyNode_New(encoding_decl);
Neal Norwitz6bf1a8f2006-08-12 01:49:12 +0000247 if (!r) {
248 err_ret->error = E_NOMEM;
249 n = NULL;
250 goto done;
251 }
Martin v. Löwis00f1e3f2002-08-04 17:29:52 +0000252 r->n_str = tok->encoding;
253 r->n_nchildren = 1;
254 r->n_child = n;
255 tok->encoding = NULL;
256 n = r;
Guido van Rossum85a5fbb1990-10-14 12:07:46 +0000257 }
Guido van Rossumbd0389d1994-08-29 12:25:45 +0000258
Neal Norwitz6bf1a8f2006-08-12 01:49:12 +0000259done:
Guido van Rossum86bea461997-04-29 21:03:06 +0000260 PyTokenizer_Free(tok);
Guido van Rossumbd0389d1994-08-29 12:25:45 +0000261
262 return n;
Guido van Rossum85a5fbb1990-10-14 12:07:46 +0000263}
Guido van Rossum0c156a52001-10-20 14:27:56 +0000264
265static void
Jeremy Hylton3e0055f2005-10-20 19:59:25 +0000266initerr(perrdetail *err_ret, const char *filename)
Guido van Rossum0c156a52001-10-20 14:27:56 +0000267{
268 err_ret->error = E_OK;
Martin v. Löwis16eff6f2002-01-05 21:40:08 +0000269 err_ret->filename = filename;
Guido van Rossum0c156a52001-10-20 14:27:56 +0000270 err_ret->lineno = 0;
271 err_ret->offset = 0;
272 err_ret->text = NULL;
273 err_ret->token = -1;
274 err_ret->expected = -1;
275}