blob: 0c155de041ae3784fc8834a824311feaa083570e [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
Guido van Rossum3f5da241990-12-20 15:06:42 +000016#include "pgenheaders.h"
Guido van Rossum85a5fbb1990-10-14 12:07:46 +000017#include "grammar.h"
18#include "node.h"
19#include "parsetok.h"
20#include "pgen.h"
21
Guido van Rossum86bea461997-04-29 21:03:06 +000022int Py_DebugFlag;
Guido van Rossumc0952001998-04-10 19:34:15 +000023int Py_VerboseFlag;
Guido van Rossum85a5fbb1990-10-14 12:07:46 +000024
Guido van Rossum3f5da241990-12-20 15:06:42 +000025/* Forward */
Tim Petersdbd9ba62000-07-09 03:09:57 +000026grammar *getgrammar(char *filename);
Guido van Rossum1d5735e1994-08-30 08:27:36 +000027#ifdef THINK_C
Tim Petersdbd9ba62000-07-09 03:09:57 +000028int main(int, char **);
29char *askfile(void);
Guido van Rossum85a5fbb1990-10-14 12:07:46 +000030#endif
31
Guido van Rossumf1dc5661993-07-05 10:31:29 +000032void
Thomas Wouters23c9e002000-07-22 19:20:54 +000033Py_Exit(int sts)
Guido van Rossumf1dc5661993-07-05 10:31:29 +000034{
35 exit(sts);
36}
37
Guido van Rossum3f5da241990-12-20 15:06:42 +000038int
Thomas Wouters23c9e002000-07-22 19:20:54 +000039main(int argc, char **argv)
Guido van Rossum85a5fbb1990-10-14 12:07:46 +000040{
41 grammar *g;
Guido van Rossum85a5fbb1990-10-14 12:07:46 +000042 FILE *fp;
43 char *filename;
44
Guido van Rossum1d5735e1994-08-30 08:27:36 +000045#ifdef THINK_C
Guido van Rossum85a5fbb1990-10-14 12:07:46 +000046 filename = askfile();
47#else
48 if (argc != 2) {
49 fprintf(stderr, "usage: %s grammar\n", argv[0]);
Guido van Rossum86bea461997-04-29 21:03:06 +000050 Py_Exit(2);
Guido van Rossum85a5fbb1990-10-14 12:07:46 +000051 }
52 filename = argv[1];
53#endif
54 g = getgrammar(filename);
55 fp = fopen("graminit.c", "w");
56 if (fp == NULL) {
57 perror("graminit.c");
Guido van Rossum86bea461997-04-29 21:03:06 +000058 Py_Exit(1);
Guido van Rossum85a5fbb1990-10-14 12:07:46 +000059 }
60 printf("Writing graminit.c ...\n");
61 printgrammar(g, fp);
62 fclose(fp);
63 fp = fopen("graminit.h", "w");
64 if (fp == NULL) {
65 perror("graminit.h");
Guido van Rossum86bea461997-04-29 21:03:06 +000066 Py_Exit(1);
Guido van Rossum85a5fbb1990-10-14 12:07:46 +000067 }
68 printf("Writing graminit.h ...\n");
69 printnonterminals(g, fp);
70 fclose(fp);
Guido van Rossum86bea461997-04-29 21:03:06 +000071 Py_Exit(0);
Guido van Rossumfd8a3931996-12-02 18:27:33 +000072 return 0; /* Make gcc -Wall happy */
Guido van Rossum85a5fbb1990-10-14 12:07:46 +000073}
74
Guido van Rossum3f5da241990-12-20 15:06:42 +000075grammar *
Thomas Wouters23c9e002000-07-22 19:20:54 +000076getgrammar(char *filename)
Guido van Rossum3f5da241990-12-20 15:06:42 +000077{
78 FILE *fp;
79 node *n;
80 grammar *g0, *g;
Guido van Rossum1d5735e1994-08-30 08:27:36 +000081 perrdetail err;
Guido van Rossum3f5da241990-12-20 15:06:42 +000082
83 fp = fopen(filename, "r");
84 if (fp == NULL) {
85 perror(filename);
Guido van Rossum86bea461997-04-29 21:03:06 +000086 Py_Exit(1);
Guido van Rossum3f5da241990-12-20 15:06:42 +000087 }
88 g0 = meta_grammar();
Guido van Rossum86bea461997-04-29 21:03:06 +000089 n = PyParser_ParseFile(fp, filename, g0, g0->g_start,
Guido van Rossum1d5735e1994-08-30 08:27:36 +000090 (char *)NULL, (char *)NULL, &err);
Guido van Rossum3f5da241990-12-20 15:06:42 +000091 fclose(fp);
92 if (n == NULL) {
Guido van Rossum1d5735e1994-08-30 08:27:36 +000093 fprintf(stderr, "Parsing error %d, line %d.\n",
94 err.error, err.lineno);
95 if (err.text != NULL) {
Guido van Rossum6da34342000-06-28 22:00:02 +000096 size_t i;
Guido van Rossum1d5735e1994-08-30 08:27:36 +000097 fprintf(stderr, "%s", err.text);
98 i = strlen(err.text);
99 if (i == 0 || err.text[i-1] != '\n')
100 fprintf(stderr, "\n");
101 for (i = 0; i < err.offset; i++) {
102 if (err.text[i] == '\t')
103 putc('\t', stderr);
104 else
105 putc(' ', stderr);
106 }
107 fprintf(stderr, "^\n");
Guido van Rossumb18618d2000-05-03 23:44:39 +0000108 PyMem_DEL(err.text);
Guido van Rossum1d5735e1994-08-30 08:27:36 +0000109 }
Guido van Rossum86bea461997-04-29 21:03:06 +0000110 Py_Exit(1);
Guido van Rossum3f5da241990-12-20 15:06:42 +0000111 }
112 g = pgen(n);
113 if (g == NULL) {
114 printf("Bad grammar.\n");
Guido van Rossum86bea461997-04-29 21:03:06 +0000115 Py_Exit(1);
Guido van Rossum3f5da241990-12-20 15:06:42 +0000116 }
117 return g;
118}
119
Guido van Rossum1d5735e1994-08-30 08:27:36 +0000120#ifdef THINK_C
Guido van Rossum3f5da241990-12-20 15:06:42 +0000121char *
Thomas Wouters23c9e002000-07-22 19:20:54 +0000122askfile(void)
Guido van Rossum3f5da241990-12-20 15:06:42 +0000123{
124 char buf[256];
125 static char name[256];
126 printf("Input file name: ");
127 if (fgets(buf, sizeof buf, stdin) == NULL) {
128 printf("EOF\n");
Guido van Rossum86bea461997-04-29 21:03:06 +0000129 Py_Exit(1);
Guido van Rossum3f5da241990-12-20 15:06:42 +0000130 }
Guido van Rossum706eea81990-12-20 23:11:02 +0000131 /* XXX The (unsigned char *) case is needed by THINK C 3.0 */
132 if (sscanf(/*(unsigned char *)*/buf, " %s ", name) != 1) {
Guido van Rossum3f5da241990-12-20 15:06:42 +0000133 printf("No file\n");
Guido van Rossum86bea461997-04-29 21:03:06 +0000134 Py_Exit(1);
Guido van Rossum3f5da241990-12-20 15:06:42 +0000135 }
136 return name;
137}
138#endif
139
Guido van Rossum85a5fbb1990-10-14 12:07:46 +0000140void
Thomas Wouters23c9e002000-07-22 19:20:54 +0000141Py_FatalError(char *msg)
Guido van Rossum85a5fbb1990-10-14 12:07:46 +0000142{
143 fprintf(stderr, "pgen: FATAL ERROR: %s\n", msg);
Guido van Rossum86bea461997-04-29 21:03:06 +0000144 Py_Exit(1);
Guido van Rossum85a5fbb1990-10-14 12:07:46 +0000145}
146
Guido van Rossum7ebb23c1992-03-27 17:31:35 +0000147#ifdef macintosh
148/* ARGSUSED */
149int
Thomas Wouters23c9e002000-07-22 19:20:54 +0000150guesstabsize(char *path)
Guido van Rossum7ebb23c1992-03-27 17:31:35 +0000151{
152 return 4;
153}
154#endif
155
Guido van Rossum1d5735e1994-08-30 08:27:36 +0000156/* No-nonsense my_readline() for tokenizer.c */
157
158char *
Thomas Wouters23c9e002000-07-22 19:20:54 +0000159PyOS_Readline(char *prompt)
Guido van Rossum1d5735e1994-08-30 08:27:36 +0000160{
Guido van Rossum6da34342000-06-28 22:00:02 +0000161 size_t n = 1000;
Guido van Rossumb18618d2000-05-03 23:44:39 +0000162 char *p = PyMem_MALLOC(n);
Guido van Rossum1d5735e1994-08-30 08:27:36 +0000163 char *q;
164 if (p == NULL)
165 return NULL;
166 fprintf(stderr, "%s", prompt);
167 q = fgets(p, n, stdin);
168 if (q == NULL) {
169 *p = '\0';
170 return p;
171 }
172 n = strlen(p);
173 if (n > 0 && p[n-1] != '\n')
174 p[n-1] = '\n';
Guido van Rossumb18618d2000-05-03 23:44:39 +0000175 return PyMem_REALLOC(p, n+1);
Guido van Rossum1d5735e1994-08-30 08:27:36 +0000176}
Guido van Rossum47fbc401998-08-25 18:12:36 +0000177
Guido van Rossum47fbc401998-08-25 18:12:36 +0000178#include <stdarg.h>
Guido van Rossum47fbc401998-08-25 18:12:36 +0000179
180void
Guido van Rossum47fbc401998-08-25 18:12:36 +0000181PySys_WriteStderr(const char *format, ...)
Guido van Rossum47fbc401998-08-25 18:12:36 +0000182{
183 va_list va;
184
Guido van Rossum47fbc401998-08-25 18:12:36 +0000185 va_start(va, format);
Guido van Rossum47fbc401998-08-25 18:12:36 +0000186 vfprintf(stderr, format, va);
187 va_end(va);
188}