package net.mograsim.logic.ui.model.components.mi.nandbased;
import net.haspamelodica.swt.helper.swtobjectwrappers.Point;
+import net.mograsim.logic.core.types.BitVector;
import net.mograsim.logic.ui.model.ViewModelModifiable;
import net.mograsim.logic.ui.model.components.GUINandGate;
import net.mograsim.logic.ui.model.components.SimpleRectangularSubmodelComponent;
public class GUI_rsLatch extends SimpleRectangularSubmodelComponent
{
+ private GUIWire wireQ, wire_Q;
+
public GUI_rsLatch(ViewModelModifiable model)
{
super(model, 1, "_rsLatch");
new GUIWire(submodelModifiable, nand2.getPin("Y"), cp2, new Point(65, 22.5));
new GUIWire(submodelModifiable, cp1, nand2.getPin("A"), new Point[0]);
new GUIWire(submodelModifiable, cp2, nand1.getPin("B"), new Point(65, 42.5), new Point(5, 42.5), new Point(5, 22.5));
- new GUIWire(submodelModifiable, cp1, Q, new Point(35, 17.5), new Point(35, 7.5), new Point(65, 7.5), new Point(65, 12.5));
- new GUIWire(submodelModifiable, cp2, _Q, new Point[0]);
+ wireQ = new GUIWire(submodelModifiable, cp1, Q, new Point(35, 17.5), new Point(35, 7.5), new Point(65, 7.5), new Point(65, 12.5));
+ wire_Q = new GUIWire(submodelModifiable, cp2, _Q, new Point[0]);
+ }
+
+ @Override
+ public void setHighLevelState(String stateID, Object newState)
+ {
+ if ("q".equals(stateID))
+ {
+ // TODO force this to happen without any Timeline updates in the meantime.
+ // Maybe make it a requirement of setHighLevelState that the Timeline is "halted" during a call?
+ BitVector newStateCasted = (BitVector) newState;
+ if (wireQ.hasLogicModelBinding())
+ wireQ.forceWireValues(newStateCasted);
+ // We set both wires because then both outputs go to their correct state at the same time, and to avoid problems when not both
+ // inputs are 1
+ if (wire_Q.hasLogicModelBinding())
+ wire_Q.forceWireValues(newStateCasted.not());
+ } else
+ super.setHighLevelState(stateID, newState);
}
}
\ No newline at end of file
import net.haspamelodica.swt.helper.swtobjectwrappers.Font;
import net.haspamelodica.swt.helper.swtobjectwrappers.Point;
import net.haspamelodica.swt.helper.swtobjectwrappers.Rectangle;
-import net.mograsim.logic.core.LogicObservable;
import net.mograsim.logic.core.LogicObserver;
import net.mograsim.logic.core.components.BitDisplay;
import net.mograsim.logic.core.types.BitVectorFormatter;
public void setLogicModelBinding(BitDisplay bitDisplay)
{
- deregisterLogicObs(this.bitDisplay);
+ if (this.bitDisplay != null)
+ this.bitDisplay.deregisterObserver(logicObs);
this.bitDisplay = bitDisplay;
- registerLogicObs(bitDisplay);
+ if (bitDisplay != null)
+ bitDisplay.registerObserver(logicObs);
}
- private void registerLogicObs(LogicObservable observable)
+ public boolean hasLogicModelBinding()
{
- if (observable != null)
- observable.registerObserver(logicObs);
- }
-
- private void deregisterLogicObs(LogicObservable observable)
- {
- if (observable != null)
- observable.deregisterObserver(logicObs);
+ return bitDisplay != null;
}
public BitDisplay getBitDisplay()
return pin;
}
+ // high-level access
+
+ @SuppressWarnings({ "static-method", "unused" }) // this method is intended to be overridden
+ public void setHighLevelState(String stateID, Object newState)
+ {
+ throw new IllegalArgumentException("No high level state with ID " + stateID);
+ }
+
// "graphical" operations
/**
import net.mograsim.logic.core.LogicObservable;
import net.mograsim.logic.core.LogicObserver;
import net.mograsim.logic.core.components.ManualSwitch;
+import net.mograsim.logic.core.types.Bit;
import net.mograsim.logic.core.types.BitVectorFormatter;
import net.mograsim.logic.core.wires.Wire.ReadEnd;
import net.mograsim.logic.ui.model.ViewModelModifiable;
registerLogicObs(logicSwitch);
}
+ public boolean hasLogicModelBinding()
+ {
+ return logicSwitch != null;
+ }
+
+ @Override
+ public void setHighLevelState(String stateID, Object newState)
+ {
+ if ("out".equals(stateID))
+ {
+ if (logicSwitch != null)
+ logicSwitch.setToValueOf((Bit) newState);
+ } else
+ super.setHighLevelState(stateID, newState);
+ }
+
private void registerLogicObs(LogicObservable observable)
{
if (observable != null)
import net.haspamelodica.swt.helper.swtobjectwrappers.Point;
import net.haspamelodica.swt.helper.swtobjectwrappers.Rectangle;
import net.mograsim.logic.core.LogicObserver;
+import net.mograsim.logic.core.types.BitVector;
import net.mograsim.logic.core.types.BitVectorFormatter;
+import net.mograsim.logic.core.wires.Wire;
import net.mograsim.logic.core.wires.Wire.ReadEnd;
import net.mograsim.logic.ui.ColorHelper;
import net.mograsim.logic.ui.model.ViewModelModifiable;
end.registerObserver(logicObs);
}
+ /**
+ * Returns whether this {@link GUIWire} has a logic model binding or not.
+ */
+ public boolean hasLogicModelBinding()
+ {
+ return end != null;
+ }
+
+ /**
+ * If this {@link GUIWire} has a logic model binding, delegates to {@link Wire#forceValues(BitVector)} for the {@link Wire}
+ * corresponding to this {@link GUIWire}.
+ */
+ public void forceWireValues(BitVector values)
+ {
+ end.getWire().forceValues(values);
+ }
+
// listeners
// @formatter:off
end.registerObserver(logicObs);
}
+ /**
+ * Returns whether this {@link WireCrossPoint} has a logic model binding or not.
+ */
+ public boolean hasLogicModelBinding()
+ {
+ return end != null;
+ }
+
// serializing
@Override