typedef struct symbol_s symbol_t;
struct symbol_s
{
- /* The key, name of the symbol. */
+ /* The key, name of the symbol. */
char *tag;
- /* Its type. */
+ /* The location of its first occurence. */
+ location_t location;
+
+ /* Its %type and associated printer and destructor. */
char *type_name;
+ char *destructor;
+ location_t destructor_location;
+ char *printer;
+ location_t printer_location;
symbol_number_t number;
short prec;
/* Fetch (or create) the symbol associated to KEY. */
-symbol_t *getsym PARAMS ((const char *key));
+symbol_t *symbol_get PARAMS ((const char *key, location_t location));
+
+/* Generate a dummy nonterminal, whose name cannot conflict with the
+ user's names. */
+symbol_t *dummy_symbol_get PARAMS ((location_t location));
/* Declare the new SYMBOL. Make it an alias of SYMVAL. */
void symbol_make_alias PARAMS ((symbol_t *symbol, symbol_t *symval));
/* Set the TYPE_NAME associated to SYMBOL. Does nothing if passed 0 as
TYPE_NAME. */
-void symbol_type_set PARAMS ((symbol_t *symbol, char *type_name));
+void symbol_type_set PARAMS ((symbol_t *symbol,
+ char *type_name, location_t location));
+
+/* Set the DESTRUCTOR associated to SYMBOL. */
+void symbol_destructor_set PARAMS ((symbol_t *symbol,
+ char *destructor, location_t location));
+
+/* Set the PRINTER associated to SYMBOL. */
+void symbol_printer_set PARAMS ((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 PARAMS ((symbol_t *symbol,
- int prec, associativity assoc));
+ int prec, associativity assoc,
+ location_t location));
/* Set the CLASS associated to SYMBOL. */
-void symbol_class_set PARAMS ((symbol_t *symbol, symbol_class class));
+void symbol_class_set PARAMS ((symbol_t *symbol,
+ symbol_class class, location_t location));
/* Set the USER_TOKEN_NUMBER associated to SYMBOL. */
-void symbol_user_token_number_set PARAMS ((symbol_t *symbol, int user_number));
+void symbol_user_token_number_set PARAMS ((symbol_t *symbol,
+ int user_number,
+ location_t location));
/* Distinguished symbols. AXIOM is the real start symbol, that used