Name: ktR10099 Date: 07/16/2002


Specification for java.awt.Scrollbar does not describe thoroughly
Scrollbar behavior, while setting minimum and maximum to boundary values
(Integer.MIN_VALUE and Integer.MAX_VALUE). Current specification states,
that "maximum must be greater than minimum", and current implementation
sets minimum to Integer.MIN_VALUE - 1 if maximum is set to
Integer.MIN_VALUE. This behavior is wrong, since as a result we get
minimum that is greater than maximum. I propose to document (and
implement) the following behavior. Call of setMaximum(Integer.MIN_VALUE)
should result in setting minimum to Integer.MIN_VALUE and maximum to
Integer.MIN_VALUE + 1. Call of setMinimum(Integer.MAX_VALUE) should result
in setting minimum to Integer.MAX_VALUE - 1 and maximum to
Integer.MAX_VALUE. This behavior should be mentioned in spec for
setMinimum, setMaximum and setValues methods.
======================================================================

I have checked the 1.5 spec, the new spec has clarify the extremly value.
However, I think the spec need to clarify the following cases as well (not extremly value):

Scrollbar.setMinimum(int newMinimum):
in case when the newMinimum is greater than or equal to the maximum.
The currently spec in 1.5 only specify the behave for the extremely case where new minimum value set to Integer.MAX_VALUE and it will result in the new minimum value being set to Integer.MAX_VALUE - 1. The spec for setValues(int,int,int,int) also state that maximum must be greater than minimum. Does this imply that the newMinimum will be reset to maximum -1 in the above case ? or the maximum will be reset to minimum + 1 ? The current J2SE 1.4 and 1.5 implementation seems set the maximum = newMinimum + 1.

Same as Scrollbar.setMaximum(int newMaximum) in case when the newMaximum is less than or equals to minimum. Should the newMaximum be reset to minimum + 1 or
the new minimum should be reset to newMaximum -1 ?

And for Scrollbar(int, int, int, int, int) in case when the minimum is equal to maximum, should minimum = maximum -1 or maximum = minimum + 1 ?

and same as the Scrollbar.setValues(int,int,int,int).

I think the clarification is really needed, otherwise, it might cause different implementations.

###@###.### 2005-04-22 22:08:28 GMT