How to Use Spinners - Java Tutorial 5.0 英文版

The Java^TM Tutorial

Start of Tutorial > Start of Trail > Start of Lesson

Search
Feedback Form

Trail: Creating a GUI with JFC/Swing
Lesson: Using Swing Components

How to Use Spinners

Release 1.4 introduced a new component called JSpinner. Spinners are similar to combo boxes and lists in that they let the user choose one from a range of values. Like editable combo boxes, spinners generally allow the user to type in a value. Unlike combo boxes, spinners don't have a drop-down list that can cover up other components. Because spinners don't display possible values — only the current value is visible — spinners are often used instead of combo boxes or lists when the set of possible values is extremely large. However, spinners should only be used when the possible values and their sequence are obvious.
A spinner is a compound component with three subcomponents: two small buttons and an editor. The editor can be any JComponent, but by default is implemented as a panel that contains a formatted text field. The spinner's possible and current values are managed by its model.
Here's a picture of an application named SpinnerDemo that has three spinners used to specify dates:
The code for the main class is in SpinnerDemo.java. The Month spinner displays the name of the first month in the user's locale. The possible values for this spinner are specified using an array of strings. The Year spinner displays one of a range of integers, initialized to the current year. The Another Date spinner displays one in a range of Dates (initially the current date) in a custom format that shows just the month and year. You might notice that the edges of the Another Date spinner look different from those of the spinners above it. This is because the example customizes the border of both that spinner and the formatted text field inside it.
Try this:

Run SpinnerDemo using Java^TM Web Start . Or, to compile and run the example yourself, consult the example index.
With the Month spinner, use the arrow buttons or keys to cycle forward and backward through the possible values.
Note the the lowest value is the first month of the year (for example, January) and the highest is the last (for example, December). The exact values depend on your locale. Also note that the values do not cycle — you can't use the up-arrow button or key to go from December directly to January. This is because the standard spinner models don't support cycling.
Type in a valid month name for your locale — for example, July.
Note that the spinner automatically completes the month name.
Moving on to the Year spinner, try typing a year over 100 years ago — for example, 1800 — and then click or tab to move the focus out of the spinner.
Because this program restricts the spinner's model to numbers within 100 years of the current year, 1800 is invalid. When the focus moves out of the spinner, the displayed text changes back to the last valid value.
Moving to the Another Date spinner, use the arrow buttons or keys to change the date.
Note that, by default, the first part of the date — in this case, the month number — changes. You can change which part changes by clicking or using the arrow keys to move to another part of the date.

To create a spinner, you generally create its model and then pass the model into the JSpinner constructor. For example:
String[] monthStrings = getMonthStrings(); //get month names
SpinnerListModel monthModel = new SpinnerListModel(monthStrings);
JSpinner spinner = new JSpinner(monthModel);
The rest of this section covers the following topics:

Using Standard Spinner Models and Editors
Specifying Spinner Formatting
Creating Custom Spinner Models and Editors
Detecting Spinner Value Changes
The Spinner API
Examples that Use Spinners

Using Standard Spinner Models and Editors

The Swing API provides three spinner models:
SpinnerListModel

A spinner model whose values are defined by an array of objects or a List. SpinnerDemo's Month spinner uses this model, initialized with an array derived from the value returned by the getMonths method of java.text.DateFormatSymbols. See SpinnerDemo.java for details.

SpinnerNumberModel
Supports sequences of numbers, which can be expressed as doubles, ints, or Numbers. You can specify the minimum and maximum allowable values, as well as the step size — the amount of each increment or decrement. The Year spinner uses this model, created with the following code:
SpinnerModel model =
        new SpinnerNumberModel(currentYear, //initial value
                               currentYear - 100, //min
                               currentYear + 100, //max
                               1);                //step
