X-Git-Url: https://git.saurik.com/bison.git/blobdiff_plain/d019d65507d0bfff77bbc3fa34326bd859fd24e1..710ddc4f18039668a7672c8670eb3e010b59292a:/src/reader.c diff --git a/src/reader.c b/src/reader.c index f25cfeba..d42d90ec 100644 --- a/src/reader.c +++ b/src/reader.c @@ -1,5 +1,6 @@ /* Input parser for bison - Copyright (C) 1984, 86, 89, 92, 98, 2000 Free Software Foundation, Inc. + Copyright 1984, 1986, 1989, 1992, 1998, 2000, 2001 + Free Software Foundation, Inc. This file is part of Bison, the GNU Compiler Compiler. @@ -19,102 +20,30 @@ Boston, MA 02111-1307, USA. */ -/* Read in the grammar specification and record it in the format - described in gram.h. All guards are copied into the fguard file - and all actions into faction, in each case forming the body of a C - function (yyguard or yyaction) which contains a switch statement to - decide which guard or action to execute. - - The entry point is reader (). */ - #include "system.h" +#include "obstack.h" +#include "quotearg.h" +#include "quote.h" #include "getargs.h" #include "files.h" -#include "alloc.h" #include "symtab.h" +#include "options.h" #include "lex.h" #include "gram.h" #include "complain.h" #include "output.h" +#include "reader.h" +#include "conflicts.h" +#include "muscle_tab.h" -#define LTYPESTR "\ -\n\ -#ifndef YYLTYPE\n\ -typedef\n\ - struct yyltype\n\ -\ - {\n\ - int timestamp;\n\ - int first_line;\n\ - int first_column;\ -\n\ - int last_line;\n\ - int last_column;\n\ - char *text;\n\ - }\n\ -\ - yyltype;\n\ -\n\ -#define YYLTYPE yyltype\n\ -#endif\n\ -\n" - -/* Number of slots allocated (but not necessarily used yet) in `rline' */ -static int rline_allocated; - -extern bucket *symval; -extern int numval; -extern int expected_conflicts; -extern char *token_buffer; -extern int maxtoken; - -extern void init_lex PARAMS((void)); -extern char *grow_token_buffer PARAMS((char *)); -extern void tabinit PARAMS((void)); -extern void free_symtab PARAMS((void)); -extern void open_extra_files PARAMS((void)); -extern char *printable_version PARAMS((int)); -extern void unlex PARAMS((int)); - -extern int skip_white_space PARAMS((void)); -extern int parse_percent_token PARAMS((void)); -extern int lex PARAMS((void)); - -typedef - struct symbol_list - { - struct symbol_list *next; - bucket *sym; - bucket *ruleprec; - } - symbol_list; - - -extern void reader PARAMS((void)); -extern void reader_output_yylsp PARAMS((FILE *)); - -static void read_declarations PARAMS((void)); -static void copy_definition PARAMS((void)); -static void parse_token_decl PARAMS((int, int)); -static void parse_start_decl PARAMS((void)); -static void parse_type_decl PARAMS((void)); -static void parse_assoc_decl PARAMS((int)); -static void parse_union_decl PARAMS((void)); -static void parse_expect_decl PARAMS((void)); -static char *get_type_name PARAMS((int, symbol_list *)); -static void copy_guard PARAMS((symbol_list *, int)); -static void parse_thong_decl PARAMS((void)); -static void copy_action PARAMS((symbol_list *, int)); -static bucket *gensym PARAMS((void)); -static void readgram PARAMS((void)); -static void record_rule_line PARAMS((void)); -static void packsymbols PARAMS((void)); -static void output_token_defines PARAMS((FILE *)); -static void packgram PARAMS((void)); - -#if 0 -static int get_type PARAMS((void)); -#endif +typedef struct symbol_list +{ + struct symbol_list *next; + bucket *sym; + int line; + bucket *ruleprec; +} +symbol_list; int lineno; char **tags; @@ -127,19 +56,29 @@ static bucket *startval; they must be unions. */ static int value_components_used; -static int typed; /* nonzero if %union has been seen. */ +/* Nonzero if %union has been seen. */ +static int typed; -static int lastprec; /* incremented for each %left, %right or %nonassoc seen */ - -static int gensym_count; /* incremented for each generated symbol */ +/* Incremented for each %left, %right or %nonassoc seen */ +static int lastprec; static bucket *errtoken; static bucket *undeftoken; -/* Nonzero if any action or guard uses the @n construct. */ -static int yylsp_needed; + +static symbol_list * +symbol_list_new (bucket *sym) +{ + symbol_list *res = XMALLOC (symbol_list, 1); + res->next = NULL; + res->sym = sym; + res->line = lineno; + res->ruleprec = NULL; + return res; +} + /*===================\ | Low level lexing. | \===================*/ @@ -168,9 +107,9 @@ skip_to_char (int target) static inline int read_signed_integer (FILE *stream) { - register int c = getc (stream); - register int sign = 1; - register int n = 0; + int c = getc (stream); + int sign = 1; + int n = 0; if (c == '-') { @@ -189,17 +128,53 @@ read_signed_integer (FILE *stream) return sign * n; } -/*-------------------------------------------------------------------. -| Dump the string from FINPUT to FOUTPUT. MATCH is the delimiter of | -| the string (either ' or "). | -`-------------------------------------------------------------------*/ +/*--------------------------------------------------------------. +| Get the data type (alternative in the union) of the value for | +| symbol N in rule RULE. | +`--------------------------------------------------------------*/ + +static char * +get_type_name (int n, symbol_list *rule) +{ + int i; + symbol_list *rp; + + if (n < 0) + { + complain (_("invalid $ value")); + return NULL; + } + + rp = rule; + i = 0; + + while (i < n) + { + rp = rp->next; + if (rp == NULL || rp->sym == NULL) + { + complain (_("invalid $ value")); + return NULL; + } + i++; + } + + return rp->sym->type_name; +} + +/*------------------------------------------------------------. +| Dump the string from FIN to OOUT if non null. MATCH is the | +| delimiter of the string (either ' or "). | +`------------------------------------------------------------*/ static inline void -copy_string (FILE *fin, FILE *fout, int match) +copy_string2 (FILE *fin, struct obstack *oout, int match, int store) { int c; - putc (match, fout); + if (store) + obstack_1grow (oout, match); + c = getc (fin); while (c != match) @@ -214,42 +189,84 @@ copy_string (FILE *fin, FILE *fout, int match) continue; } - putc(c, fout); + obstack_1grow (oout, c); if (c == '\\') { c = getc (fin); if (c == EOF) fatal (_("unterminated string at end of file")); - putc (c, fout); + obstack_1grow (oout, c); + if (c == '\n') lineno++; } - c = getc(fin); + c = getc (fin); } - putc(c, fout); + if (store) + obstack_1grow (oout, c); } +/* FIXME. */ -/*---------------------------------------------------------------. -| Dump the comment from IN to OUT1 and OUT2. C is either `*' or | -| `/', depending upon the type of comments used. OUT2 might be | -| NULL. | -`---------------------------------------------------------------*/ +static inline void +copy_string (FILE *fin, struct obstack *oout, int match) +{ + copy_string2 (fin, oout, match, 1); +} + +/* FIXME. */ static inline void -copy_comment2 (FILE *in, FILE *out1, FILE* out2, int c) +copy_identifier (FILE *fin, struct obstack *oout) +{ + int c; + + while (isalnum (c = getc (fin)) || c == '_') + obstack_1grow (oout, c); + + ungetc (c, fin); +} + +/*-----------------------------------------------------------------. +| Dump the wannabee comment from IN to OUT1 and OUT2 (which can be | +| NULL). In fact we just saw a `/', which might or might not be a | +| comment. In any case, copy what we saw. | +| | +| OUT2 might be NULL. | +`-----------------------------------------------------------------*/ + +static inline void +copy_comment2 (FILE *fin, struct obstack *oout1, struct obstack *oout2) { int cplus_comment; - register int ended; + int ended; + int c; - cplus_comment = (c == '/'); - putc (c, out1); - if (out2) - putc (c, out2); - c = getc (in); + /* We read a `/', output it. */ + obstack_1grow (oout1, '/'); + if (oout2) + obstack_1grow (oout2, '/'); + + switch ((c = getc (fin))) + { + case '/': + cplus_comment = 1; + break; + case '*': + cplus_comment = 0; + break; + default: + ungetc (c, fin); + return; + } + + obstack_1grow (oout1, c); + if (oout2) + obstack_1grow (oout2, c); + c = getc (fin); ended = 0; while (!ended) @@ -258,256 +275,174 @@ copy_comment2 (FILE *in, FILE *out1, FILE* out2, int c) { while (c == '*') { - putc (c, out1); - if (out2) - putc (c, out2); - c = getc (in); + obstack_1grow (oout1, c); + if (oout2) + obstack_1grow (oout2, c); + c = getc (fin); } if (c == '/') { - putc(c, out1); - if (out2) - putc(c, out2); + obstack_1grow (oout1, c); + if (oout2) + obstack_1grow (oout2, c); ended = 1; } } else if (c == '\n') { lineno++; - putc (c, out1); - if (out2) - putc (c, out2); + obstack_1grow (oout1, c); + if (oout2) + obstack_1grow (oout2, c); if (cplus_comment) ended = 1; else - c = getc (in); + c = getc (fin); } else if (c == EOF) fatal (_("unterminated comment")); else { - putc (c, out1); - if (out2) - putc (c, out2); - c = getc (in); + obstack_1grow (oout1, c); + if (oout2) + obstack_1grow (oout2, c); + c = getc (fin); } } } -/*------------------------------------------------------------. -| Dump the comment from FIN to FOUT. C is either `*' or `/', | -| depending upon the type of comments used. | -`------------------------------------------------------------*/ +/*-------------------------------------------------------------------. +| Dump the comment (actually the current string starting with a `/') | +| from FIN to OOUT. | +`-------------------------------------------------------------------*/ static inline void -copy_comment (FILE *fin, FILE *fout, int c) +copy_comment (FILE *fin, struct obstack *oout) { - copy_comment2 (fin, fout, NULL, c); + copy_comment2 (fin, oout, NULL); } -void -reader (void) -{ - start_flag = 0; - startval = NULL; /* start symbol not specified yet. */ - -#if 0 - /* initially assume token number translation not needed. */ - translations = 0; -#endif - /* Nowadays translations is always set to 1, since we give `error' a - user-token-number to satisfy the Posix demand for YYERRCODE==256. - */ - translations = 1; +/*-----------------------------------------------------------------. +| FIN is pointing to a location (i.e., a `@'). Output to OOUT a | +| reference to this location. STACK_OFFSET is the number of values | +| in the current rule so far, which says where to find `$0' with | +| respect to the top of the stack. | +`-----------------------------------------------------------------*/ - nsyms = 1; - nvars = 0; - nrules = 0; - nitems = 0; - rline_allocated = 10; - rline = NEW2 (rline_allocated, short); - - typed = 0; - lastprec = 0; - - gensym_count = 0; - - semantic_parser = 0; - pure_parser = 0; - yylsp_needed = 0; - - grammar = NULL; +static inline void +copy_at (FILE *fin, struct obstack *oout, int stack_offset) +{ + int c; - init_lex (); - lineno = 1; + c = getc (fin); + if (c == '$') + { + obstack_sgrow (oout, "yyloc"); + locations_flag = 1; + } + else if (isdigit (c) || c == '-') + { + int n; - /* Initialize the symbol table. */ - tabinit (); - /* Construct the error token */ - errtoken = getsym ("error"); - errtoken->class = STOKEN; - errtoken->user_token_number = 256; /* Value specified by POSIX. */ - /* Construct a token that represents all undefined literal tokens. - It is always token number 2. */ - undeftoken = getsym ("$undefined."); - undeftoken->class = STOKEN; - undeftoken->user_token_number = 2; + ungetc (c, fin); + n = read_signed_integer (fin); - /* Read the declaration section. Copy %{ ... %} groups to FTABLE - and FDEFINES file. Also notice any %token, %left, etc. found - there. */ - putc ('\n', ftable); - fprintf (ftable, "\ -/* %s, made from %s\n\ - by GNU bison %s. */\n\ -\n", - noparserflag ? "Bison-generated parse tables" : "A Bison parser", - infile, - VERSION); - - fputs ("#define YYBISON 1 /* Identify Bison output. */\n\n", ftable); - read_declarations (); - /* Start writing the guard and action files, if they are needed. */ - output_headers (); - /* Read in the grammar, build grammar in list form. Write out - guards and actions. */ - readgram (); - /* Now we know whether we need the line-number stack. If we do, - write its type into the .tab.h file. */ - if (fdefines) - reader_output_yylsp (fdefines); - /* Write closing delimiters for actions and guards. */ - output_trailers (); - if (yylsp_needed) - fputs ("#define YYLSP_NEEDED\n\n", ftable); - /* Assign the symbols their symbol numbers. Write #defines for the - token symbols into FDEFINES if requested. */ - packsymbols (); - /* Convert the grammar into the format described in gram.h. */ - packgram (); - /* Free the symbol table data structure since symbols are now all - referred to by symbol number. */ - free_symtab (); + obstack_fgrow1 (oout, "yylsp[%d]", n - stack_offset); + locations_flag = 1; + } + else + { + char buf[] = "@c"; + buf[1] = c; + complain (_("%s is invalid"), quote (buf)); + } } -void -reader_output_yylsp (FILE *f) -{ - if (yylsp_needed) - fprintf(f, LTYPESTR); -} -/* Read from finput until `%%' is seen. Discard the `%%'. Handle any - `%' declarations, and copy the contents of any `%{ ... %}' groups - to fattrs. */ +/*-------------------------------------------------------------------. +| FIN is pointing to a wannabee semantic value (i.e., a `$'). | +| | +| Possible inputs: $[]($|integer) | +| | +| Output to OOUT a reference to this semantic value. STACK_OFFSET is | +| the number of values in the current rule so far, which says where | +| to find `$0' with respect to the top of the stack. | +`-------------------------------------------------------------------*/ -static void -read_declarations (void) +static inline void +copy_dollar (FILE *fin, struct obstack *oout, + symbol_list *rule, int stack_offset) { - register int c; - register int tok; + int c = getc (fin); + const char *type_name = NULL; - for (;;) + /* Get the type name if explicit. */ + if (c == '<') { - c = skip_white_space(); - - if (c == '%') - { - tok = parse_percent_token(); - - switch (tok) - { - case TWO_PERCENTS: - return; - - case PERCENT_LEFT_CURLY: - copy_definition(); - break; - - case TOKEN: - parse_token_decl (STOKEN, SNTERM); - break; - - case NTERM: - parse_token_decl (SNTERM, STOKEN); - break; - - case TYPE: - parse_type_decl(); - break; - - case START: - parse_start_decl(); - break; - - case UNION: - parse_union_decl (); - break; - - case EXPECT: - parse_expect_decl(); - break; - case THONG: - parse_thong_decl(); - break; - case LEFT: - parse_assoc_decl(LEFT_ASSOC); - break; - - case RIGHT: - parse_assoc_decl(RIGHT_ASSOC); - break; - - case NONASSOC: - parse_assoc_decl(NON_ASSOC); - break; + read_type_name (fin); + type_name = token_buffer; + value_components_used = 1; + c = getc (fin); + } - case SEMANTIC_PARSER: - if (semantic_parser == 0) - { - semantic_parser = 1; - open_extra_files(); - } - break; + if (c == '$') + { + obstack_sgrow (oout, "yyval"); + + if (!type_name) + type_name = get_type_name (0, rule); + if (type_name) + obstack_fgrow1 (oout, ".%s", type_name); + if (!type_name && typed) + complain (_("$$ of `%s' has no declared type"), + rule->sym->tag); + } + else if (isdigit (c) || c == '-') + { + int n; + ungetc (c, fin); + n = read_signed_integer (fin); - case PURE_PARSER: - pure_parser = 1; - break; + if (!type_name && n > 0) + type_name = get_type_name (n, rule); - case NOOP: - break; + obstack_fgrow1 (oout, "yyvsp[%d]", n - stack_offset); - default: - complain (_("unrecognized: %s"), token_buffer); - skip_to_char('%'); - } - } - else if (c == EOF) - fatal (_("no input grammar")); - else - { - complain (_("unknown character: %s"), printable_version(c)); - skip_to_char('%'); - } + if (type_name) + obstack_fgrow1 (oout, ".%s", type_name); + if (!type_name && typed) + complain (_("$%d of `%s' has no declared type"), + n, rule->sym->tag); + } + else + { + char buf[] = "$c"; + buf[1] = c; + complain (_("%s is invalid"), quote (buf)); } } - - -/* Copy the contents of a `%{ ... %}' into the definitions file. The - `%{' has already been read. Return after reading the `%}'. */ + +/*-------------------------------------------------------------------. +| Copy the contents of a `%{ ... %}' into the definitions file. The | +| `%{' has already been read. Return after reading the `%}'. | +`-------------------------------------------------------------------*/ static void copy_definition (void) { - register int c; + int c; /* -1 while reading a character if prev char was %. */ - register int after_percent; + int after_percent; - if (!nolinesflag) - fprintf(fattrs, "#line %d \"%s\"\n", lineno, infile); + if (!no_lines_flag) + { + obstack_fgrow2 (&attrs_obstack, muscle_find ("linef"), + lineno, quotearg_style (c_quoting_style, + muscle_find("filename"))); + } after_percent = 0; @@ -518,102 +453,105 @@ copy_definition (void) switch (c) { case '\n': - putc(c, fattrs); + obstack_1grow (&attrs_obstack, c); lineno++; break; case '%': - after_percent = -1; + after_percent = -1; break; case '\'': case '"': - copy_string (finput, fattrs, c); + copy_string (finput, &attrs_obstack, c); break; case '/': - putc (c, fattrs); - c = getc (finput); - if (c != '*' && c != '/') - continue; - copy_comment (finput, fattrs, c); + copy_comment (finput, &attrs_obstack); break; case EOF: - fatal ("%s", - _("unterminated `%{' definition")); + fatal ("%s", _("unterminated `%{' definition")); default: - putc(c, fattrs); + obstack_1grow (&attrs_obstack, c); } - c = getc(finput); + c = getc (finput); if (after_percent) { if (c == '}') return; - putc('%', fattrs); + obstack_1grow (&attrs_obstack, '%'); } after_percent = 0; - } - } - -/* parse what comes after %token or %nterm. -For %token, what_is is STOKEN and what_is_not is SNTERM. -For %nterm, the arguments are reversed. */ +/*-------------------------------------------------------------------. +| Parse what comes after %token or %nterm. For %token, WHAT_IS is | +| token_sym and WHAT_IS_NOT is nterm_sym. For %nterm, the arguments | +| are reversed. | +`-------------------------------------------------------------------*/ static void -parse_token_decl (int what_is, int what_is_not) +parse_token_decl (symbol_class what_is, symbol_class what_is_not) { - register int token = 0; - register char *typename = 0; - register struct bucket *symbol = NULL; /* pts to symbol being defined */ - int k; + token_t token = tok_undef; + char *typename = NULL; + + /* The symbol being defined. */ + struct bucket *symbol = NULL; + /* After `%token' and `%nterm', any number of symbols maybe be + defined. */ for (;;) { int tmp_char = ungetc (skip_white_space (), finput); + /* `%' (for instance from `%token', or from `%%' etc.) is the + only valid means to end this declaration. */ if (tmp_char == '%') return; if (tmp_char == EOF) fatal (_("Premature EOF after %s"), token_buffer); - token = lex(); - if (token == COMMA) + token = lex (); + if (token == tok_comma) { symbol = NULL; continue; } - if (token == TYPENAME) + if (token == tok_typename) { - k = strlen(token_buffer); - typename = NEW2(k + 1, char); - strcpy(typename, token_buffer); + typename = xstrdup (token_buffer); value_components_used = 1; symbol = NULL; } - else if (token == IDENTIFIER && *symval->tag == '\"' - && symbol) + else if (token == tok_identifier && *symval->tag == '\"' && symbol) { - translations = 1; - symval->class = STOKEN; - symval->type_name = typename; - symval->user_token_number = symbol->user_token_number; - symbol->user_token_number = SALIAS; - - symval->alias = symbol; - symbol->alias = symval; - symbol = NULL; - - nsyms--; /* symbol and symval combined are only one symbol */ + if (symval->alias) + warn (_("symbol `%s' used more than once as a literal string"), + symval->tag); + else if (symbol->alias) + warn (_("symbol `%s' given more than one literal string"), + symbol->tag); + else + { + symval->class = token_sym; + symval->type_name = typename; + symval->user_token_number = symbol->user_token_number; + symbol->user_token_number = SALIAS; + symval->alias = symbol; + symbol->alias = symval; + /* symbol and symval combined are only one symbol */ + nsyms--; + } + symbol = NULL; } - else if (token == IDENTIFIER) + else if (token == tok_identifier) { int oldclass = symval->class; symbol = symval; @@ -621,118 +559,43 @@ parse_token_decl (int what_is, int what_is_not) if (symbol->class == what_is_not) complain (_("symbol %s redefined"), symbol->tag); symbol->class = what_is; - if (what_is == SNTERM && oldclass != SNTERM) + if (what_is == nterm_sym && oldclass != nterm_sym) symbol->value = nvars++; if (typename) { if (symbol->type_name == NULL) symbol->type_name = typename; - else if (strcmp(typename, symbol->type_name) != 0) + else if (strcmp (typename, symbol->type_name) != 0) complain (_("type redeclaration for %s"), symbol->tag); } } - else if (symbol && token == NUMBER) - { + else if (symbol && token == tok_number) + { symbol->user_token_number = numval; - translations = 1; - } + } else { complain (_("`%s' is invalid in %s"), token_buffer, - (what_is == STOKEN) ? "%token" : "%nterm"); - skip_to_char('%'); + (what_is == token_sym) ? "%token" : "%nterm"); + skip_to_char ('%'); } } } -/* parse what comes after %thong - the full syntax is - %thong token number literal - the or number may be omitted. The number specifies the - user_token_number. - - Two symbols are entered in the table, one for the token symbol and - one for the literal. Both are given the , if any, from the declaration. - The ->user_token_number of the first is SALIAS and the ->user_token_number - of the second is set to the number, if any, from the declaration. - The two symbols are linked via pointers in their ->alias fields. - - during output_defines_table, the symbol is reported - thereafter, only the literal string is retained - it is the literal string that is output to yytname -*/ - -static void -parse_thong_decl (void) -{ - register int token; - register struct bucket *symbol; - register char *typename = 0; - int k, usrtoknum; - - translations = 1; - token = lex(); /* fetch typename or first token */ - if (token == TYPENAME) { - k = strlen(token_buffer); - typename = NEW2(k + 1, char); - strcpy(typename, token_buffer); - value_components_used = 1; - token = lex(); /* fetch first token */ - } - - /* process first token */ - - if (token != IDENTIFIER) - { - complain (_("unrecognized item %s, expected an identifier"), - token_buffer); - skip_to_char('%'); - return; - } - symval->class = STOKEN; - symval->type_name = typename; - symval->user_token_number = SALIAS; - symbol = symval; - - token = lex(); /* get number or literal string */ - - if (token == NUMBER) { - usrtoknum = numval; - token = lex(); /* okay, did number, now get literal */ - } - else usrtoknum = 0; - - /* process literal string token */ - - if (token != IDENTIFIER || *symval->tag != '\"') - { - complain (_("expected string constant instead of %s"), - token_buffer); - skip_to_char('%'); - return; - } - symval->class = STOKEN; - symval->type_name = typename; - symval->user_token_number = usrtoknum; - - symval->alias = symbol; - symbol->alias = symval; - - nsyms--; /* symbol and symval combined are only one symbol */ -} - -/* Parse what comes after %start */ +/*------------------------------. +| Parse what comes after %start | +`------------------------------*/ static void parse_start_decl (void) { if (start_flag) complain (_("multiple %s declarations"), "%start"); - if (lex () != IDENTIFIER) + if (lex () != tok_identifier) complain (_("invalid %s declaration"), "%start"); else { @@ -741,30 +604,28 @@ parse_start_decl (void) } } - - -/* read in a %type declaration and record its information for get_type_name to access */ +/*-----------------------------------------------------------. +| read in a %type declaration and record its information for | +| get_type_name to access | +`-----------------------------------------------------------*/ static void parse_type_decl (void) { - register int k; - register char *name; + char *name; - if (lex() != TYPENAME) + if (lex () != tok_typename) { complain ("%s", _("%type declaration has no ")); - skip_to_char('%'); + skip_to_char ('%'); return; } - k = strlen(token_buffer); - name = NEW2(k + 1, char); - strcpy(name, token_buffer); + name = xstrdup (token_buffer); for (;;) { - register int t; + token_t t; int tmp_char = ungetc (skip_white_space (), finput); if (tmp_char == '%') @@ -772,19 +633,19 @@ parse_type_decl (void) if (tmp_char == EOF) fatal (_("Premature EOF after %s"), token_buffer); - t = lex(); + t = lex (); switch (t) { - case COMMA: - case SEMICOLON: + case tok_comma: + case tok_semicolon: break; - case IDENTIFIER: + case tok_identifier: if (symval->type_name == NULL) symval->type_name = name; - else if (strcmp(name, symval->type_name) != 0) + else if (strcmp (name, symval->type_name) != 0) complain (_("type redeclaration for %s"), symval->tag); break; @@ -792,28 +653,29 @@ parse_type_decl (void) default: complain (_("invalid %%type declaration due to item: %s"), token_buffer); - skip_to_char('%'); + skip_to_char ('%'); } } } -/* read in a %left, %right or %nonassoc declaration and record its information. */ -/* assoc is either LEFT_ASSOC, RIGHT_ASSOC or NON_ASSOC. */ +/*----------------------------------------------------------------. +| Read in a %left, %right or %nonassoc declaration and record its | +| information. | +`----------------------------------------------------------------*/ static void -parse_assoc_decl (int assoc) +parse_assoc_decl (associativity assoc) { - register int k; - register char *name = NULL; - register int prev = 0; + char *name = NULL; + int prev = 0; - lastprec++; /* Assign a new precedence level, never 0. */ + lastprec++; /* Assign a new precedence level, never 0. */ for (;;) { - register int t; + token_t t; int tmp_char = ungetc (skip_white_space (), finput); if (tmp_char == '%') @@ -821,97 +683,110 @@ parse_assoc_decl (int assoc) if (tmp_char == EOF) fatal (_("Premature EOF after %s"), token_buffer); - t = lex(); + t = lex (); switch (t) { - - case TYPENAME: - k = strlen(token_buffer); - name = NEW2(k + 1, char); - strcpy(name, token_buffer); + case tok_typename: + name = xstrdup (token_buffer); break; - case COMMA: + case tok_comma: break; - case IDENTIFIER: + case tok_identifier: if (symval->prec != 0) complain (_("redefining precedence of %s"), symval->tag); symval->prec = lastprec; symval->assoc = assoc; - if (symval->class == SNTERM) + if (symval->class == nterm_sym) complain (_("symbol %s redefined"), symval->tag); - symval->class = STOKEN; + symval->class = token_sym; if (name) - { /* record the type, if one is specified */ + { /* record the type, if one is specified */ if (symval->type_name == NULL) symval->type_name = name; - else if (strcmp(name, symval->type_name) != 0) + else if (strcmp (name, symval->type_name) != 0) complain (_("type redeclaration for %s"), symval->tag); } break; - case NUMBER: - if (prev == IDENTIFIER) - { + case tok_number: + if (prev == tok_identifier) + { symval->user_token_number = numval; - translations = 1; - } - else - { - complain (_("invalid text (%s) - number should be after identifier"), - token_buffer); - skip_to_char('%'); - } + } + else + { + complain (_ + ("invalid text (%s) - number should be after identifier"), +token_buffer); + skip_to_char ('%'); + } break; - case SEMICOLON: + case tok_semicolon: return; default: complain (_("unexpected item: %s"), token_buffer); - skip_to_char('%'); + skip_to_char ('%'); } prev = t; - } } -/* copy the union declaration into fattrs (and fdefines), - where it is made into the - definition of YYSTYPE, the type of elements of the parser value stack. */ +/*--------------------------------------------------------------. +| Copy the union declaration into the stype muscle | +| (and fdefines), where it is made into the definition of | +| YYSTYPE, the type of elements of the parser value stack. | +`--------------------------------------------------------------*/ static void parse_union_decl (void) { - register int c; - register int count = 0; + int c; + int count = 0; + struct obstack union_obstack; + const char *prologue = "\ +#ifndef YYSTYPE\n\ +typedef union"; + const char *epilogue = "\ + yystype;\n\ +# define YYSTYPE yystype\n\ +#endif\n"; if (typed) complain (_("multiple %s declarations"), "%union"); typed = 1; - if (!nolinesflag) - fprintf (fattrs, "\n#line %d \"%s\"\n", lineno, infile); - else - fprintf (fattrs, "\n"); + /* FIXME: I'm worried: are you sure attrs_obstack is properly + filled? */ + /* I don't see any reasons to keep this line, because we should + create a special skeleton for this option. */ + if (no_lines_flag) + obstack_1grow (&attrs_obstack, '\n'); - fprintf (fattrs, "typedef union"); - if (fdefines) - fprintf (fdefines, "typedef union"); + obstack_init (&union_obstack); + obstack_sgrow (&union_obstack, "union"); + if (defines_flag) + obstack_sgrow (&defines_obstack, prologue); c = getc (finput); while (c != EOF) { - putc (c, fattrs); - if (fdefines) - putc (c, fdefines); + /* If C contains '/', it is output by copy_comment (). */ + if (c != '/') + { + obstack_1grow (&union_obstack, c); + if (defines_flag) + obstack_1grow (&defines_obstack, c); + } switch (c) { @@ -920,13 +795,9 @@ parse_union_decl (void) break; case '/': - c = getc (finput); - if (c != '*' && c != '/') - continue; - copy_comment2 (finput, fattrs, fdefines, c); + copy_comment2 (finput, &defines_obstack, &union_obstack); break; - case '{': count++; break; @@ -937,456 +808,619 @@ parse_union_decl (void) count--; if (count <= 0) { - fprintf (fattrs, " YYSTYPE;\n"); - if (fdefines) - fprintf (fdefines, " YYSTYPE;\n"); + if (defines_flag) + obstack_sgrow (&defines_obstack, epilogue); /* JF don't choke on trailing semi */ c = skip_white_space (); if (c != ';') - ungetc (c,finput); + ungetc (c, finput); + obstack_1grow (&union_obstack, 0); + muscle_insert ("stype", obstack_finish (&union_obstack)); return; } } c = getc (finput); } + } -/* parse the declaration %expect N which says to expect N - shift-reduce conflicts. */ + +/*-------------------------------------------------------. +| Parse the declaration %expect N which says to expect N | +| shift-reduce conflicts. | +`-------------------------------------------------------*/ static void parse_expect_decl (void) { - register int c; - register int count; - char buffer[20]; + int c = skip_white_space (); + ungetc (c, finput); + + if (!isdigit (c)) + complain (_("argument of %%expect is not an integer")); + else + expected_conflicts = read_signed_integer (finput); +} - c = getc(finput); - while (c == ' ' || c == '\t') - c = getc(finput); - count = 0; - while (c >= '0' && c <= '9') +/*-------------------------------------------------------------------. +| Parse what comes after %thong. the full syntax is | +| | +| %thong token number literal | +| | +| the or number may be omitted. The number specifies the | +| user_token_number. | +| | +| Two symbols are entered in the table, one for the token symbol and | +| one for the literal. Both are given the , if any, from the | +| declaration. The ->user_token_number of the first is SALIAS and | +| the ->user_token_number of the second is set to the number, if | +| any, from the declaration. The two symbols are linked via | +| pointers in their ->alias fields. | +| | +| During OUTPUT_DEFINES_TABLE, the symbol is reported thereafter, | +| only the literal string is retained it is the literal string that | +| is output to yytname | +`-------------------------------------------------------------------*/ + +static void +parse_thong_decl (void) +{ + token_t token; + struct bucket *symbol; + char *typename = 0; + int usrtoknum = SUNDEF; + + token = lex (); /* fetch typename or first token */ + if (token == tok_typename) { - if (count < 20) - buffer[count++] = c; - c = getc(finput); + typename = xstrdup (token_buffer); + value_components_used = 1; + token = lex (); /* fetch first token */ } - buffer[count] = 0; - ungetc (c, finput); + /* process first token */ - if (count <= 0 || count > 10) - complain ("%s", _("argument of %expect is not an integer")); - expected_conflicts = atoi (buffer); -} + if (token != tok_identifier) + { + complain (_("unrecognized item %s, expected an identifier"), + token_buffer); + skip_to_char ('%'); + return; + } + symval->class = token_sym; + symval->type_name = typename; + symval->user_token_number = SALIAS; + symbol = symval; -/* that's all of parsing the declaration section */ - -/* FIN is pointing to a location (i.e., a `@'). Output to FOUT - a reference to this location. STACK_OFFSET is the number of values - in the current rule so far, which says where to find `$0' with - respect to the top of the stack. */ -static inline void -copy_at (FILE *fin, FILE *fout, int stack_offset) -{ - int c; + token = lex (); /* get number or literal string */ - c = getc (fin); - if (c == '$') + if (token == tok_number) { - fprintf (fout, "yyloc"); - yylsp_needed = 1; + usrtoknum = numval; + token = lex (); /* okay, did number, now get literal */ } - else if (isdigit(c) || c == '-') + + /* process literal string token */ + + if (token != tok_identifier || *symval->tag != '\"') { - int n; + complain (_("expected string constant instead of %s"), token_buffer); + skip_to_char ('%'); + return; + } + symval->class = token_sym; + symval->type_name = typename; + symval->user_token_number = usrtoknum; - ungetc (c, fin); - n = read_signed_integer (fin); + symval->alias = symbol; + symbol->alias = symval; + + /* symbol and symval combined are only one symbol. */ + nsyms--; +} + +static void +parse_muscle_decl (void) +{ + int ch = ungetc (skip_white_space (), finput); + char* muscle_key; + char* muscle_value; - fprintf (fout, "yylsp[%d]", n - stack_offset); - yylsp_needed = 1; + /* Read key. */ + if (!isalpha (ch) && ch != '_') + { + complain (_("invalid %s declaration"), "%define"); + skip_to_char ('%'); + return; } - else - complain (_("@%s is invalid"), printable_version (c)); + copy_identifier (finput, &muscle_obstack); + obstack_1grow (&muscle_obstack, 0); + muscle_key = obstack_finish (&muscle_obstack); + + /* Read value. */ + ch = skip_white_space (); + if (ch != '"') + { + ungetc (ch, finput); + if (ch != EOF) + { + complain (_("invalid %s declaration"), "%define"); + skip_to_char ('%'); + return; + } + else + fatal (_("Premature EOF after %s"), "\""); + } + copy_string2 (finput, &muscle_obstack, '"', 0); + obstack_1grow (&muscle_obstack, 0); + muscle_value = obstack_finish (&muscle_obstack); + + /* Store the (key, value) pair in the environment. */ + muscle_insert (muscle_key, muscle_value); } -/* Get the data type (alternative in the union) of the value for - symbol n in rule rule. */ -static char * -get_type_name (int n, symbol_list *rule) +/*---------------------------------. +| Parse a double quoted parameter. | +`---------------------------------*/ + +static const char * +parse_dquoted_param (const char *from) { - register int i; - register symbol_list *rp; + struct obstack param_obstack; + const char *param = NULL; + int c; - if (n < 0) + obstack_init (¶m_obstack); + c = skip_white_space (); + + if (c != '"') { - complain (_("invalid $ value")); + complain (_("invalid %s declaration"), from); + ungetc (c, finput); + skip_to_char ('%'); return NULL; } - rp = rule; - i = 0; + for (;;) + { + if (literalchar (NULL, &c, '\"')) + obstack_1grow (¶m_obstack, c); + else + break; + } - while (i < n) + obstack_1grow (¶m_obstack, '\0'); + param = obstack_finish (¶m_obstack); + + if (c != '"' || strlen (param) == 0) { - rp = rp->next; - if (rp == NULL || rp->sym == NULL) + complain (_("invalid %s declaration"), from); + if (c != '"') + ungetc (c, finput); + skip_to_char ('%'); + return NULL; + } + + return param; +} + +/*----------------------------------. +| Parse what comes after %skeleton. | +`----------------------------------*/ + +static void +parse_skel_decl (void) +{ + skeleton = parse_dquoted_param ("%skeleton"); +} + +/*----------------------------------------------------------------. +| Read from finput until `%%' is seen. Discard the `%%'. Handle | +| any `%' declarations, and copy the contents of any `%{ ... %}' | +| groups to ATTRS_OBSTACK. | +`----------------------------------------------------------------*/ + +static void +read_declarations (void) +{ + for (;;) + { + int c = skip_white_space (); + + if (c == '%') { - complain (_("invalid $ value")); - return NULL; + token_t tok = parse_percent_token (); + + switch (tok) + { + case tok_two_percents: + return; + + case tok_percent_left_curly: + copy_definition (); + break; + + case tok_token: + parse_token_decl (token_sym, nterm_sym); + break; + + case tok_nterm: + parse_token_decl (nterm_sym, token_sym); + break; + + case tok_type: + parse_type_decl (); + break; + + case tok_start: + parse_start_decl (); + break; + + case tok_union: + parse_union_decl (); + break; + + case tok_expect: + parse_expect_decl (); + break; + + case tok_thong: + parse_thong_decl (); + break; + + case tok_left: + parse_assoc_decl (left_assoc); + break; + + case tok_right: + parse_assoc_decl (right_assoc); + break; + + case tok_nonassoc: + parse_assoc_decl (non_assoc); + break; + + case tok_define: + parse_muscle_decl (); + break; + + case tok_skel: + parse_skel_decl (); + break; + + case tok_noop: + break; + + case tok_stropt: + case tok_intopt: + case tok_obsolete: + abort (); + break; + + case tok_illegal: + default: + complain (_("unrecognized: %s"), token_buffer); + skip_to_char ('%'); + } + } + else if (c == EOF) + fatal (_("no input grammar")); + else + { + char buf[] = "c"; + buf[0] = c; + complain (_("unknown character: %s"), quote (buf)); + skip_to_char ('%'); } - i++; } - - return rp->sym->type_name; } + +/*-------------------------------------------------------------------. +| Assuming that a `{' has just been seen, copy everything up to the | +| matching `}' into the actions file. STACK_OFFSET is the number of | +| values in the current rule so far, which says where to find `$0' | +| with respect to the top of the stack. | +`-------------------------------------------------------------------*/ + +static void +copy_action (symbol_list *rule, int stack_offset) +{ + int c; + int count; + + /* offset is always 0 if parser has already popped the stack pointer */ + if (semantic_parser) + stack_offset = 0; + + obstack_fgrow1 (&action_obstack, "\ncase %d:\n", nrules); + + if (!no_lines_flag) + { + obstack_fgrow2 (&action_obstack, muscle_find ("linef"), + lineno, quotearg_style (c_quoting_style, + muscle_find ("filename"))); + } + obstack_1grow (&action_obstack, '{'); + + count = 1; + c = getc (finput); + + while (count > 0) + { + while (c != '}') + { + switch (c) + { + case '\n': + obstack_1grow (&action_obstack, c); + lineno++; + break; + case '{': + obstack_1grow (&action_obstack, c); + count++; + break; + case '\'': + case '"': + copy_string (finput, &action_obstack, c); + break; -/* After `%guard' is seen in the input file, copy the actual guard - into the guards file. If the guard is followed by an action, copy - that into the actions file. STACK_OFFSET is the number of values - in the current rule so far, which says where to find `$0' with - respect to the top of the stack, for the simple parser in which the - stack is not popped until after the guard is run. */ + case '/': + copy_comment (finput, &action_obstack); + break; + + case '$': + copy_dollar (finput, &action_obstack, + rule, stack_offset); + break; + + case '@': + copy_at (finput, &action_obstack, + stack_offset); + break; + + case EOF: + fatal (_("unmatched %s"), "`{'"); + + default: + obstack_1grow (&action_obstack, c); + } + + c = getc (finput); + } + + /* above loop exits when c is '}' */ + + if (--count) + { + obstack_1grow (&action_obstack, c); + c = getc (finput); + } + } + + obstack_sgrow (&action_obstack, ";\n break;}"); +} + +/*-------------------------------------------------------------------. +| After `%guard' is seen in the input file, copy the actual guard | +| into the guards file. If the guard is followed by an action, copy | +| that into the actions file. STACK_OFFSET is the number of values | +| in the current rule so far, which says where to find `$0' with | +| respect to the top of the stack, for the simple parser in which | +| the stack is not popped until after the guard is run. | +`-------------------------------------------------------------------*/ static void copy_guard (symbol_list *rule, int stack_offset) { - register int c; - register int n; - register int count; - register char *type_name; + int c; + int count; int brace_flag = 0; /* offset is always 0 if parser has already popped the stack pointer */ - if (semantic_parser) stack_offset = 0; + if (semantic_parser) + stack_offset = 0; - fprintf(fguard, "\ncase %d:\n", nrules); - if (!nolinesflag) - fprintf (fguard, "#line %d \"%s\"\n", lineno, infile); - putc('{', fguard); + obstack_fgrow1 (&guard_obstack, "\ncase %d:\n", nrules); + if (!no_lines_flag) + obstack_fgrow2 (&guard_obstack, muscle_find ("linef"), + lineno, quotearg_style (c_quoting_style, + muscle_find ("filename"))); + obstack_1grow (&guard_obstack, '{'); count = 0; - c = getc(finput); + c = getc (finput); while (brace_flag ? (count > 0) : (c != ';')) { switch (c) { case '\n': - putc(c, fguard); + obstack_1grow (&guard_obstack, c); lineno++; break; case '{': - putc(c, fguard); + obstack_1grow (&guard_obstack, c); brace_flag = 1; count++; break; case '}': - putc(c, fguard); + obstack_1grow (&guard_obstack, c); if (count > 0) count--; else { complain (_("unmatched %s"), "`}'"); - c = getc(finput); /* skip it */ + c = getc (finput); /* skip it */ } - break; + break; case '\'': case '"': - copy_string (finput, fguard, c); + copy_string (finput, &guard_obstack, c); break; case '/': - putc (c, fguard); - c = getc (finput); - if (c != '*' && c != '/') - continue; - copy_comment (finput, fguard, c); + copy_comment (finput, &guard_obstack); break; case '$': - c = getc(finput); - type_name = NULL; - - if (c == '<') - { - register char *cp = token_buffer; - - while ((c = getc(finput)) != '>' && c > 0) - { - if (cp == token_buffer + maxtoken) - cp = grow_token_buffer(cp); - - *cp++ = c; - } - *cp = 0; - type_name = token_buffer; - - c = getc(finput); - } - - if (c == '$') - { - fprintf(fguard, "yyval"); - if (!type_name) - type_name = rule->sym->type_name; - if (type_name) - fprintf(fguard, ".%s", type_name); - if(!type_name && typed) - complain (_("$$ of `%s' has no declared type"), - rule->sym->tag); - } - else if (isdigit(c) || c == '-') - { - ungetc (c, finput); - n = read_signed_integer (finput); - c = getc (finput); - - if (!type_name && n > 0) - type_name = get_type_name(n, rule); - - fprintf(fguard, "yyvsp[%d]", n - stack_offset); - if (type_name) - fprintf(fguard, ".%s", type_name); - if (!type_name && typed) - complain (_("$%d of `%s' has no declared type"), - n, rule->sym->tag); - continue; - } - else - complain (_("$%s is invalid"), printable_version (c)); + copy_dollar (finput, &guard_obstack, rule, stack_offset); break; case '@': - copy_at (finput, fguard, stack_offset); + copy_at (finput, &guard_obstack, stack_offset); break; case EOF: - fatal ("%s", - _("unterminated %guard clause")); + fatal ("%s", _("unterminated %guard clause")); default: - putc (c, fguard); + obstack_1grow (&guard_obstack, c); } if (c != '}' || count != 0) - c = getc(finput); + c = getc (finput); } - c = skip_white_space(); + c = skip_white_space (); - fprintf(fguard, ";\n break;}"); + obstack_sgrow (&guard_obstack, ";\n break;}"); if (c == '{') copy_action (rule, stack_offset); else if (c == '=') { - c = getc(finput); /* why not skip_white_space -wjh */ + c = getc (finput); /* why not skip_white_space -wjh */ if (c == '{') copy_action (rule, stack_offset); } else - ungetc(c, finput); + ungetc (c, finput); } + +/*-------------------------------------------------------------------. +| Generate a dummy symbol, a nonterminal, whose name cannot conflict | +| with the user's names. | +`-------------------------------------------------------------------*/ - -/* Assuming that a `{' has just been seen, copy everything up to the - matching `}' into the actions file. STACK_OFFSET is the number of - values in the current rule so far, which says where to find `$0' - with respect to the top of the stack. */ - -static void -copy_action (symbol_list *rule, int stack_offset) +static bucket * +gensym (void) { - register int c; - register int n; - register int count; - register char *type_name; - - /* offset is always 0 if parser has already popped the stack pointer */ - if (semantic_parser) - stack_offset = 0; - - fprintf (faction, "\ncase %d:\n", nrules); - if (!nolinesflag) - fprintf (faction, "#line %d \"%s\"\n", lineno, infile); - putc ('{', faction); - - count = 1; - c = getc(finput); - - while (count > 0) - { - while (c != '}') - { - switch (c) - { - case '\n': - putc(c, faction); - lineno++; - break; - - case '{': - putc(c, faction); - count++; - break; + /* Incremented for each generated symbol */ + static int gensym_count = 0; + static char buf[256]; - case '\'': - case '"': - copy_string (finput, faction, c); - break; - - case '/': - putc (c, faction); - c = getc (finput); - if (c != '*' && c != '/') - continue; - copy_comment (finput, faction, c); - break; + bucket *sym; - case '$': - c = getc(finput); - type_name = NULL; + sprintf (buf, "@%d", ++gensym_count); + token_buffer = buf; + sym = getsym (token_buffer); + sym->class = nterm_sym; + sym->value = nvars++; + return sym; +} - if (c == '<') - { - register char *cp = token_buffer; +#if 0 +/*------------------------------------------------------------------. +| read in a %type declaration and record its information for | +| get_type_name to access. This is unused. It is only called from | +| the #if 0 part of readgram | +`------------------------------------------------------------------*/ - while ((c = getc(finput)) != '>' && c > 0) - { - if (cp == token_buffer + maxtoken) - cp = grow_token_buffer(cp); +static int +get_type (void) +{ + int k; + token_t token; + char *name; - *cp++ = c; - } - *cp = 0; - type_name = token_buffer; - value_components_used = 1; + token = lex (); - c = getc(finput); - } - if (c == '$') - { - fprintf(faction, "yyval"); - if (!type_name) - type_name = get_type_name(0, rule); - if (type_name) - fprintf(faction, ".%s", type_name); - if(!type_name && typed) - complain (_("$$ of `%s' has no declared type"), - rule->sym->tag); - } - else if (isdigit(c) || c == '-') - { - ungetc (c, finput); - n = read_signed_integer(finput); - c = getc(finput); - - if (!type_name && n > 0) - type_name = get_type_name(n, rule); - - fprintf(faction, "yyvsp[%d]", n - stack_offset); - if (type_name) - fprintf(faction, ".%s", type_name); - if(!type_name && typed) - complain (_("$%d of `%s' has no declared type"), - n, rule->sym->tag); - continue; - } - else - complain (_("$%s is invalid"), printable_version (c)); + if (token != tok_typename) + { + complain (_("invalid %s declaration"), "%type"); + return t; + } - break; + name = xstrdup (token_buffer); - case '@': - copy_at (finput, faction, stack_offset); - break; + for (;;) + { + token = lex (); - case EOF: - fatal (_("unmatched %s"), "`{'"); + switch (token) + { + case tok_semicolon: + return lex (); - default: - putc(c, faction); - } + case tok_comma: + break; - c = getc(finput); - } + case tok_identifier: + if (symval->type_name == NULL) + symval->type_name = name; + else if (strcmp (name, symval->type_name) != 0) + complain (_("type redeclaration for %s"), symval->tag); - /* above loop exits when c is '}' */ + break; - if (--count) - { - putc(c, faction); - c = getc(finput); + default: + return token; } } - - fprintf(faction, ";\n break;}"); -} - - - -/* generate a dummy symbol, a nonterminal, -whose name cannot conflict with the user's names. */ - -static bucket * -gensym (void) -{ - register bucket *sym; - - sprintf (token_buffer, "@%d", ++gensym_count); - sym = getsym(token_buffer); - sym->class = SNTERM; - sym->value = nvars++; - return sym; } -/* Parse the input grammar into a one symbol_list structure. -Each rule is represented by a sequence of symbols: the left hand side -followed by the contents of the right hand side, followed by a null pointer -instead of a symbol to terminate the rule. -The next symbol is the lhs of the following rule. - -All guards and actions are copied out to the appropriate files, -labelled by the rule number they apply to. */ +#endif + +/*------------------------------------------------------------------. +| Parse the input grammar into a one symbol_list structure. Each | +| rule is represented by a sequence of symbols: the left hand side | +| followed by the contents of the right hand side, followed by a | +| null pointer instead of a symbol to terminate the rule. The next | +| symbol is the lhs of the following rule. | +| | +| All guards and actions are copied out to the appropriate files, | +| labelled by the rule number they apply to. | +`------------------------------------------------------------------*/ static void readgram (void) { - register int t; - register bucket *lhs = NULL; - register symbol_list *p; - register symbol_list *p1; - register bucket *bp; + token_t t; + bucket *lhs = NULL; + symbol_list *p; + symbol_list *p1; + bucket *bp; - symbol_list *crule; /* points to first symbol_list of current rule. */ - /* its symbol is the lhs of the rule. */ - symbol_list *crule1; /* points to the symbol_list preceding crule. */ + /* Points to first symbol_list of current rule. its symbol is the + lhs of the rule. */ + symbol_list *crule; + /* Points to the symbol_list preceding crule. */ + symbol_list *crule1; p1 = NULL; - t = lex(); + t = lex (); - while (t != TWO_PERCENTS && t != ENDFILE) + while (t != tok_two_percents && t != tok_eof) { - if (t == IDENTIFIER || t == BAR) + if (t == tok_identifier || t == tok_bar) { - register int actionflag = 0; - int rulelength = 0; /* number of symbols in rhs of this rule so far */ + int action_flag = 0; + /* Number of symbols in rhs of this rule so far */ + int rulelength = 0; int xactions = 0; /* JF for error checking */ bucket *first_rhs = 0; - if (t == IDENTIFIER) + if (t == tok_identifier) { lhs = symval; @@ -1396,15 +1430,15 @@ readgram (void) start_flag = 1; } - t = lex(); - if (t != COLON) + t = lex (); + if (t != tok_colon) { complain (_("ill-formed rule: initial symbol not followed by colon")); - unlex(t); + unlex (t); } } - if (nrules == 0 && t == BAR) + if (nrules == 0 && t == tok_bar) { complain (_("grammar starts with vertical bar")); lhs = symval; /* BOGUS: use a random symval */ @@ -1414,10 +1448,7 @@ readgram (void) nrules++; nitems++; - record_rule_line (); - - p = NEW(symbol_list); - p->sym = lhs; + p = symbol_list_new (lhs); crule1 = p1; if (p1) @@ -1430,196 +1461,196 @@ readgram (void) /* mark the rule's lhs as a nonterminal if not already so. */ - if (lhs->class == SUNKNOWN) + if (lhs->class == unknown_sym) { - lhs->class = SNTERM; + lhs->class = nterm_sym; lhs->value = nvars; nvars++; } - else if (lhs->class == STOKEN) + else if (lhs->class == token_sym) complain (_("rule given for %s, which is a token"), lhs->tag); /* read the rhs of the rule. */ for (;;) { - t = lex(); - if (t == PREC) + t = lex (); + if (t == tok_prec) { - t = lex(); + t = lex (); crule->ruleprec = symval; - t = lex(); + t = lex (); } - if (! (t == IDENTIFIER || t == LEFT_CURLY)) break; + if (!(t == tok_identifier || t == tok_left_curly)) + break; /* If next token is an identifier, see if a colon follows it. - If one does, exit this rule now. */ - if (t == IDENTIFIER) + If one does, exit this rule now. */ + if (t == tok_identifier) { - register bucket *ssave; - register int t1; + bucket *ssave; + token_t t1; ssave = symval; - t1 = lex(); - unlex(t1); + t1 = lex (); + unlex (t1); symval = ssave; - if (t1 == COLON) break; + if (t1 == tok_colon) + break; - if(!first_rhs) /* JF */ + if (!first_rhs) /* JF */ first_rhs = symval; /* Not followed by colon => process as part of this rule's rhs. */ } /* If we just passed an action, that action was in the middle - of a rule, so make a dummy rule to reduce it to a - non-terminal. */ - if (actionflag) + of a rule, so make a dummy rule to reduce it to a + non-terminal. */ + if (action_flag) { - register bucket *sdummy; - - /* Since the action was written out with this rule's */ - /* number, we must give the new rule this number */ - /* by inserting the new rule before it. */ + /* Since the action was written out with this rule's + number, we must give the new rule this number by + inserting the new rule before it. */ /* Make a dummy nonterminal, a gensym. */ - sdummy = gensym(); + bucket *sdummy = gensym (); - /* Make a new rule, whose body is empty, - before the current one, so that the action - just read can belong to it. */ + /* Make a new rule, whose body is empty, before the + current one, so that the action just read can + belong to it. */ nrules++; nitems++; - record_rule_line (); - p = NEW(symbol_list); + p = symbol_list_new (sdummy); + /* Attach its lineno to that of the host rule. */ + p->line = crule->line; if (crule1) crule1->next = p; - else grammar = p; - p->sym = sdummy; - crule1 = NEW(symbol_list); - p->next = crule1; + else + grammar = p; + /* End of the rule. */ + crule1 = symbol_list_new (NULL); crule1->next = crule; - /* insert the dummy generated by that rule into this rule. */ + p->next = crule1; + + /* Insert the dummy generated by that rule into this + rule. */ nitems++; - p = NEW(symbol_list); - p->sym = sdummy; + p = symbol_list_new (sdummy); p1->next = p; p1 = p; - actionflag = 0; + action_flag = 0; } - if (t == IDENTIFIER) + if (t == tok_identifier) { nitems++; - p = NEW(symbol_list); - p->sym = symval; + p = symbol_list_new (symval); p1->next = p; p1 = p; } - else /* handle an action. */ + else /* handle an action. */ { - copy_action(crule, rulelength); - actionflag = 1; + copy_action (crule, rulelength); + action_flag = 1; xactions++; /* JF */ } rulelength++; - } /* end of read rhs of rule */ + } /* end of read rhs of rule */ /* Put an empty link in the list to mark the end of this rule */ - p = NEW(symbol_list); + p = symbol_list_new (NULL); p1->next = p; p1 = p; - if (t == PREC) + if (t == tok_prec) { complain (_("two @prec's in a row")); - t = lex(); + t = lex (); crule->ruleprec = symval; - t = lex(); + t = lex (); } - if (t == GUARD) + if (t == tok_guard) { - if (! semantic_parser) - complain ("%s", - _("%guard present but %semantic_parser not specified")); + if (!semantic_parser) + complain (_("%%guard present but %%semantic_parser not specified")); - copy_guard(crule, rulelength); - t = lex(); + copy_guard (crule, rulelength); + t = lex (); } - else if (t == LEFT_CURLY) + else if (t == tok_left_curly) { - /* This case never occurs -wjh */ - if (actionflag) + /* This case never occurs -wjh */ + if (action_flag) complain (_("two actions at end of one rule")); - copy_action(crule, rulelength); - actionflag = 1; + copy_action (crule, rulelength); + action_flag = 1; xactions++; /* -wjh */ - t = lex(); + t = lex (); } /* If $$ is being set in default way, report if any type mismatch. */ else if (!xactions - && first_rhs - && lhs->type_name != first_rhs->type_name) + && first_rhs && lhs->type_name != first_rhs->type_name) { if (lhs->type_name == 0 || first_rhs->type_name == 0 - || strcmp(lhs->type_name,first_rhs->type_name)) + || strcmp (lhs->type_name, first_rhs->type_name)) complain (_("type clash (`%s' `%s') on default action"), lhs->type_name ? lhs->type_name : "", - first_rhs->type_name ? first_rhs->type_name : ""); + first_rhs->type_name ? first_rhs->type_name : ""); } /* Warn if there is no default for $$ but we need one. */ else if (!xactions && !first_rhs && lhs->type_name != 0) complain (_("empty rule for typed nonterminal, and no action")); - if (t == SEMICOLON) - t = lex(); + if (t == tok_semicolon) + t = lex (); } #if 0 - /* these things can appear as alternatives to rules. */ + /* these things can appear as alternatives to rules. */ /* NO, they cannot. a) none of the documentation allows them b) most of them scan forward until finding a next % thus they may swallow lots of intervening rules */ - else if (t == TOKEN) + else if (t == tok_token) { - parse_token_decl(STOKEN, SNTERM); - t = lex(); + parse_token_decl (token_sym, nterm_sym); + t = lex (); } - else if (t == NTERM) + else if (t == tok_nterm) { - parse_token_decl(SNTERM, STOKEN); - t = lex(); + parse_token_decl (nterm_sym, token_sym); + t = lex (); } - else if (t == TYPE) + else if (t == tok_type) { - t = get_type(); + t = get_type (); } - else if (t == UNION) + else if (t == tok_union) { - parse_union_decl(); - t = lex(); + parse_union_decl (); + t = lex (); } - else if (t == EXPECT) + else if (t == tok_expect) { - parse_expect_decl(); - t = lex(); + parse_expect_decl (); + t = lex (); } - else if (t == START) + else if (t == tok_start) { - parse_start_decl(); - t = lex(); + parse_start_decl (); + t = lex (); } #endif else { - complain (_("invalid input: %s"), token_buffer); - t = lex(); + complain (_("invalid input: %s"), quote (token_buffer)); + t = lex (); } } @@ -1631,126 +1662,166 @@ readgram (void) if (nrules == 0) fatal (_("no rules in the input grammar")); - if (typed == 0 /* JF put out same default YYSTYPE as YACC does */ - && !value_components_used) - { - /* We used to use `unsigned long' as YYSTYPE on MSDOS, - but it seems better to be consistent. - Most programs should declare their own type anyway. */ - fprintf(fattrs, "#ifndef YYSTYPE\n#define YYSTYPE int\n#endif\n"); - if (fdefines) - fprintf(fdefines, "#ifndef YYSTYPE\n#define YYSTYPE int\n#endif\n"); - } - /* Report any undefined symbols and consider them nonterminals. */ for (bp = firstsymbol; bp; bp = bp->next) - if (bp->class == SUNKNOWN) + if (bp->class == unknown_sym) { - complain (_("symbol %s is used, but is not defined as a token and has no rules"), + complain (_ + ("symbol %s is used, but is not defined as a token and has no rules"), bp->tag); - bp->class = SNTERM; + bp->class = nterm_sym; bp->value = nvars++; } ntokens = nsyms - nvars; } - +/* At the end of the grammar file, some C source code must + be stored. It is going to be associated to the epilogue + directive. */ static void -record_rule_line (void) +read_additionnal_code (void) { - /* Record each rule's source line number in rline table. */ + char c; + struct obstack el_obstack; + + obstack_init (&el_obstack); - if (nrules >= rline_allocated) + if (!no_lines_flag) { - rline_allocated = nrules * 2; - rline = (short *) xrealloc ((char *) rline, - rline_allocated * sizeof (short)); + obstack_fgrow2 (&el_obstack, muscle_find ("linef"), + lineno, quotearg_style (c_quoting_style, + muscle_find("filename"))); } - rline[nrules] = lineno; + + while ((c = getc (finput)) != EOF) + obstack_1grow (&el_obstack, c); + + obstack_1grow (&el_obstack, 0); + muscle_insert ("epilogue", obstack_finish (&el_obstack)); } + +/*--------------------------------------------------------------. +| For named tokens, but not literal ones, define the name. The | +| value is the user token number. | +`--------------------------------------------------------------*/ -#if 0 -/* read in a %type declaration and record its information for get_type_name to access */ -/* this is unused. it is only called from the #if 0 part of readgram */ -static int -get_type (void) +static void +output_token_defines (struct obstack *oout) { - register int k; - register int t; - register char *name; - - t = lex(); + bucket *bp; + char *cp, *symbol; + char c; - if (t != TYPENAME) + for (bp = firstsymbol; bp; bp = bp->next) { - complain (_("invalid %s declaration"), "%type"); - return t; - } + symbol = bp->tag; /* get symbol */ + + if (bp->value >= ntokens) + continue; + if (bp->user_token_number == SALIAS) + continue; + if ('\'' == *symbol) + continue; /* skip literal character */ + if (bp == errtoken) + continue; /* skip error token */ + if ('\"' == *symbol) + { + /* use literal string only if given a symbol with an alias */ + if (bp->alias) + symbol = bp->alias->tag; + else + continue; + } - k = strlen(token_buffer); - name = NEW2(k + 1, char); - strcpy(name, token_buffer); + /* Don't #define nonliteral tokens whose names contain periods. */ + cp = symbol; + while ((c = *cp++) && c != '.'); + if (c != '\0') + continue; - for (;;) - { - t = lex(); + obstack_fgrow2 (oout, "# define\t%s\t%d\n", + symbol, bp->user_token_number); + if (semantic_parser) + /* FIXME: This is certainly dead wrong, and should be just as + above. --akim. */ + obstack_fgrow2 (oout, "# define\tT%s\t%d\n", symbol, bp->value); + } +} - switch (t) - { - case SEMICOLON: - return lex(); - case COMMA: - break; +/*------------------------------------------------------------------. +| Set TOKEN_TRANSLATIONS. Check that no two symbols share the same | +| number. | +`------------------------------------------------------------------*/ - case IDENTIFIER: - if (symval->type_name == NULL) - symval->type_name = name; - else if (strcmp(name, symval->type_name) != 0) - complain (_("type redeclaration for %s"), symval->tag); +static void +token_translations_init (void) +{ + bucket *bp = NULL; + int i; - break; + token_translations = XCALLOC (short, max_user_token_number + 1); - default: - return t; - } + /* Initialize all entries for literal tokens to 2, the internal + token number for $undefined., which represents all invalid + inputs. */ + for (i = 0; i <= max_user_token_number; i++) + token_translations[i] = 2; + + for (bp = firstsymbol; bp; bp = bp->next) + { + /* Non-terminal? */ + if (bp->value >= ntokens) + continue; + /* A token string alias? */ + if (bp->user_token_number == SALIAS) + continue; + + assert (bp->user_token_number != SUNDEF); + + /* A token which translation has already been set? */ + if (token_translations[bp->user_token_number] != 2) + complain (_("tokens %s and %s both assigned number %d"), + tags[token_translations[bp->user_token_number]], + bp->tag, bp->user_token_number); + token_translations[bp->user_token_number] = bp->value; } } -#endif -/* Assign symbol numbers, and write definition of token names into - fdefines. Set up vectors tags and sprec of names and precedences - of symbols. */ +/*------------------------------------------------------------------. +| Assign symbol numbers, and write definition of token names into | +| FDEFINES. Set up vectors TAGS and SPREC of names and precedences | +| of symbols. | +`------------------------------------------------------------------*/ static void packsymbols (void) { - register bucket *bp; - register int tokno = 1; - register int i; - register int last_user_token_number; + bucket *bp = NULL; + int tokno = 1; + int last_user_token_number; static char DOLLAR[] = "$"; - /* int lossage = 0; JF set but not used */ + tags = XCALLOC (char *, nsyms + 1); + user_toknums = XCALLOC (short, nsyms + 1); + + sprec = XCALLOC (short, nsyms); + sassoc = XCALLOC (short, nsyms); - tags = NEW2(nsyms + 1, char *); + /* The EOF token. */ tags[0] = DOLLAR; - user_toknums = NEW2(nsyms + 1, short); user_toknums[0] = 0; - sprec = NEW2(nsyms, short); - sassoc = NEW2(nsyms, short); - max_user_token_number = 256; last_user_token_number = 256; for (bp = firstsymbol; bp; bp = bp->next) { - if (bp->class == SNTERM) + if (bp->class == nterm_sym) { bp->value += ntokens; } @@ -1787,17 +1858,17 @@ packsymbols (void) } if (bp->user_token_number == SALIAS) - continue; /* do not do processing below for SALIASs */ + continue; /* do not do processing below for SALIASs */ - } - else /* bp->class == STOKEN */ + } + else /* bp->class == token_sym */ { bp->value = tokno++; } - if (bp->class == STOKEN) + if (bp->class == token_sym) { - if (translations && !(bp->user_token_number)) + if (bp->user_token_number == SUNDEF) bp->user_token_number = ++last_user_token_number; if (bp->user_token_number > max_user_token_number) max_user_token_number = bp->user_token_number; @@ -1807,139 +1878,80 @@ packsymbols (void) user_toknums[bp->value] = bp->user_token_number; sprec[bp->value] = bp->prec; sassoc[bp->value] = bp->assoc; - } - if (translations) - { - register int j; - - token_translations = NEW2(max_user_token_number+1, short); - - /* initialize all entries for literal tokens to 2, the internal - token number for $undefined., which represents all invalid - inputs. */ - for (j = 0; j <= max_user_token_number; j++) - token_translations[j] = 2; - - for (bp = firstsymbol; bp; bp = bp->next) - { - if (bp->value >= ntokens) - continue; /* non-terminal */ - if (bp->user_token_number == SALIAS) - continue; - if (token_translations[bp->user_token_number] != 2) - complain (_("tokens %s and %s both assigned number %d"), - tags[token_translations[bp->user_token_number]], - bp->tag, - bp->user_token_number); - token_translations[bp->user_token_number] = bp->value; - } - } + token_translations_init (); error_token_number = errtoken->value; - if (! noparserflag) - output_token_defines(ftable); - - if (startval->class == SUNKNOWN) + if (startval->class == unknown_sym) fatal (_("the start symbol %s is undefined"), startval->tag); - else if (startval->class == STOKEN) + else if (startval->class == token_sym) fatal (_("the start symbol %s is a token"), startval->tag); start_symbol = startval->value; - - if (definesflag) - { - output_token_defines(fdefines); - - if (!pure_parser) - { - if (spec_name_prefix) - fprintf(fdefines, "\nextern YYSTYPE %slval;\n", spec_name_prefix); - else - fprintf(fdefines, "\nextern YYSTYPE yylval;\n"); - } - - if (semantic_parser) - for (i = ntokens; i < nsyms; i++) - { - /* don't make these for dummy nonterminals made by gensym. */ - if (*tags[i] != '@') - fprintf(fdefines, "#define\tNT%s\t%d\n", tags[i], i); - } -#if 0 - /* `fdefines' is now a temporary file, so we need to copy its - contents in `done', so we can't close it here. */ - fclose(fdefines); - fdefines = NULL; -#endif - } } -/* For named tokens, but not literal ones, define the name. The value - is the user token number. */ + +/*-----------------------------------. +| Output definition of token names. | +`-----------------------------------*/ static void -output_token_defines (FILE *file) +symbols_output (void) { - bucket *bp; - register char *cp, *symbol; - register char c; + { + struct obstack tokendefs; + obstack_init (&tokendefs); + output_token_defines (&tokendefs); + obstack_1grow (&tokendefs, 0); + muscle_insert ("tokendef", xstrdup (obstack_finish (&tokendefs))); + obstack_free (&tokendefs, NULL); + } - for (bp = firstsymbol; bp; bp = bp->next) + if (defines_flag) { - symbol = bp->tag; /* get symbol */ + output_token_defines (&defines_obstack); - if (bp->value >= ntokens) continue; - if (bp->user_token_number == SALIAS) continue; - if ('\'' == *symbol) continue; /* skip literal character */ - if (bp == errtoken) continue; /* skip error token */ - if ('\"' == *symbol) + if (!pure_parser) + obstack_fgrow1 (&defines_obstack, "\nextern YYSTYPE %slval;\n", + spec_name_prefix); + if (semantic_parser) { - /* use literal string only if given a symbol with an alias */ - if (bp->alias) - symbol = bp->alias->tag; - else - continue; - } - - /* Don't #define nonliteral tokens whose names contain periods. */ - cp = symbol; - while ((c = *cp++) && c != '.'); - if (c != '\0') continue; + int i; - fprintf (file, "#define\t%s\t%d\n", symbol, - ((translations && ! rawtoknumflag) - ? bp->user_token_number - : bp->value)); - if (semantic_parser) - fprintf (file, "#define\tT%s\t%d\n", symbol, bp->value); + for (i = ntokens; i < nsyms; i++) + { + /* don't make these for dummy nonterminals made by gensym. */ + if (*tags[i] != '@') + obstack_fgrow2 (&defines_obstack, + "# define\tNT%s\t%d\n", tags[i], i); + } +#if 0 + /* `fdefines' is now a temporary file, so we need to copy its + contents in `done', so we can't close it here. */ + fclose (fdefines); + fdefines = NULL; +#endif + } } - - putc('\n', file); } - -/* convert the rules into the representation using rrhs, rlhs and ritems. */ +/*---------------------------------------------------------------. +| Convert the rules into the representation using RRHS, RLHS and | +| RITEMS. | +`---------------------------------------------------------------*/ static void packgram (void) { - register int itemno; - register int ruleno; - register symbol_list *p; -/* register bucket *bp; JF unused */ + int itemno; + int ruleno; + symbol_list *p; - bucket *ruleprec; - - ritem = NEW2(nitems + 1, short); - rlhs = NEW2(nrules, short) - 1; - rrhs = NEW2(nrules, short) - 1; - rprec = NEW2(nrules, short) - 1; - rprecsym = NEW2(nrules, short) - 1; - rassoc = NEW2(nrules, short) - 1; + ritem = XCALLOC (short, nitems + 1); + rule_table = XCALLOC (rule_t, nrules) - 1; itemno = 0; ruleno = 1; @@ -1947,9 +1959,11 @@ packgram (void) p = grammar; while (p) { - rlhs[ruleno] = p->sym->value; - rrhs[ruleno] = itemno; - ruleprec = p->ruleprec; + bucket *ruleprec = p->ruleprec; + rule_table[ruleno].lhs = p->sym->value; + rule_table[ruleno].rhs = itemno; + rule_table[ruleno].line = p->line; + rule_table[ruleno].useful = TRUE; p = p->next; while (p && p->sym) @@ -1957,28 +1971,103 @@ packgram (void) ritem[itemno++] = p->sym->value; /* A rule gets by default the precedence and associativity of the last token in it. */ - if (p->sym->class == STOKEN) + if (p->sym->class == token_sym) { - rprec[ruleno] = p->sym->prec; - rassoc[ruleno] = p->sym->assoc; + rule_table[ruleno].prec = p->sym->prec; + rule_table[ruleno].assoc = p->sym->assoc; } - if (p) p = p->next; + if (p) + p = p->next; } /* If this rule has a %prec, - the specified symbol's precedence replaces the default. */ + the specified symbol's precedence replaces the default. */ if (ruleprec) { - rprec[ruleno] = ruleprec->prec; - rassoc[ruleno] = ruleprec->assoc; - rprecsym[ruleno] = ruleprec->value; + rule_table[ruleno].prec = ruleprec->prec; + rule_table[ruleno].assoc = ruleprec->assoc; + rule_table[ruleno].precsym = ruleprec->value; } ritem[itemno++] = -ruleno; ruleno++; - if (p) p = p->next; + if (p) + p = p->next; } ritem[itemno] = 0; + + if (trace_flag) + ritem_print (stderr); +} + +/*-------------------------------------------------------------------. +| Read in the grammar specification and record it in the format | +| described in gram.h. All guards are copied into the GUARD_OBSTACK | +| and all actions into ACTION_OBSTACK, in each case forming the body | +| of a C function (YYGUARD or YYACTION) which contains a switch | +| statement to decide which guard or action to execute. | +`-------------------------------------------------------------------*/ + +void +reader (void) +{ + start_flag = 0; + startval = NULL; /* start symbol not specified yet. */ + + nsyms = 1; + nvars = 0; + nrules = 0; + nitems = 0; + + typed = 0; + lastprec = 0; + + semantic_parser = 0; + pure_parser = 0; + + grammar = NULL; + + lex_init (); + lineno = 1; + + /* Initialize the muscle obstack. */ + obstack_init (&muscle_obstack); + + /* Initialize the symbol table. */ + tabinit (); + + /* Construct the error token */ + errtoken = getsym ("error"); + errtoken->class = token_sym; + errtoken->user_token_number = 256; /* Value specified by POSIX. */ + + /* Construct a token that represents all undefined literal tokens. + It is always token number 2. */ + undeftoken = getsym ("$undefined."); + undeftoken->class = token_sym; + undeftoken->user_token_number = 2; + + /* Read the declaration section. Copy %{ ... %} groups to + TABLE_OBSTACK and FDEFINES file. Also notice any %token, %left, + etc. found there. */ + read_declarations (); + /* Read in the grammar, build grammar in list form. Write out + guards and actions. */ + readgram (); + /* Some C code is given at the end of the grammar file. */ + read_additionnal_code (); + + /* Now we know whether we need the line-number stack. If we do, + write its type into the .tab.h file. + This is no longer need with header skeleton. */ + + /* Assign the symbols their symbol numbers. Write #defines for the + token symbols into FDEFINES if requested. */ + packsymbols (); + /* Convert the grammar into the format described in gram.h. */ + packgram (); + /* Output the headers. */ + symbols_output (); }