_documents[device->first] = document;
// build a list of all master devices from all documents
_master_devices_by_model[device->first] = device->second;
- _all_models.push_back(device->first);
+ _all_models.insert(device->first);
// make sure there are no double model names
// TODO: handle this gracefully.
_documents[device->first] = document;
// build a list of all master devices from all documents
_master_devices_by_model[device->first] = device->second;
- _all_models.push_back(device->first);
+ _all_models.insert(device->first);
// make sure there are no double model names
// TODO: handle this gracefully.
class MasterDeviceNames
{
public:
- typedef std::list<std::string> Models;
+ typedef std::set<std::string> Models;
/// maps name to CustomDeviceMode
typedef std::map<std::string, boost::shared_ptr<CustomDeviceMode> > CustomDeviceModes;
typedef std::list<std::string> CustomDeviceModeNames;
assert(contents.size() == 1);
XMLNode * content = *(contents.begin());
assert(content->is_content());
- _models.push_back(content->content());
+ _models.insert(content->content());
}
// CustomDeviceModes
std::pair<std::string, boost::shared_ptr<MasterDeviceNames> >
(*model, master_device_names));
- _all_models.push_back(*model);
+ _all_models.insert(*model);
}
}