FinishedTriggersBitSet implements FinishedTriggers { public static FinishedTriggersBitSet emptyWithCapacity(int capacity) { return new FinishedTriggersBitSet(new BitSet(capacity)); } private  FinishedTriggersBitSet(BitSet bitSet); static FinishedTriggersBitSet emptyWithCapacity(int capacity); static FinishedTriggersBitSet fromBitSet(BitSet bitSet); BitSet getBitSet(); @Override boolean isFinished(ExecutableTriggerStateMachine trigger); @Override void setFinished(ExecutableTriggerStateMachine trigger, boolean value); @Override void clearRecursively(ExecutableTriggerStateMachine trigger); @Override FinishedTriggersBitSet copy();  }
@Test public void testSetGet() { FinishedTriggersProperties.verifyGetAfterSet(FinishedTriggersBitSet.emptyWithCapacity(1)); }