mirror of
https://git.savannah.gnu.org/git/bison.git
synced 2026-03-10 12:53:03 +00:00
95612cfa60
(STRUNIQ_EQ, struniq_assert, struniq_assert_p): New. Use struniq for symbols. * src/symtab.h (symbol_t): The tag member is a struniq. (symbol_type_set): Adjust. * src/symtab.c (symbol_new): Takes a struniq. (symbol_free): Don't free the tag member. (hash_compare_symbol_t, hash_symbol_t): Rename as... (hash_compare_symbol, hash_symbol): these. Use the fact that tags as struniqs. (symbol_get): Use struniq_new. * src/symlist.h, src/symlist.c (symbol_list_n_type_name_get): Returns a strniq. * src/reader.h (merger_list, grammar_currentmerge_set): The name and type members are struniqs. * src/reader.c (get_merge_function) (grammar_current_rule_merge_set): Adjust. (TYPE, current_type): Are struniq. Use struniq for file names. * src/files.h, src/files.c (infile): Split into... (grammar_file, current_file): these. * src/scan-gram.c (YY_USER_INIT, handle_syncline): Adjust. * src/reduce.c (reduce_print): Likewise. * src/getargs.c (getargs): Likewise. * src/complain.h, src/complain.c: Likewise. * src/main.c (main): Call struniqs_new early enough to use it for file names. Don't free the input file name.
163 lines
4.8 KiB
C
163 lines
4.8 KiB
C
/* Definitions for symtab.c and callers, part of bison,
|
|
Copyright (C) 1984, 1989, 1992, 2000, 2001, 2002
|
|
Free Software Foundation, Inc.
|
|
|
|
This file is part of Bison, the GNU Compiler Compiler.
|
|
|
|
Bison is free software; you can redistribute it and/or modify
|
|
it under the terms of the GNU General Public License as published by
|
|
the Free Software Foundation; either version 2, or (at your option)
|
|
any later version.
|
|
|
|
Bison is distributed in the hope that it will be useful,
|
|
but WITHOUT ANY WARRANTY; without even the implied warranty of
|
|
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
|
GNU General Public License for more details.
|
|
|
|
You should have received a copy of the GNU General Public License
|
|
along with Bison; see the file COPYING. If not, write to
|
|
the Free Software Foundation, Inc., 59 Temple Place - Suite 330,
|
|
Boston, MA 02111-1307, USA. */
|
|
|
|
#ifndef SYMTAB_H_
|
|
# define SYMTAB_H_
|
|
|
|
# include "struniq.h"
|
|
# include "location.h"
|
|
# include "assoc.h"
|
|
|
|
/*----------.
|
|
| Symbols. |
|
|
`----------*/
|
|
|
|
/* Symbol classes. */
|
|
typedef enum
|
|
{
|
|
unknown_sym,
|
|
token_sym, /* terminal symbol */
|
|
nterm_sym /* non-terminal */
|
|
} symbol_class;
|
|
|
|
|
|
/* Internal token numbers. */
|
|
typedef short symbol_number_t;
|
|
#define SYMBOL_NUMBER_MAX ((symbol_number_t) SHRT_MAX)
|
|
|
|
|
|
typedef struct symbol_s symbol_t;
|
|
struct symbol_s
|
|
{
|
|
/* The key, name of the symbol. */
|
|
struniq_t tag;
|
|
/* The location of its first occurence. */
|
|
location_t location;
|
|
|
|
/* Its %type and associated printer and destructor. */
|
|
struniq_t type_name;
|
|
char *destructor;
|
|
location_t destructor_location;
|
|
char *printer;
|
|
location_t printer_location;
|
|
|
|
symbol_number_t number;
|
|
short prec;
|
|
assoc_t assoc;
|
|
int user_token_number;
|
|
|
|
/* Points to the other in the identifier-symbol pair for an alias.
|
|
Special value USER_NUMBER_ALIAS in the identifier half of the
|
|
identifier-symbol pair for an alias. */
|
|
symbol_t *alias;
|
|
symbol_class class;
|
|
};
|
|
|
|
/* Undefined user number. */
|
|
#define USER_NUMBER_UNDEFINED -1
|
|
|
|
/* `symbol->user_token_number == USER_NUMBER_ALIAS' means this symbol
|
|
*has* (not is) a string literal alias. For instance, `%token foo
|
|
"foo"' has `"foo"' numbered regularly, and `foo' numbered as
|
|
USER_NUMBER_ALIAS. */
|
|
#define USER_NUMBER_ALIAS -9991
|
|
|
|
/* Undefined internal token number. */
|
|
#define NUMBER_UNDEFINED ((symbol_number_t) -1)
|
|
|
|
|
|
/* Fetch (or create) the symbol associated to KEY. */
|
|
symbol_t *symbol_get (const char *key, location_t location);
|
|
|
|
/* Generate a dummy nonterminal, whose name cannot conflict with the
|
|
user's names. */
|
|
symbol_t *dummy_symbol_get (location_t location);
|
|
|
|
/* Declare the new SYMBOL. Make it an alias of SYMVAL. */
|
|
void symbol_make_alias (symbol_t *symbol, symbol_t *symval,
|
|
location_t location);
|
|
|
|
/* Set the TYPE_NAME associated to SYMBOL. Does nothing if passed 0 as
|
|
TYPE_NAME. */
|
|
void symbol_type_set (symbol_t *symbol,
|
|
struniq_t type_name, location_t location);
|
|
|
|
/* Set the DESTRUCTOR associated to SYMBOL. */
|
|
void symbol_destructor_set (symbol_t *symbol,
|
|
char *destructor, location_t location);
|
|
|
|
/* Set the PRINTER associated to SYMBOL. */
|
|
void symbol_printer_set (symbol_t *symbol,
|
|
char *printer, location_t location);
|
|
|
|
/* Set the PRECEDENCE associated to SYMBOL. Ensures that SYMBOL is a
|
|
terminal. Does nothing if invoked with UNDEF_ASSOC as ASSOC. */
|
|
void symbol_precedence_set (symbol_t *symbol,
|
|
int prec, assoc_t assoc, location_t location);
|
|
|
|
/* Set the CLASS associated to SYMBOL. */
|
|
void symbol_class_set (symbol_t *symbol,
|
|
symbol_class class, location_t location);
|
|
|
|
/* Set the USER_TOKEN_NUMBER associated to SYMBOL. */
|
|
void symbol_user_token_number_set (symbol_t *symbol,
|
|
int user_number, location_t location);
|
|
|
|
|
|
/* Distinguished symbols. AXIOM is the real start symbol, that used
|
|
by the automaton. STARTSYMBOL is the one specified by the user.
|
|
*/
|
|
extern symbol_t *errtoken;
|
|
extern symbol_t *undeftoken;
|
|
extern symbol_t *endtoken;
|
|
extern symbol_t *accept;
|
|
extern symbol_t *startsymbol;
|
|
extern location_t startsymbol_location;
|
|
|
|
|
|
/*---------------.
|
|
| Symbol table. |
|
|
`---------------*/
|
|
|
|
|
|
/* Create the symbol table. */
|
|
void symbols_new (void);
|
|
|
|
/* A function to apply to each symbol. */
|
|
typedef bool (*symbol_processor) (symbol_t *);
|
|
|
|
/* Apply PROCESSOR to all the symbols. PROCESSOR must return true: on
|
|
false, the processing stops. */
|
|
void symbols_do (symbol_processor processor, void *processor_data);
|
|
|
|
/* Free all the memory allocated for symbols. */
|
|
void symbols_free (void);
|
|
|
|
/* Check that all the symbols are defined. Report any undefined
|
|
symbols and consider them nonterminals. */
|
|
void symbols_check_defined (void);
|
|
|
|
/* Perform various sanity checks, assign symbol numbers, and set up
|
|
TOKEN_TRANSLATIONS. */
|
|
void symbols_pack (void);
|
|
|
|
#endif /* !SYMTAB_H_ */
|