comparison src/oct-obj.h @ 8034:f61bd8e0d682

fix default_save_options parsing and allow mixing options with other arguments.
author Jaroslav Hajek <highegg@gmail.com>
date Tue, 19 Aug 2008 13:50:15 -0400
parents a1dbe9d80eee
children 283989f2da9b
comparison
equal deleted inserted replaced
8033:2ad5ba320b93 8034:f61bd8e0d682
113 113
114 bool all_strings_p (void) const; 114 bool all_strings_p (void) const;
115 115
116 bool has_magic_colon (void) const; 116 bool has_magic_colon (void) const;
117 117
118 string_vector make_argv (const std::string&) const; 118 string_vector make_argv (const std::string& = std::string()) const;
119 119
120 void stash_name_tags (const string_vector& nm) { names = nm; } 120 void stash_name_tags (const string_vector& nm) { names = nm; }
121 121
122 string_vector name_tags (void) const { return names; } 122 string_vector name_tags (void) const { return names; }
123 123