SpinnerDateModel
Supports sequences of Date objects. You can specify the minimum and maximum dates, as well as the field (such as Calendar.YEAR) to increment or decrement. Note, however, that some look and feels ignore the specified field, and instead change the field that appears selected. The Another Date spinner uses this model, created with the following code:
Date initDate = calendar.getTime();
calendar.add(Calendar.YEAR, -100);
Date earliestDate = calendar.getTime();
calendar.add(Calendar.YEAR, 200);
Date latestDate = calendar.getTime();
model = new SpinnerDateModel(initDate,
                             earliestDate,
                             latestDate,
                             Calendar.YEAR);
When you set the spinner's model, the spinner's editor is automatically set. The Swing API provides an editor class corresponding to each of the three model classes listed above. These classes — JSpinner.ListEditor , JSpinner.NumberEditor , and JSpinner.DateEditor — are all subclasses of JSpinner.DefaultEditor that feature editable formatted text fields. If you use a model that doesn't have an editor associated with it, the editor is by default a JSpinner.DefaultEditor instance with an uneditable formatted text field.

Specifying Spinner Formatting

To change the formatting used in a standard spinner editor, you can create and set the editor yourself. Another approach, which requires a little more code but gives you more options when using a default editor, is to get the editor's formatted text field and invoke methods on it.
The JSpinner.NumberEditor and JSpinner.DateEditor classes have constructors that allow you to create an editor that formats its data a particular way. For example, the following code sets up the Another Date spinner so that instead of using the default date format, which is long and includes the time, it shows just the month and year in a compact way.
spinner.setEditor(new JSpinner.DateEditor(spinner, "MM/yyyy"));
Note: You can play with date formats by running ComboBoxDemo2 using Java Web Start . More information about ComboBoxDemo2 is in the example index. For information about format strings, see the Formatting lesson of the Internationalization trail. Tables of number format characters are in the section Number Format Pattern Syntax .

If you wish to invoke methods directly on the formatted text field — to set its horizontal alignment, for example — you can get it using the getTextField method defined in JSpinner.DefaultEditor. Note that the Swing-provided editors aren't themselves formatted text fields. Instead, they're JPanels that contain a formatted text field. Here is an example of getting and invoking methods on the editor's formatted text field:
//Tweak the spinner's formatted text field.
ftf = getTextField(spinner);
if (ftf != null ) {
    ftf.setColumns(8); //specify more width than we need
    ftf.setHorizontalAlignment(JTextField.RIGHT);
}
...

public JFormattedTextField getTextField(JSpinner spinner) {
    JComponent editor = spinner.getEditor();
    if (editor instanceof JSpinner.DefaultEditor) {
        return ((JSpinner.DefaultEditor)editor).getTextField();
    } else {
        System.err.println("Unexpected editor type: "
                           + spinner.getEditor().getClass()
                           + " isn't a descendant of DefaultEditor");
        return null;
    }
}

Creating Custom Spinner Models and Editors

If the existing spinner models or editors don't meet your needs, you can create your own.
The easiest route to creating a custom spinner model is to create a subclass of an existing AbstractSpinnerModel subclass that already does most of what you need. An alternative is to implement your own class by extending AbstractSpinnerModel, which implements the event notifications required for all spinner models.
The following subclass of SpinnerListModel implements a spinner model that cycles through an array of objects. It also lets you specify a second spinner's model to be updated whenever the cycle begins again. For example, if the array of objects is a list of months, the linked model could be for a spinner that displays the year. When the month flips over from December to January the year is incremented. Similarly, when the month flips back from January to December the year is decremented.
public class CyclingSpinnerListModel extends SpinnerListModel {
    Object firstValue, lastValue;
    SpinnerModel linkedModel = null;

    public CyclingSpinnerListModel(Object[] values) {
        super(values);
        firstValue = values[0];
        lastValue = values[values.length - 1];
    }

    public void setLinkedModel(SpinnerModel linkedModel) {
        this.linkedModel = linkedModel;
    }

