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

worker = new SwingWorker<String, List<Object[]>>() {
  private int max = 2013;
  @Override public String doInBackground() {
    int current = 1;
    int c = max / itemsPerPage;
    int i = 0;
    while (i < c && !isCancelled()) {
      current = makeRowListAndPublish(current, itemsPerPage);
      i++;
    }
    int m = max % itemsPerPage;
    if (m > 0) {
      makeRowListAndPublish(current, m);
    }
    return "Done";
  }
  private int makeRowListAndPublish(int current, int size) {
    try {
      Thread.sleep(500); //dummy
    } catch (Exception ex) {
      ex.printStackTrace();
    }
    List<Object[]> result = new ArrayList<Object[]>(size);
    int j = current;
    while (j < current + size) {
      result.add(new Object[] {j, "Test: " + j, (j % 2 == 0) ? "" : "comment..."});
      j++;
    }
    publish(result);
    return j;
  }
  @Override protected void process(List<List<Object[]>> chunks) {
    for (List<Object[]> list : chunks) {
      for (Object[] o : list) {
        model.addRow(o);
      }
    }
    int rowCount = model.getRowCount();
    maxPageIndex = (rowCount / itemsPerPage) + (rowCount % itemsPerPage == 0 ? 0 : 1);
    initFilterAndButton();
  }
  @Override public void done() {
    String text = null;
    if (isCancelled()) {
      text = "Cancelled";
    } else {
      try {
        text = get();
      } catch (Exception ex) {
        ex.printStackTrace();
        text = "Exception";
      }
    }
    table.setEnabled(true);
  }
};
worker.execute();
//...
private static final int itemsPerPage = 100;
private int maxPageIndex;
private int currentPageIndex = 1;
private void initFilterAndButton() {
  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;
    }
  });
  first.setEnabled(currentPageIndex > 1);
  prev.setEnabled(currentPageIndex > 1);
  next.setEnabled(currentPageIndex < maxPageIndex);
  last.setEnabled(currentPageIndex < maxPageIndex);
  field.setText(Integer.toString(currentPageIndex));
  label.setText(String.format("/ %d", maxPageIndex));
}