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

• バックアップ一覧
• 差分 を表示
• 現在との差分 を表示
• 現在との差分 - Visual を表示
• ソース を表示
• Swing/UndoRedoCheckBoxes へ行く。
  • 1 (2016-05-25 (水) 12:53:32)
  • 2 (2016-05-30 (月) 16:31:17)
  • 3 (2016-10-25 (火) 18:16:35)
  • 4 (2017-11-15 (水) 15:46:58)
  • 5 (2018-03-26 (月) 16:29:50)
  • 6 (2019-04-19 (金) 13:43:27)
  • 7 (2019-05-22 (水) 19:35:38)
  • 8 (2020-03-24 (火) 20:13:25)
  • 9 (2021-09-29 (水) 11:35:08)

• title: JCheckBoxの選択状態をBigIntegerで記憶し、UndoManagerを使用して元に戻したりやり直したりする tags: [JCheckBox, UndoManager, UndoableEditSupport] author: aterai pubdate: 2016-04-18T00:42:25+09:00 description: 複数のJCheckBoxの選択状態をBigIntegerで記憶し、UndoManagerを使用してアンドゥ・リドゥを行います。

概要

複数のJCheckBoxの選択状態をBigIntegerで記憶し、UndoManagerを使用してアンドゥ・リドゥを行います。

Screenshot

Download

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

サンプルコード

private BigInteger status = new BigInteger("111000111", 2);
private static final int BIT_LENGTH = 50;
//...
for (int i = 0; i < BIT_LENGTH; i++) {
  BigInteger l = BigInteger.ONE.shiftLeft(i);
  JCheckBox c = new JCheckBox(Integer.toString(i + 1));
  c.addActionListener(e -> {
    JCheckBox cb = (JCheckBox) e.getSource();
    BigInteger newValue = cb.isSelected() ? status.or(l) : status.xor(l);
    undoSupport.postEdit(new StatusEdit(status, newValue));
    status = newValue;
    label.setText(print(status));
  });
  c.setSelected(!status.and(l).equals(BigInteger.ZERO));
  p.add(c);
}

解説

• JCheckBoxの選択状態をBigIntegerのビットフラグで管理、記憶
• UndoableEditSupport#addUndoableEditListener(...)でリスナにUndoManagerを追加
• JCeckBoxがクリックされるなどで値が変化した場合、変更前と変更後のBigIntegerを持つUndoableEditを作成して、UndoableEditSupport#postEdit(...)で登録
• UndoManager#undo()でアンドゥ、UndoManager#redo()でリドゥを実行し、BigIntegerのステータスを更新
  • 更新されたBigIntegerから各JCheckBoxの選択状態を復元

参考リンク

• Java Swing「UndoManager」メモ(Hishidama's Swing-UndoManager Memo)

コメント