FinishedTriggersBitSet implements FinishedTriggers { @Override public void clearRecursively(ExecutableTriggerStateMachine trigger) { bitSet.clear(trigger.getTriggerIndex(), trigger.getFirstIndexAfterSubtree()); } 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 testClearRecursively() { FinishedTriggersProperties.verifyClearRecursively(FinishedTriggersBitSet.emptyWithCapacity(1)); }