- struct symbol_list_s *next;
- symbol_t *sym;
- location_t location;
-
- /* The action is attached to the LHS of a rule. */
- const char *action;
- location_t action_location;
-
- symbol_t *ruleprec;
-} symbol_list_t;
-
-
-/* Create a list containing SYMBOL at LOCATION. */
-symbol_list_t *symbol_list_new PARAMS ((symbol_t *sym, location_t location));
-
-
-/* Prepend SYMBOL at LOCATION to the LIST. */
-symbol_list_t * symbol_list_prepend PARAMS ((symbol_list_t *list,
- symbol_t *symbol,
- location_t location));
-
-
-/* Free the LIST, but not the symbols it contains. */
-void symbol_list_free PARAMS ((symbol_list_t *list));
-
+ /**
+ * Whether this node contains a symbol, a semantic type, a \c <*>, or a
+ * \c <>.
+ */
+ enum {
+ SYMLIST_SYMBOL, SYMLIST_TYPE,
+ SYMLIST_DEFAULT_TAGGED, SYMLIST_DEFAULT_TAGLESS
+ } content_type;
+ union {
+ /**
+ * The symbol or \c NULL iff
+ * <tt>symbol_list::content_type = SYMLIST_SYMBOL</tt>.
+ */
+ symbol *sym;
+ /**
+ * The semantic type iff <tt>symbol_list::content_type = SYMLIST_TYPE</tt>.
+ */
+ uniqstr type_name;
+ } content;
+ location location;
+
+ /* If this symbol is the generated lhs for a midrule but this is the rule in
+ whose rhs it appears, MIDRULE = a pointer to that midrule. */
+ struct symbol_list *midrule;
+
+ /* If this symbol is the generated lhs for a midrule and this is that
+ midrule, MIDRULE_PARENT_RULE = a pointer to the rule in whose rhs it
+ appears, and MIDRULE_PARENT_RHS_INDEX = its rhs index (1-origin) in the
+ parent rule. */
+ struct symbol_list *midrule_parent_rule;
+ int midrule_parent_rhs_index;
+
+ /* The action is attached to the LHS of a rule, but action properties for
+ * each RHS are also stored here. */
+ code_props action_props;
+
+ /* Precedence/associativity. */
+ symbol *ruleprec;
+ int dprec;
+ int merger;
+ location merger_declaration_location;
+
+ /* The list. */
+ struct symbol_list *next;
+} symbol_list;
+
+
+/** Create a list containing \c sym at \c loc. */
+symbol_list *symbol_list_sym_new (symbol *sym, location loc);
+
+/** Create a list containing \c type_name at \c loc. */
+symbol_list *symbol_list_type_new (uniqstr type_name, location loc);
+
+/** Create a list containing a \c <*> at \c loc. */
+symbol_list *symbol_list_default_tagged_new (location loc);
+/** Create a list containing a \c <> at \c loc. */
+symbol_list *symbol_list_default_tagless_new (location loc);
+
+/** Print this list.
+
+ \pre For every node \c n in the list, <tt>n->content_type =
+ SYMLIST_SYMBOL</tt>. */
+void symbol_list_syms_print (const symbol_list *l, FILE *f);
+
+/** Prepend \c node to \c list. */
+symbol_list *symbol_list_prepend (symbol_list *list, symbol_list *node);
+
+/** Free \c list, but not the items it contains. */
+void symbol_list_free (symbol_list *list);
+
+/** Return the length of \c l. */
+int symbol_list_length (symbol_list const *l);
+
+/** Get item \c n in symbol list \c l. */
+symbol_list *symbol_list_n_get (symbol_list *l, int n);