blob: 1b759d5a5f5d4da4f70a7d01470b125534b72cb4 [file] [log] [blame]
Guido van Rossumf70e43a1991-02-19 12:39:46 +00001/***********************************************************
Guido van Rossum9bfef441993-03-29 10:43:31 +00002Copyright 1991, 1992, 1993 by Stichting Mathematisch Centrum,
3Amsterdam, The Netherlands.
Guido van Rossumf70e43a1991-02-19 12:39:46 +00004
5 All Rights Reserved
6
7Permission to use, copy, modify, and distribute this software and its
8documentation for any purpose and without fee is hereby granted,
9provided that the above copyright notice appear in all copies and that
10both that copyright notice and this permission notice appear in
11supporting documentation, and that the names of Stichting Mathematisch
12Centrum or CWI not be used in advertising or publicity pertaining to
13distribution of the software without specific, written prior permission.
14
15STICHTING MATHEMATISCH CENTRUM DISCLAIMS ALL WARRANTIES WITH REGARD TO
16THIS SOFTWARE, INCLUDING ALL IMPLIED WARRANTIES OF MERCHANTABILITY AND
17FITNESS, IN NO EVENT SHALL STICHTING MATHEMATISCH CENTRUM BE LIABLE
18FOR ANY SPECIAL, INDIRECT OR CONSEQUENTIAL DAMAGES OR ANY DAMAGES
19WHATSOEVER RESULTING FROM LOSS OF USE, DATA OR PROFITS, WHETHER IN AN
20ACTION OF CONTRACT, NEGLIGENCE OR OTHER TORTIOUS ACTION, ARISING OUT
21OF OR IN CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE.
22
23******************************************************************/
24
Guido van Rossum85a5fbb1990-10-14 12:07:46 +000025/* Parser generator main program */
26
Guido van Rossum3f5da241990-12-20 15:06:42 +000027/* This expects a filename containing the grammar as argv[1] (UNIX)
28 or asks the console for such a file name (THINK C).
29 It writes its output on two files in the current directory:
30 - "graminit.c" gets the grammar as a bunch of initialized data
31 - "graminit.h" gets the grammar's non-terminals as #defines.
32 Error messages and status info during the generation process are
33 written to stdout, or sometimes to stderr. */
Guido van Rossum85a5fbb1990-10-14 12:07:46 +000034
Guido van Rossum3f5da241990-12-20 15:06:42 +000035#include "pgenheaders.h"
Guido van Rossum85a5fbb1990-10-14 12:07:46 +000036#include "grammar.h"
37#include "node.h"
38#include "parsetok.h"
39#include "pgen.h"
40
41int debugging;
42
Guido van Rossum3f5da241990-12-20 15:06:42 +000043/* Forward */
44grammar *getgrammar PROTO((char *filename));
Guido van Rossumd6a15ad1991-06-24 22:30:42 +000045#ifdef macintosh
Guido van Rossum3f5da241990-12-20 15:06:42 +000046int main PROTO((int, char **));
47char *askfile PROTO((void));
Guido van Rossum85a5fbb1990-10-14 12:07:46 +000048#endif
49
Guido van Rossumf1dc5661993-07-05 10:31:29 +000050void
51goaway(sts)
52 int sts;
53{
54 exit(sts);
55}
56
Guido van Rossum3f5da241990-12-20 15:06:42 +000057int
Guido van Rossum85a5fbb1990-10-14 12:07:46 +000058main(argc, argv)
59 int argc;
60 char **argv;
61{
62 grammar *g;
63 node *n;
64 FILE *fp;
65 char *filename;
66
Guido van Rossumd6a15ad1991-06-24 22:30:42 +000067#ifdef macintosh
Guido van Rossum85a5fbb1990-10-14 12:07:46 +000068 filename = askfile();
69#else
70 if (argc != 2) {
71 fprintf(stderr, "usage: %s grammar\n", argv[0]);
Guido van Rossumf1dc5661993-07-05 10:31:29 +000072 goaway(2);
Guido van Rossum85a5fbb1990-10-14 12:07:46 +000073 }
74 filename = argv[1];
75#endif
76 g = getgrammar(filename);
77 fp = fopen("graminit.c", "w");
78 if (fp == NULL) {
79 perror("graminit.c");
Guido van Rossumf1dc5661993-07-05 10:31:29 +000080 goaway(1);
Guido van Rossum85a5fbb1990-10-14 12:07:46 +000081 }
82 printf("Writing graminit.c ...\n");
83 printgrammar(g, fp);
84 fclose(fp);
85 fp = fopen("graminit.h", "w");
86 if (fp == NULL) {
87 perror("graminit.h");
Guido van Rossumf1dc5661993-07-05 10:31:29 +000088 goaway(1);
Guido van Rossum85a5fbb1990-10-14 12:07:46 +000089 }
90 printf("Writing graminit.h ...\n");
91 printnonterminals(g, fp);
92 fclose(fp);
Guido van Rossumf1dc5661993-07-05 10:31:29 +000093 goaway(0);
Guido van Rossum85a5fbb1990-10-14 12:07:46 +000094}
95
Guido van Rossum3f5da241990-12-20 15:06:42 +000096grammar *
97getgrammar(filename)
98 char *filename;
99{
100 FILE *fp;
101 node *n;
102 grammar *g0, *g;
103
104 fp = fopen(filename, "r");
105 if (fp == NULL) {
106 perror(filename);
Guido van Rossumf1dc5661993-07-05 10:31:29 +0000107 goaway(1);
Guido van Rossum3f5da241990-12-20 15:06:42 +0000108 }
109 g0 = meta_grammar();
110 n = NULL;
111 parsefile(fp, filename, g0, g0->g_start, (char *)NULL, (char *)NULL, &n);
112 fclose(fp);
113 if (n == NULL) {
114 fprintf(stderr, "Parsing error.\n");
Guido van Rossumf1dc5661993-07-05 10:31:29 +0000115 goaway(1);
Guido van Rossum3f5da241990-12-20 15:06:42 +0000116 }
117 g = pgen(n);
118 if (g == NULL) {
119 printf("Bad grammar.\n");
Guido van Rossumf1dc5661993-07-05 10:31:29 +0000120 goaway(1);
Guido van Rossum3f5da241990-12-20 15:06:42 +0000121 }
122 return g;
123}
124
Guido van Rossumd6a15ad1991-06-24 22:30:42 +0000125#ifdef macintosh
Guido van Rossum3f5da241990-12-20 15:06:42 +0000126char *
127askfile()
128{
129 char buf[256];
130 static char name[256];
131 printf("Input file name: ");
132 if (fgets(buf, sizeof buf, stdin) == NULL) {
133 printf("EOF\n");
Guido van Rossumf1dc5661993-07-05 10:31:29 +0000134 goaway(1);
Guido van Rossum3f5da241990-12-20 15:06:42 +0000135 }
Guido van Rossum706eea81990-12-20 23:11:02 +0000136 /* XXX The (unsigned char *) case is needed by THINK C 3.0 */
137 if (sscanf(/*(unsigned char *)*/buf, " %s ", name) != 1) {
Guido van Rossum3f5da241990-12-20 15:06:42 +0000138 printf("No file\n");
Guido van Rossumf1dc5661993-07-05 10:31:29 +0000139 goaway(1);
Guido van Rossum3f5da241990-12-20 15:06:42 +0000140 }
141 return name;
142}
143#endif
144
Guido van Rossum85a5fbb1990-10-14 12:07:46 +0000145void
146fatal(msg)
147 char *msg;
148{
149 fprintf(stderr, "pgen: FATAL ERROR: %s\n", msg);
Guido van Rossumf1dc5661993-07-05 10:31:29 +0000150 goaway(1);
Guido van Rossum85a5fbb1990-10-14 12:07:46 +0000151}
152
Guido van Rossum7ebb23c1992-03-27 17:31:35 +0000153#ifdef macintosh
154/* ARGSUSED */
155int
156guesstabsize(path)
157 char *path;
158{
159 return 4;
160}
161#endif
162
Guido van Rossum3f5da241990-12-20 15:06:42 +0000163/* XXX TO DO:
164 - check for duplicate definitions of names (instead of fatal err)
Guido van Rossum85a5fbb1990-10-14 12:07:46 +0000165*/