public void setActualDepth(int actualDepth) {
if (!safeEquals(myActualDepth, actualDepth)) {
myActualDepth = actualDepth;
myListener.actualDepthChanged();
myThresholdHelper.depthOnThresholdMayBeChanged();
}
}
public void setDepthThreshold(int depthThreshold) {
if (!safeEquals(myDepthThreshold, depthThreshold)) {
myDepthThreshold = depthThreshold;
// no such method in listener -- see also below
myThresholdHelper.depthOnThresholdMayBeChanged();
}
}
public void setIgnoreDemandedDepth(boolean ignore) {
if (myIgnoreDemandedDepth != ignore) {
myIgnoreDemandedDepth = ignore;
myListener.demandedDepthChanged();
myThresholdHelper.depthOnThresholdMayBeChanged();
}
}
public void setDemandedDepth(int demandedDepth) {
if (!safeEquals(myDemandedDepth, demandedDepth)) {
myDemandedDepth = demandedDepth;
myListener.demandedDepthChanged();
myThresholdHelper.depthOnThresholdMayBeChanged();
}
}