28     const std::string& id = device.getID();  in addDevice()  local
29     if (deviceMap.count(id) != 0)  in addDevice()
32             "Unable to add device: Duplicate ID \"" + id + '"'};  in addDevice()
34     deviceMap[id] = &device;  in addDevice()
39     const std::string& id = rail.getID();  in addRail()  local
40     if (railMap.count(id) != 0)  in addRail()
43             "Unable to add rail: Duplicate ID \"" + id + '"'};  in addRail()
45     railMap[id] = &rail;  in addRail()
50     const std::string& id = rule.getID();  in addRule()  local
51     if (ruleMap.count(id) != 0)  in addRule()
54             "Unable to add rule: Duplicate ID \"" + id + '"'};  in addRule()
56     ruleMap[id] = &rule;  in addRule()