1: //========================================================================================
     2: //  NumberSpinner.java
     3: //    en:NumberSpinner -- It is a number spinner that invokes the change listener immediately when you change a number without hitting the Enter key.
     4: //    ja:ナンバースピナー -- Enterキーを押さなくても数字を書き換えるとすぐにチェンジリスナーが呼び出されるナンバースピナーです。
     5: //  Copyright (C) 2003-2023 Makoto Kamada
     6: //
     7: //  This file is part of the XEiJ (X68000 Emulator in Java).
     8: //  You can use, modify and redistribute the XEiJ if the conditions are met.
     9: //  Read the XEiJ License for more details.
    10: //  https://stdkmd.net/xeij/
    11: //========================================================================================
    12: 
    13: package xeij;
    14: 
    15: import java.lang.*;  //Boolean,Character,Class,Comparable,Double,Exception,Float,IllegalArgumentException,Integer,Long,Math,Number,Object,Runnable,SecurityException,String,StringBuilder,System
    16: import java.text.*;  //DecimalFormat,NumberFormat,ParseException
    17: import javax.swing.*;  //AbstractSpinnerModel,Box,ButtonGroup,DefaultListModel,ImageIcon,JApplet,JButton,JCheckBox,JCheckBoxMenuItem,JDialog,JFileChooser,JFrame,JLabel,JList,JMenu,JMenuBar,JMenuItem,JPanel,JRadioButton,JScrollPane,JSpinner,JTextArea,JTextField,JTextPane,JViewport,ScrollPaneConstants,SpinnerListModel,SpinnerNumberModel,SwingConstants,SwingUtilities,UIManager,UIDefaults,UnsupportedLookAndFeelException
    18: import javax.swing.event.*;  //CaretListener,ChangeEvent,ChangeListener,DocumentEvent,DocumentListener,ListSelectionListener
    19: import javax.swing.text.*;  //AbstractDocument,BadLocationException,DefaultCaret,Document,DocumentFilter,JTextComponent,ParagraphView,Style,StyleConstants,StyleContext,StyledDocument
    20: 
    21: public class NumberSpinner extends JSpinner implements ChangeListener, DocumentListener {
    22: 
    23:   protected SpinnerNumberModel model;
    24:   protected DecimalFormat format;
    25:   protected JTextField textField;
    26: 
    27:   //  ドキュメントリスナーの中でドキュメントを更新しようとするとAbstractDocumentのwriteLock()でIllegalStateExceptionが出てしまう
    28:   //  AbstractDocumentのnumWritersを直接読み出す方法が見当たらないのでドキュメントリスナーの中かどうかを自前のフラグで判断する
    29:   //  ドキュメントリスナーの中ではドキュメントを更新できないのだからドキュメントリスナーが二重に呼び出されることはないはず
    30:   //  従ってフラグは二値で足りる
    31:   private boolean writeLocked;  //true=ドキュメントリスナーの中なのでドキュメントを更新できない
    32: 
    33:   //コンストラクタ
    34:   @SuppressWarnings ("this-escape") public NumberSpinner (SpinnerNumberModel model) {
    35:     super (model);
    36:     this.model = model;
    37:     JSpinner.NumberEditor editor = (JSpinner.NumberEditor) getEditor ();  //[this-escape]
    38:     format = editor.getFormat ();
    39:     //format.setGroupingUsed (false);  //コンマを書かない
    40:     textField = editor.getTextField ();
    41:     writeLocked = false;
    42:     removeChangeListener (editor);  //デフォルトのチェンジリスナーはドキュメントリスナーの中から呼び出すとIllegalStateExceptionが出てしまうので取り除く
    43:     addChangeListener (this);  //モデルのチェンジリスナーを設定する
    44:     ((AbstractDocument) textField.getDocument ()).addDocumentListener (this);  //エディタのドキュメントリスナーを設定する
    45:   }
    46: 
    47:   //モデルのチェンジリスナー
    48:   @Override public void stateChanged (ChangeEvent ce) {
    49:     if (!writeLocked) {
    50:       Number modelNumber = model.getNumber ();
    51:       textField.setText (modelNumber instanceof Double || modelNumber instanceof Float ?
    52:                          format.format (modelNumber.doubleValue ()) :
    53:                          format.format (modelNumber.longValue ()));
    54:     }
    55:   }
    56: 
    57:   //エディタのドキュメントリスナー
    58:   @Override public void changedUpdate (DocumentEvent de) {
    59:   }
    60:   @Override public void insertUpdate (DocumentEvent de) {
    61:     textChanged ();
    62:   }
    63:   @Override public void removeUpdate (DocumentEvent de) {
    64:     textChanged ();
    65:   }
    66:   protected void textChanged () {
    67:     writeLocked = true;  //モデルのチェンジリスナーにテキストを更新させない
    68:     Number modelNumber = model.getNumber ();  //モデルの値
    69:     try {
    70:       Number editorNumber = format.parse (textField.getText ());  //エディタの値
    71:       //SpinnerNumberModelのsetValue()は範囲外の値でも受け付けてしまうので範囲内であることを確認してから設定する
    72:       if (modelNumber instanceof Double || modelNumber instanceof Float) {
    73:         double modelValue = modelNumber.doubleValue ();  //モデルの値
    74:         double editorValue = editorNumber.doubleValue ();  //エディタの値
    75:         if (modelValue != editorValue &&  //モデルの値とエディタの値が異なり、
    76:             ((Number) model.getMinimum ()).doubleValue () <= editorValue &&
    77:             editorValue <= ((Number) model.getMaximum ()).doubleValue ()) {  //エディタの値がモデルの範囲内のとき
    78:           model.setValue (editorNumber);  //エディタの値をモデルに設定してチェンジリスナーを呼ばせる
    79:         }
    80:       } else {
    81:         long modelValue = modelNumber.longValue ();  //モデルの値
    82:         long editorValue = editorNumber.longValue ();  //エディタの値
    83:         if (modelValue != editorValue &&  //モデルの値とエディタの値が異なり、
    84:             ((Number) model.getMinimum ()).longValue () <= editorValue &&
    85:             editorValue <= ((Number) model.getMaximum ()).longValue ()) {  //エディタの値がモデルの範囲内のとき
    86:           model.setValue (editorNumber);  //エディタの値をモデルに設定してチェンジリスナーを呼ばせる
    87:         }
    88:       }
    89:     } catch (ParseException pe) {
    90:     }
    91:     writeLocked = false;
    92:   }
    93: 
    94: }  //class NumberSpinner
    95: 
    96: 
    97: