protected void setBusy(boolean busy) {
boolean changed = false;
synchronized (this) {
if (busy) {
changed = busy_count++ == 0;
} else {
changed = busy_count-- == 1;
}
}
if (changed) {
manager.deviceChanged(this, false);
}
}
protected void setInfo(Object key, String info) {
boolean changed = false;
if (info == null || info.length() == 0) {
synchronized (infos) {
changed = infos.remove(key) != null;
}
} else {
String existing;
synchronized (infos) {
existing = infos.put(key, info);
}
changed = existing == null || !existing.equals(info);
}
if (changed) {
manager.deviceChanged(this, false);
}
}
protected void setError(Object key, String error) {
boolean changed = false;
if (error == null || error.length() == 0) {
synchronized (errors) {
changed = errors.remove(key) != null;
}
} else {
String existing;
synchronized (errors) {
existing = errors.put(key, error);
}
changed = existing == null || !existing.equals(error);
}
if (changed) {
manager.deviceChanged(this, false);
}
}
protected void setTranscoding(boolean _transcoding) {
transcoding = _transcoding;
manager.deviceChanged(this, false);
}
