Swing/RegexDateFilter のバックアップ(No.1)

title: JTableのセルに設定した日付をRegexFilterでフィルタリングする tags: [JTable, RowFilter, Date] author: aterai pubdate: 2016-04-11T00:24:26+09:00 description: JTableのセルに設定した日付をRegexFilterなどでフィルタリングするテストを行います。

概要

JTableのセルに設定した日付をRegexFilterなどでフィルタリングするテストを行います。

Screenshot

Download

サンプルコード

ActionListener al = e -> {
  Object o = e.getSource();
  String txt = field.getText();
  if (r1.equals(o)) {
    sorter.setRowFilter(RowFilter.regexFilter(txt));
  } else if (r2.equals(o)) {
    sorter.setRowFilter(new RegexDateFilter(Pattern.compile(txt)));
  } else {
    sorter.setRowFilter(null);
  }
};

class RegexDateFilter extends RowFilter<TableModel, Integer> {
  private final Matcher matcher;
  protected RegexDateFilter(Pattern pattern) {
    super();
    this.matcher = pattern.matcher("");
  }
  @Override public boolean include(
      Entry<? extends TableModel, ? extends Integer> entry) {
    TableModel m = entry.getModel();
    for (int i = 0; i < m.getColumnCount(); i++) {
      Object v = entry.getValue(i);
      if (v instanceof Date) {
        matcher.reset(DateFormat.getDateInstance().format(v));
      } else {
        matcher.reset(entry.getStringValue(i));
      }
      if (matcher.find()) {
        return true;
      }
    }
    return false;
  }
}

View in GitHub: Java, Kotlin

解説

null
- フィルタをクリア
RowFilter.regexFilter
- RowFilter.regexFilter(txt)を設定
- 以下のように、RowFilter.regexFilterではDate#toString()メソッドが使用され、セルに表示されている文字列ではフィルタリングされない
```
//@see javax/swing/RowFilter.java
public static abstract class Entry<M, I> {
  //...
  public String getStringValue(int index) {
    Object value = getValue(index);
    return (value == null) ? "" : value.toString();
  }
  //...
```
- 例: 12ではすべての行が非表示だが、Decでは二行表示される
new RowFilter()
- RowFilter<TableModel, Integer>を継承するフィルタを作成して設定
- このフィルタでは、以下のように、DateRendererが表示に使用しているデフォルトのDateFormatを使用してDateを文字列に変換し、フィルタリングを行う
```
//@see javax/swing/JTable.java
static class DateRenderer extends DefaultTableCellRenderer.UIResource {
  public void setValue(Object value) {
    //...
    DateFormat formatter = DateFormat.getDateInstance();
    setText((value == null) ? "" : formatter.format(value));
  }
}
```

Swing/RegexDateFilter のバックアップ(No.1)

概要

Screenshot

Download

Advertisement

サンプルコード

解説

コメント