/* Lists of symbols for Bison
- Copyright (C) 2002, 2005 Free Software Foundation, Inc.
+ Copyright (C) 2002, 2005, 2006, 2007 Free Software Foundation, Inc.
This file is part of Bison, the GNU Compiler Compiler.
the Free Software Foundation, Inc., 51 Franklin Street, Fifth Floor,
Boston, MA 02110-1301, USA. */
+#include <config.h>
#include "system.h"
#include "complain.h"
`--------------------------------------*/
symbol_list *
-symbol_list_new (symbol *sym, location loc)
+symbol_list_sym_new (symbol *sym, location loc)
{
symbol_list *res = xmalloc (sizeof *res);
- res->next = NULL;
- res->sym = sym;
+
+ res->content_type = SYMLIST_SYMBOL;
+ res->content.sym = sym;
res->location = loc;
- res->action = NULL;
+
+ res->midrule = NULL;
+ res->midrule_parent_rule = NULL;
+ res->midrule_parent_rhs_index = 0;
+
+ code_props_none_init (&res->action_props);
+
res->ruleprec = NULL;
res->dprec = 0;
res->merger = 0;
+
+ res->next = NULL;
+
return res;
}
-/*------------------.
-| Print this list. |
-`------------------*/
+/*--------------------------------------------.
+| Create a list containing TYPE_NAME at LOC. |
+`--------------------------------------------*/
-void
-symbol_list_print (FILE *f, symbol_list *l)
+symbol_list *
+symbol_list_type_new (uniqstr type_name, location loc)
+{
+ symbol_list *res = xmalloc (sizeof *res);
+
+ res->content_type = SYMLIST_TYPE;
+ res->content.type_name = type_name;
+ res->location = loc;
+ res->next = NULL;
+
+ return res;
+}
+
+
+/*----------------------------------------.
+| Create a list containing a <*> at LOC. |
+`----------------------------------------*/
+
+symbol_list *
+symbol_list_default_tagged_new (location loc)
{
- for (/* Nothing. */; l; l = l->next)
- symbol_print (f, l->sym);
+ symbol_list *res = xmalloc (sizeof *res);
+
+ res->content_type = SYMLIST_DEFAULT_TAGGED;
+ res->location = loc;
+ res->next = NULL;
+
+ return res;
}
-/*---------------------------------.
-| Prepend SYM at LOC to the LIST. |
-`---------------------------------*/
+/*---------------------------------------.
+| Create a list containing a <> at LOC. |
+`---------------------------------------*/
symbol_list *
-symbol_list_prepend (symbol_list *list, symbol *sym, location loc)
+symbol_list_default_tagless_new (location loc)
{
- symbol_list *res = symbol_list_new (sym, loc);
- res->next = list;
+ symbol_list *res = xmalloc (sizeof *res);
+
+ res->content_type = SYMLIST_DEFAULT_TAGLESS;
+ res->location = loc;
+ res->next = NULL;
+
return res;
}
-/*-------------------------------------------------.
-| Free the LIST, but not the symbols it contains. |
-`-------------------------------------------------*/
+/*-----------------------------------------------------------------------.
+| Print this list, for which every content_type must be SYMLIST_SYMBOL. |
+`-----------------------------------------------------------------------*/
+
+void
+symbol_list_syms_print (const symbol_list *l, FILE *f)
+{
+ for (/* Nothing. */; l && l->content.sym; l = l->next)
+ {
+ symbol_print (l->content.sym, f);
+ fprintf (stderr, l->action_props.is_value_used ? " used" : " unused");
+ if (l && l->content.sym)
+ fprintf (f, ", ");
+ }
+}
+
+
+/*---------------------------.
+| Prepend NODE to the LIST. |
+`---------------------------*/
+
+symbol_list *
+symbol_list_prepend (symbol_list *list, symbol_list *node)
+{
+ node->next = list;
+ return node;
+}
+
+
+/*-----------------------------------------------.
+| Free the LIST, but not the items it contains. |
+`-----------------------------------------------*/
void
symbol_list_free (symbol_list *list)
| Return its length. |
`--------------------*/
-unsigned int
-symbol_list_length (symbol_list *list)
+int
+symbol_list_length (symbol_list const *l)
{
int res = 0;
- for (/* Nothing. */; list; list = list->next)
+ for (/* Nothing. */;
+ l && !(l->content_type == SYMLIST_SYMBOL && l->content.sym == NULL);
+ l = l->next)
++res;
return res;
}
+/*------------------------------.
+| Get item N in symbol list L. |
+`------------------------------*/
+
+symbol_list *
+symbol_list_n_get (symbol_list *l, int n)
+{
+ int i;
+
+ if (n < 0)
+ return NULL;
+
+ for (i = 0; i < n; ++i)
+ {
+ l = l->next;
+ if (l == NULL
+ || (l->content_type == SYMLIST_SYMBOL && l->content.sym == NULL))
+ return NULL;
+ }
+
+ return l;
+}
+
+
/*--------------------------------------------------------------.
| Get the data type (alternative in the union) of the value for |
-| symbol N in symbol list RP. |
+| symbol N in symbol list L. |
`--------------------------------------------------------------*/
uniqstr
-symbol_list_n_type_name_get (symbol_list *rp, location loc, int n)
+symbol_list_n_type_name_get (symbol_list *l, location loc, int n)
{
- int i;
-
- if (n < 0)
+ l = symbol_list_n_get (l, n);
+ if (!l)
{
complain_at (loc, _("invalid $ value: $%d"), n);
return NULL;
}
+ aver (l->content_type == SYMLIST_SYMBOL);
+ return l->content.sym->type_name;
+}
- i = 0;
- while (i < n)
+void
+symbol_list_destructor_set (symbol_list *node, char const *code, location loc)
+{
+ code_props destructor;
+ code_props_symbol_action_init (&destructor, code, loc);
+ code_props_translate_code (&destructor);
+ switch (node->content_type)
{
- rp = rp->next;
- if (rp == NULL || rp->sym == NULL)
- {
- complain_at (loc, _("invalid $ value: $%d"), n);
- return NULL;
- }
- ++i;
+ case SYMLIST_SYMBOL:
+ symbol_destructor_set (node->content.sym, &destructor);
+ break;
+ case SYMLIST_TYPE:
+ semantic_type_destructor_set (
+ semantic_type_get (node->content.type_name), &destructor);
+ break;
+ case SYMLIST_DEFAULT_TAGGED:
+ default_tagged_destructor_set (&destructor);
+ break;
+ case SYMLIST_DEFAULT_TAGLESS:
+ default_tagless_destructor_set (&destructor);
+ break;
}
+}
- return rp->sym->type_name;
+void
+symbol_list_printer_set (symbol_list *node, char const *code, location loc)
+{
+ code_props printer;
+ code_props_symbol_action_init (&printer, code, loc);
+ code_props_translate_code (&printer);
+ switch (node->content_type)
+ {
+ case SYMLIST_SYMBOL:
+ symbol_printer_set (node->content.sym, &printer);
+ break;
+ case SYMLIST_TYPE:
+ semantic_type_printer_set (
+ semantic_type_get (node->content.type_name), &printer);
+ break;
+ case SYMLIST_DEFAULT_TAGGED:
+ default_tagged_printer_set (&printer);
+ break;
+ case SYMLIST_DEFAULT_TAGLESS:
+ default_tagless_printer_set (&printer);
+ break;
+ }
}
projects / bison.git / blobdiff