X-Git-Url: https://sigrok.org/gitweb/?p=pulseview.git;a=blobdiff_plain;f=pv%2Fdevicemanager.cpp;h=0c6c354fe6f12e14c06a7cfa955464b8049f4088;hp=df0b055caa7dc849a5fa12b1278edeba8e6cb270;hb=6e2c3c855dff36f6e946e2a54d576bea699f4a61;hpb=602bff3a242a92f74a04ed972082ec740f5cd093 diff --git a/pv/devicemanager.cpp b/pv/devicemanager.cpp index df0b055c..0c6c354f 100644 --- a/pv/devicemanager.cpp +++ b/pv/devicemanager.cpp @@ -29,12 +29,14 @@ #include +#include #include +using boost::algorithm::join; + using std::dynamic_pointer_cast; using std::list; using std::map; -using std::ostringstream; using std::remove_if; using std::runtime_error; using std::shared_ptr; @@ -196,8 +198,6 @@ void DeviceManager::build_display_name(shared_ptr device) return; } - ostringstream s; - // First, build the device's full name. It always contains all // possible information. vector parts = {device->vendor(), device->model(), @@ -206,33 +206,20 @@ void DeviceManager::build_display_name(shared_ptr device) if (device->connection_id().length() > 0) parts.push_back("("+device->connection_id()+")"); - for (size_t i = 0; i < parts.size(); i++) - { - if (parts[i].length() > 0) - { - if (i != 0) - s << " "; - s << parts[i]; - } - } - - full_names_[device] = s.str(); + full_names_[device] = join(parts, " "); // Next, build the display name. It only contains fields as required. - bool multiple_dev = false; // If we can find another device with the same model/vendor then // we have at least two such devices and need to distinguish them. - if (hardware_device) - multiple_dev = any_of(devices_.begin(), devices_.end(), - [&](shared_ptr dev) { + const bool multiple_dev = hardware_device && any_of( + devices_.begin(), devices_.end(), + [&](shared_ptr dev) { return (dev->vendor() == hardware_device->vendor() && - dev->model() == hardware_device->model()) && - dev != hardware_device; - } ); + dev->model() == hardware_device->model()) && + dev != hardware_device; + } ); - s.str(""); - parts.clear(); parts = {device->vendor(), device->model()}; if (multiple_dev) { @@ -244,17 +231,7 @@ void DeviceManager::build_display_name(shared_ptr device) parts.push_back("("+device->connection_id()+")"); } - for (size_t i = 0; i < parts.size(); i++) - { - if (parts[i].length() > 0) - { - if (i != 0) - s << " "; - s << parts[i]; - } - } - - display_names_[device] = s.str(); + display_names_[device] = join(parts, " "); } const std::string DeviceManager::get_display_name(std::shared_ptr dev)