--- /dev/null
+/*
+ * File automatically generated by
+ * gengen 1.2 by Lorenzo Bettini
+ * http://www.gnu.org/software/gengen
+ */
+
+#ifndef UPDATE_GIVEN_GEN_CLASS_H
+#define UPDATE_GIVEN_GEN_CLASS_H
+
+#include <string>
+#include <iostream>
+
+using std::string;
+using std::ostream;
+
+class update_given_gen_class
+{
+ protected:
+ string option_var_name;
+
+ public:
+ update_given_gen_class()
+ {
+ }
+
+ update_given_gen_class(const string &_option_var_name) :
+ option_var_name (_option_var_name)
+ {
+ }
+
+ static void
+ generate_string(const string &s, ostream &stream, unsigned int indent)
+ {
+ if (!indent || s.find('\n') == string::npos)
+ {
+ stream << s;
+ return;
+ }
+
+ string::size_type pos;
+ string::size_type start = 0;
+ string ind (indent, ' ');
+ while ( (pos=s.find('\n', start)) != string::npos)
+ {
+ stream << s.substr (start, (pos+1)-start);
+ start = pos+1;
+ if (start+1 <= s.size ())
+ stream << ind;
+ }
+ if (start+1 <= s.size ())
+ stream << s.substr (start);
+ }
+
+ void set_option_var_name(const string &_option_var_name)
+ {
+ option_var_name = _option_var_name;
+ }
+
+ void generate_update_given(ostream &stream, unsigned int indent = 0);
+
+};
+
+#endif // UPDATE_GIVEN_GEN_CLASS_H