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

• バックアップ一覧
• 差分 を表示
• 現在との差分 を表示
• 現在との差分 - Visual を表示
• ソース を表示
• Swing/RegexDateFilter へ行く。
  • 1 (2016-04-12 (火) 14:35:12)
  • 2 (2016-04-13 (水) 17:40:26)
  • 3 (2016-04-15 (金) 16:19:40)
  • 4 (2017-04-04 (火) 14:13:45)
  • 5 (2017-08-01 (火) 13:46:50)
  • 6 (2017-12-01 (金) 18:52:49)
  • 7 (2019-05-22 (水) 19:35:38)
  • 8 (2019-08-15 (木) 16:06:44)
  • 9 (2021-04-16 (金) 11:58:12)

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

概要

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

Screenshot

Download

• Runnable JAR example.jar
• Source code src.zip
• Repository GitHub

サンプルコード

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) {
    for (int i = entry.getValueCount() - 1; i >= 0; 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;
  }
}

解説

• 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では2行表示される
• 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));
      }
    }
    

• JDK 1.8.0以上の場合、toString()でロケールを無視するDateではなくLocalDateTimeを使用すればLocalDateTime#toString()がISO-8601形式の文字列を返すので面倒が少ない

LocalDateTime d = LocalDateTime.of(2002, 12, 31, 0, 0);
Object[][] data = {
  {date, d},
  {start, d.minus(2, ChronoUnit.DAYS)},
  {end, d.plus(7, ChronoUnit.DAYS)}
};
DefaultTableModel model = new DefaultTableModel(data, new String[] {"Date", "LocalDateTime"}) {
  @Override public Class<?> getColumnClass(int column) {
    return column == 0 ? Date.class : column == 1 ? LocalDateTime.class : Object.class;
  }
};

参考リンク

• RowFilter#regexFilter(...) (Java Platform SE 8)
• RowFilter#dateFilter(...) (Java Platform SE 8)
  • Dateを文字列ではなく、日付として各条件を指定しフィルタリングする場合は、RowFilter#dateFilter(...)を使用する

コメント