Swing/NumericTextField のバックアップ(No.4)

TITLE:JTextFieldの入力を数値に制限する

Posted by terai at 2008-06-09

JTextFieldの入力を数値に制限する

JTextFieldへの入力を数値のみに制限します。ソースコードは、Validating Text and Filtering Documents and Accessibility and the Java Access Bridge Tech Tipsからの引用です。

  • &jnlp;
  • &jar;
  • &zip;

#screenshot

サンプルコード

JTextField textField1 = new JTextField("1000");
textField1.setHorizontalAlignment(JTextField.RIGHT);
textField1.setInputVerifier(new IntegerInputVerifier());

JTextField textField2 = new JTextField();
textField2.setDocument(new IntegerDocument());
textField2.setText("2000");

JTextField textField3 = new JTextField();
((AbstractDocument)textField3.getDocument()).setDocumentFilter(new IntegerDocumentFilter());
textField3.setText("3000");

JFormattedTextField textField4 = new JFormattedTextField();
textField4.setFormatterFactory(new NumberFormatterFactory());
textField4.setHorizontalAlignment(JTextField.RIGHT);
textField4.setValue(4000);

JSpinner spinner = new JSpinner(new SpinnerNumberModel(0, 0, Integer.MAX_VALUE, 1));
((JSpinner.NumberEditor)spinner.getEditor()).getFormat().setGroupingUsed(false);
spinner.setValue(5000);

解説

  • 1:JTextField + InputVerifier
    • Validating with Input Verifiers
    • InputVerifierを継承するIntegerInputVerifierを作成し、これをJComponent#setInputVerifierメソッドで設定しています。
    • 別コンポーネントにフォーカスが移動するときに、数値かどうか評価します。
    • 数値以外、または結果が範囲外となる場合、テキストは変化せずbeep音が鳴り、フォーカス移動がキャンセルされます。
class IntegerInputVerifier extends InputVerifier{
  @Override
  public boolean verify(JComponent c) {
    boolean verified = false;
    JTextField textField = (JTextField)c;
    try{
      Integer.parseInt(textField.getText());
      verified = true;
    }catch(NumberFormatException e) {
      UIManager.getLookAndFeel().provideErrorFeedback(c);
      //Toolkit.getDefaultToolkit().beep();
    }
    return verified;
  }
}
  • 2:JTextField + Custom Document
    • Validating with a Custom Document
    • PlainDocumentを継承するIntegerDocumentを作成し、これをJTextComponent#setDocumentメソッドで設定しています。
    • キー入力、文字列のペーストが行われたときに、数値かどうか評価します。
    • 入力が数値以外、または結果が範囲外となる場合、beep音が鳴り、テキストは変化しません。
class IntegerDocument extends PlainDocument {
  int currentValue = 0;
  public IntegerDocument() {
    super();
  }
  public int getValue() {
    return currentValue;
  }
  @Override
  public void insertString(int offset, String str, AttributeSet attributes)
        throws BadLocationException {
    if(str==null) {
      return;
    }else{
      String newValue;
      int length = getLength();
      if(length==0) {
        newValue = str;
      }else{
        String currentContent = getText(0, length);
        StringBuffer currentBuffer = new StringBuffer(currentContent);
        currentBuffer.insert(offset, str);
        newValue = currentBuffer.toString();
      }
      currentValue = checkInput(newValue, offset);
      super.insertString(offset, str, attributes);
    }
  }
  @Override
  public void remove(int offset, int length) throws BadLocationException {
    int currentLength = getLength();
    String currentContent = getText(0, currentLength);
    String before = currentContent.substring(0, offset);
    String after = currentContent.substring(length+offset, currentLength);
    String newValue = before + after;
    currentValue = checkInput(newValue, offset);
    super.remove(offset, length);
  }
  private int checkInput(String proposedValue, int offset) throws BadLocationException {
    if(proposedValue.length()>0) {
      try{
        int newValue = Integer.parseInt(proposedValue);
        return newValue;
      }catch(NumberFormatException e) {
        throw new BadLocationException(proposedValue, offset);
      }
    }else{
      return 0;
    }
  }
}
  • 3:JTextField + DocumentFilter
    • Validating with a Document Filter
    • DocumentFilterを継承するIntegerDocumentFilterを作成し、これをAbstractDocument#setDocumentFilterメソッドで設定しています。
    • 別コンポーネントにフォーカスが移動するときに、数値かどうか評価します。
    • 入力が数値以外、または結果が範囲外となる場合、beep音が鳴り、テキストは変化しません。
class IntegerDocumentFilter extends DocumentFilter {
  //int currentValue = 0;
  @Override
  public void insertString(DocumentFilter.FilterBypass fb,
      int offset, String string, AttributeSet attr) throws BadLocationException {
    if(string == null) {
      return;
    }else{
      replace(fb, offset, 0, string, attr);
    }
  }
  @Override
  public void remove(DocumentFilter.FilterBypass fb, int offset, int length)
      throws BadLocationException {
    replace(fb, offset, length, "", null);
  }
  @Override
  public void replace(DocumentFilter.FilterBypass fb, int offset, int length,
      String text, AttributeSet attrs) throws BadLocationException {
    Document doc = fb.getDocument();
    int currentLength = doc.getLength();
    String currentContent = doc.getText(0, currentLength);
    String before = currentContent.substring(0, offset);
    String after = currentContent.substring(length+offset, currentLength);
    String newValue = before + (text == null ? "" : text) + after;
    //currentValue =
    checkInput(newValue, offset);
    fb.replace(offset, length, text, attrs);
  }
  private static int checkInput(String proposedValue, int offset)
      throws BadLocationException {
    int newValue = 0;
    if(proposedValue.length() > 0) {
      try {
        newValue = Integer.parseInt(proposedValue);
      }catch(NumberFormatException e) {
        throw new BadLocationException(proposedValue, offset);
      }
    }
    return newValue;
  }
}
  • 4:JFormattedTextField + DefaultFormatterFactory
    • How to Use Formatted Text Fields
    • DefaultFormatterFactoryを継承するNumberFormatterFactoryを作成し、これをJFormattedTextField#setFormatterFactoryメソッドで設定しています。
    • 別コンポーネントにフォーカスが移動するときに、数値かどうか評価します。
    • 数値以外の場合、テキストは以前の値にUndoされます。
    • 数値が範囲外となる場合、最小値、または最大値に調整されます。
class NumberFormatterFactory extends DefaultFormatterFactory{
    private static NumberFormatter numberFormatter = new NumberFormatter();
    static{
        numberFormatter.setValueClass(Integer.class);
        ((NumberFormat)numberFormatter.getFormat()).setGroupingUsed(false);
    }
    public NumberFormatterFactory() {
        super(numberFormatter, numberFormatter, numberFormatter);
    }
}
  • 5:JSpinner + SpinnerNumberModel
    • JFormattedTextFieldの場合と同等の動作です。

参考リンク

コメント