blob: 0562e3912fc2ef2ddff43b7720adb84a35fd03e5 [file] [log] [blame]
Guido van Rossumf70e43a1991-02-19 12:39:46 +00001/***********************************************************
Guido van Rossumfd71b9e2000-06-30 23:50:40 +00002Copyright (c) 2000, BeOpen.com.
3Copyright (c) 1995-2000, Corporation for National Research Initiatives.
4Copyright (c) 1990-1995, Stichting Mathematisch Centrum.
5All rights reserved.
Guido van Rossumf70e43a1991-02-19 12:39:46 +00006
Guido van Rossumfd71b9e2000-06-30 23:50:40 +00007See the file "Misc/COPYRIGHT" for information on usage and
8redistribution of this file, and for a DISCLAIMER OF ALL WARRANTIES.
Guido van Rossumf70e43a1991-02-19 12:39:46 +00009******************************************************************/
10
Guido van Rossum85a5fbb1990-10-14 12:07:46 +000011/* Parser generator main program */
12
Guido van Rossum3f5da241990-12-20 15:06:42 +000013/* This expects a filename containing the grammar as argv[1] (UNIX)
14 or asks the console for such a file name (THINK C).
15 It writes its output on two files in the current directory:
16 - "graminit.c" gets the grammar as a bunch of initialized data
17 - "graminit.h" gets the grammar's non-terminals as #defines.
18 Error messages and status info during the generation process are
19 written to stdout, or sometimes to stderr. */
Guido van Rossum85a5fbb1990-10-14 12:07:46 +000020
Guido van Rossum1d5735e1994-08-30 08:27:36 +000021/* XXX TO DO:
22 - check for duplicate definitions of names (instead of fatal err)
23*/
24
Guido van Rossum3f5da241990-12-20 15:06:42 +000025#include "pgenheaders.h"
Guido van Rossum85a5fbb1990-10-14 12:07:46 +000026#include "grammar.h"
27#include "node.h"
28#include "parsetok.h"
29#include "pgen.h"
30
Guido van Rossum86bea461997-04-29 21:03:06 +000031int Py_DebugFlag;
Guido van Rossumc0952001998-04-10 19:34:15 +000032int Py_VerboseFlag;
Guido van Rossum85a5fbb1990-10-14 12:07:46 +000033
Guido van Rossum3f5da241990-12-20 15:06:42 +000034/* Forward */
Tim Petersdbd9ba62000-07-09 03:09:57 +000035grammar *getgrammar(char *filename);
Guido van Rossum1d5735e1994-08-30 08:27:36 +000036#ifdef THINK_C
Tim Petersdbd9ba62000-07-09 03:09:57 +000037int main(int, char **);
38char *askfile(void);
Guido van Rossum85a5fbb1990-10-14 12:07:46 +000039#endif
40
Guido van Rossumf1dc5661993-07-05 10:31:29 +000041void
Guido van Rossum86bea461997-04-29 21:03:06 +000042Py_Exit(sts)
Guido van Rossumf1dc5661993-07-05 10:31:29 +000043 int sts;
44{
45 exit(sts);
46}
47
Guido van Rossum3f5da241990-12-20 15:06:42 +000048int
Guido van Rossum85a5fbb1990-10-14 12:07:46 +000049main(argc, argv)
50 int argc;
51 char **argv;
52{
53 grammar *g;
Guido van Rossum85a5fbb1990-10-14 12:07:46 +000054 FILE *fp;
55 char *filename;
56
Guido van Rossum1d5735e1994-08-30 08:27:36 +000057#ifdef THINK_C
Guido van Rossum85a5fbb1990-10-14 12:07:46 +000058 filename = askfile();
59#else
60 if (argc != 2) {
61 fprintf(stderr, "usage: %s grammar\n", argv[0]);
Guido van Rossum86bea461997-04-29 21:03:06 +000062 Py_Exit(2);
Guido van Rossum85a5fbb1990-10-14 12:07:46 +000063 }
64 filename = argv[1];
65#endif
66 g = getgrammar(filename);
67 fp = fopen("graminit.c", "w");
68 if (fp == NULL) {
69 perror("graminit.c");
Guido van Rossum86bea461997-04-29 21:03:06 +000070 Py_Exit(1);
Guido van Rossum85a5fbb1990-10-14 12:07:46 +000071 }
72 printf("Writing graminit.c ...\n");
73 printgrammar(g, fp);
74 fclose(fp);
75 fp = fopen("graminit.h", "w");
76 if (fp == NULL) {
77 perror("graminit.h");
Guido van Rossum86bea461997-04-29 21:03:06 +000078 Py_Exit(1);
Guido van Rossum85a5fbb1990-10-14 12:07:46 +000079 }
80 printf("Writing graminit.h ...\n");
81 printnonterminals(g, fp);
82 fclose(fp);
Guido van Rossum86bea461997-04-29 21:03:06 +000083 Py_Exit(0);
Guido van Rossumfd8a3931996-12-02 18:27:33 +000084 return 0; /* Make gcc -Wall happy */
Guido van Rossum85a5fbb1990-10-14 12:07:46 +000085}
86
Guido van Rossum3f5da241990-12-20 15:06:42 +000087grammar *
88getgrammar(filename)
89 char *filename;
90{
91 FILE *fp;
92 node *n;
93 grammar *g0, *g;
Guido van Rossum1d5735e1994-08-30 08:27:36 +000094 perrdetail err;
Guido van Rossum3f5da241990-12-20 15:06:42 +000095
96 fp = fopen(filename, "r");
97 if (fp == NULL) {
98 perror(filename);
Guido van Rossum86bea461997-04-29 21:03:06 +000099 Py_Exit(1);
Guido van Rossum3f5da241990-12-20 15:06:42 +0000100 }
101 g0 = meta_grammar();
Guido van Rossum86bea461997-04-29 21:03:06 +0000102 n = PyParser_ParseFile(fp, filename, g0, g0->g_start,
Guido van Rossum1d5735e1994-08-30 08:27:36 +0000103 (char *)NULL, (char *)NULL, &err);
Guido van Rossum3f5da241990-12-20 15:06:42 +0000104 fclose(fp);
105 if (n == NULL) {
Guido van Rossum1d5735e1994-08-30 08:27:36 +0000106 fprintf(stderr, "Parsing error %d, line %d.\n",
107 err.error, err.lineno);
108 if (err.text != NULL) {
Guido van Rossum6da34342000-06-28 22:00:02 +0000109 size_t i;
Guido van Rossum1d5735e1994-08-30 08:27:36 +0000110 fprintf(stderr, "%s", err.text);
111 i = strlen(err.text);
112 if (i == 0 || err.text[i-1] != '\n')
113 fprintf(stderr, "\n");
114 for (i = 0; i < err.offset; i++) {
115 if (err.text[i] == '\t')
116 putc('\t', stderr);
117 else
118 putc(' ', stderr);
119 }
120 fprintf(stderr, "^\n");
Guido van Rossumb18618d2000-05-03 23:44:39 +0000121 PyMem_DEL(err.text);
Guido van Rossum1d5735e1994-08-30 08:27:36 +0000122 }
Guido van Rossum86bea461997-04-29 21:03:06 +0000123 Py_Exit(1);
Guido van Rossum3f5da241990-12-20 15:06:42 +0000124 }
125 g = pgen(n);
126 if (g == NULL) {
127 printf("Bad grammar.\n");
Guido van Rossum86bea461997-04-29 21:03:06 +0000128 Py_Exit(1);
Guido van Rossum3f5da241990-12-20 15:06:42 +0000129 }
130 return g;
131}
132
Guido van Rossum1d5735e1994-08-30 08:27:36 +0000133#ifdef THINK_C
Guido van Rossum3f5da241990-12-20 15:06:42 +0000134char *
135askfile()
136{
137 char buf[256];
138 static char name[256];
139 printf("Input file name: ");
140 if (fgets(buf, sizeof buf, stdin) == NULL) {
141 printf("EOF\n");
Guido van Rossum86bea461997-04-29 21:03:06 +0000142 Py_Exit(1);
Guido van Rossum3f5da241990-12-20 15:06:42 +0000143 }
Guido van Rossum706eea81990-12-20 23:11:02 +0000144 /* XXX The (unsigned char *) case is needed by THINK C 3.0 */
145 if (sscanf(/*(unsigned char *)*/buf, " %s ", name) != 1) {
Guido van Rossum3f5da241990-12-20 15:06:42 +0000146 printf("No file\n");
Guido van Rossum86bea461997-04-29 21:03:06 +0000147 Py_Exit(1);
Guido van Rossum3f5da241990-12-20 15:06:42 +0000148 }
149 return name;
150}
151#endif
152
Guido van Rossum85a5fbb1990-10-14 12:07:46 +0000153void
Guido van Rossum86bea461997-04-29 21:03:06 +0000154Py_FatalError(msg)
Guido van Rossum85a5fbb1990-10-14 12:07:46 +0000155 char *msg;
156{
157 fprintf(stderr, "pgen: FATAL ERROR: %s\n", msg);
Guido van Rossum86bea461997-04-29 21:03:06 +0000158 Py_Exit(1);
Guido van Rossum85a5fbb1990-10-14 12:07:46 +0000159}
160
Guido van Rossum7ebb23c1992-03-27 17:31:35 +0000161#ifdef macintosh
162/* ARGSUSED */
163int
164guesstabsize(path)
165 char *path;
166{
167 return 4;
168}
169#endif
170
Guido van Rossum1d5735e1994-08-30 08:27:36 +0000171/* No-nonsense my_readline() for tokenizer.c */
172
173char *
Guido van Rossum86bea461997-04-29 21:03:06 +0000174PyOS_Readline(prompt)
Guido van Rossum1d5735e1994-08-30 08:27:36 +0000175 char *prompt;
176{
Guido van Rossum6da34342000-06-28 22:00:02 +0000177 size_t n = 1000;
Guido van Rossumb18618d2000-05-03 23:44:39 +0000178 char *p = PyMem_MALLOC(n);
Guido van Rossum1d5735e1994-08-30 08:27:36 +0000179 char *q;
180 if (p == NULL)
181 return NULL;
182 fprintf(stderr, "%s", prompt);
183 q = fgets(p, n, stdin);
184 if (q == NULL) {
185 *p = '\0';
186 return p;
187 }
188 n = strlen(p);
189 if (n > 0 && p[n-1] != '\n')
190 p[n-1] = '\n';
Guido van Rossumb18618d2000-05-03 23:44:39 +0000191 return PyMem_REALLOC(p, n+1);
Guido van Rossum1d5735e1994-08-30 08:27:36 +0000192}
Guido van Rossum47fbc401998-08-25 18:12:36 +0000193
194#ifdef HAVE_STDARG_PROTOTYPES
195#include <stdarg.h>
196#else
197#include <varargs.h>
198#endif
199
200void
201#ifdef HAVE_STDARG_PROTOTYPES
202PySys_WriteStderr(const char *format, ...)
203#else
204PySys_WriteStderr(va_alist)
205 va_dcl
206#endif
207{
208 va_list va;
209
210#ifdef HAVE_STDARG_PROTOTYPES
211 va_start(va, format);
212#else
213 char *format;
214 va_start(va);
215 format = va_arg(va, char *);
216#endif
217 vfprintf(stderr, format, va);
218 va_end(va);
219}