578       SYMBOL *current_name;

   578       SYMBOL *current_name;

   579       current_name = new SYMBOL;

   579       current_name = new SYMBOL;

   580       current_name->symbol = symbol->configuration_name;

   580       current_name->symbol = symbol->configuration_name;

   581       current_symbol_list.push_back(*current_name);

   581       current_symbol_list.push_back(*current_name);

   582       configuration_defined = true;

   582       configuration_defined = true;

   583       symbol->resource_declarations->accept(*this);

   593       symbol->resource_declarations->accept(*this);

   584       current_symbol_list.pop_back();

   594       current_symbol_list.pop_back();

   585       configuration_defined = false;

   595       configuration_defined = false;

   586       return NULL;

   596       return NULL;

   587     }

   597     }

   595     void *visit(resource_declaration_c *symbol) {

   605     void *visit(resource_declaration_c *symbol) {

   596       SYMBOL *current_name;

   606       SYMBOL *current_name;

   597       current_name = new SYMBOL;

   607       current_name = new SYMBOL;

   598       current_name->symbol = symbol->resource_name;

   608       current_name->symbol = symbol->resource_name;

   599       current_symbol_list.push_back(*current_name);

   609       current_symbol_list.push_back(*current_name);

   603       

   620       

   604       symbol->resource_declaration->accept(*this);

   621       symbol->resource_declaration->accept(*this);

   605       

   622       

   606       current_symbol_list.pop_back();

   623       current_symbol_list.pop_back();

   607       return NULL;

   624       return NULL;