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

  • category: swing folder: BitSetCheckBoxes title: JCheckBoxの選択状態をBitSetで管理する tags: [JCheckBox, BitSet, UndoManager, UndoableEditSupport] author: aterai pubdate: 2018-03-26T16:22:10+09:00 description: 複数のJCheckBoxの選択状態をBitSetを使用して管理します。 image: https://drive.google.com/uc?id=1u_RLXjvLSINB0mb0ar_COqlBq5jbVhPByg

概要

複数のJCheckBoxの選択状態をBitSetを使用して管理します。

Screenshot

screenshot

Download

サンプルコード

// Long.MAX_VALUE
// 0b111_1111_1111_1111_1111_1111_1111_1111_1111_1111_1111_1111_1111_1111_1111_1111
// protected static final int BIT_LENGTH = 63;
protected static final int BIT_LENGTH = 72;
BitSet status = BitSet.valueOf(new long[] {Long.valueOf("111000111", 2)});
// ...
IntStream.range(0, BIT_LENGTH).forEach(i -> {
  JCheckBox c = new JCheckBox(Integer.toString(i), status.get(i));
  c.addActionListener(e -> {
    JCheckBox cb = (JCheckBox) e.getSource();
    BitSet newValue = status.get(0, BIT_LENGTH);
    newValue.set(i, cb.isSelected());
    undoSupport.postEdit(new StatusEdit(status, newValue));
    status = newValue;
    label.setText(print(status));
  });
panel.add(c);
});
View in GitHub: Java, Kotlin

解説

  • JCheckBoxの選択状態をBitSetで管理
  • UndoManagerを使用したアンドゥ・リドゥは、JCheckBoxの選択状態をBigIntegerで記憶し、UndoManagerを使用して元に戻したりやり直したりすると同じ
  • JCheckBoxがクリックされて値が変化した場合、BitSet内のビットを2進数の形で表示
    • BitSet#toLongArray()を使用しているので、Long.MAX_VALUEより2進数での桁数が大きくなる場合は注意が必要
    • BitSet#toLongArray()が返すlong配列は、0から63ビットがインデックス0、64から127ビットがインデックス1と続く
    • BitSet内のビットが空の場合、bitSet.toLongArray().lengthは0となり、bitSet.toLongArray()[0]はArrayIndexOutOfBoundsExceptionになる
    • 0から63ビットのすべてにフラグがある場合(0b1111_1111_1111_1111_1111_1111_1111_1111_1111_1111_1111_1111_1111_1111_1111_1111)、Long.toString(..., 2)は-1になるので、Long.toUnsignedString(..., 2)を使用する必要がある 
      private static String print(BitSet l) {
  long[] la = l.toLongArray();
  StringBuilder buf = new StringBuilder();
  for (int i = la.length - 1; i >=  0; i--) {
    buf.append(Long.toUnsignedString(la[i], 2));
  }
  String b = buf.toString();
  int count = l.cardinality();
  return "<html>0b" + ZEROPAD.substring(b.length()) + b + "<br/> count: " + count;
}

参考リンク

コメント