The final restructured version for automatic build using maven tycho

[Mograsim.git] / tests / net.mograsim.logic.model.am2900.tests / src / net / mograsim / logic / model / am2900 / am2901 / TestableAm2901Impl.java

diff --git a/tests/net.mograsim.logic.model.am2900.tests/src/net/mograsim/logic/model/am2900/am2901/TestableAm2901Impl.java b/tests/net.mograsim.logic.model.am2900.tests/src/net/mograsim/logic/model/am2900/am2901/TestableAm2901Impl.java
new file mode 100644 (file)
index 0000000..bddddea
--- /dev/null
+++ b/tests/net.mograsim.logic.model.am2900.tests/src/net/mograsim/logic/model/am2900/am2901/TestableAm2901Impl.java
@@ -0,0 +1,211 @@
+package net.mograsim.logic.model.am2900.am2901;
+
+import net.mograsim.logic.core.components.CoreBitDisplay;
+import net.mograsim.logic.core.components.CoreManualSwitch;
+import net.mograsim.logic.core.types.Bit;
+import net.mograsim.logic.core.types.BitVector;
+import net.mograsim.logic.model.am2900.util.SwitchWithDisplay;
+import net.mograsim.logic.model.am2900.util.TestEnvironmentHelper;
+import net.mograsim.logic.model.am2900.util.TestEnvironmentHelper.DebugState;
+import net.mograsim.logic.model.am2900.util.TestUtil;
+import net.mograsim.logic.model.model.components.ModelComponent;
+
+public class TestableAm2901Impl implements TestableAm2901
+{
+       private ModelComponent am2901;
+       private CoreManualSwitch I;
+       private CoreManualSwitch C;
+       private CoreManualSwitch Cn;
+       private CoreManualSwitch D;
+       private CoreManualSwitch A;
+       private CoreManualSwitch B;
+       private CoreBitDisplay Y;
+       private CoreBitDisplay F_0, Cn_4, OVR, F3;
+       private SwitchWithDisplay RAMn, RAMn_3, Qn, Qn_3;
+
+       private final TestEnvironmentHelper testHelper = new TestEnvironmentHelper(this, "Am2901");
+
+       @Override
+       public Result run()
+       {
+               return testHelper.run();
+       }
+
+       @Override
+       public void setup()
+       {
+               testHelper.setup(DebugState.NO_DEBUG);
+       }
+
+       @Override
+       public void setDest(Am2901_Dest dest)
+       {
+               BitVector oldI = I.getValues();
+               I.setState(TestUtil.of(dest.ordinal(), 3).concat(oldI.subVector(3)));
+       }
+
+       @Override
+       public void setFunc(Am2901_Func func)
+       {
+               BitVector oldI = I.getValues();
+               I.setState(oldI.subVector(0, 3).concat(TestUtil.of(func.ordinal(), 3)).concat(oldI.subVector(6)));
+       }
+
+       @Override
+       public void setSrc(Am2901_Src src)
+       {
+               BitVector oldI = I.getValues();
+               I.setState(oldI.subVector(0, 6).concat(TestUtil.of(src.ordinal(), 3)));
+       }
+
+       @Override
+       public void setReg_A(String val_4_bit)
+       {
+               A.setState(BitVector.parse(val_4_bit));
+       }
+
+       @Override
+       public void setReg_B(String val_4_bit)
+       {
+               B.setState(BitVector.parse(val_4_bit));
+       }
+
+       @Override
+       public void setCarryIn(String val_1_bit)
+       {
+               Cn.setState(Bit.parse(val_1_bit));
+       }
+
+       @Override
+       public void setNotOutEnable(String val_1_bit)
+       {
+               throw new UnsupportedOperationException(); // TODO
+       }
+
+       @Override
+       public void setD(String val_4_bit)
+       {
+               D.setState(BitVector.parse(val_4_bit));
+       }
+
+       @Override
+       public void setQ_0(String val_1_bit)
+       {
+               Qn.setState(Bit.parse(val_1_bit).toVector());
+       }
+
+       @Override
+       public void setQ_3(String val_1_bit)
+       {
+               Qn_3.setState(Bit.parse(val_1_bit).toVector());
+       }
+
+       @Override
+       public void setRAM_0(String val_1_bit)
+       {
+               RAMn.setState(Bit.parse(val_1_bit).toVector());
+       }
+
+       @Override
+       public void setRAM_3(String val_1_bit)
+       {
+               RAMn_3.setState(Bit.parse(val_1_bit).toVector());
+       }
+
+       @Override
+       public void clockOn(boolean isClockOn)
+       {
+               C.setState(isClockOn ? Bit.ONE : Bit.ZERO);
+       }
+
+       @Override
+       public String getQ_0()
+       {
+               return Qn.getDisplayedValue().toString();
+       }
+
+       @Override
+       public String getQ_3()
+       {
+               return Qn_3.getDisplayedValue().toString();
+       }
+
+       @Override
+       public String getRAM_0()
+       {
+               return RAMn.getDisplayedValue().toString();
+       }
+
+       @Override
+       public String getRAM_3()
+       {
+               return RAMn_3.getDisplayedValue().toString();
+       }
+
+       @Override
+       public String getNotP()
+       {
+               throw new UnsupportedOperationException(); // TODO
+       }
+
+       @Override
+       public String getNotG()
+       {
+               throw new UnsupportedOperationException(); // TODO
+       }
+
+       @Override
+       public String getCarryOut()
+       {
+               return Cn_4.getDisplayedValue().toString();
+       }
+
+       @Override
+       public String getSign()
+       {
+               return F3.getDisplayedValue().toString();
+       }
+
+       @Override
+       public String getZero()
+       {
+               return F_0.getDisplayedValue().toString();
+       }
+
+       @Override
+       public String getOverflow()
+       {
+               return OVR.getDisplayedValue().toString();
+       }
+
+       @Override
+       public String getY()
+       {
+               return Y.getDisplayedValue().toString();
+       }
+
+       @Override
+       public void setDirectly(Register r, String val_4_bit)
+       {
+               am2901.setHighLevelState(regToStateID(r), BitVector.parse(val_4_bit));
+       }
+
+       @Override
+       public String getDirectly(Register r)
+       {
+               return ((BitVector) am2901.getHighLevelState(regToStateID(r))).toString();
+       }
+
+       private static String regToStateID(Register r)
+       {
+               if (r == Register.Q)
+                       return "qreg.q";
+               return "regs.c" + r.toBitString() + ".q";
+       }
+
+       @Override
+       public TestEnvironmentHelper getTestEnvironmentHelper()
+       {
+               return testHelper;
+       }
+}