/** Returns the maximum displayed progress value. */
public double max() {
if (parent != null) {
final double pmin = parent.min();
final double pmax = parent.max();
return pmin + max * (pmax - pmin);
} else return max;
}
/** Indicates whether repainting of the progress bar is enforced. */
public boolean enforce() {
if (parent != null) return parent.enforce();
else return enforce;
}
/** Indicates whether progress is displayed. */
public boolean display() {
if (parent != null) return parent.display();
else return display;
}