    public Object getNextValue() {
        Object value = super.getNextValue();
        if (value == null) {
            value = firstValue;
            if (linkedModel != null) {
                linkedModel.setValue(linkedModel.getNextValue());
            }
        }
        return value;
    }

    public Object getPreviousValue() {
        Object value = super.getPreviousValue();
        if (value == null) {
            value = lastValue;
            if (linkedModel != null) {
                linkedModel.setValue(linkedModel.getPreviousValue());
            }
        }
        return value;
    }
}
The CyclingSpinnerListModel model is used for the Month spinner in SpinnerDemo2, an example that is almost identical to SpinnerDemo. You can run SpinnerDemo2 using Java Web Start . To see its full source code, consult the example index.
As we mentioned before, if you implement a spinner model that does not descend from SpinnerListModel, SpinnerNumberModel, or SpinnerDateModel, then the spinner's default editor is an uneditable instance of JSpinner.DefaultEditor. As you've already seen, you can set the editor of a spinner by invoking the setEditor method on the spinner after the spinner's model property has been set. An alternative to using setEditor is to create a subclass of JSpinner and override its createEditor method so that it returns a particular kind of editor whenever the spinner model is of a certain type.
In theory at least, you can use any JComponent as an editor. Possibilities include using a subclass of a standard component such as JLabel, or a component you've implemented from scratch, or a subclass of JSpinner.DefaultEditor. The only requirements are that the editor must be updated to reflect changes in the spinner's value, and it must have a reasonable preferred size. The editor should generally also set its tool tip text to whatever tool tip text has been specified for the spinner. An example of implementing an editor is in the next section.

Detecting Spinner Value Changes

You can detect that a spinner's value has changed by registering a change listener on either the spinner or its model. Here's an example of implementing such a change listener. It's from SpinnerDemo3, which is based on SpinnerDemo and uses a change listener to change the color of some text to match the value of the Another Date spinner. You can try it out by running SpinnerDemo3 using Java Web Start

. For the full source code, see the example index.

public class SpinnerDemo3 extends JPanel
                          implements ChangeListener {
    protected Calendar calendar;
    protected JSpinner dateSpinner;
    ...
    public SpinnerDemo3() {
        ...
        SpinnerDateModel dateModel = ...;
        ...
        setSeasonalColor(dateModel.getDate()); //initialize color

        //Listen for changes on the date spinner.
        dateSpinner.addChangeListener(this);
        ...
    }

    public void stateChanged(ChangeEvent e) {
        SpinnerModel dateModel = dateSpinner.getModel();
        if (dateModel instanceof SpinnerDateModel) {
            setSeasonalColor(((SpinnerDateModel)dateModel).getDate());
        }
    }

    protected void setSeasonalColor(Date date) {
        calendar.setTime(date);
        int month = calendar.get(Calendar.MONTH);
        JFormattedTextField ftf = getTextField(dateSpinner);
        if (ftf == null) return;

        //Set the color to match northern hemisphere seasonal conventions.
        switch (month) {
            case 2:  //March
            case 3:  //April
            case 4:  //May
                     ftf.setForeground(SPRING_COLOR);
                     break;
            ...
            default: //December, January, February
                     ftf.setForeground(WINTER_COLOR);
        }
    }
    ...
}

The following example implements an editor, which has a change listener so that it can reflect the spinner's current value. This particular editor displays a solid color of gray, ranging anywhere from white to black. You can try it out by running SpinnerDemo4 using Java Web Start

. For the full source code, see the example index.

...//Where the components are created:
JSpinner spinner = new JSpinner(new GrayModel(170));
spinner.setEditor(new GrayEditor(spinner));

class GrayModel extends SpinnerNumberModel {
    ...
}

