- BitVector newStateCasted = (BitVector) newState;
- setHighLevelState("c0000.q", newStateCasted.subVector(0, 4));
- setHighLevelState("c0001.q", newStateCasted.subVector(4, 8));
- setHighLevelState("c0010.q", newStateCasted.subVector(8, 12));
- setHighLevelState("c0011.q", newStateCasted.subVector(12, 16));
- setHighLevelState("c0100.q", newStateCasted.subVector(16, 20));
- setHighLevelState("c0101.q", newStateCasted.subVector(20, 24));
- setHighLevelState("c0110.q", newStateCasted.subVector(24, 28));
- setHighLevelState("c0111.q", newStateCasted.subVector(28, 32));
- setHighLevelState("c1000.q", newStateCasted.subVector(32, 36));
- setHighLevelState("c1001.q", newStateCasted.subVector(36, 40));
- setHighLevelState("c1010.q", newStateCasted.subVector(40, 44));
- setHighLevelState("c1011.q", newStateCasted.subVector(44, 48));
- setHighLevelState("c1100.q", newStateCasted.subVector(48, 52));
- setHighLevelState("c1101.q", newStateCasted.subVector(52, 56));
- setHighLevelState("c1110.q", newStateCasted.subVector(56, 60));
- setHighLevelState("c1111.q", newStateCasted.subVector(60, 64));
- break;
+ BitVector q00 = (BitVector) getHighLevelState("c00.q");
+ BitVector q01 = (BitVector) getHighLevelState("c01.q");
+ BitVector q10 = (BitVector) getHighLevelState("c10.q");
+ BitVector q11 = (BitVector) getHighLevelState("c11.q");
+ return q00.concat(q01).concat(q10).concat(q11);
+ default:
+ // should not happen because we tell SubmodelComponent to only allow these state IDs.
+ throw new IllegalStateException("Illegal atomic state ID: " + stateID);
+ }
+ }
+
+ @Override
+ protected Object getSubcomponentHighLevelState(String subcomponentID, String subcomponentHighLevelStateID)
+ {
+ switch (subcomponentID)
+ {
+ case "c0000":
+ case "c0001":
+ case "c0010":
+ case "c0011":
+ return cell00.getHighLevelState('c' + subcomponentID.substring(3, 5) + "." + subcomponentHighLevelStateID);
+ case "c0100":
+ case "c0101":
+ case "c0110":
+ case "c0111":
+ return cell01.getHighLevelState('c' + subcomponentID.substring(3, 5) + "." + subcomponentHighLevelStateID);
+ case "c1000":
+ case "c1001":
+ case "c1010":
+ case "c1011":
+ return cell10.getHighLevelState('c' + subcomponentID.substring(3, 5) + "." + subcomponentHighLevelStateID);
+ case "c1100":
+ case "c1101":
+ case "c1110":
+ case "c1111":
+ return cell11.getHighLevelState('c' + subcomponentID.substring(3, 5) + "." + subcomponentHighLevelStateID);