1 package net.mograsim.logic.model.model.components.mi.nandbased;
3 import java.util.Arrays;
5 import net.haspamelodica.swt.helper.swtobjectwrappers.Point;
6 import net.mograsim.logic.model.model.ViewModelModifiable;
7 import net.mograsim.logic.model.model.components.submodels.SimpleRectangularSubmodelComponent;
8 import net.mograsim.logic.model.model.wires.GUIWire;
9 import net.mograsim.logic.model.model.wires.Pin;
10 import net.mograsim.logic.model.model.wires.WireCrossPoint;
11 import net.mograsim.logic.model.serializing.IndirectGUIComponentCreator;
12 import net.mograsim.logic.model.snippets.highlevelstatehandlers.standard.StandardHighLevelStateHandler;
13 import net.mograsim.logic.model.snippets.highlevelstatehandlers.standard.atomic.BitVectorSplittingAtomicHighLevelStateHandler;
14 import net.mograsim.logic.model.snippets.highlevelstatehandlers.standard.atomic.DelegatingAtomicHighLevelStateHandler;
16 public class GUIdlatch4 extends SimpleRectangularSubmodelComponent
18 private StandardHighLevelStateHandler highLevelStateHandler;
20 public GUIdlatch4(ViewModelModifiable model)
25 public GUIdlatch4(ViewModelModifiable model, String name)
27 super(model, 1, "GUIdlatch4", name);
29 setInputPins("D1", "D2", "D3", "D4", "C");
30 setOutputPins("Q1", "Q2", "Q3", "Q4");
31 initSubmodelComponents();
34 @SuppressWarnings("unused") // for GUIWires being created
35 private void initSubmodelComponents()
37 Pin D1 = getSubmodelPin("D1");
38 Pin D2 = getSubmodelPin("D2");
39 Pin D3 = getSubmodelPin("D3");
40 Pin D4 = getSubmodelPin("D4");
41 Pin C = getSubmodelPin("C");
42 Pin Q1 = getSubmodelPin("Q1");
43 Pin Q2 = getSubmodelPin("Q2");
44 Pin Q3 = getSubmodelPin("Q3");
45 Pin Q4 = getSubmodelPin("Q4");
47 GUIdlatch dlatch1 = new GUIdlatch(submodelModifiable);
48 GUIdlatch dlatch2 = new GUIdlatch(submodelModifiable);
49 GUIdlatch dlatch3 = new GUIdlatch(submodelModifiable);
50 GUIdlatch dlatch4 = new GUIdlatch(submodelModifiable);
52 WireCrossPoint cp2 = new WireCrossPoint(submodelModifiable, 1);
53 WireCrossPoint cp3 = new WireCrossPoint(submodelModifiable, 1);
54 WireCrossPoint cp4 = new WireCrossPoint(submodelModifiable, 1);
56 dlatch1.moveTo(30, 7.5);
57 dlatch2.moveTo(30, 32.5);
58 dlatch3.moveTo(30, 57.5);
59 dlatch4.moveTo(30, 82.5);
60 cp2.moveCenterTo(15, 47.5);
61 cp3.moveCenterTo(15, 72.5);
62 cp4.moveCenterTo(15, 97.5);
64 new GUIWire(submodelModifiable, C, cp4, new Point(15, 112.5));
65 new GUIWire(submodelModifiable, cp4, dlatch4.getPin("E"), new Point[0]);
66 new GUIWire(submodelModifiable, cp4, cp3, new Point[0]);
67 new GUIWire(submodelModifiable, cp3, dlatch3.getPin("E"), new Point[0]);
68 new GUIWire(submodelModifiable, cp3, cp2, new Point[0]);
69 new GUIWire(submodelModifiable, cp2, dlatch2.getPin("E"), new Point[0]);
70 new GUIWire(submodelModifiable, cp2, dlatch1.getPin("E"), new Point(15, 22.5));
71 new GUIWire(submodelModifiable, D1, dlatch1.getPin("D"), new Point[0]);
72 new GUIWire(submodelModifiable, D2, dlatch2.getPin("D"), new Point[0]);
73 new GUIWire(submodelModifiable, D3, dlatch3.getPin("D"), new Point[0]);
74 new GUIWire(submodelModifiable, D4, dlatch4.getPin("D"), new Point[0]);
75 new GUIWire(submodelModifiable, dlatch1.getPin("Q"), Q1, new Point[0]);
76 new GUIWire(submodelModifiable, dlatch2.getPin("Q"), Q2, new Point[0]);
77 new GUIWire(submodelModifiable, dlatch3.getPin("Q"), Q3, new Point[0]);
78 new GUIWire(submodelModifiable, dlatch4.getPin("Q"), Q4, new Point[0]);
80 this.highLevelStateHandler = new StandardHighLevelStateHandler(this);
81 highLevelStateHandler.addAtomicHighLevelState("q1", DelegatingAtomicHighLevelStateHandler::new).set(dlatch1, "q");
82 highLevelStateHandler.addAtomicHighLevelState("q2", DelegatingAtomicHighLevelStateHandler::new).set(dlatch2, "q");
83 highLevelStateHandler.addAtomicHighLevelState("q3", DelegatingAtomicHighLevelStateHandler::new).set(dlatch3, "q");
84 highLevelStateHandler.addAtomicHighLevelState("q4", DelegatingAtomicHighLevelStateHandler::new).set(dlatch4, "q");
85 highLevelStateHandler.addAtomicHighLevelState("q", BitVectorSplittingAtomicHighLevelStateHandler::new)
86 .set(Arrays.asList("q1", "q2", "q3", "q4"), Arrays.asList(1, 1, 1, 1));
90 public Object getHighLevelState(String stateID)
92 return highLevelStateHandler.getHighLevelState(stateID);
96 public void setHighLevelState(String stateID, Object newState)
98 highLevelStateHandler.setHighLevelState(stateID, newState);
103 IndirectGUIComponentCreator.setComponentSupplier(GUIdlatch4.class.getCanonicalName(), (m, p, n) -> new GUIdlatch4(m, n));