blob: 431a87cba7af2208af4045a62592fafa7a09398b [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 *);
Victor Stinner7f2fee32011-04-05 00:39:01 +020016static int 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{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +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,
Antoine Pitrouf95a1b32010-05-09 15:52:27 +000027 perrdetail *err_ret, int flags)
Tim Petersfe2127d2001-07-16 05:37:24 +000028{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +000029 return PyParser_ParseStringFlagsFilename(s, NULL,
30 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,
Antoine Pitrouf95a1b32010-05-09 15:52:27 +000035 grammar *g, int start,
36 perrdetail *err_ret, int flags)
Thomas Heller6b17abf2002-07-09 09:23:27 +000037{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +000038 int iflags = flags;
39 return PyParser_ParseStringFlagsFilenameEx(s, filename, g, start,
40 err_ret, &iflags);
Christian Heimes4d6ec852008-03-26 22:34:47 +000041}
42
43node *
44PyParser_ParseStringFlagsFilenameEx(const char *s, const char *filename,
Antoine Pitrouf95a1b32010-05-09 15:52:27 +000045 grammar *g, int start,
46 perrdetail *err_ret, int *flags)
Christian Heimes4d6ec852008-03-26 22:34:47 +000047{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +000048 struct tok_state *tok;
49 int exec_input = start == file_input;
Guido van Rossumbd0389d1994-08-29 12:25:45 +000050
Victor Stinner7f2fee32011-04-05 00:39:01 +020051 if (initerr(err_ret, filename) < 0)
52 return NULL;
Guido van Rossumbd0389d1994-08-29 12:25:45 +000053
Antoine Pitrouf95a1b32010-05-09 15:52:27 +000054 if (*flags & PyPARSE_IGNORE_COOKIE)
55 tok = PyTokenizer_FromUTF8(s, exec_input);
56 else
57 tok = PyTokenizer_FromString(s, exec_input);
58 if (tok == NULL) {
59 err_ret->error = PyErr_Occurred() ? E_DECODE : E_NOMEM;
60 return NULL;
61 }
Guido van Rossumbd0389d1994-08-29 12:25:45 +000062
Victor Stinner7f2fee32011-04-05 00:39:01 +020063#ifndef PGEN
64 Py_INCREF(err_ret->filename);
65 tok->filename = err_ret->filename;
66#endif
Antoine Pitrouf95a1b32010-05-09 15:52:27 +000067 return parsetok(tok, g, start, err_ret, flags);
Guido van Rossum3f5da241990-12-20 15:06:42 +000068}
69
Guido van Rossum3f5da241990-12-20 15:06:42 +000070/* Parse input coming from a file. Return error code, print some errors. */
71
Guido van Rossumbd0389d1994-08-29 12:25:45 +000072node *
Martin v. Löwis95292d62002-12-11 14:04:59 +000073PyParser_ParseFile(FILE *fp, const char *filename, grammar *g, int start,
Antoine Pitrouf95a1b32010-05-09 15:52:27 +000074 char *ps1, char *ps2, perrdetail *err_ret)
Guido van Rossum3f5da241990-12-20 15:06:42 +000075{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +000076 return PyParser_ParseFileFlags(fp, filename, NULL,
77 g, start, ps1, ps2, err_ret, 0);
Tim Petersfe2127d2001-07-16 05:37:24 +000078}
79
80node *
Christian Heimes4d6ec852008-03-26 22:34:47 +000081PyParser_ParseFileFlags(FILE *fp, const char *filename, const char *enc,
Antoine Pitrouf95a1b32010-05-09 15:52:27 +000082 grammar *g, int start,
83 char *ps1, char *ps2, perrdetail *err_ret, int flags)
Tim Petersfe2127d2001-07-16 05:37:24 +000084{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +000085 int iflags = flags;
86 return PyParser_ParseFileFlagsEx(fp, filename, enc, g, start, ps1,
87 ps2, err_ret, &iflags);
Christian Heimes4d6ec852008-03-26 22:34:47 +000088}
89
90node *
Antoine Pitrouf95a1b32010-05-09 15:52:27 +000091PyParser_ParseFileFlagsEx(FILE *fp, const char *filename,
92 const char *enc, grammar *g, int start,
93 char *ps1, char *ps2, perrdetail *err_ret, int *flags)
Christian Heimes4d6ec852008-03-26 22:34:47 +000094{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +000095 struct tok_state *tok;
Guido van Rossumbd0389d1994-08-29 12:25:45 +000096
Victor Stinner7f2fee32011-04-05 00:39:01 +020097 if (initerr(err_ret, filename) < 0)
98 return NULL;
Guido van Rossumbd0389d1994-08-29 12:25:45 +000099
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000100 if ((tok = PyTokenizer_FromFile(fp, (char *)enc, ps1, ps2)) == NULL) {
101 err_ret->error = E_NOMEM;
102 return NULL;
103 }
Victor Stinner7f2fee32011-04-05 00:39:01 +0200104#ifndef PGEN
105 Py_INCREF(err_ret->filename);
106 tok->filename = err_ret->filename;
107#endif
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000108 return parsetok(tok, g, start, err_ret, flags);
Guido van Rossumbd0389d1994-08-29 12:25:45 +0000109}
Guido van Rossum85a5fbb1990-10-14 12:07:46 +0000110
Neal Norwitze4993c72006-03-16 06:01:25 +0000111#ifdef PY_PARSER_REQUIRES_FUTURE_KEYWORD
Brett Cannone3944a52009-04-01 05:08:41 +0000112#if 0
Thomas Wouters34aa7ba2006-02-28 19:02:24 +0000113static char with_msg[] =
114"%s:%d: Warning: 'with' will become a reserved keyword in Python 2.6\n";
115
116static char as_msg[] =
117"%s:%d: Warning: 'as' will become a reserved keyword in Python 2.6\n";
118
119static void
120warn(const char *msg, const char *filename, int lineno)
121{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000122 if (filename == NULL)
123 filename = "<string>";
124 PySys_WriteStderr(msg, filename, lineno);
Thomas Wouters34aa7ba2006-02-28 19:02:24 +0000125}
Neal Norwitzfc85c922006-03-17 05:44:46 +0000126#endif
Brett Cannone3944a52009-04-01 05:08:41 +0000127#endif
Guido van Rossumda62ecc2001-07-17 16:53:11 +0000128
Thomas Wouters89f507f2006-12-13 04:49:30 +0000129/* Parse input coming from the given tokenizer structure.
130 Return error code. */
131
Guido van Rossumbd0389d1994-08-29 12:25:45 +0000132static node *
Tim Petersfe2127d2001-07-16 05:37:24 +0000133parsetok(struct tok_state *tok, grammar *g, int start, perrdetail *err_ret,
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000134 int *flags)
Guido van Rossum85a5fbb1990-10-14 12:07:46 +0000135{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000136 parser_state *ps;
137 node *n;
Brett Cannonb94767f2011-02-22 20:15:44 +0000138 int started = 0;
Guido van Rossumbd0389d1994-08-29 12:25:45 +0000139
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000140 if ((ps = PyParser_New(g, start)) == NULL) {
141 fprintf(stderr, "no mem for new parser\n");
142 err_ret->error = E_NOMEM;
143 PyTokenizer_Free(tok);
144 return NULL;
145 }
Thomas Wouters34aa7ba2006-02-28 19:02:24 +0000146#ifdef PY_PARSER_REQUIRES_FUTURE_KEYWORD
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000147 if (*flags & PyPARSE_BARRY_AS_BDFL)
148 ps->p_flags |= CO_FUTURE_BARRY_AS_BDFL;
Neil Schemenauerc24ea082002-03-22 23:53:36 +0000149#endif
Guido van Rossumbd0389d1994-08-29 12:25:45 +0000150
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000151 for (;;) {
152 char *a, *b;
153 int type;
154 size_t len;
155 char *str;
156 int col_offset;
Guido van Rossumbd0389d1994-08-29 12:25:45 +0000157
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000158 type = PyTokenizer_Get(tok, &a, &b);
159 if (type == ERRORTOKEN) {
160 err_ret->error = tok->done;
161 break;
162 }
163 if (type == ENDMARKER && started) {
164 type = NEWLINE; /* Add an extra newline */
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000165 started = 0;
166 /* Add the right number of dedent tokens,
167 except if a certain flag is given --
168 codeop.py uses this. */
169 if (tok->indent &&
170 !(*flags & PyPARSE_DONT_IMPLY_DEDENT))
171 {
172 tok->pendin = -tok->indent;
173 tok->indent = 0;
174 }
175 }
176 else
177 started = 1;
178 len = b - a; /* XXX this may compute NULL - NULL */
179 str = (char *) PyObject_MALLOC(len + 1);
180 if (str == NULL) {
181 fprintf(stderr, "no mem for next token\n");
182 err_ret->error = E_NOMEM;
183 break;
184 }
185 if (len > 0)
186 strncpy(str, a, len);
187 str[len] = '\0';
Guido van Rossumda62ecc2001-07-17 16:53:11 +0000188
Thomas Wouters34aa7ba2006-02-28 19:02:24 +0000189#ifdef PY_PARSER_REQUIRES_FUTURE_KEYWORD
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000190 if (type == NOTEQUAL) {
191 if (!(ps->p_flags & CO_FUTURE_BARRY_AS_BDFL) &&
192 strcmp(str, "!=")) {
193 err_ret->error = E_SYNTAX;
194 break;
195 }
196 else if ((ps->p_flags & CO_FUTURE_BARRY_AS_BDFL) &&
197 strcmp(str, "<>")) {
198 err_ret->text = "with Barry as BDFL, use '<>' "
199 "instead of '!='";
200 err_ret->error = E_SYNTAX;
201 break;
202 }
203 }
Neil Schemenauerc24ea082002-03-22 23:53:36 +0000204#endif
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000205 if (a >= tok->line_start)
206 col_offset = a - tok->line_start;
207 else
208 col_offset = -1;
Guido van Rossumbd0389d1994-08-29 12:25:45 +0000209
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000210 if ((err_ret->error =
211 PyParser_AddToken(ps, (int)type, str,
212 tok->lineno, col_offset,
213 &(err_ret->expected))) != E_OK) {
214 if (err_ret->error != E_DONE) {
215 PyObject_FREE(str);
216 err_ret->token = type;
217 }
218 break;
219 }
220 }
221
222 if (err_ret->error == E_DONE) {
223 n = ps->p_tree;
224 ps->p_tree = NULL;
225 }
226 else
227 n = NULL;
Christian Heimesb1b3efc2008-03-26 23:24:27 +0000228
Christian Heimes4d6ec852008-03-26 22:34:47 +0000229#ifdef PY_PARSER_REQUIRES_FUTURE_KEYWORD
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000230 *flags = ps->p_flags;
Christian Heimes4d6ec852008-03-26 22:34:47 +0000231#endif
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000232 PyParser_Delete(ps);
Guido van Rossumbd0389d1994-08-29 12:25:45 +0000233
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000234 if (n == NULL) {
Benjamin Peterson758888d2011-05-30 11:12:38 -0500235 if (tok->done == E_EOF)
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000236 err_ret->error = E_EOF;
237 err_ret->lineno = tok->lineno;
238 if (tok->buf != NULL) {
239 size_t len;
240 assert(tok->cur - tok->buf < INT_MAX);
241 err_ret->offset = (int)(tok->cur - tok->buf);
242 len = tok->inp - tok->buf;
243 err_ret->text = (char *) PyObject_MALLOC(len + 1);
244 if (err_ret->text != NULL) {
245 if (len > 0)
246 strncpy(err_ret->text, tok->buf, len);
247 err_ret->text[len] = '\0';
248 }
249 }
250 } else if (tok->encoding != NULL) {
251 /* 'nodes->n_str' uses PyObject_*, while 'tok->encoding' was
252 * allocated using PyMem_
253 */
254 node* r = PyNode_New(encoding_decl);
255 if (r)
256 r->n_str = PyObject_MALLOC(strlen(tok->encoding)+1);
257 if (!r || !r->n_str) {
258 err_ret->error = E_NOMEM;
259 if (r)
260 PyObject_FREE(r);
261 n = NULL;
262 goto done;
263 }
264 strcpy(r->n_str, tok->encoding);
265 PyMem_FREE(tok->encoding);
266 tok->encoding = NULL;
267 r->n_nchildren = 1;
268 r->n_child = n;
269 n = r;
270 }
Guido van Rossumbd0389d1994-08-29 12:25:45 +0000271
Thomas Wouters00ee7ba2006-08-21 19:07:27 +0000272done:
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000273 PyTokenizer_Free(tok);
Guido van Rossumbd0389d1994-08-29 12:25:45 +0000274
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000275 return n;
Guido van Rossum85a5fbb1990-10-14 12:07:46 +0000276}
Guido van Rossum0c156a52001-10-20 14:27:56 +0000277
Victor Stinner7f2fee32011-04-05 00:39:01 +0200278static int
Jeremy Hylton3e0055f2005-10-20 19:59:25 +0000279initerr(perrdetail *err_ret, const char *filename)
Guido van Rossum0c156a52001-10-20 14:27:56 +0000280{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000281 err_ret->error = E_OK;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000282 err_ret->lineno = 0;
283 err_ret->offset = 0;
284 err_ret->text = NULL;
285 err_ret->token = -1;
286 err_ret->expected = -1;
Victor Stinner7f2fee32011-04-05 00:39:01 +0200287#ifndef PGEN
288 if (filename)
289 err_ret->filename = PyUnicode_DecodeFSDefault(filename);
290 else
291 err_ret->filename = PyUnicode_FromString("<string>");
292 if (err_ret->filename == NULL) {
293 err_ret->error = E_ERROR;
294 return -1;
295 }
296#endif
297 return 0;
Guido van Rossum0c156a52001-10-20 14:27:56 +0000298}