class GrayEditor extends JLabel
                 implements ChangeListener {
    public GrayEditor(JSpinner spinner) {
        setOpaque(true);
        ...
        //Get info from the model.
        GrayModel myModel = (GrayModel)(spinner.getModel());
        setBackground(myModel.getColor());
        spinner.addChangeListener(this);
        ...
        updateToolTipText(spinner);
    }

    protected void updateToolTipText(JSpinner spinner) {
        String toolTipText = spinner.getToolTipText();
        if (toolTipText != null) {
            //JSpinner has tool tip text.  Use it.
            if (!toolTipText.equals(getToolTipText())) {
                setToolTipText(toolTipText);
            }
        } else {
            //Define our own tool tip text.
            GrayModel myModel = (GrayModel)(spinner.getModel());
            int rgb = myModel.getIntValue();
            setToolTipText("(" + rgb + "," + rgb + "," + rgb + ")");
        }
    }

    public void stateChanged(ChangeEvent e) {
            JSpinner mySpinner = (JSpinner)(e.getSource());
            GrayModel myModel = (GrayModel)(mySpinner.getModel());
            setBackground(myModel.getColor());
            updateToolTipText(mySpinner);
    }
}

The Spinner API

The following tables list some of the commonly used API for using spinners. If you need to deal directly with the editor's formatted text field, you should also see The FormattedTextField API. Other methods you might use are listed in the API tables in The JComponent Class.

Classes Related to Spinners
Useful JSpinner Constructors and Methods
Useful Editor Constructors and Methods
SpinnerListModel Methods
SpinnerDateModel Methods
SpinnerNumberModel Methods

Classes Related to Spinners
Class or Interface Purpose

JSpinner A single-line input field that allows the user to select a number or object value from an ordered sequence.

SpinnerModel The interface implemented by all spinner models.

AbstractSpinnerModel The usual superclass for spinner model implementations.

SpinnerListModel A subclass of AbstractSpinnerModel whose values are defined by an array or a List.

SpinnerDateModel A subclass of AbstractSpinnerModel that supports sequences of Dates.

SpinnerNumberModel A subclass of AbstractSpinnerModel that supports sequences of numbers.

JSpinner.DefaultEditor Implements an uneditable component that displays the spinner's value. Subclasses of this class are generally more specialized (and editable).

JSpinner.ListEditor A subclass of JSpinner.DefaultEditor whose values are defined by an array or a List.

JSpinner.DateEditor A subclass of JSpinner.DefaultEditor that supports sequences of Dates.

JSpinner.NumberEditor A subclass of JSpinner.DefaultEditor that supports sequences of numbers.

Useful JSpinner Constructors and Methods
Constructor or Method Purpose

JSpinner()
JSpinner(SpinnerModel) Create a new JSpinner. The no-argument constructor creates a spinner with an integer SpinnerNumberModel with an initial value of 0 and no minimum or maximum limits. The optional parameter on the second constructor allows you to specify your own SpinnerModel.

void setValue(java.lang.Object)
Object getValue() Set or get the currently displayed element of the sequence.

Object getNextValue()
Object getPreviousValue() Get the object in the sequence that comes after or before the object returned by getValue.

SpinnerModel getModel()
void setModel(SpinnerModel) Get or set the spinner's model.

JComponent getEditor()
void setEditor(JComponent) Get or set the spinner's editor, which is often an object of type JSpinner.DefaultEditor.

protected JComponent createEditor(SpinnerModel) Called by the JSpinner constructors to create the spinner's editor. Override this method to associate an editor with a particular type of model.

Useful Editor Constructors and Methods
Constructor or Method Purpose

JSpinner.NumberEditor(JSpinner, String) Create a JSpinner.NumberEditor instance that displays and allows editing of the number value of the specified spinner. The string argument specifies the format to use to display the number. See the API documentation for DecimalFormat for information about decimal format strings.

JSpinner.DateEditor(JSpinner, String) Create a JSpinner.DateEditor instance that displays and allows editing of the Date value of the specified spinner. The string argument specifies the format to use to display the date. See the API documentation for SimpleDateFormat for information about date format strings.

