/*
 * File automatically generated by
 * gengen 1.4.2 by Lorenzo Bettini 
 * http://www.gnu.org/software/gengen
 */

#include "update_given.h"

void
update_given_gen_class::generate_update_given(ostream &stream, unsigned int indent)
{
  string indent_str (indent, ' ');
  indent = 0;

  stream << "args_info->";
  generate_string (option_var_name, stream, indent + indent_str.length ());
  stream << "_given += local_args_info.";
  generate_string (option_var_name, stream, indent + indent_str.length ());
  stream << "_given;";
  stream << "\n";
  stream << indent_str;
  stream << "local_args_info.";
  generate_string (option_var_name, stream, indent + indent_str.length ());
  stream << "_given = 0;";
  stream << "\n";
  stream << indent_str;
}
