Swing/TablePagination のバックアップの現在との差分(No.7)

RowFilterでJTableのページ分割

#screenshot

サンプルコード

#spanend
#spanadd
* サンプルコード [#sourcecode]
#spanend
#spanadd
#code(link){{
#spanend
private static int LR_PAGE_SIZE = 5;

#spandel
private final TestModel model = new TestModel();
#spanend
#spandel
private final TableRowSorter<TestModel> sorter = new TableRowSorter<TestModel>(model);
#spanend
#spandel
private final Box box = Box.createHorizontalBox();
#spanend
#spanadd
private final String[] columnNames = {"Year", "String", "Comment"};
#spanend
#spanadd
private final DefaultTableModel model = new DefaultTableModel(null, columnNames) {
#spanend
  @Override public Class<?> getColumnClass(int column) {
    return (column == 0) ? Integer.class : Object.class;
  }
#spanadd
};
#spanend
#spanadd
private TableRowSorter<TableModel> sorter = new TableRowSorter<TableModel>(model);
#spanend
#spanadd
private Box box = Box.createHorizontalBox();
#spanend
#spanadd

#spanend
private void initLinkBox(final int itemsPerPage, final int currentPageIndex) {
  //assert currentPageIndex>0;
  sorter.setRowFilter(makeRowFilter(itemsPerPage, currentPageIndex-1));
  // assert currentPageIndex > 0;
  sorter.setRowFilter(new RowFilter<TableModel, Integer>() {
    @Override
    public boolean include(Entry<? extends TableModel, ? extends Integer> entry) {
      int ti = currentPageIndex - 1;
      int ei = entry.getIdentifier();
      return ti * itemsPerPage <= ei && ei < ti * itemsPerPage + itemsPerPage;
    }
  });

  ArrayList<JRadioButton> l = new ArrayList<JRadioButton>();
  int startPageIndex = currentPageIndex - LR_PAGE_SIZE;
  if (startPageIndex <= 0) {
    startPageIndex = 1;
  }

  int startPageIndex = currentPageIndex-LR_PAGE_SIZE;
  if(startPageIndex<=0) startPageIndex = 1;
#spanadd
// #if 0 //BUG
#spanend
  // int maxPageIndex = (model.getRowCount() / itemsPerPage) + 1;
#spanadd
// #else
#spanend
  /* "maxPageIndex" gives one blank page if the module of the division is not zero.
   *   pointed out by erServi
   * e.g. rowCount=100, maxPageIndex=100
   */
  int rowCount = model.getRowCount();
  int v = rowCount % itemsPerPage == 0 ? 0 : 1;
  int maxPageIndex = rowCount / itemsPerPage + v;
#spanadd
// #endif
#spanend
  int endPageIndex = currentPageIndex + LR_PAGE_SIZE - 1;
  if (endPageIndex > maxPageIndex) {
    endPageIndex = maxPageIndex;
  }

  int maxPageIndex = (model.getRowCount()/itemsPerPage)+1;
  int endPageIndex = currentPageIndex+LR_PAGE_SIZE-1;
  if(endPageIndex>maxPageIndex) endPageIndex = maxPageIndex;
  box.removeAll();
  if (startPageIndex >= endPageIndex) {
    // if I only have one page, Y don't want to see pagination buttons
    // suggested by erServi
    return;
  }

  if(currentPageIndex>1)
    l.add(makePNRadioButton(itemsPerPage, currentPageIndex-1, "Prev"));
  for(int i=startPageIndex;i<=endPageIndex;i++) 
    l.add(makeRadioButton(itemsPerPage, currentPageIndex, i-1));
  if(currentPageIndex<maxPageIndex)
    l.add(makePNRadioButton(itemsPerPage, currentPageIndex+1, "Next"));
#spandel

#spanend
  box.removeAll();
  ButtonGroup bg = new ButtonGroup();
  JRadioButton f = makePrevNextRadioButton(
      itemsPerPage, 1, "|<", currentPageIndex > 1);
  box.add(f);
  bg.add(f);
  JRadioButton p = makePrevNextRadioButton(
      itemsPerPage, currentPageIndex - 1, "<", currentPageIndex > 1);
  box.add(p);
  bg.add(p);
  box.add(Box.createHorizontalGlue());
  for(JRadioButton r:l) {
    box.add(r); bg.add(r);
  for (int i = startPageIndex; i <= endPageIndex; i++) {
    JRadioButton c = makeRadioButton(itemsPerPage, currentPageIndex, i);
    box.add(c);
    bg.add(c);
  }
  box.add(Box.createHorizontalGlue());
  JRadioButton n = makePrevNextRadioButton(
      itemsPerPage, currentPageIndex + 1, ">", currentPageIndex < maxPageIndex);
  box.add(n);
  bg.add(n);
  JRadioButton l = makePrevNextRadioButton(
      itemsPerPage, maxPageIndex, ">|", currentPageIndex < maxPageIndex);
  box.add(l);
  bg.add(l);
  box.revalidate();
  box.repaint();
  l.clear();
}

#spanend
#spandel
private JRadioButton makeRadioButton(
#spanend
      final int itemsPerPage, final int current, final int target) {
  JRadioButton radio = new JRadioButton(""+(target+1));
  radio.setForeground(Color.BLUE);
  radio.setUI(ui);
  if(target+1==current) {
    radio.setSelected(true);
    radio.setForeground(Color.BLACK);
  }
  radio.addActionListener(new ActionListener() {
    @Override public void actionPerformed(ActionEvent e) {
      initLinkBox(itemsPerPage, target+1);
    }
  });
  return radio;
#spandel
}
#spanend
#spandel
private JRadioButton makePNRadioButton(
#spanend
      final int itemsPerPage, final int target, String title) {
  JRadioButton radio = new JRadioButton(title);
  radio.setForeground(Color.BLUE);
  radio.setUI(ui);
  radio.addActionListener(new ActionListener() {
    @Override public void actionPerformed(ActionEvent e) {
      initLinkBox(itemsPerPage, target);
    }
  });
  return radio;
#spandel
}
#spanend
#spandel
private RowFilter<TestModel,Integer> makeRowFilter(
#spanend
      final int itemsPerPage, final int target) {
  return new RowFilter<TestModel,Integer>() {
    @Override
    public boolean include(Entry<? extends TestModel, ? extends Integer> entry) {
      int ei = entry.getIdentifier();
      return (target*itemsPerPage<=ei && ei<target*itemsPerPage+itemsPerPage);
    }
  };
#spandel
}
#spanend
#spandel

• ある位置から一定の行数だけ表示するフィルタを予め作成し、これを上部のJRadioButtonで切り替え
  • このJRadioButtonはBasicRadioButtonUIを継承して見た目だけリンク風に変更している
• モデルのインデックス順でフィルタリングしているため、ソートを行っても表示される行の範囲内で変化する

• 参考: JTableのRowFilterを一旦解除してソート
  • TablePaginationTest.java

• JTableのPaginationとSwingWorkerでの逐次読み込み

• Prev、Next ボタンなどを追加して、Google風のPaginationを行うように変更しました。 -- terai 2008-03-26 (水) 20:28:31
• ブログで指摘されていた恥ずかしいバグ(paintメソッドでコンポーネントの状態を変更し、無限ループ、CPU100%)を修正 -- terai 2008-09-07 (日) 00:08:50

コメント