JFormattedTextField getTextField()
(defined in JSpinner.DefaultEditor) Get the formatted text field that provides the main GUI for this editor.

SpinnerListModel Methods
Method Purpose

void setList(List)
List getList() Set or get the List that defines the sequence for this model.

SpinnerDateModel Methods
Method Purpose

void setValue(Object)
Date getDate()
Object getValue() Set or get the current Date for this sequence.

void setStart(Comparable)
Comparable getStart() Set or get the first Date in this sequence. Use null to specify that the spinner has no lower limit.

void setEnd(Comparable)
Comparable getEnd() Set or get the last Date in this sequence. Use null to specify that the spinner has no upper limit.

void setCalendarField(int)
int getCalendarField() Set or get the size of the date value increment used by the getNextValue and getPreviousValue methods. This property is not used when the user explicitly increases or decreases the value; instead, the selected part of the formatted text field is incremented or decremented. The specified parameter must be one of the following constants, defined in Calendar: ERA, YEAR, MONTH, WEEK_OF_YEAR, WEEK_OF_MONTH, DAY_OF_MONTH, DAY_OF_YEAR, DAY_OF_WEEK, DAY_OF_WEEK_IN_MONTH, AM_PM, HOUR_OF_DAY, MINUTE, SECOND, MILLISECOND.

SpinnerNumberModel Methods
Method Purpose

void setValue(Object)
Number getNumber() Set or get the current value for this sequence.

void setMaximum(Comparable)
Comparable getMaximum() Set or get the upper bound for numbers in this sequence. If the maximum is null, there is no upper bound.

void setMinimum(Comparable)
Comparable getMinimum() Set or get the lower bound for numbers in this sequence. If the minimum is null, there is no lower bound.

void setStepSize(Number)
Number getStepSize() Set or get the increment used by getNextValue and getPreviousValue methods.

Classes Related to Spinners
Class or Interface	Purpose
`JSpinner`	A single-line input field that allows the user to select a number or object value from an ordered sequence.
`SpinnerModel`	The interface implemented by all spinner models.
`AbstractSpinnerModel`	The usual superclass for spinner model implementations.
`SpinnerListModel`	A subclass of `AbstractSpinnerModel` whose values are defined by an array or a `List`.
`SpinnerDateModel`	A subclass of `AbstractSpinnerModel` that supports sequences of `Date`s.
`SpinnerNumberModel`	A subclass of `AbstractSpinnerModel` that supports sequences of numbers.
`JSpinner.DefaultEditor`	Implements an uneditable component that displays the spinner's value. Subclasses of this class are generally more specialized (and editable).
`JSpinner.ListEditor`	A subclass of `JSpinner.DefaultEditor` whose values are defined by an array or a `List`.
`JSpinner.DateEditor`	A subclass of `JSpinner.DefaultEditor` that supports sequences of `Date`s.
`JSpinner.NumberEditor`	A subclass of `JSpinner.DefaultEditor` that supports sequences of numbers.

Useful JSpinner Constructors and Methods
Constructor or Method	Purpose
`JSpinner()` `JSpinner(SpinnerModel)`	Create a new `JSpinner`. The no-argument constructor creates a spinner with an integer `SpinnerNumberModel` with an initial value of 0 and no minimum or maximum limits. The optional parameter on the second constructor allows you to specify your own `SpinnerModel`.
`void setValue(java.lang.Object)` `Object getValue()`	Set or get the currently displayed element of the sequence.
`Object getNextValue()` `Object getPreviousValue()`	Get the object in the sequence that comes after or before the object returned by `getValue`.
`SpinnerModel getModel()` `void setModel(SpinnerModel)`	Get or set the spinner's model.
`JComponent getEditor()` `void setEditor(JComponent)`	Get or set the spinner's editor, which is often an object of type `JSpinner.DefaultEditor`.
`protected JComponent createEditor(SpinnerModel)`	Called by the `JSpinner` constructors to create the spinner's editor. Override this method to associate an editor with a particular type of model.

