blob: 8f3e2f7c4ee5d712c52341f535d1a296637d9b80 [file] [log] [blame]
Guido van Rossumf70e43a1991-02-19 12:39:46 +00001
Guido van Rossum85a5fbb1990-10-14 12:07:46 +00002/* Parser generator main program */
3
Guido van Rossum3f5da241990-12-20 15:06:42 +00004/* This expects a filename containing the grammar as argv[1] (UNIX)
5 or asks the console for such a file name (THINK C).
6 It writes its output on two files in the current directory:
7 - "graminit.c" gets the grammar as a bunch of initialized data
8 - "graminit.h" gets the grammar's non-terminals as #defines.
9 Error messages and status info during the generation process are
10 written to stdout, or sometimes to stderr. */
Guido van Rossum85a5fbb1990-10-14 12:07:46 +000011
Guido van Rossum1d5735e1994-08-30 08:27:36 +000012/* XXX TO DO:
13 - check for duplicate definitions of names (instead of fatal err)
14*/
15
Victor Stinner60fe4992010-12-28 23:05:20 +000016#define PGEN
17
Jack Jansen7b8c7542002-04-14 20:12:41 +000018#include "Python.h"
Eric Snow2ebc5ce2017-09-07 23:51:28 -060019#include "internal/mem.h"
20#include "internal/pystate.h"
Guido van Rossum3f5da241990-12-20 15:06:42 +000021#include "pgenheaders.h"
Guido van Rossum85a5fbb1990-10-14 12:07:46 +000022#include "grammar.h"
23#include "node.h"
24#include "parsetok.h"
25#include "pgen.h"
26
Guido van Rossum86bea461997-04-29 21:03:06 +000027int Py_DebugFlag;
Guido van Rossumc0952001998-04-10 19:34:15 +000028int Py_VerboseFlag;
Guido van Rossum79e39bd2002-05-31 14:32:07 +000029int Py_IgnoreEnvironmentFlag;
Eric Snow2ebc5ce2017-09-07 23:51:28 -060030_PyRuntimeState _PyRuntime = {0, 0};
Guido van Rossum85a5fbb1990-10-14 12:07:46 +000031
Guido van Rossum3f5da241990-12-20 15:06:42 +000032/* Forward */
Serhiy Storchakaef1585e2015-12-25 20:01:53 +020033grammar *getgrammar(const char *filename);
Guido van Rossum85a5fbb1990-10-14 12:07:46 +000034
Brett Cannonb94767f2011-02-22 20:15:44 +000035void Py_Exit(int) _Py_NO_RETURN;
36
Guido van Rossumf1dc5661993-07-05 10:31:29 +000037void
Thomas Wouters23c9e002000-07-22 19:20:54 +000038Py_Exit(int sts)
Guido van Rossumf1dc5661993-07-05 10:31:29 +000039{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +000040 exit(sts);
Guido van Rossumf1dc5661993-07-05 10:31:29 +000041}
42
Berker Peksag531396c2016-06-17 13:25:01 +030043/* Needed by obmalloc.c */
Victor Stinner8a1be612016-03-14 22:07:55 +010044int PyGILState_Check(void)
Victor Stinner0611c262016-03-15 22:22:13 +010045{ return 1; }
Berker Peksag531396c2016-06-17 13:25:01 +030046
Victor Stinner0611c262016-03-15 22:22:13 +010047void _PyMem_DumpTraceback(int fd, const void *ptr)
48{}
Victor Stinner8a1be612016-03-14 22:07:55 +010049
Guido van Rossum3f5da241990-12-20 15:06:42 +000050int
Thomas Wouters23c9e002000-07-22 19:20:54 +000051main(int argc, char **argv)
Guido van Rossum85a5fbb1990-10-14 12:07:46 +000052{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +000053 grammar *g;
54 FILE *fp;
55 char *filename, *graminit_h, *graminit_c;
56
57 if (argc != 4) {
58 fprintf(stderr,
59 "usage: %s grammar graminit.h graminit.c\n", argv[0]);
60 Py_Exit(2);
61 }
62 filename = argv[1];
63 graminit_h = argv[2];
64 graminit_c = argv[3];
Eric Snow2ebc5ce2017-09-07 23:51:28 -060065 _PyObject_Initialize(&_PyRuntime.obj);
66 _PyMem_Initialize(&_PyRuntime.mem);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +000067 g = getgrammar(filename);
68 fp = fopen(graminit_c, "w");
69 if (fp == NULL) {
70 perror(graminit_c);
71 Py_Exit(1);
72 }
73 if (Py_DebugFlag)
74 printf("Writing %s ...\n", graminit_c);
75 printgrammar(g, fp);
76 fclose(fp);
77 fp = fopen(graminit_h, "w");
78 if (fp == NULL) {
79 perror(graminit_h);
80 Py_Exit(1);
81 }
82 if (Py_DebugFlag)
83 printf("Writing %s ...\n", graminit_h);
84 printnonterminals(g, fp);
85 fclose(fp);
Benjamin Peterson9ac11a72016-09-18 18:00:25 -070086 freegrammar(g);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +000087 Py_Exit(0);
88 return 0; /* Make gcc -Wall happy */
Guido van Rossum85a5fbb1990-10-14 12:07:46 +000089}
90
Guido van Rossum3f5da241990-12-20 15:06:42 +000091grammar *
Serhiy Storchakaef1585e2015-12-25 20:01:53 +020092getgrammar(const char *filename)
Guido van Rossum3f5da241990-12-20 15:06:42 +000093{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +000094 FILE *fp;
95 node *n;
96 grammar *g0, *g;
97 perrdetail err;
98
99 fp = fopen(filename, "r");
100 if (fp == NULL) {
101 perror(filename);
102 Py_Exit(1);
103 }
104 g0 = meta_grammar();
105 n = PyParser_ParseFile(fp, filename, g0, g0->g_start,
106 (char *)NULL, (char *)NULL, &err);
107 fclose(fp);
108 if (n == NULL) {
109 fprintf(stderr, "Parsing error %d, line %d.\n",
110 err.error, err.lineno);
111 if (err.text != NULL) {
Serhiy Storchaka67c719b2014-09-05 10:10:23 +0300112 size_t len;
113 int i;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000114 fprintf(stderr, "%s", err.text);
Serhiy Storchaka67c719b2014-09-05 10:10:23 +0300115 len = strlen(err.text);
116 if (len == 0 || err.text[len-1] != '\n')
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000117 fprintf(stderr, "\n");
118 for (i = 0; i < err.offset; i++) {
119 if (err.text[i] == '\t')
120 putc('\t', stderr);
121 else
122 putc(' ', stderr);
123 }
124 fprintf(stderr, "^\n");
125 PyObject_FREE(err.text);
126 }
127 Py_Exit(1);
128 }
129 g = pgen(n);
Christian Heimes22ed7fe2013-06-29 21:03:51 +0200130 PyNode_Free(n);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000131 if (g == NULL) {
132 printf("Bad grammar.\n");
133 Py_Exit(1);
134 }
135 return g;
Guido van Rossum3f5da241990-12-20 15:06:42 +0000136}
137
Neal Norwitz40d37812005-10-02 01:48:49 +0000138/* Can't happen in pgen */
139PyObject*
140PyErr_Occurred()
141{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000142 return 0;
Neal Norwitz40d37812005-10-02 01:48:49 +0000143}
144
Guido van Rossum85a5fbb1990-10-14 12:07:46 +0000145void
Tim Peters7c321a82002-07-09 02:57:01 +0000146Py_FatalError(const char *msg)
Guido van Rossum85a5fbb1990-10-14 12:07:46 +0000147{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000148 fprintf(stderr, "pgen: FATAL ERROR: %s\n", msg);
149 Py_Exit(1);
Guido van Rossum85a5fbb1990-10-14 12:07:46 +0000150}
151
Guido van Rossum1d5735e1994-08-30 08:27:36 +0000152/* No-nonsense my_readline() for tokenizer.c */
153
154char *
Serhiy Storchakac6792272013-10-19 21:03:34 +0300155PyOS_Readline(FILE *sys_stdin, FILE *sys_stdout, const char *prompt)
Guido van Rossum1d5735e1994-08-30 08:27:36 +0000156{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000157 size_t n = 1000;
158 char *p = (char *)PyMem_MALLOC(n);
159 char *q;
160 if (p == NULL)
161 return NULL;
162 fprintf(stderr, "%s", prompt);
163 q = fgets(p, n, sys_stdin);
164 if (q == NULL) {
165 *p = '\0';
166 return p;
167 }
168 n = strlen(p);
169 if (n > 0 && p[n-1] != '\n')
170 p[n-1] = '\n';
171 return (char *)PyMem_REALLOC(p, n+1);
Guido van Rossum1d5735e1994-08-30 08:27:36 +0000172}
Guido van Rossum47fbc401998-08-25 18:12:36 +0000173
Jack Jansen7b8c7542002-04-14 20:12:41 +0000174/* No-nonsense fgets */
175char *
176Py_UniversalNewlineFgets(char *buf, int n, FILE *stream, PyObject *fobj)
177{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000178 return fgets(buf, n, stream);
Jack Jansen7b8c7542002-04-14 20:12:41 +0000179}
Jack Jansen7b8c7542002-04-14 20:12:41 +0000180
181
Guido van Rossum47fbc401998-08-25 18:12:36 +0000182#include <stdarg.h>
Guido van Rossum47fbc401998-08-25 18:12:36 +0000183
184void
Guido van Rossum47fbc401998-08-25 18:12:36 +0000185PySys_WriteStderr(const char *format, ...)
Guido van Rossum47fbc401998-08-25 18:12:36 +0000186{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000187 va_list va;
Guido van Rossum47fbc401998-08-25 18:12:36 +0000188
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000189 va_start(va, format);
190 vfprintf(stderr, format, va);
191 va_end(va);
Guido van Rossum47fbc401998-08-25 18:12:36 +0000192}