Home | History | Annotate | Line # | Download | only in dist
main.c revision 1.6
      1 /*	$NetBSD: main.c,v 1.6 2010/12/25 23:43:30 christos Exp $	*/
      2 /* Id: main.c,v 1.30 2010/11/24 15:13:39 tom Exp */
      3 
      4 #include "defs.h"
      5 
      6 #include <sys/cdefs.h>
      7 __RCSID("$NetBSD: main.c,v 1.6 2010/12/25 23:43:30 christos Exp $");
      8 
      9 #include <signal.h>
     10 #include <unistd.h>		/* for _exit() */
     11 
     12 
     13 char dflag;
     14 char gflag;
     15 char lflag;
     16 static char oflag;
     17 char rflag;
     18 char tflag;
     19 char vflag;
     20 
     21 const char *symbol_prefix;
     22 const char *myname = "yacc";
     23 
     24 int lineno;
     25 int outline;
     26 
     27 static char empty_string[] = "";
     28 static char default_file_prefix[] = "y";
     29 static int explicit_file_name;
     30 
     31 static char *file_prefix = default_file_prefix;
     32 
     33 char *code_file_name;
     34 char *input_file_name = empty_string;
     35 static char *defines_file_name;
     36 static char *graph_file_name;
     37 static char *output_file_name;
     38 static char *verbose_file_name;
     39 
     40 FILE *action_file;	/*  a temp file, used to save actions associated    */
     41 			/*  with rules until the parser is written          */
     42 FILE *code_file;	/*  y.code.c (used when the -r option is specified) */
     43 FILE *defines_file;	/*  y.tab.h                                         */
     44 FILE *input_file;	/*  the input file                                  */
     45 FILE *output_file;	/*  y.tab.c                                         */
     46 FILE *text_file;	/*  a temp file, used to save text until all        */
     47 			/*  symbols have been defined                       */
     48 FILE *union_file;	/*  a temp file, used to save the union             */
     49 			/*  definition until all symbol have been           */
     50 			/*  defined                                         */
     51 FILE *verbose_file;	/*  y.output                                        */
     52 FILE *graph_file;	/*  y.dot                                           */
     53 
     54 int nitems;
     55 int nrules;
     56 int nsyms;
     57 int ntokens;
     58 int nvars;
     59 
     60 Value_t start_symbol;
     61 char **symbol_name;
     62 char **symbol_pname;
     63 Value_t *symbol_value;
     64 short *symbol_prec;
     65 char *symbol_assoc;
     66 
     67 int pure_parser;
     68 int exit_code;
     69 
     70 Value_t *ritem;
     71 Value_t *rlhs;
     72 Value_t *rrhs;
     73 Value_t *rprec;
     74 Assoc_t *rassoc;
     75 Value_t **derives;
     76 char *nullable;
     77 
     78 /*
     79  * Since fclose() is called via the signal handler, it might die.  Don't loop
     80  * if there is a problem closing a file.
     81  */
     82 #define DO_CLOSE(fp) \
     83 	if (fp != 0) { \
     84 	    FILE *use = fp; \
     85 	    fp = 0; \
     86 	    fclose(use); \
     87 	}
     88 
     89 static int got_intr = 0;
     90 
     91 void
     92 done(int k)
     93 {
     94     DO_CLOSE(input_file);
     95     DO_CLOSE(output_file);
     96 
     97     DO_CLOSE(action_file);
     98     DO_CLOSE(defines_file);
     99     DO_CLOSE(graph_file);
    100     DO_CLOSE(text_file);
    101     DO_CLOSE(union_file);
    102     DO_CLOSE(verbose_file);
    103 
    104     if (got_intr)
    105 	_exit(EXIT_FAILURE);
    106 
    107 #ifdef NO_LEAKS
    108     if (rflag)
    109 	DO_FREE(code_file_name);
    110 
    111     if (dflag)
    112 	DO_FREE(defines_file_name);
    113 
    114     if (oflag)
    115 	DO_FREE(output_file_name);
    116 
    117     if (vflag)
    118 	DO_FREE(verbose_file_name);
    119 
    120     if (gflag)
    121 	DO_FREE(graph_file_name);
    122 
    123     lr0_leaks();
    124     lalr_leaks();
    125     mkpar_leaks();
    126     output_leaks();
    127     reader_leaks();
    128 #endif
    129 
    130     if (rflag)
    131 	DO_CLOSE(code_file);
    132 
    133     exit(k);
    134 }
    135 
    136 static void
    137 onintr(int sig GCC_UNUSED)
    138 {
    139     got_intr = 1;
    140     done(EXIT_FAILURE);
    141 }
    142 
    143 static void
    144 set_signals(void)
    145 {
    146 #ifdef SIGINT
    147     if (signal(SIGINT, SIG_IGN) != SIG_IGN)
    148 	signal(SIGINT, onintr);
    149 #endif
    150 #ifdef SIGTERM
    151     if (signal(SIGTERM, SIG_IGN) != SIG_IGN)
    152 	signal(SIGTERM, onintr);
    153 #endif
    154 #ifdef SIGHUP
    155     if (signal(SIGHUP, SIG_IGN) != SIG_IGN)
    156 	signal(SIGHUP, onintr);
    157 #endif
    158 }
    159 
    160 static void
    161 usage(void)
    162 {
    163     static const char *msg[] =
    164     {
    165 	""
    166 	,"Options:"
    167 	,"  -b file_prefix        set filename prefix (default \"y.\")"
    168 	,"  -d                    write definitions (y.tab.h)"
    169 	,"  -g                    write a graphical description"
    170 	,"  -l                    suppress #line directives"
    171 	,"  -o output_file        (default \"y.tab.c\")"
    172 	,"  -p symbol_prefix      set symbol prefix (default \"yy\")"
    173 	,"  -P                    create a reentrant parser, e.g., \"%pure-parser\""
    174 	,"  -r                    produce separate code and table files (y.code.c)"
    175 	,"  -t                    add debugging support"
    176 	,"  -v                    write description (y.output)"
    177 	,"  -V                    show version information and exit"
    178     };
    179     unsigned n;
    180 
    181     fflush(stdout);
    182     fprintf(stderr, "Usage: %s [options] filename\n", myname);
    183     for (n = 0; n < sizeof(msg) / sizeof(msg[0]); ++n)
    184 	fprintf(stderr, "%s\n", msg[n]);
    185 
    186     exit(1);
    187 }
    188 
    189 static void
    190 setflag(int ch)
    191 {
    192     switch (ch)
    193     {
    194     case 'd':
    195 	dflag = 1;
    196 	break;
    197 
    198     case 'g':
    199 	gflag = 1;
    200 	break;
    201 
    202     case 'l':
    203 	lflag = 1;
    204 	break;
    205 
    206     case 'P':
    207 	pure_parser = 1;
    208 	break;
    209 
    210     case 'r':
    211 	rflag = 1;
    212 	break;
    213 
    214     case 't':
    215 	tflag = 1;
    216 	break;
    217 
    218     case 'v':
    219 	vflag = 1;
    220 	break;
    221 
    222     case 'V':
    223 	printf("%s - %s\n", myname, VERSION);
    224 	exit(EXIT_SUCCESS);
    225 
    226     case 'y':
    227 	/* noop for bison compatibility. byacc is already designed to be posix
    228 	 * yacc compatible. */
    229 	break;
    230 
    231     default:
    232 	usage();
    233     }
    234 }
    235 
    236 static void
    237 getargs(int argc, char *argv[])
    238 {
    239     int i;
    240     char *s;
    241     int ch;
    242 
    243     if (argc > 0)
    244 	myname = argv[0];
    245 
    246     for (i = 1; i < argc; ++i)
    247     {
    248 	s = argv[i];
    249 	if (*s != '-')
    250 	    break;
    251 	switch (ch = *++s)
    252 	{
    253 	case '\0':
    254 	    input_file = stdin;
    255 	    if (i + 1 < argc)
    256 		usage();
    257 	    return;
    258 
    259 	case '-':
    260 	    ++i;
    261 	    goto no_more_options;
    262 
    263 	case 'b':
    264 	    if (*++s)
    265 		file_prefix = s;
    266 	    else if (++i < argc)
    267 		file_prefix = argv[i];
    268 	    else
    269 		usage();
    270 	    continue;
    271 
    272 	case 'o':
    273 	    if (*++s)
    274 		output_file_name = s;
    275 	    else if (++i < argc)
    276 		output_file_name = argv[i];
    277 	    else
    278 		usage();
    279 	    explicit_file_name = 1;
    280 	    continue;
    281 
    282 	case 'p':
    283 	    if (*++s)
    284 		symbol_prefix = s;
    285 	    else if (++i < argc)
    286 		symbol_prefix = argv[i];
    287 	    else
    288 		usage();
    289 	    continue;
    290 
    291 	default:
    292 	    setflag(ch);
    293 	    break;
    294 	}
    295 
    296 	for (;;)
    297 	{
    298 	    switch (ch = *++s)
    299 	    {
    300 	    case '\0':
    301 		goto end_of_option;
    302 
    303 	    default:
    304 		setflag(ch);
    305 		break;
    306 	    }
    307 	}
    308       end_of_option:;
    309     }
    310 
    311   no_more_options:;
    312     if (i + 1 != argc)
    313 	usage();
    314     input_file_name = argv[i];
    315 }
    316 
    317 char *
    318 allocate(size_t n)
    319 {
    320     char *p;
    321 
    322     p = NULL;
    323     if (n)
    324     {
    325 	p = CALLOC(1, n);
    326 	NO_SPACE(p);
    327     }
    328     return (p);
    329 }
    330 
    331 #define CREATE_FILE_NAME(dest, suffix) \
    332 	dest = MALLOC(len + strlen(suffix) + 1); \
    333 	NO_SPACE(dest); \
    334 	strcpy(dest, file_prefix); \
    335 	strcpy(dest + len, suffix)
    336 
    337 static void
    338 create_file_names(void)
    339 {
    340     size_t len;
    341     const char *defines_suffix;
    342     char *prefix;
    343 
    344     prefix = NULL;
    345     defines_suffix = DEFINES_SUFFIX;
    346 
    347     /* compute the file_prefix from the user provided output_file_name */
    348     if (output_file_name != 0)
    349     {
    350 	if (!(prefix = strstr(output_file_name, ".tab.c"))
    351 	    && (prefix = strstr(output_file_name, ".c")))
    352 	    defines_suffix = ".h";
    353     }
    354 
    355     if (prefix != NULL)
    356     {
    357 	len = (size_t) (prefix - output_file_name);
    358 	file_prefix = MALLOC(len + 1);
    359 	NO_SPACE(file_prefix);
    360 	strncpy(file_prefix, output_file_name, len)[len] = 0;
    361     }
    362     else
    363 	len = strlen(file_prefix);
    364 
    365     /* if "-o filename" was not given */
    366     if (output_file_name == 0)
    367     {
    368 	oflag = 1;
    369 	CREATE_FILE_NAME(output_file_name, OUTPUT_SUFFIX);
    370     }
    371 
    372     if (rflag)
    373     {
    374 	CREATE_FILE_NAME(code_file_name, CODE_SUFFIX);
    375     }
    376     else
    377 	code_file_name = output_file_name;
    378 
    379     if (dflag)
    380     {
    381 	if (explicit_file_name)
    382 	{
    383 	    char *suffix;
    384 	    defines_file_name = strdup(output_file_name);
    385 	    if (defines_file_name == 0)
    386 		no_space();
    387 	    /* does the output_file_name have a known suffix */
    388             suffix = strrchr(output_file_name, '.');
    389             if (suffix != 0 &&
    390 		(!strcmp(suffix, ".c") ||   /* good, old-fashioned C */
    391                  !strcmp(suffix, ".C") ||   /* C++, or C on Windows */
    392                  !strcmp(suffix, ".cc") ||  /* C++ */
    393                  !strcmp(suffix, ".cxx") || /* C++ */
    394                  !strcmp(suffix, ".cpp")))  /* C++ (Windows) */
    395             {
    396                 strncpy(defines_file_name, output_file_name,
    397                         suffix - output_file_name + 1);
    398                 defines_file_name[suffix - output_file_name + 1] = 'h';
    399                 defines_file_name[suffix - output_file_name + 2] = 0;
    400             } else {
    401                 fprintf(stderr,"%s: suffix of output file name %s"
    402                                " not recognized, no -d file generated.\n",
    403                         myname, output_file_name);
    404                 dflag = 0;
    405                 free(defines_file_name);
    406                 defines_file_name = 0;
    407             }
    408 	} else {
    409 	    CREATE_FILE_NAME(defines_file_name, defines_suffix);
    410 	}
    411     }
    412 
    413     if (vflag)
    414     {
    415 	CREATE_FILE_NAME(verbose_file_name, VERBOSE_SUFFIX);
    416     }
    417 
    418     if (gflag)
    419     {
    420 	CREATE_FILE_NAME(graph_file_name, GRAPH_SUFFIX);
    421     }
    422 
    423     if (prefix != NULL)
    424     {
    425 	FREE(file_prefix);
    426     }
    427 }
    428 
    429 static void
    430 open_files(void)
    431 {
    432     create_file_names();
    433 
    434     if (input_file == 0)
    435     {
    436 	input_file = fopen(input_file_name, "r");
    437 	if (input_file == 0)
    438 	    open_error(input_file_name);
    439     }
    440 
    441     action_file = tmpfile();
    442     if (action_file == 0)
    443 	open_error("action_file");
    444 
    445     text_file = tmpfile();
    446     if (text_file == 0)
    447 	open_error("text_file");
    448 
    449     if (vflag)
    450     {
    451 	verbose_file = fopen(verbose_file_name, "w");
    452 	if (verbose_file == 0)
    453 	    open_error(verbose_file_name);
    454     }
    455 
    456     if (gflag)
    457     {
    458 	graph_file = fopen(graph_file_name, "w");
    459 	if (graph_file == 0)
    460 	    open_error(graph_file_name);
    461 	fprintf(graph_file, "digraph %s {\n", file_prefix);
    462 	fprintf(graph_file, "\tedge [fontsize=10];\n");
    463 	fprintf(graph_file, "\tnode [shape=box,fontsize=10];\n");
    464 	fprintf(graph_file, "\torientation=landscape;\n");
    465 	fprintf(graph_file, "\trankdir=LR;\n");
    466 	fprintf(graph_file, "\t/*\n");
    467 	fprintf(graph_file, "\tmargin=0.2;\n");
    468 	fprintf(graph_file, "\tpage=\"8.27,11.69\"; // for A4 printing\n");
    469 	fprintf(graph_file, "\tratio=auto;\n");
    470 	fprintf(graph_file, "\t*/\n");
    471     }
    472 
    473     if (dflag)
    474     {
    475 	defines_file = fopen(defines_file_name, "w");
    476 	if (defines_file == 0)
    477 	    open_error(defines_file_name);
    478 	union_file = tmpfile();
    479 	if (union_file == 0)
    480 	    open_error("union_file");
    481     }
    482 
    483     output_file = fopen(output_file_name, "w");
    484     if (output_file == 0)
    485 	open_error(output_file_name);
    486 
    487     if (rflag)
    488     {
    489 	code_file = fopen(code_file_name, "w");
    490 	if (code_file == 0)
    491 	    open_error(code_file_name);
    492     }
    493     else
    494 	code_file = output_file;
    495 }
    496 
    497 int
    498 main(int argc, char *argv[])
    499 {
    500     SRexpect = -1;
    501     RRexpect = -1;
    502     exit_code = EXIT_SUCCESS;
    503 
    504     set_signals();
    505     getargs(argc, argv);
    506     open_files();
    507     reader();
    508     lr0();
    509     lalr();
    510     make_parser();
    511     graph();
    512     finalize_closure();
    513     verbose();
    514     output();
    515     done(exit_code);
    516     /*NOTREACHED */
    517 }
    518