20 const char* description,
23 : mname(name), mdescription(description), defval(val) {
29 os <<
"Unknown WSV Group " << group <<
" WSV " <<
mname;
30 throw runtime_error(os.str());
38 const char* description,
41 : mname(name), mdescription(description), mgroup(group), defval(val) {
50 : mname(name), mdescription(description), defval() {
56 os <<
"Unknown WSV Group " << group <<
" WSV " <<
mname;
57 throw runtime_error(os.str());
65 : mname(name), mdescription(description), mgroup(group), defval() {
std::shared_ptr< void > copy_value() const
bool has_defaults() const
WsvRecord()
Default constructor.
std::shared_ptr< void > get_copy() const
Auxiliary header stuff related to workspace variable groups.
Index get_wsv_group_id(const String &name)
Returns the id of the given group.