+ @Override
+ public String getDirectly(Register r)
+ {
+ return am2901.getHighLevelState(regToStateID(r)).toString();
+ }
+
+ private static String regToStateID(Register r)
+ {
+ switch (r)
+ {
+ case S_0:
+ case S_1:
+ case S_2:
+ case S_3:
+ case S_4:
+ return "stack.c" + BitVector.from(r.ordinal(), 3);
+ case SP:
+ return "sp.q";
+ case PC:
+ return "mupc.q";
+ case REG_COUNT:
+ return "r.q";
+ default:
+ throw new IllegalArgumentException("unknown: " + r);
+ }
+ }
+
+ @Override
+ public TestEnvironmentHelper getTestEnvironmentHelper()
+ {
+ return testHelper;
+ }