blob: d25cbd4f8f52f63288456a06412f5b8b065dd0b2 [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
Jack Jansen7b8c7542002-04-14 20:12:41 +000016#include "Python.h"
Guido van Rossum3f5da241990-12-20 15:06:42 +000017#include "pgenheaders.h"
Guido van Rossum85a5fbb1990-10-14 12:07:46 +000018#include "grammar.h"
19#include "node.h"
20#include "parsetok.h"
21#include "pgen.h"
22
Guido van Rossum86bea461997-04-29 21:03:06 +000023int Py_DebugFlag;
Guido van Rossumc0952001998-04-10 19:34:15 +000024int Py_VerboseFlag;
Guido van Rossum85a5fbb1990-10-14 12:07:46 +000025
Guido van Rossum3f5da241990-12-20 15:06:42 +000026/* Forward */
Tim Petersdbd9ba62000-07-09 03:09:57 +000027grammar *getgrammar(char *filename);
Guido van Rossum1d5735e1994-08-30 08:27:36 +000028#ifdef THINK_C
Tim Petersdbd9ba62000-07-09 03:09:57 +000029int main(int, char **);
30char *askfile(void);
Guido van Rossum85a5fbb1990-10-14 12:07:46 +000031#endif
32
Guido van Rossumf1dc5661993-07-05 10:31:29 +000033void
Thomas Wouters23c9e002000-07-22 19:20:54 +000034Py_Exit(int sts)
Guido van Rossumf1dc5661993-07-05 10:31:29 +000035{
36 exit(sts);
37}
38
Guido van Rossum3f5da241990-12-20 15:06:42 +000039int
Thomas Wouters23c9e002000-07-22 19:20:54 +000040main(int argc, char **argv)
Guido van Rossum85a5fbb1990-10-14 12:07:46 +000041{
42 grammar *g;
Guido van Rossum85a5fbb1990-10-14 12:07:46 +000043 FILE *fp;
Neil Schemenauer84521c02001-02-16 03:57:53 +000044 char *filename, *graminit_h, *graminit_c;
Guido van Rossum85a5fbb1990-10-14 12:07:46 +000045
Guido van Rossum1d5735e1994-08-30 08:27:36 +000046#ifdef THINK_C
Guido van Rossum85a5fbb1990-10-14 12:07:46 +000047 filename = askfile();
Neil Schemenauer84521c02001-02-16 03:57:53 +000048 graminit_h = askfile();
49 graminit_c = askfile();
Guido van Rossum85a5fbb1990-10-14 12:07:46 +000050#else
Neil Schemenauer84521c02001-02-16 03:57:53 +000051 if (argc != 4) {
52 fprintf(stderr,
53 "usage: %s grammar graminit.h graminit.c\n", argv[0]);
Guido van Rossum86bea461997-04-29 21:03:06 +000054 Py_Exit(2);
Guido van Rossum85a5fbb1990-10-14 12:07:46 +000055 }
56 filename = argv[1];
Neil Schemenauer84521c02001-02-16 03:57:53 +000057 graminit_h = argv[2];
58 graminit_c = argv[3];
Guido van Rossum85a5fbb1990-10-14 12:07:46 +000059#endif
60 g = getgrammar(filename);
Neil Schemenauer84521c02001-02-16 03:57:53 +000061 fp = fopen(graminit_c, "w");
Guido van Rossum85a5fbb1990-10-14 12:07:46 +000062 if (fp == NULL) {
Neil Schemenauer84521c02001-02-16 03:57:53 +000063 perror(graminit_c);
Guido van Rossum86bea461997-04-29 21:03:06 +000064 Py_Exit(1);
Guido van Rossum85a5fbb1990-10-14 12:07:46 +000065 }
Guido van Rossum25dfe2c2001-09-11 16:43:16 +000066 if (Py_DebugFlag)
67 printf("Writing %s ...\n", graminit_c);
Guido van Rossum85a5fbb1990-10-14 12:07:46 +000068 printgrammar(g, fp);
69 fclose(fp);
Neil Schemenauer84521c02001-02-16 03:57:53 +000070 fp = fopen(graminit_h, "w");
Guido van Rossum85a5fbb1990-10-14 12:07:46 +000071 if (fp == NULL) {
Neil Schemenauer84521c02001-02-16 03:57:53 +000072 perror(graminit_h);
Guido van Rossum86bea461997-04-29 21:03:06 +000073 Py_Exit(1);
Guido van Rossum85a5fbb1990-10-14 12:07:46 +000074 }
Guido van Rossum25dfe2c2001-09-11 16:43:16 +000075 if (Py_DebugFlag)
76 printf("Writing %s ...\n", graminit_h);
Guido van Rossum85a5fbb1990-10-14 12:07:46 +000077 printnonterminals(g, fp);
78 fclose(fp);
Guido van Rossum86bea461997-04-29 21:03:06 +000079 Py_Exit(0);
Guido van Rossumfd8a3931996-12-02 18:27:33 +000080 return 0; /* Make gcc -Wall happy */
Guido van Rossum85a5fbb1990-10-14 12:07:46 +000081}
82
Guido van Rossum3f5da241990-12-20 15:06:42 +000083grammar *
Thomas Wouters23c9e002000-07-22 19:20:54 +000084getgrammar(char *filename)
Guido van Rossum3f5da241990-12-20 15:06:42 +000085{
86 FILE *fp;
87 node *n;
88 grammar *g0, *g;
Guido van Rossum1d5735e1994-08-30 08:27:36 +000089 perrdetail err;
Guido van Rossum3f5da241990-12-20 15:06:42 +000090
91 fp = fopen(filename, "r");
92 if (fp == NULL) {
93 perror(filename);
Guido van Rossum86bea461997-04-29 21:03:06 +000094 Py_Exit(1);
Guido van Rossum3f5da241990-12-20 15:06:42 +000095 }
96 g0 = meta_grammar();
Guido van Rossum86bea461997-04-29 21:03:06 +000097 n = PyParser_ParseFile(fp, filename, g0, g0->g_start,
Guido van Rossum1d5735e1994-08-30 08:27:36 +000098 (char *)NULL, (char *)NULL, &err);
Guido van Rossum3f5da241990-12-20 15:06:42 +000099 fclose(fp);
100 if (n == NULL) {
Guido van Rossum1d5735e1994-08-30 08:27:36 +0000101 fprintf(stderr, "Parsing error %d, line %d.\n",
102 err.error, err.lineno);
103 if (err.text != NULL) {
Guido van Rossum6da34342000-06-28 22:00:02 +0000104 size_t i;
Guido van Rossum1d5735e1994-08-30 08:27:36 +0000105 fprintf(stderr, "%s", err.text);
106 i = strlen(err.text);
107 if (i == 0 || err.text[i-1] != '\n')
108 fprintf(stderr, "\n");
109 for (i = 0; i < err.offset; i++) {
110 if (err.text[i] == '\t')
111 putc('\t', stderr);
112 else
113 putc(' ', stderr);
114 }
115 fprintf(stderr, "^\n");
Guido van Rossumb18618d2000-05-03 23:44:39 +0000116 PyMem_DEL(err.text);
Guido van Rossum1d5735e1994-08-30 08:27:36 +0000117 }
Guido van Rossum86bea461997-04-29 21:03:06 +0000118 Py_Exit(1);
Guido van Rossum3f5da241990-12-20 15:06:42 +0000119 }
120 g = pgen(n);
121 if (g == NULL) {
122 printf("Bad grammar.\n");
Guido van Rossum86bea461997-04-29 21:03:06 +0000123 Py_Exit(1);
Guido van Rossum3f5da241990-12-20 15:06:42 +0000124 }
125 return g;
126}
127
Guido van Rossum1d5735e1994-08-30 08:27:36 +0000128#ifdef THINK_C
Guido van Rossum3f5da241990-12-20 15:06:42 +0000129char *
Thomas Wouters23c9e002000-07-22 19:20:54 +0000130askfile(void)
Guido van Rossum3f5da241990-12-20 15:06:42 +0000131{
132 char buf[256];
133 static char name[256];
134 printf("Input file name: ");
135 if (fgets(buf, sizeof buf, stdin) == NULL) {
136 printf("EOF\n");
Guido van Rossum86bea461997-04-29 21:03:06 +0000137 Py_Exit(1);
Guido van Rossum3f5da241990-12-20 15:06:42 +0000138 }
Guido van Rossum706eea81990-12-20 23:11:02 +0000139 /* XXX The (unsigned char *) case is needed by THINK C 3.0 */
140 if (sscanf(/*(unsigned char *)*/buf, " %s ", name) != 1) {
Guido van Rossum3f5da241990-12-20 15:06:42 +0000141 printf("No file\n");
Guido van Rossum86bea461997-04-29 21:03:06 +0000142 Py_Exit(1);
Guido van Rossum3f5da241990-12-20 15:06:42 +0000143 }
144 return name;
145}
146#endif
147
Guido van Rossum85a5fbb1990-10-14 12:07:46 +0000148void
Thomas Wouters23c9e002000-07-22 19:20:54 +0000149Py_FatalError(char *msg)
Guido van Rossum85a5fbb1990-10-14 12:07:46 +0000150{
151 fprintf(stderr, "pgen: FATAL ERROR: %s\n", msg);
Guido van Rossum86bea461997-04-29 21:03:06 +0000152 Py_Exit(1);
Guido van Rossum85a5fbb1990-10-14 12:07:46 +0000153}
154
Guido van Rossum7ebb23c1992-03-27 17:31:35 +0000155#ifdef macintosh
156/* ARGSUSED */
157int
Thomas Wouters23c9e002000-07-22 19:20:54 +0000158guesstabsize(char *path)
Guido van Rossum7ebb23c1992-03-27 17:31:35 +0000159{
160 return 4;
161}
162#endif
163
Guido van Rossum1d5735e1994-08-30 08:27:36 +0000164/* No-nonsense my_readline() for tokenizer.c */
165
166char *
Thomas Wouters23c9e002000-07-22 19:20:54 +0000167PyOS_Readline(char *prompt)
Guido van Rossum1d5735e1994-08-30 08:27:36 +0000168{
Guido van Rossum6da34342000-06-28 22:00:02 +0000169 size_t n = 1000;
Guido van Rossumb18618d2000-05-03 23:44:39 +0000170 char *p = PyMem_MALLOC(n);
Guido van Rossum1d5735e1994-08-30 08:27:36 +0000171 char *q;
172 if (p == NULL)
173 return NULL;
174 fprintf(stderr, "%s", prompt);
175 q = fgets(p, n, stdin);
176 if (q == NULL) {
177 *p = '\0';
178 return p;
179 }
180 n = strlen(p);
181 if (n > 0 && p[n-1] != '\n')
182 p[n-1] = '\n';
Guido van Rossumb18618d2000-05-03 23:44:39 +0000183 return PyMem_REALLOC(p, n+1);
Guido van Rossum1d5735e1994-08-30 08:27:36 +0000184}
Guido van Rossum47fbc401998-08-25 18:12:36 +0000185
Jack Jansen7b8c7542002-04-14 20:12:41 +0000186#ifdef WITH_UNIVERSAL_NEWLINES
187/* No-nonsense fgets */
188char *
189Py_UniversalNewlineFgets(char *buf, int n, FILE *stream, PyObject *fobj)
190{
191 return fgets(buf, n, stream);
192}
193#endif
194
195
Guido van Rossum47fbc401998-08-25 18:12:36 +0000196#include <stdarg.h>
Guido van Rossum47fbc401998-08-25 18:12:36 +0000197
198void
Guido van Rossum47fbc401998-08-25 18:12:36 +0000199PySys_WriteStderr(const char *format, ...)
Guido van Rossum47fbc401998-08-25 18:12:36 +0000200{
201 va_list va;
202
Guido van Rossum47fbc401998-08-25 18:12:36 +0000203 va_start(va, format);
Guido van Rossum47fbc401998-08-25 18:12:36 +0000204 vfprintf(stderr, format, va);
205 va_end(va);
206}