+ that.mapTarget = function(id, name) {
+ var old = m_targetMap[id];
+ m_targetMap[id] = name;
+ if (old && name !== old) {
+ that.warn("targetMap for id '" + id + "' changed from '" + old + "' to '" + name + "'");
+ }
+ };
+
+ that.targetName = function(id) {
+ return m_targetMap[id] || id;
+ }