blob: 0b47295c1b47cd5845e6e910e31e7b7bdcb2c382 [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 Rossum79e39bd2002-05-31 14:32:07 +000025int Py_IgnoreEnvironmentFlag;
Guido van Rossum85a5fbb1990-10-14 12:07:46 +000026
Guido van Rossum3f5da241990-12-20 15:06:42 +000027/* Forward */
Tim Petersdbd9ba62000-07-09 03:09:57 +000028grammar *getgrammar(char *filename);
Guido van Rossum85a5fbb1990-10-14 12:07:46 +000029
Guido van Rossumf1dc5661993-07-05 10:31:29 +000030void
Thomas Wouters23c9e002000-07-22 19:20:54 +000031Py_Exit(int sts)
Guido van Rossumf1dc5661993-07-05 10:31:29 +000032{
Antoine Pitrouc83ea132010-05-09 14:46:46 +000033 exit(sts);
Guido van Rossumf1dc5661993-07-05 10:31:29 +000034}
35
Guido van Rossum3f5da241990-12-20 15:06:42 +000036int
Thomas Wouters23c9e002000-07-22 19:20:54 +000037main(int argc, char **argv)
Guido van Rossum85a5fbb1990-10-14 12:07:46 +000038{
Antoine Pitrouc83ea132010-05-09 14:46:46 +000039 grammar *g;
40 FILE *fp;
41 char *filename, *graminit_h, *graminit_c;
42
43 if (argc != 4) {
44 fprintf(stderr,
45 "usage: %s grammar graminit.h graminit.c\n", argv[0]);
46 Py_Exit(2);
47 }
48 filename = argv[1];
49 graminit_h = argv[2];
50 graminit_c = argv[3];
51 g = getgrammar(filename);
52 fp = fopen(graminit_c, "w");
53 if (fp == NULL) {
54 perror(graminit_c);
55 Py_Exit(1);
56 }
57 if (Py_DebugFlag)
58 printf("Writing %s ...\n", graminit_c);
59 printgrammar(g, fp);
60 fclose(fp);
61 fp = fopen(graminit_h, "w");
62 if (fp == NULL) {
63 perror(graminit_h);
64 Py_Exit(1);
65 }
66 if (Py_DebugFlag)
67 printf("Writing %s ...\n", graminit_h);
68 printnonterminals(g, fp);
69 fclose(fp);
Benjamin Peterson482fac72018-06-22 21:04:21 -070070 freegrammar(g);
Antoine Pitrouc83ea132010-05-09 14:46:46 +000071 Py_Exit(0);
72 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{
Antoine Pitrouc83ea132010-05-09 14:46:46 +000078 FILE *fp;
79 node *n;
80 grammar *g0, *g;
81 perrdetail err;
82
83 fp = fopen(filename, "r");
84 if (fp == NULL) {
85 perror(filename);
86 Py_Exit(1);
87 }
88 g0 = meta_grammar();
89 n = PyParser_ParseFile(fp, filename, g0, g0->g_start,
90 (char *)NULL, (char *)NULL, &err);
91 fclose(fp);
92 if (n == NULL) {
93 fprintf(stderr, "Parsing error %d, line %d.\n",
94 err.error, err.lineno);
95 if (err.text != NULL) {
96 size_t i;
97 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");
108 PyObject_FREE(err.text);
109 }
110 Py_Exit(1);
111 }
112 g = pgen(n);
113 if (g == NULL) {
114 printf("Bad grammar.\n");
115 Py_Exit(1);
116 }
117 return g;
Guido van Rossum3f5da241990-12-20 15:06:42 +0000118}
119
Neal Norwitz40d37812005-10-02 01:48:49 +0000120/* Can't happen in pgen */
121PyObject*
122PyErr_Occurred()
123{
Antoine Pitrouc83ea132010-05-09 14:46:46 +0000124 return 0;
Neal Norwitz40d37812005-10-02 01:48:49 +0000125}
126
Guido van Rossum85a5fbb1990-10-14 12:07:46 +0000127void
Tim Peters7c321a82002-07-09 02:57:01 +0000128Py_FatalError(const char *msg)
Guido van Rossum85a5fbb1990-10-14 12:07:46 +0000129{
Antoine Pitrouc83ea132010-05-09 14:46:46 +0000130 fprintf(stderr, "pgen: FATAL ERROR: %s\n", msg);
131 Py_Exit(1);
Guido van Rossum85a5fbb1990-10-14 12:07:46 +0000132}
133
Guido van Rossum1d5735e1994-08-30 08:27:36 +0000134/* No-nonsense my_readline() for tokenizer.c */
135
136char *
Skip Montanaro35f63a82002-10-27 01:59:21 +0000137PyOS_Readline(FILE *sys_stdin, FILE *sys_stdout, char *prompt)
Guido van Rossum1d5735e1994-08-30 08:27:36 +0000138{
Antoine Pitrouc83ea132010-05-09 14:46:46 +0000139 size_t n = 1000;
140 char *p = (char *)PyMem_MALLOC(n);
141 char *q;
142 if (p == NULL)
143 return NULL;
144 fprintf(stderr, "%s", prompt);
145 q = fgets(p, n, sys_stdin);
146 if (q == NULL) {
147 *p = '\0';
148 return p;
149 }
150 n = strlen(p);
151 if (n > 0 && p[n-1] != '\n')
152 p[n-1] = '\n';
153 return (char *)PyMem_REALLOC(p, n+1);
Guido van Rossum1d5735e1994-08-30 08:27:36 +0000154}
Guido van Rossum47fbc401998-08-25 18:12:36 +0000155
Jack Jansen7b8c7542002-04-14 20:12:41 +0000156/* No-nonsense fgets */
157char *
158Py_UniversalNewlineFgets(char *buf, int n, FILE *stream, PyObject *fobj)
159{
Antoine Pitrouc83ea132010-05-09 14:46:46 +0000160 return fgets(buf, n, stream);
Jack Jansen7b8c7542002-04-14 20:12:41 +0000161}
Jack Jansen7b8c7542002-04-14 20:12:41 +0000162
163
Guido van Rossum47fbc401998-08-25 18:12:36 +0000164#include <stdarg.h>
Guido van Rossum47fbc401998-08-25 18:12:36 +0000165
166void
Guido van Rossum47fbc401998-08-25 18:12:36 +0000167PySys_WriteStderr(const char *format, ...)
Guido van Rossum47fbc401998-08-25 18:12:36 +0000168{
Antoine Pitrouc83ea132010-05-09 14:46:46 +0000169 va_list va;
Guido van Rossum47fbc401998-08-25 18:12:36 +0000170
Antoine Pitrouc83ea132010-05-09 14:46:46 +0000171 va_start(va, format);
172 vfprintf(stderr, format, va);
173 va_end(va);
Guido van Rossum47fbc401998-08-25 18:12:36 +0000174}