+
+ Pattern stateIDPattern = Pattern.compile("c(0[10][10]|100)");
+
+ @Override
+ protected Object getHighLevelState(Object state, String stateID)
+ {
+ Matcher m = stateIDPattern.matcher(stateID);
+ if (m.matches())
+ return ((BitVector[]) state)[Integer.parseInt(m.group(1), 2)];
+ return super.getHighLevelState(state, stateID);
+ }
+
+ @Override
+ protected Object setHighLevelState(Object lastState, String stateID, Object newHighLevelState)
+ {
+ Matcher m = stateIDPattern.matcher(stateID);
+ if (m.matches())
+ {
+ int addr = Integer.parseInt(m.group(1), 2);
+ BitVector newHighLevelStateCasted = (BitVector) newHighLevelState;
+ if (newHighLevelStateCasted.length() != 12)
+ throw new IllegalArgumentException("Expected BitVector of length 12, not " + newHighLevelStateCasted.length());
+ BitVector[] memC = (BitVector[]) lastState;
+ memC[addr] = newHighLevelStateCasted;
+ return memC;
+ }
+ return super.setHighLevelState(lastState, stateID, newHighLevelState);
+ }
+
+ static
+ {
+ IndirectGUIComponentCreator.setComponentSupplier(GUIram5_12.class.getCanonicalName(), (m, p, n) -> new GUIram5_12(m, n));
+ }