- addAtomicHighLevelStateID("q1");
- addAtomicHighLevelStateID("q2");
- addAtomicHighLevelStateID("q3");
- addAtomicHighLevelStateID("q4");
- addAtomicHighLevelStateID("q");
- }
-
- @Override
- public void setAtomicHighLevelState(String stateID, Object newState)
- {
- switch (stateID)
- {
- case "q1":
- dlatch1.setHighLevelState("q", newState);
- break;
- case "q2":
- dlatch2.setHighLevelState("q", newState);
- break;
- case "q3":
- dlatch3.setHighLevelState("q", newState);
- break;
- case "q4":
- dlatch4.setHighLevelState("q", newState);
- break;
- case "q":
- BitVector newStateCasted = (BitVector) newState;
- setHighLevelState("q1", newStateCasted.getLSBit(0));
- setHighLevelState("q2", newStateCasted.getLSBit(1));
- setHighLevelState("q3", newStateCasted.getLSBit(2));
- setHighLevelState("q4", newStateCasted.getLSBit(3));
- break;
- default:
- // should not happen because we tell SubmodelComponent to only allow these state IDs.
- throw new IllegalStateException("Illegal atomic state ID: " + stateID);
- }
- }
-
- @Override
- public Object getAtomicHighLevelState(String stateID)
- {
- switch (stateID)
- {
- case "q1":
- return dlatch1.getHighLevelState("q");
- case "q2":
- return dlatch2.getHighLevelState("q");
- case "q3":
- return dlatch3.getHighLevelState("q");
- case "q4":
- return dlatch4.getHighLevelState("q");
- case "q":
- Bit q1 = (Bit) getHighLevelState("q1");
- Bit q2 = (Bit) getHighLevelState("q2");
- Bit q3 = (Bit) getHighLevelState("q3");
- Bit q4 = (Bit) getHighLevelState("q4");
- return BitVector.of(q4, q3, q2, q1);
- default:
- // should not happen because we tell SubmodelComponent to only allow these state IDs.
- throw new IllegalStateException("Illegal atomic state ID: " + stateID);
- }
+ StandardHighLevelStateHandler highLevelStateHandler = new StandardHighLevelStateHandler(this);
+ highLevelStateHandler.addAtomicHighLevelState("q1", DelegatingAtomicHighLevelStateHandler::new).set(dlatch1, "q");
+ highLevelStateHandler.addAtomicHighLevelState("q2", DelegatingAtomicHighLevelStateHandler::new).set(dlatch2, "q");
+ highLevelStateHandler.addAtomicHighLevelState("q3", DelegatingAtomicHighLevelStateHandler::new).set(dlatch3, "q");
+ highLevelStateHandler.addAtomicHighLevelState("q4", DelegatingAtomicHighLevelStateHandler::new).set(dlatch4, "q");
+ highLevelStateHandler.addAtomicHighLevelState("q", BitVectorSplittingAtomicHighLevelStateHandler::new)
+ .set(Arrays.asList("q1", "q2", "q3", "q4"), Arrays.asList(1, 1, 1, 1));
+ setHighLevelStateHandler(highLevelStateHandler);