Swing/RegexDateFilter のバックアップ差分(No.1)
- バックアップ一覧
- 現在との差分 を表示
- 現在との差分 - Visual を表示
- ソース を表示
- バックアップ を表示
- Swing/RegexDateFilter へ行く。
- 追加された行はこの色です。
- 削除された行はこの色です。
--- title: JTableのセルに設定した日付をRegexFilterでフィルタリングする tags: [JTable, RowFilter, Date] author: aterai pubdate: 2016-04-11T00:24:26+09:00 description: JTableのセルに設定した日付をRegexFilterなどでフィルタリングするテストを行います。 --- * 概要 [#wa9c9bf5] `JTable`のセルに設定した日付を`RegexFilter`などでフィルタリングするテストを行います。 #download(https://lh3.googleusercontent.com/-yjS3rTYWgk0/VwprmN868uI/AAAAAAAAOSs/-HBZ7l1VimsTNtZo7FDk0wwasI3G4wirACCo/s800-Ic42/RegexDateFilter.png) * サンプルコード [#v05e1338] #code(link){{ 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; } } }} * 解説 [#zb7e76df] - `null` -- フィルタをクリア - `RowFilter.regexFilter` -- `RowFilter.regexFilter(txt)`を設定 -- 以下のように、`RowFilter.regexFilter`では`Date#toString()`メソッドが使用され、セルに表示されている文字列ではフィルタリングされない #code{{ //@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`を文字列に変換し、フィルタリングを行う #code{{ //@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)); } } }} //* 参考リンク * コメント [#ra845442] #comment #comment