/**
* Update whether a named signal source is active.
*
* @param name signal's name (not null)
* @param sourceIndex index of the signal source (key or button) which is being updated
* @param newState true if the source is active; false is the source is inactive
*/
private void update(String name, int sourceIndex, boolean newState) {
Indices status = statusMap.get(name);
if (status == null) {
logger.log(Level.WARNING, "Unknown signal: {0}", MyString.quote(name));
return;
}
logger.log(
Level.INFO, "name = {0}, newState = {1}", new Object[] {MyString.quote(name), newState});
status.addRemove(sourceIndex, newState);
}
