{
symbol_t* next_symbol;
next_symbol = next_symbols->data;
- /* TODO: Check this assertion is correct. */
- assert (next_symbol->terminal == FALSE);
+ /*
+ * This rule starts with a terminal. Ignore it.
+ * We could add it as an optimization. TODO
+ */
+ if (next_symbol->terminal)
+ {
+ rule_delete (next_rule);
+ }
/* This is an indirect recursive rule. */
- if (next_symbol->value == symbol->value)
+ else if (next_symbol->value == symbol->value)
{
first_set->recursive =
g_list_prepend (first_set->recursive,
* We should iterate through the rules for each nonterminal until only
* terminals are known to be in the first set of it.
*/
-GHashTable* grammar_first (Grammar* grammar)
+GHashTable* grammar_first (grammar_t* grammar)
{
GHashTable* first;
gboolean stop;
return first;
}
-void put_key_on_list (gpointer key, gpointer val, gpointer data)
+static void put_key_on_list (gpointer key, gpointer val, gpointer data)
{
GList** l;
- l = (GList**) l;
- *l = g_list_prepend (*l, key);
+ l = (GList**) data;
+ *l = g_list_prepend (*l, symbol_copy (key));
}
GList* first_get (GHashTable* first, symbol_t* symbol)
if (g_hash_table_lookup_extended (first, symbol, NULL,
(gpointer*) &first_set))
{
- g_hash_table_foreach (first->terminals, put_key_on_list, &l);
+ if (first_set->has_empty)
+ l = g_list_prepend (l, symbol_new (TRUE, 0));
+ g_hash_table_foreach (first_set->terminals, put_key_on_list, &l);
}
return l;
}
+
+GList* first_rule (GHashTable* first, rule_t* rule)
+{
+
+ GHashTable* terminals;
+ GList* symbols;
+ GList* l;
+
+ l = NULL;
+
+ symbols = grammar_get_rule (rule);
+
+ terminals = g_hash_table_new_full (symbol_hash, symbol_equal, g_free, NULL);
+
+ while (symbols != NULL)
+ {
+ first_set_t* first_set;
+ symbol_t* symbol;
+ symbol = (symbol_t*) symbols->data;
+ if (symbol->terminal)
+ {
+ g_hash_table_insert (terminals, symbol_copy (symbol), NULL);
+ break;
+ }
+ if (!g_hash_table_lookup_extended (first, symbol, NULL,
+ (gpointer*) &first_set))
+ {
+ g_hash_table_destroy (terminals);
+ return NULL;
+ }
+ first_set_union (terminals, first_set->terminals);
+ if (first_set->has_empty == FALSE)
+ break;
+ symbols = g_list_next (symbols);
+ }
+
+ if (symbols == NULL)
+ l = g_list_prepend (l, symbol_new (TRUE, 0));
+ g_hash_table_foreach (terminals, put_key_on_list, &l);
+
+ g_hash_table_destroy (terminals);
+
+ return l;
+
+}