Useful Editor Constructors and Methods
Constructor or Method	Purpose
`JSpinner.NumberEditor(JSpinner, String)`	Create a `JSpinner.NumberEditor` instance that displays and allows editing of the number value of the specified spinner. The string argument specifies the format to use to display the number. See the API documentation for DecimalFormat for information about decimal format strings.
`JSpinner.DateEditor(JSpinner, String)`	Create a `JSpinner.DateEditor` instance that displays and allows editing of the `Date` value of the specified spinner. The string argument specifies the format to use to display the date. See the API documentation for SimpleDateFormat for information about date format strings.
`JFormattedTextField getTextField()` (defined in `JSpinner.DefaultEditor`)	Get the formatted text field that provides the main GUI for this editor.

SpinnerListModel Methods
Method	Purpose
`void setList(List)` `List getList()`	Set or get the `List` that defines the sequence for this model.

SpinnerDateModel Methods
Method	Purpose
`void setValue(Object)` `Date getDate()` `Object getValue()`	Set or get the current `Date` for this sequence.
`void setStart(Comparable)` `Comparable getStart()`	Set or get the first `Date` in this sequence. Use `null` to specify that the spinner has no lower limit.
`void setEnd(Comparable)` `Comparable getEnd()`	Set or get the last `Date` in this sequence. Use `null` to specify that the spinner has no upper limit.
`void setCalendarField(int)` `int getCalendarField()`	Set or get the size of the date value increment used by the `getNextValue` and `getPreviousValue` methods. This property is not used when the user explicitly increases or decreases the value; instead, the selected part of the formatted text field is incremented or decremented. The specified parameter must be one of the following constants, defined in `Calendar`: `ERA`, `YEAR`, `MONTH`, `WEEK_OF_YEAR`, `WEEK_OF_MONTH`, `DAY_OF_MONTH`, `DAY_OF_YEAR`, `DAY_OF_WEEK`, `DAY_OF_WEEK_IN_MONTH`, `AM_PM`, `HOUR_OF_DAY`, `MINUTE`, `SECOND`, `MILLISECOND`.

SpinnerNumberModel Methods
Method	Purpose
`void setValue(Object)` `Number getNumber()`	Set or get the current value for this sequence.
`void setMaximum(Comparable)` `Comparable getMaximum()`	Set or get the upper bound for numbers in this sequence. If the maximum is `null`, there is no upper bound.
`void setMinimum(Comparable)` `Comparable getMinimum()`	Set or get the lower bound for numbers in this sequence. If the minimum is `null`, there is no lower bound.
`void setStepSize(Number)` `Number getStepSize()`	Set or get the increment used by `getNextValue` and `getPreviousValue` methods.

Examples that Use Spinners

The following examples use spinners.

Example Where Described Notes

SpinnerDemo This section Uses all three standard spinner model classes. Contains the code to use a custom spinner model, but the code is turned off by default.

SpinnerDemo2 This section A SpinnerDemo subclass that uses the custom spinner model for its Months spinner.

SpinnerDemo3 This section Based on SpinnerDemo, this application shows how to listen for changes in a spinner's value.

SpinnerDemo4 This section Implements a custom model and a custom editor for a spinner that displays shades of gray.

Example	Where Described	Notes
`SpinnerDemo`	This section	Uses all three standard spinner model classes. Contains the code to use a custom spinner model, but the code is turned off by default.
`SpinnerDemo2`	This section	A `SpinnerDemo` subclass that uses the custom spinner model for its Months spinner.
`SpinnerDemo3`	This section	Based on SpinnerDemo, this application shows how to listen for changes in a spinner's value.
`SpinnerDemo4`	This section	Implements a custom model and a custom editor for a spinner that displays shades of gray.

Start of Tutorial > Start of Trail > Start of Lesson

Search
Feedback Form