1991-02-19 08:39:46 -04:00
|
|
|
|
1990-10-14 09:07:46 -03:00
|
|
|
/* Parser-tokenizer link implementation */
|
|
|
|
|
1990-12-20 11:06:42 -04:00
|
|
|
#include "pgenheaders.h"
|
1990-10-14 09:07:46 -03:00
|
|
|
#include "tokenizer.h"
|
|
|
|
#include "node.h"
|
|
|
|
#include "grammar.h"
|
|
|
|
#include "parser.h"
|
1990-12-20 11:06:42 -04:00
|
|
|
#include "parsetok.h"
|
1990-10-14 09:07:46 -03:00
|
|
|
#include "errcode.h"
|
2002-08-04 14:29:52 -03:00
|
|
|
#include "graminit.h"
|
1990-10-14 09:07:46 -03:00
|
|
|
|
1998-04-10 16:35:06 -03:00
|
|
|
int Py_TabcheckFlag;
|
|
|
|
|
1990-10-14 09:07:46 -03:00
|
|
|
|
1990-12-20 11:06:42 -04:00
|
|
|
/* Forward */
|
2008-03-26 19:01:37 -03:00
|
|
|
static node *parsetok(struct tok_state *, grammar *, int, perrdetail *, int *);
|
2002-12-11 10:04:59 -04:00
|
|
|
static void initerr(perrdetail *err_ret, const char* filename);
|
1990-10-14 09:07:46 -03:00
|
|
|
|
1990-12-20 11:06:42 -04:00
|
|
|
/* Parse input coming from a string. Return error code, print some errors. */
|
1994-08-29 09:25:45 -03:00
|
|
|
node *
|
2002-12-11 10:04:59 -04:00
|
|
|
PyParser_ParseString(const char *s, grammar *g, int start, perrdetail *err_ret)
|
2001-07-16 02:37:24 -03:00
|
|
|
{
|
2005-10-20 16:59:25 -03:00
|
|
|
return PyParser_ParseStringFlagsFilename(s, NULL, g, start, err_ret, 0);
|
2001-07-16 02:37:24 -03:00
|
|
|
}
|
|
|
|
|
|
|
|
node *
|
2002-12-11 10:04:59 -04:00
|
|
|
PyParser_ParseStringFlags(const char *s, grammar *g, int start,
|
2001-07-16 02:37:24 -03:00
|
|
|
perrdetail *err_ret, int flags)
|
2002-07-09 06:23:27 -03:00
|
|
|
{
|
|
|
|
return PyParser_ParseStringFlagsFilename(s, NULL,
|
2004-07-07 22:54:07 -03:00
|
|
|
g, start, err_ret, flags);
|
2002-07-09 06:23:27 -03:00
|
|
|
}
|
|
|
|
|
|
|
|
node *
|
2002-12-11 10:04:59 -04:00
|
|
|
PyParser_ParseStringFlagsFilename(const char *s, const char *filename,
|
2002-07-09 06:23:27 -03:00
|
|
|
grammar *g, int start,
|
|
|
|
perrdetail *err_ret, int flags)
|
2008-03-26 19:01:37 -03:00
|
|
|
{
|
|
|
|
int iflags = flags;
|
|
|
|
return PyParser_ParseStringFlagsFilenameEx(s, filename, g, start,
|
|
|
|
err_ret, &iflags);
|
|
|
|
}
|
|
|
|
|
|
|
|
node *
|
|
|
|
PyParser_ParseStringFlagsFilenameEx(const char *s, const char *filename,
|
|
|
|
grammar *g, int start,
|
|
|
|
perrdetail *err_ret, int *flags)
|
1990-10-14 09:07:46 -03:00
|
|
|
{
|
1994-08-29 09:25:45 -03:00
|
|
|
struct tok_state *tok;
|
|
|
|
|
2002-07-09 06:23:27 -03:00
|
|
|
initerr(err_ret, filename);
|
1994-08-29 09:25:45 -03:00
|
|
|
|
1997-04-29 18:03:06 -03:00
|
|
|
if ((tok = PyTokenizer_FromString(s)) == NULL) {
|
2005-10-01 22:48:49 -03:00
|
|
|
err_ret->error = PyErr_Occurred() ? E_DECODE : E_NOMEM;
|
1994-08-29 09:25:45 -03:00
|
|
|
return NULL;
|
1990-10-14 09:07:46 -03:00
|
|
|
}
|
1994-08-29 09:25:45 -03:00
|
|
|
|
2002-08-04 14:29:52 -03:00
|
|
|
tok->filename = filename ? filename : "<string>";
|
1998-12-21 14:32:40 -04:00
|
|
|
if (Py_TabcheckFlag || Py_VerboseFlag) {
|
|
|
|
tok->altwarning = (tok->filename != NULL);
|
|
|
|
if (Py_TabcheckFlag >= 2)
|
|
|
|
tok->alterror++;
|
|
|
|
}
|
|
|
|
|
2001-07-16 02:37:24 -03:00
|
|
|
return parsetok(tok, g, start, err_ret, flags);
|
1990-10-14 09:07:46 -03:00
|
|
|
}
|
|
|
|
|
1990-12-20 11:06:42 -04:00
|
|
|
/* Parse input coming from a file. Return error code, print some errors. */
|
1990-10-14 09:07:46 -03:00
|
|
|
|
1994-08-29 09:25:45 -03:00
|
|
|
node *
|
2002-12-11 10:04:59 -04:00
|
|
|
PyParser_ParseFile(FILE *fp, const char *filename, grammar *g, int start,
|
2000-07-22 16:20:54 -03:00
|
|
|
char *ps1, char *ps2, perrdetail *err_ret)
|
2001-07-16 02:37:24 -03:00
|
|
|
{
|
|
|
|
return PyParser_ParseFileFlags(fp, filename, g, start, ps1, ps2,
|
|
|
|
err_ret, 0);
|
|
|
|
}
|
|
|
|
|
|
|
|
node *
|
2002-12-11 10:04:59 -04:00
|
|
|
PyParser_ParseFileFlags(FILE *fp, const char *filename, grammar *g, int start,
|
2001-07-16 02:37:24 -03:00
|
|
|
char *ps1, char *ps2, perrdetail *err_ret, int flags)
|
2008-03-26 19:01:37 -03:00
|
|
|
{
|
|
|
|
int iflags = flags;
|
|
|
|
return PyParser_ParseFileFlagsEx(fp, filename, g, start, ps1, ps2, err_ret, &iflags);
|
|
|
|
}
|
|
|
|
|
|
|
|
node *
|
|
|
|
PyParser_ParseFileFlagsEx(FILE *fp, const char *filename, grammar *g, int start,
|
|
|
|
char *ps1, char *ps2, perrdetail *err_ret, int *flags)
|
1990-10-14 09:07:46 -03:00
|
|
|
{
|
1994-08-29 09:25:45 -03:00
|
|
|
struct tok_state *tok;
|
|
|
|
|
2002-01-05 17:40:08 -04:00
|
|
|
initerr(err_ret, filename);
|
1994-08-29 09:25:45 -03:00
|
|
|
|
1997-04-29 18:03:06 -03:00
|
|
|
if ((tok = PyTokenizer_FromFile(fp, ps1, ps2)) == NULL) {
|
1994-08-29 09:25:45 -03:00
|
|
|
err_ret->error = E_NOMEM;
|
|
|
|
return NULL;
|
1990-10-14 09:07:46 -03:00
|
|
|
}
|
2002-08-04 14:29:52 -03:00
|
|
|
tok->filename = filename;
|
1998-04-10 16:35:06 -03:00
|
|
|
if (Py_TabcheckFlag || Py_VerboseFlag) {
|
|
|
|
tok->altwarning = (filename != NULL);
|
|
|
|
if (Py_TabcheckFlag >= 2)
|
|
|
|
tok->alterror++;
|
|
|
|
}
|
1994-08-29 09:25:45 -03:00
|
|
|
|
2001-07-16 02:37:24 -03:00
|
|
|
return parsetok(tok, g, start, err_ret, flags);
|
1994-08-29 09:25:45 -03:00
|
|
|
}
|
1990-12-20 11:06:42 -04:00
|
|
|
|
2006-09-06 03:28:06 -03:00
|
|
|
#if 0
|
2006-02-28 15:02:24 -04:00
|
|
|
static char with_msg[] =
|
|
|
|
"%s:%d: Warning: 'with' will become a reserved keyword in Python 2.6\n";
|
|
|
|
|
|
|
|
static char as_msg[] =
|
|
|
|
"%s:%d: Warning: 'as' will become a reserved keyword in Python 2.6\n";
|
|
|
|
|
|
|
|
static void
|
|
|
|
warn(const char *msg, const char *filename, int lineno)
|
|
|
|
{
|
|
|
|
if (filename == NULL)
|
|
|
|
filename = "<string>";
|
|
|
|
PySys_WriteStderr(msg, filename, lineno);
|
|
|
|
}
|
2006-09-06 03:28:06 -03:00
|
|
|
#endif
|
|
|
|
|
|
|
|
/* Parse input coming from the given tokenizer structure.
|
|
|
|
Return error code. */
|
2001-07-17 13:53:11 -03:00
|
|
|
|
1994-08-29 09:25:45 -03:00
|
|
|
static node *
|
2001-07-16 02:37:24 -03:00
|
|
|
parsetok(struct tok_state *tok, grammar *g, int start, perrdetail *err_ret,
|
2008-03-26 19:01:37 -03:00
|
|
|
int *flags)
|
1990-12-20 11:06:42 -04:00
|
|
|
{
|
|
|
|
parser_state *ps;
|
1994-08-29 09:25:45 -03:00
|
|
|
node *n;
|
2006-02-28 15:02:24 -04:00
|
|
|
int started = 0, handling_import = 0, handling_with = 0;
|
1994-08-29 09:25:45 -03:00
|
|
|
|
1997-04-29 18:03:06 -03:00
|
|
|
if ((ps = PyParser_New(g, start)) == NULL) {
|
1990-12-20 11:06:42 -04:00
|
|
|
fprintf(stderr, "no mem for new parser\n");
|
1994-08-29 09:25:45 -03:00
|
|
|
err_ret->error = E_NOMEM;
|
2005-11-15 00:54:23 -04:00
|
|
|
PyTokenizer_Free(tok);
|
1994-08-29 09:25:45 -03:00
|
|
|
return NULL;
|
1990-12-20 11:06:42 -04:00
|
|
|
}
|
2006-02-28 15:02:24 -04:00
|
|
|
#ifdef PY_PARSER_REQUIRES_FUTURE_KEYWORD
|
2008-03-26 19:01:37 -03:00
|
|
|
if (*flags & PyPARSE_PRINT_IS_FUNCTION) {
|
2008-03-18 20:45:49 -03:00
|
|
|
ps->p_flags |= CO_FUTURE_PRINT_FUNCTION;
|
2008-03-26 19:01:37 -03:00
|
|
|
}
|
|
|
|
if (*flags & PyPARSE_UNICODE_LITERALS) {
|
|
|
|
ps->p_flags |= CO_FUTURE_UNICODE_LITERALS;
|
|
|
|
}
|
|
|
|
|
2002-03-22 19:53:36 -04:00
|
|
|
#endif
|
1994-08-29 09:25:45 -03:00
|
|
|
|
1990-12-20 11:06:42 -04:00
|
|
|
for (;;) {
|
|
|
|
char *a, *b;
|
|
|
|
int type;
|
2000-06-28 19:00:02 -03:00
|
|
|
size_t len;
|
1990-12-20 11:06:42 -04:00
|
|
|
char *str;
|
2006-03-01 18:49:05 -04:00
|
|
|
int col_offset;
|
1994-08-29 09:25:45 -03:00
|
|
|
|
1997-04-29 18:03:06 -03:00
|
|
|
type = PyTokenizer_Get(tok, &a, &b);
|
1990-12-20 11:06:42 -04:00
|
|
|
if (type == ERRORTOKEN) {
|
1994-08-29 09:25:45 -03:00
|
|
|
err_ret->error = tok->done;
|
1990-12-20 11:06:42 -04:00
|
|
|
break;
|
|
|
|
}
|
1992-03-04 12:40:44 -04:00
|
|
|
if (type == ENDMARKER && started) {
|
|
|
|
type = NEWLINE; /* Add an extra newline */
|
2006-02-28 15:02:24 -04:00
|
|
|
handling_with = handling_import = 0;
|
1992-03-04 12:40:44 -04:00
|
|
|
started = 0;
|
2003-02-13 18:07:59 -04:00
|
|
|
/* Add the right number of dedent tokens,
|
|
|
|
except if a certain flag is given --
|
|
|
|
codeop.py uses this. */
|
|
|
|
if (tok->indent &&
|
2008-03-26 19:01:37 -03:00
|
|
|
!(*flags & PyPARSE_DONT_IMPLY_DEDENT))
|
2003-02-13 18:07:59 -04:00
|
|
|
{
|
|
|
|
tok->pendin = -tok->indent;
|
|
|
|
tok->indent = 0;
|
|
|
|
}
|
1992-03-04 12:40:44 -04:00
|
|
|
}
|
|
|
|
else
|
|
|
|
started = 1;
|
1994-08-29 09:25:45 -03:00
|
|
|
len = b - a; /* XXX this may compute NULL - NULL */
|
2002-08-04 03:28:21 -03:00
|
|
|
str = (char *) PyObject_MALLOC(len + 1);
|
1990-12-20 11:06:42 -04:00
|
|
|
if (str == NULL) {
|
|
|
|
fprintf(stderr, "no mem for next token\n");
|
1994-08-29 09:25:45 -03:00
|
|
|
err_ret->error = E_NOMEM;
|
1990-12-20 11:06:42 -04:00
|
|
|
break;
|
|
|
|
}
|
1994-08-29 09:25:45 -03:00
|
|
|
if (len > 0)
|
|
|
|
strncpy(str, a, len);
|
1990-12-20 11:06:42 -04:00
|
|
|
str[len] = '\0';
|
2001-07-17 13:53:11 -03:00
|
|
|
|
2006-02-28 15:02:24 -04:00
|
|
|
#ifdef PY_PARSER_REQUIRES_FUTURE_KEYWORD
|
2002-03-22 19:53:36 -04:00
|
|
|
#endif
|
2006-03-01 18:49:05 -04:00
|
|
|
if (a >= tok->line_start)
|
|
|
|
col_offset = a - tok->line_start;
|
|
|
|
else
|
|
|
|
col_offset = -1;
|
|
|
|
|
1994-08-29 09:25:45 -03:00
|
|
|
if ((err_ret->error =
|
2006-03-01 18:49:05 -04:00
|
|
|
PyParser_AddToken(ps, (int)type, str, tok->lineno, col_offset,
|
2000-07-11 14:53:00 -03:00
|
|
|
&(err_ret->expected))) != E_OK) {
|
2006-05-04 02:51:03 -03:00
|
|
|
if (err_ret->error != E_DONE) {
|
2002-08-04 03:28:21 -03:00
|
|
|
PyObject_FREE(str);
|
2006-05-04 02:51:03 -03:00
|
|
|
err_ret->token = type;
|
|
|
|
}
|
1990-12-20 11:06:42 -04:00
|
|
|
break;
|
1997-07-26 22:52:50 -03:00
|
|
|
}
|
1990-12-20 11:06:42 -04:00
|
|
|
}
|
1994-08-29 09:25:45 -03:00
|
|
|
|
|
|
|
if (err_ret->error == E_DONE) {
|
|
|
|
n = ps->p_tree;
|
|
|
|
ps->p_tree = NULL;
|
|
|
|
}
|
|
|
|
else
|
|
|
|
n = NULL;
|
|
|
|
|
2008-03-26 19:20:26 -03:00
|
|
|
#ifdef PY_PARSER_REQUIRES_FUTURE_KEYWORD
|
2008-03-26 19:01:37 -03:00
|
|
|
*flags = ps->p_flags;
|
2008-03-26 19:20:26 -03:00
|
|
|
#endif
|
1997-04-29 18:03:06 -03:00
|
|
|
PyParser_Delete(ps);
|
1994-08-29 09:25:45 -03:00
|
|
|
|
|
|
|
if (n == NULL) {
|
|
|
|
if (tok->lineno <= 1 && tok->done == E_EOF)
|
|
|
|
err_ret->error = E_EOF;
|
|
|
|
err_ret->lineno = tok->lineno;
|
|
|
|
if (tok->buf != NULL) {
|
2007-09-04 11:19:28 -03:00
|
|
|
char *text = NULL;
|
2006-02-15 15:56:18 -04:00
|
|
|
size_t len;
|
2006-02-15 13:27:45 -04:00
|
|
|
assert(tok->cur - tok->buf < INT_MAX);
|
|
|
|
err_ret->offset = (int)(tok->cur - tok->buf);
|
2006-02-15 15:56:18 -04:00
|
|
|
len = tok->inp - tok->buf;
|
2007-09-04 11:19:28 -03:00
|
|
|
#ifdef Py_USING_UNICODE
|
|
|
|
text = PyTokenizer_RestoreEncoding(tok, len, &err_ret->offset);
|
|
|
|
|
|
|
|
#endif
|
|
|
|
if (text == NULL) {
|
|
|
|
text = (char *) PyObject_MALLOC(len + 1);
|
|
|
|
if (text != NULL) {
|
|
|
|
if (len > 0)
|
|
|
|
strncpy(text, tok->buf, len);
|
|
|
|
text[len] = '\0';
|
|
|
|
}
|
1994-08-29 09:25:45 -03:00
|
|
|
}
|
2007-09-04 11:19:28 -03:00
|
|
|
err_ret->text = text;
|
1994-08-29 09:25:45 -03:00
|
|
|
}
|
2002-08-04 14:29:52 -03:00
|
|
|
} else if (tok->encoding != NULL) {
|
2009-09-28 10:08:48 -03:00
|
|
|
/* 'nodes->n_str' uses PyObject_*, while 'tok->encoding' was
|
|
|
|
* allocated using PyMem_
|
|
|
|
*/
|
2002-08-04 14:29:52 -03:00
|
|
|
node* r = PyNode_New(encoding_decl);
|
2009-09-28 10:08:48 -03:00
|
|
|
if (r)
|
|
|
|
r->n_str = PyObject_MALLOC(strlen(tok->encoding)+1);
|
|
|
|
if (!r || !r->n_str) {
|
2006-08-11 22:49:12 -03:00
|
|
|
err_ret->error = E_NOMEM;
|
2009-09-28 10:08:48 -03:00
|
|
|
if (r)
|
|
|
|
PyObject_FREE(r);
|
2006-08-11 22:49:12 -03:00
|
|
|
n = NULL;
|
|
|
|
goto done;
|
|
|
|
}
|
2009-09-28 10:08:48 -03:00
|
|
|
strcpy(r->n_str, tok->encoding);
|
|
|
|
PyMem_FREE(tok->encoding);
|
|
|
|
tok->encoding = NULL;
|
2002-08-04 14:29:52 -03:00
|
|
|
r->n_nchildren = 1;
|
|
|
|
r->n_child = n;
|
|
|
|
n = r;
|
1994-08-29 09:25:45 -03:00
|
|
|
}
|
|
|
|
|
2006-08-11 22:49:12 -03:00
|
|
|
done:
|
1997-04-29 18:03:06 -03:00
|
|
|
PyTokenizer_Free(tok);
|
1994-08-29 09:25:45 -03:00
|
|
|
|
|
|
|
return n;
|
1990-12-20 11:06:42 -04:00
|
|
|
}
|
2001-10-20 11:27:56 -03:00
|
|
|
|
|
|
|
static void
|
2005-10-20 16:59:25 -03:00
|
|
|
initerr(perrdetail *err_ret, const char *filename)
|
2001-10-20 11:27:56 -03:00
|
|
|
{
|
|
|
|
err_ret->error = E_OK;
|
2002-01-05 17:40:08 -04:00
|
|
|
err_ret->filename = filename;
|
2001-10-20 11:27:56 -03:00
|
|
|
err_ret->lineno = 0;
|
|
|
|
err_ret->offset = 0;
|
|
|
|
err_ret->text = NULL;
|
|
|
|
err_ret->token = -1;
|
|
|
|
err_ret->expected = -1;
|
|
|
|
}
|