1991-02-19 13:39:46 +01:00
|
|
|
/***********************************************************
|
1995-01-04 20:08:09 +01:00
|
|
|
Copyright 1991-1995 by Stichting Mathematisch Centrum, Amsterdam,
|
|
|
|
The Netherlands.
|
1991-02-19 13:39:46 +01:00
|
|
|
|
|
|
|
All Rights Reserved
|
|
|
|
|
|
|
|
Permission to use, copy, modify, and distribute this software and its
|
|
|
|
documentation for any purpose and without fee is hereby granted,
|
|
|
|
provided that the above copyright notice appear in all copies and that
|
|
|
|
both that copyright notice and this permission notice appear in
|
|
|
|
supporting documentation, and that the names of Stichting Mathematisch
|
|
|
|
Centrum or CWI not be used in advertising or publicity pertaining to
|
|
|
|
distribution of the software without specific, written prior permission.
|
|
|
|
|
|
|
|
STICHTING MATHEMATISCH CENTRUM DISCLAIMS ALL WARRANTIES WITH REGARD TO
|
|
|
|
THIS SOFTWARE, INCLUDING ALL IMPLIED WARRANTIES OF MERCHANTABILITY AND
|
|
|
|
FITNESS, IN NO EVENT SHALL STICHTING MATHEMATISCH CENTRUM BE LIABLE
|
|
|
|
FOR ANY SPECIAL, INDIRECT OR CONSEQUENTIAL DAMAGES OR ANY DAMAGES
|
|
|
|
WHATSOEVER RESULTING FROM LOSS OF USE, DATA OR PROFITS, WHETHER IN AN
|
|
|
|
ACTION OF CONTRACT, NEGLIGENCE OR OTHER TORTIOUS ACTION, ARISING OUT
|
|
|
|
OF OR IN CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE.
|
|
|
|
|
|
|
|
******************************************************************/
|
|
|
|
|
1990-10-14 13:07:46 +01:00
|
|
|
/* Parser generator main program */
|
|
|
|
|
1990-12-20 16:06:42 +01:00
|
|
|
/* This expects a filename containing the grammar as argv[1] (UNIX)
|
|
|
|
or asks the console for such a file name (THINK C).
|
|
|
|
It writes its output on two files in the current directory:
|
|
|
|
- "graminit.c" gets the grammar as a bunch of initialized data
|
|
|
|
- "graminit.h" gets the grammar's non-terminals as #defines.
|
|
|
|
Error messages and status info during the generation process are
|
|
|
|
written to stdout, or sometimes to stderr. */
|
1990-10-14 13:07:46 +01:00
|
|
|
|
1994-08-30 10:27:36 +02:00
|
|
|
/* XXX TO DO:
|
|
|
|
- check for duplicate definitions of names (instead of fatal err)
|
|
|
|
*/
|
|
|
|
|
1990-12-20 16:06:42 +01:00
|
|
|
#include "pgenheaders.h"
|
1990-10-14 13:07:46 +01:00
|
|
|
#include "grammar.h"
|
|
|
|
#include "node.h"
|
|
|
|
#include "parsetok.h"
|
|
|
|
#include "pgen.h"
|
|
|
|
|
|
|
|
int debugging;
|
|
|
|
|
1990-12-20 16:06:42 +01:00
|
|
|
/* Forward */
|
|
|
|
grammar *getgrammar PROTO((char *filename));
|
1994-08-30 10:27:36 +02:00
|
|
|
#ifdef THINK_C
|
1990-12-20 16:06:42 +01:00
|
|
|
int main PROTO((int, char **));
|
|
|
|
char *askfile PROTO((void));
|
|
|
|
#endif
|
|
|
|
|
1993-07-05 12:31:29 +02:00
|
|
|
void
|
|
|
|
goaway(sts)
|
|
|
|
int sts;
|
|
|
|
{
|
|
|
|
exit(sts);
|
|
|
|
}
|
|
|
|
|
1990-12-20 16:06:42 +01:00
|
|
|
int
|
|
|
|
main(argc, argv)
|
|
|
|
int argc;
|
|
|
|
char **argv;
|
1990-10-14 13:07:46 +01:00
|
|
|
{
|
1990-12-20 16:06:42 +01:00
|
|
|
grammar *g;
|
|
|
|
FILE *fp;
|
|
|
|
char *filename;
|
|
|
|
|
1994-08-30 10:27:36 +02:00
|
|
|
#ifdef THINK_C
|
1990-12-20 16:06:42 +01:00
|
|
|
filename = askfile();
|
|
|
|
#else
|
|
|
|
if (argc != 2) {
|
|
|
|
fprintf(stderr, "usage: %s grammar\n", argv[0]);
|
1993-07-05 12:31:29 +02:00
|
|
|
goaway(2);
|
1990-12-20 16:06:42 +01:00
|
|
|
}
|
|
|
|
filename = argv[1];
|
|
|
|
#endif
|
|
|
|
g = getgrammar(filename);
|
|
|
|
fp = fopen("graminit.c", "w");
|
|
|
|
if (fp == NULL) {
|
|
|
|
perror("graminit.c");
|
1993-07-05 12:31:29 +02:00
|
|
|
goaway(1);
|
1990-10-14 13:07:46 +01:00
|
|
|
}
|
1990-12-20 16:06:42 +01:00
|
|
|
printf("Writing graminit.c ...\n");
|
|
|
|
printgrammar(g, fp);
|
|
|
|
fclose(fp);
|
|
|
|
fp = fopen("graminit.h", "w");
|
|
|
|
if (fp == NULL) {
|
|
|
|
perror("graminit.h");
|
1993-07-05 12:31:29 +02:00
|
|
|
goaway(1);
|
1990-10-14 13:07:46 +01:00
|
|
|
}
|
1990-12-20 16:06:42 +01:00
|
|
|
printf("Writing graminit.h ...\n");
|
|
|
|
printnonterminals(g, fp);
|
|
|
|
fclose(fp);
|
1993-07-05 12:31:29 +02:00
|
|
|
goaway(0);
|
1990-10-14 13:07:46 +01:00
|
|
|
}
|
|
|
|
|
|
|
|
grammar *
|
|
|
|
getgrammar(filename)
|
|
|
|
char *filename;
|
|
|
|
{
|
|
|
|
FILE *fp;
|
|
|
|
node *n;
|
|
|
|
grammar *g0, *g;
|
1994-08-30 10:27:36 +02:00
|
|
|
perrdetail err;
|
1990-10-14 13:07:46 +01:00
|
|
|
|
|
|
|
fp = fopen(filename, "r");
|
|
|
|
if (fp == NULL) {
|
|
|
|
perror(filename);
|
1993-07-05 12:31:29 +02:00
|
|
|
goaway(1);
|
1990-10-14 13:07:46 +01:00
|
|
|
}
|
|
|
|
g0 = meta_grammar();
|
1994-08-30 10:27:36 +02:00
|
|
|
n = parsefile(fp, filename, g0, g0->g_start,
|
|
|
|
(char *)NULL, (char *)NULL, &err);
|
1990-10-14 13:07:46 +01:00
|
|
|
fclose(fp);
|
|
|
|
if (n == NULL) {
|
1994-08-30 10:27:36 +02:00
|
|
|
fprintf(stderr, "Parsing error %d, line %d.\n",
|
|
|
|
err.error, err.lineno);
|
|
|
|
if (err.text != NULL) {
|
|
|
|
int i;
|
|
|
|
fprintf(stderr, "%s", err.text);
|
|
|
|
i = strlen(err.text);
|
|
|
|
if (i == 0 || err.text[i-1] != '\n')
|
|
|
|
fprintf(stderr, "\n");
|
|
|
|
for (i = 0; i < err.offset; i++) {
|
|
|
|
if (err.text[i] == '\t')
|
|
|
|
putc('\t', stderr);
|
|
|
|
else
|
|
|
|
putc(' ', stderr);
|
|
|
|
}
|
|
|
|
fprintf(stderr, "^\n");
|
|
|
|
free(err.text);
|
|
|
|
}
|
1993-07-05 12:31:29 +02:00
|
|
|
goaway(1);
|
1990-10-14 13:07:46 +01:00
|
|
|
}
|
|
|
|
g = pgen(n);
|
|
|
|
if (g == NULL) {
|
|
|
|
printf("Bad grammar.\n");
|
1993-07-05 12:31:29 +02:00
|
|
|
goaway(1);
|
1990-10-14 13:07:46 +01:00
|
|
|
}
|
|
|
|
return g;
|
|
|
|
}
|
|
|
|
|
1994-08-30 10:27:36 +02:00
|
|
|
#ifdef THINK_C
|
1990-12-20 16:06:42 +01:00
|
|
|
char *
|
|
|
|
askfile()
|
|
|
|
{
|
|
|
|
char buf[256];
|
|
|
|
static char name[256];
|
|
|
|
printf("Input file name: ");
|
|
|
|
if (fgets(buf, sizeof buf, stdin) == NULL) {
|
|
|
|
printf("EOF\n");
|
1993-07-05 12:31:29 +02:00
|
|
|
goaway(1);
|
1990-10-14 13:07:46 +01:00
|
|
|
}
|
1990-12-21 00:11:02 +01:00
|
|
|
/* XXX The (unsigned char *) case is needed by THINK C 3.0 */
|
|
|
|
if (sscanf(/*(unsigned char *)*/buf, " %s ", name) != 1) {
|
1990-12-20 16:06:42 +01:00
|
|
|
printf("No file\n");
|
1993-07-05 12:31:29 +02:00
|
|
|
goaway(1);
|
1990-10-14 13:07:46 +01:00
|
|
|
}
|
1990-12-20 16:06:42 +01:00
|
|
|
return name;
|
1990-10-14 13:07:46 +01:00
|
|
|
}
|
1990-12-20 16:06:42 +01:00
|
|
|
#endif
|
1990-10-14 13:07:46 +01:00
|
|
|
|
|
|
|
void
|
|
|
|
fatal(msg)
|
|
|
|
char *msg;
|
|
|
|
{
|
|
|
|
fprintf(stderr, "pgen: FATAL ERROR: %s\n", msg);
|
1993-07-05 12:31:29 +02:00
|
|
|
goaway(1);
|
1990-10-14 13:07:46 +01:00
|
|
|
}
|
|
|
|
|
1992-03-27 18:31:35 +01:00
|
|
|
#ifdef macintosh
|
|
|
|
/* ARGSUSED */
|
|
|
|
int
|
|
|
|
guesstabsize(path)
|
|
|
|
char *path;
|
|
|
|
{
|
|
|
|
return 4;
|
|
|
|
}
|
|
|
|
#endif
|
|
|
|
|
1994-08-30 10:27:36 +02:00
|
|
|
/* No-nonsense my_readline() for tokenizer.c */
|
|
|
|
|
|
|
|
char *
|
|
|
|
my_readline(prompt)
|
|
|
|
char *prompt;
|
|
|
|
{
|
|
|
|
int n = 1000;
|
|
|
|
char *p = malloc(n);
|
|
|
|
char *q;
|
|
|
|
if (p == NULL)
|
|
|
|
return NULL;
|
|
|
|
fprintf(stderr, "%s", prompt);
|
|
|
|
q = fgets(p, n, stdin);
|
|
|
|
if (q == NULL) {
|
|
|
|
*p = '\0';
|
|
|
|
return p;
|
|
|
|
}
|
|
|
|
n = strlen(p);
|
|
|
|
if (n > 0 && p[n-1] != '\n')
|
|
|
|
p[n-1] = '\n';
|
|
|
|
return realloc(p, n+1);
|
|
|
|
}
|