+ for (Dictionary_iter<Identifier*> i (*scope); i.ok (); i++)
+ {
+ if (dynamic_cast<String_identifier*> (i.val ()))
+ {
+ String val = *i.val()->access_content_String (false);
+
+ output_String_def (prefix + i.key (), val);
+ }
+ else if(dynamic_cast<Real_identifier*> (i.val ()))
+ {
+ Real val = *i.val ()->access_content_Real (false);
+
+ output_Real_def (prefix + i.key (), val);
+ }
+ else if (dynamic_cast<int_identifier*> (i.val ()))
+ {
+ int val = *i.val ()->access_content_int (false);
+
+ output_int_def (prefix + i.key (), val);
+ }
+ }
+}
+
+void
+Paper_outputter::output_version ()
+{
+ String id_str = "Lily was here";
+ if (no_timestamps_global_b)
+ id_str += ".";
+ else
+ id_str += String (", ") + get_version_str ();
+ output_String_def ( "LilyIdString", id_str);