FinishedTriggersSet implements FinishedTriggers { public static FinishedTriggersSet fromSet(Set<ExecutableTriggerStateMachine> finishedTriggers) { return new FinishedTriggersSet(finishedTriggers); } private  FinishedTriggersSet(Set<ExecutableTriggerStateMachine> finishedTriggers); static FinishedTriggersSet fromSet(Set<ExecutableTriggerStateMachine> finishedTriggers); Set<ExecutableTriggerStateMachine> getFinishedTriggers(); @Override boolean isFinished(ExecutableTriggerStateMachine trigger); @Override void setFinished(ExecutableTriggerStateMachine trigger, boolean value); @Override void clearRecursively(ExecutableTriggerStateMachine trigger); @Override FinishedTriggersSet copy();  }
@Test public void testSetGet() { FinishedTriggersProperties.verifyGetAfterSet(FinishedTriggersSet.fromSet(new HashSet<>())); }