1994-05-27 12:33:43 +00:00
|
|
|
/*
|
|
|
|
* Copyright (c) 1989 The Regents of the University of California.
|
|
|
|
* All rights reserved.
|
|
|
|
*
|
|
|
|
* This code is derived from software contributed to Berkeley by
|
|
|
|
* Robert Paul Corbett.
|
|
|
|
*
|
|
|
|
* Redistribution and use in source and binary forms, with or without
|
|
|
|
* modification, are permitted provided that the following conditions
|
|
|
|
* are met:
|
|
|
|
* 1. Redistributions of source code must retain the above copyright
|
|
|
|
* notice, this list of conditions and the following disclaimer.
|
|
|
|
* 2. Redistributions in binary form must reproduce the above copyright
|
|
|
|
* notice, this list of conditions and the following disclaimer in the
|
|
|
|
* documentation and/or other materials provided with the distribution.
|
|
|
|
* 3. All advertising materials mentioning features or use of this software
|
|
|
|
* must display the following acknowledgement:
|
|
|
|
* This product includes software developed by the University of
|
|
|
|
* California, Berkeley and its contributors.
|
|
|
|
* 4. Neither the name of the University nor the names of its contributors
|
|
|
|
* may be used to endorse or promote products derived from this software
|
|
|
|
* without specific prior written permission.
|
|
|
|
*
|
|
|
|
* THIS SOFTWARE IS PROVIDED BY THE REGENTS AND CONTRIBUTORS ``AS IS'' AND
|
|
|
|
* ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
|
|
|
|
* IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
|
|
|
|
* ARE DISCLAIMED. IN NO EVENT SHALL THE REGENTS OR CONTRIBUTORS BE LIABLE
|
|
|
|
* FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
|
|
|
|
* DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
|
|
|
|
* OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
|
|
|
|
* HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
|
|
|
|
* LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
|
|
|
|
* OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
|
|
|
|
* SUCH DAMAGE.
|
1997-01-12 21:29:55 +00:00
|
|
|
*
|
1997-02-16 01:50:25 +00:00
|
|
|
* $Id: main.c,v 1.5 1997/01/12 21:29:47 steve Exp $
|
1994-05-27 12:33:43 +00:00
|
|
|
*/
|
|
|
|
|
|
|
|
#ifndef lint
|
1997-01-12 21:16:25 +00:00
|
|
|
static char const copyright[] =
|
1994-05-27 12:33:43 +00:00
|
|
|
"@(#) Copyright (c) 1989 The Regents of the University of California.\n\
|
|
|
|
All rights reserved.\n";
|
|
|
|
#endif /* not lint */
|
|
|
|
|
|
|
|
#ifndef lint
|
1997-01-12 21:16:25 +00:00
|
|
|
static char const sccsid[] = "@(#)main.c 5.5 (Berkeley) 5/24/93";
|
1994-05-27 12:33:43 +00:00
|
|
|
#endif /* not lint */
|
|
|
|
|
|
|
|
#include <signal.h>
|
1997-01-12 21:16:25 +00:00
|
|
|
#include <stdlib.h>
|
|
|
|
#include <string.h>
|
|
|
|
#include <unistd.h>
|
1994-05-27 12:33:43 +00:00
|
|
|
#include "defs.h"
|
|
|
|
|
|
|
|
char dflag;
|
|
|
|
char lflag;
|
|
|
|
char rflag;
|
|
|
|
char tflag;
|
|
|
|
char vflag;
|
|
|
|
|
|
|
|
char *symbol_prefix;
|
|
|
|
char *file_prefix = "y";
|
|
|
|
char *myname = "yacc";
|
|
|
|
char *temp_form = "yacc.XXXXXXX";
|
|
|
|
|
|
|
|
int lineno;
|
|
|
|
int outline;
|
|
|
|
|
|
|
|
char *action_file_name;
|
|
|
|
char *code_file_name;
|
|
|
|
char *defines_file_name;
|
|
|
|
char *input_file_name = "";
|
|
|
|
char *output_file_name;
|
|
|
|
char *text_file_name;
|
|
|
|
char *union_file_name;
|
|
|
|
char *verbose_file_name;
|
|
|
|
|
|
|
|
FILE *action_file; /* a temp file, used to save actions associated */
|
|
|
|
/* with rules until the parser is written */
|
|
|
|
FILE *code_file; /* y.code.c (used when the -r option is specified) */
|
|
|
|
FILE *defines_file; /* y.tab.h */
|
|
|
|
FILE *input_file; /* the input file */
|
|
|
|
FILE *output_file; /* y.tab.c */
|
|
|
|
FILE *text_file; /* a temp file, used to save text until all */
|
|
|
|
/* symbols have been defined */
|
|
|
|
FILE *union_file; /* a temp file, used to save the union */
|
|
|
|
/* definition until all symbol have been */
|
|
|
|
/* defined */
|
|
|
|
FILE *verbose_file; /* y.output */
|
|
|
|
|
|
|
|
int nitems;
|
|
|
|
int nrules;
|
|
|
|
int nsyms;
|
|
|
|
int ntokens;
|
|
|
|
int nvars;
|
|
|
|
|
|
|
|
int start_symbol;
|
|
|
|
char **symbol_name;
|
|
|
|
short *symbol_value;
|
|
|
|
short *symbol_prec;
|
|
|
|
char *symbol_assoc;
|
|
|
|
|
|
|
|
short *ritem;
|
|
|
|
short *rlhs;
|
|
|
|
short *rrhs;
|
|
|
|
short *rprec;
|
|
|
|
char *rassoc;
|
|
|
|
short **derives;
|
|
|
|
char *nullable;
|
|
|
|
|
1997-01-12 21:16:25 +00:00
|
|
|
static void create_file_names __P((void));
|
|
|
|
static void getargs __P((int, char **));
|
|
|
|
static void onintr __P((int));
|
|
|
|
static void open_files __P((void));
|
|
|
|
static void set_signals __P((void));
|
|
|
|
static void usage __P((void));
|
1994-05-27 12:33:43 +00:00
|
|
|
|
|
|
|
|
1997-01-12 21:16:25 +00:00
|
|
|
void
|
1994-05-27 12:33:43 +00:00
|
|
|
done(k)
|
|
|
|
int k;
|
|
|
|
{
|
|
|
|
if (action_file) { fclose(action_file); unlink(action_file_name); }
|
|
|
|
if (text_file) { fclose(text_file); unlink(text_file_name); }
|
|
|
|
if (union_file) { fclose(union_file); unlink(union_file_name); }
|
|
|
|
exit(k);
|
|
|
|
}
|
|
|
|
|
|
|
|
|
1997-01-12 21:16:25 +00:00
|
|
|
static void
|
1994-05-27 12:33:43 +00:00
|
|
|
onintr(signo)
|
|
|
|
int signo;
|
|
|
|
{
|
|
|
|
done(1);
|
|
|
|
}
|
|
|
|
|
|
|
|
|
1997-01-12 21:16:25 +00:00
|
|
|
static void
|
1994-05-27 12:33:43 +00:00
|
|
|
set_signals()
|
|
|
|
{
|
|
|
|
#ifdef SIGINT
|
|
|
|
if (signal(SIGINT, SIG_IGN) != SIG_IGN)
|
|
|
|
signal(SIGINT, onintr);
|
|
|
|
#endif
|
|
|
|
#ifdef SIGTERM
|
|
|
|
if (signal(SIGTERM, SIG_IGN) != SIG_IGN)
|
|
|
|
signal(SIGTERM, onintr);
|
|
|
|
#endif
|
|
|
|
#ifdef SIGHUP
|
|
|
|
if (signal(SIGHUP, SIG_IGN) != SIG_IGN)
|
|
|
|
signal(SIGHUP, onintr);
|
|
|
|
#endif
|
|
|
|
}
|
|
|
|
|
|
|
|
|
1997-01-12 21:16:25 +00:00
|
|
|
static void
|
1994-05-27 12:33:43 +00:00
|
|
|
usage()
|
|
|
|
{
|
1997-02-16 01:50:25 +00:00
|
|
|
fprintf(stderr, "usage: %s [-dlrtv] [-b file_prefix] [-o output_file_name] [-p symbol_prefix] filename\n", myname);
|
1994-05-27 12:33:43 +00:00
|
|
|
exit(1);
|
|
|
|
}
|
|
|
|
|
|
|
|
|
1997-01-12 21:16:25 +00:00
|
|
|
static void
|
1994-05-27 12:33:43 +00:00
|
|
|
getargs(argc, argv)
|
|
|
|
int argc;
|
|
|
|
char *argv[];
|
|
|
|
{
|
|
|
|
register int i;
|
|
|
|
register char *s;
|
|
|
|
|
|
|
|
if (argc > 0) myname = argv[0];
|
|
|
|
for (i = 1; i < argc; ++i)
|
|
|
|
{
|
|
|
|
s = argv[i];
|
|
|
|
if (*s != '-') break;
|
|
|
|
switch (*++s)
|
|
|
|
{
|
|
|
|
case '\0':
|
|
|
|
input_file = stdin;
|
|
|
|
if (i + 1 < argc) usage();
|
|
|
|
return;
|
|
|
|
|
|
|
|
case '-':
|
|
|
|
++i;
|
|
|
|
goto no_more_options;
|
|
|
|
|
|
|
|
case 'b':
|
|
|
|
if (*++s)
|
|
|
|
file_prefix = s;
|
|
|
|
else if (++i < argc)
|
|
|
|
file_prefix = argv[i];
|
|
|
|
else
|
|
|
|
usage();
|
|
|
|
continue;
|
|
|
|
|
|
|
|
case 'd':
|
|
|
|
dflag = 1;
|
|
|
|
break;
|
|
|
|
|
|
|
|
case 'l':
|
|
|
|
lflag = 1;
|
|
|
|
break;
|
|
|
|
|
1997-02-16 01:50:25 +00:00
|
|
|
case 'o':
|
|
|
|
if (*++s)
|
|
|
|
output_file_name = s;
|
|
|
|
else if (++i < argc)
|
|
|
|
output_file_name = argv[i];
|
|
|
|
else
|
|
|
|
usage();
|
|
|
|
continue;
|
|
|
|
|
1994-05-27 12:33:43 +00:00
|
|
|
case 'p':
|
|
|
|
if (*++s)
|
|
|
|
symbol_prefix = s;
|
|
|
|
else if (++i < argc)
|
|
|
|
symbol_prefix = argv[i];
|
|
|
|
else
|
|
|
|
usage();
|
|
|
|
continue;
|
|
|
|
|
|
|
|
case 'r':
|
|
|
|
rflag = 1;
|
|
|
|
break;
|
|
|
|
|
|
|
|
case 't':
|
|
|
|
tflag = 1;
|
|
|
|
break;
|
|
|
|
|
|
|
|
case 'v':
|
|
|
|
vflag = 1;
|
|
|
|
break;
|
|
|
|
|
|
|
|
default:
|
|
|
|
usage();
|
|
|
|
}
|
|
|
|
|
|
|
|
for (;;)
|
|
|
|
{
|
|
|
|
switch (*++s)
|
|
|
|
{
|
|
|
|
case '\0':
|
|
|
|
goto end_of_option;
|
|
|
|
|
|
|
|
case 'd':
|
|
|
|
dflag = 1;
|
|
|
|
break;
|
|
|
|
|
|
|
|
case 'l':
|
|
|
|
lflag = 1;
|
|
|
|
break;
|
|
|
|
|
|
|
|
case 'r':
|
|
|
|
rflag = 1;
|
|
|
|
break;
|
|
|
|
|
|
|
|
case 't':
|
|
|
|
tflag = 1;
|
|
|
|
break;
|
|
|
|
|
|
|
|
case 'v':
|
|
|
|
vflag = 1;
|
|
|
|
break;
|
|
|
|
|
|
|
|
default:
|
|
|
|
usage();
|
|
|
|
}
|
|
|
|
}
|
|
|
|
end_of_option:;
|
|
|
|
}
|
|
|
|
|
|
|
|
no_more_options:;
|
|
|
|
if (i + 1 != argc) usage();
|
|
|
|
input_file_name = argv[i];
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
char *
|
|
|
|
allocate(n)
|
|
|
|
unsigned n;
|
|
|
|
{
|
|
|
|
register char *p;
|
|
|
|
|
|
|
|
p = NULL;
|
|
|
|
if (n)
|
|
|
|
{
|
|
|
|
p = CALLOC(1, n);
|
|
|
|
if (!p) no_space();
|
|
|
|
}
|
|
|
|
return (p);
|
|
|
|
}
|
|
|
|
|
|
|
|
|
1997-01-12 21:16:25 +00:00
|
|
|
static void
|
1994-05-27 12:33:43 +00:00
|
|
|
create_file_names()
|
|
|
|
{
|
|
|
|
int i, len;
|
|
|
|
char *tmpdir;
|
|
|
|
|
|
|
|
tmpdir = getenv("TMPDIR");
|
|
|
|
if (tmpdir == 0) tmpdir = "/tmp";
|
|
|
|
|
|
|
|
len = strlen(tmpdir);
|
|
|
|
i = len + 13;
|
|
|
|
if (len && tmpdir[len-1] != '/')
|
|
|
|
++i;
|
|
|
|
|
|
|
|
action_file_name = MALLOC(i);
|
|
|
|
if (action_file_name == 0) no_space();
|
|
|
|
text_file_name = MALLOC(i);
|
|
|
|
if (text_file_name == 0) no_space();
|
|
|
|
union_file_name = MALLOC(i);
|
|
|
|
if (union_file_name == 0) no_space();
|
|
|
|
|
|
|
|
strcpy(action_file_name, tmpdir);
|
|
|
|
strcpy(text_file_name, tmpdir);
|
|
|
|
strcpy(union_file_name, tmpdir);
|
|
|
|
|
|
|
|
if (len && tmpdir[len - 1] != '/')
|
|
|
|
{
|
|
|
|
action_file_name[len] = '/';
|
|
|
|
text_file_name[len] = '/';
|
|
|
|
union_file_name[len] = '/';
|
|
|
|
++len;
|
|
|
|
}
|
|
|
|
|
|
|
|
strcpy(action_file_name + len, temp_form);
|
|
|
|
strcpy(text_file_name + len, temp_form);
|
|
|
|
strcpy(union_file_name + len, temp_form);
|
|
|
|
|
|
|
|
action_file_name[len + 5] = 'a';
|
|
|
|
text_file_name[len + 5] = 't';
|
|
|
|
union_file_name[len + 5] = 'u';
|
|
|
|
|
|
|
|
mktemp(action_file_name);
|
|
|
|
mktemp(text_file_name);
|
|
|
|
mktemp(union_file_name);
|
|
|
|
|
1997-02-16 01:50:25 +00:00
|
|
|
if (output_file_name != 0)
|
|
|
|
{
|
|
|
|
file_prefix = output_file_name;
|
|
|
|
len = strlen(file_prefix);
|
|
|
|
}
|
|
|
|
else
|
|
|
|
{
|
|
|
|
len = strlen(file_prefix);
|
|
|
|
output_file_name = MALLOC(len + 7);
|
|
|
|
if (output_file_name == 0)
|
|
|
|
no_space();
|
|
|
|
strcpy(output_file_name, file_prefix);
|
|
|
|
strcpy(output_file_name + len, OUTPUT_SUFFIX);
|
|
|
|
}
|
1994-05-27 12:33:43 +00:00
|
|
|
|
|
|
|
if (rflag)
|
|
|
|
{
|
|
|
|
code_file_name = MALLOC(len + 8);
|
|
|
|
if (code_file_name == 0)
|
|
|
|
no_space();
|
|
|
|
strcpy(code_file_name, file_prefix);
|
1997-02-16 01:50:25 +00:00
|
|
|
if (file_prefix == output_file_name)
|
|
|
|
{
|
|
|
|
/*
|
|
|
|
* XXX ".tab.c" here is OUTPUT_SUFFIX, but since its length is
|
|
|
|
* in various magic numbers, don't bother using the macro.
|
|
|
|
*/
|
|
|
|
if (len >= 6 && strcmp(code_file_name + len - 6, ".tab.c") == 0)
|
|
|
|
strcpy(code_file_name + len - 6, CODE_SUFFIX);
|
|
|
|
else if (len >= 2 && strcmp(code_file_name + len - 2, ".c") == 0)
|
|
|
|
strcpy(code_file_name + len - 2, CODE_SUFFIX);
|
|
|
|
else
|
|
|
|
strcpy(code_file_name + len, CODE_SUFFIX);
|
|
|
|
}
|
|
|
|
else
|
|
|
|
strcpy(code_file_name + len, CODE_SUFFIX);
|
1994-05-27 12:33:43 +00:00
|
|
|
}
|
|
|
|
else
|
|
|
|
code_file_name = output_file_name;
|
|
|
|
|
|
|
|
if (dflag)
|
|
|
|
{
|
|
|
|
defines_file_name = MALLOC(len + 7);
|
|
|
|
if (defines_file_name == 0)
|
|
|
|
no_space();
|
|
|
|
strcpy(defines_file_name, file_prefix);
|
1997-02-16 01:50:25 +00:00
|
|
|
if (file_prefix == output_file_name)
|
|
|
|
{
|
|
|
|
#define BISON_DEFINES_SUFFIX ".h"
|
|
|
|
if (len >= 2 && strcmp(defines_file_name + len - 2, ".c") == 0)
|
|
|
|
strcpy(defines_file_name + len - 2, BISON_DEFINES_SUFFIX);
|
|
|
|
else
|
|
|
|
strcpy(defines_file_name + len, BISON_DEFINES_SUFFIX);
|
|
|
|
}
|
|
|
|
else
|
|
|
|
strcpy(defines_file_name + len, DEFINES_SUFFIX);
|
1994-05-27 12:33:43 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
if (vflag)
|
|
|
|
{
|
|
|
|
verbose_file_name = MALLOC(len + 8);
|
|
|
|
if (verbose_file_name == 0)
|
|
|
|
no_space();
|
|
|
|
strcpy(verbose_file_name, file_prefix);
|
1997-02-16 01:50:25 +00:00
|
|
|
if (file_prefix == output_file_name)
|
|
|
|
{
|
|
|
|
if (len >= 6 && strcmp(verbose_file_name + len - 6, ".tab.c") == 0)
|
|
|
|
strcpy(verbose_file_name + len - 6, VERBOSE_SUFFIX);
|
|
|
|
else if (len >= 2 && strcmp(verbose_file_name + len - 2, ".c") == 0)
|
|
|
|
strcpy(verbose_file_name + len - 2, VERBOSE_SUFFIX);
|
|
|
|
else
|
|
|
|
strcpy(verbose_file_name + len, VERBOSE_SUFFIX);
|
|
|
|
}
|
|
|
|
else
|
|
|
|
strcpy(verbose_file_name + len, VERBOSE_SUFFIX);
|
1994-05-27 12:33:43 +00:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
|
1997-01-12 21:16:25 +00:00
|
|
|
static void
|
1994-05-27 12:33:43 +00:00
|
|
|
open_files()
|
|
|
|
{
|
|
|
|
create_file_names();
|
|
|
|
|
|
|
|
if (input_file == 0)
|
|
|
|
{
|
|
|
|
input_file = fopen(input_file_name, "r");
|
|
|
|
if (input_file == 0)
|
|
|
|
open_error(input_file_name);
|
|
|
|
}
|
|
|
|
|
|
|
|
action_file = fopen(action_file_name, "w");
|
|
|
|
if (action_file == 0)
|
|
|
|
open_error(action_file_name);
|
|
|
|
|
|
|
|
text_file = fopen(text_file_name, "w");
|
|
|
|
if (text_file == 0)
|
|
|
|
open_error(text_file_name);
|
|
|
|
|
|
|
|
if (vflag)
|
|
|
|
{
|
|
|
|
verbose_file = fopen(verbose_file_name, "w");
|
|
|
|
if (verbose_file == 0)
|
|
|
|
open_error(verbose_file_name);
|
|
|
|
}
|
|
|
|
|
|
|
|
if (dflag)
|
|
|
|
{
|
|
|
|
defines_file = fopen(defines_file_name, "w");
|
|
|
|
if (defines_file == 0)
|
|
|
|
open_error(defines_file_name);
|
|
|
|
union_file = fopen(union_file_name, "w");
|
|
|
|
if (union_file == 0)
|
|
|
|
open_error(union_file_name);
|
|
|
|
}
|
|
|
|
|
|
|
|
output_file = fopen(output_file_name, "w");
|
|
|
|
if (output_file == 0)
|
|
|
|
open_error(output_file_name);
|
|
|
|
|
|
|
|
if (rflag)
|
|
|
|
{
|
|
|
|
code_file = fopen(code_file_name, "w");
|
|
|
|
if (code_file == 0)
|
|
|
|
open_error(code_file_name);
|
|
|
|
}
|
|
|
|
else
|
|
|
|
code_file = output_file;
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
int
|
|
|
|
main(argc, argv)
|
|
|
|
int argc;
|
|
|
|
char *argv[];
|
|
|
|
{
|
|
|
|
set_signals();
|
|
|
|
getargs(argc, argv);
|
|
|
|
open_files();
|
|
|
|
reader();
|
|
|
|
lr0();
|
|
|
|
lalr();
|
|
|
|
make_parser();
|
|
|
|
verbose();
|
|
|
|
output();
|
|
|
|
done(0);
|
|
|
|
/*NOTREACHED*/
|
1997-01-12 21:16:25 +00:00
|
|
|
return (0);
|
1994-05-27 12:33:43 +00:00
|
|
|
}
|