1 package net.mograsim.logic.model.modeladapter;
3 import java.util.Collections;
4 import java.util.HashMap;
5 import java.util.HashSet;
8 import java.util.Map.Entry;
10 import java.util.function.Function;
11 import java.util.stream.Collectors;
13 import net.mograsim.logic.core.timeline.Timeline;
14 import net.mograsim.logic.core.wires.Wire;
15 import net.mograsim.logic.core.wires.Wire.ReadEnd;
16 import net.mograsim.logic.model.model.ViewModel;
17 import net.mograsim.logic.model.model.components.GUIComponent;
18 import net.mograsim.logic.model.model.components.submodels.SubmodelComponent;
19 import net.mograsim.logic.model.model.components.submodels.SubmodelInterface;
20 import net.mograsim.logic.model.model.wires.GUIWire;
21 import net.mograsim.logic.model.model.wires.Pin;
22 import net.mograsim.logic.model.model.wires.WireCrossPoint;
23 import net.mograsim.logic.model.modeladapter.componentadapters.ComponentAdapter;
25 public class ViewLogicModelAdapter
27 private final static Map<Class<? extends GUIComponent>, ComponentAdapter<? extends GUIComponent>> componentAdapters = new HashMap<>();
29 public static void addComponentAdapter(ComponentAdapter<? extends GUIComponent> componentAdapter)
31 componentAdapters.put(componentAdapter.getSupportedClass(), componentAdapter);
34 public static Timeline convert(ViewModel viewModel, LogicModelParameters params)
36 // TODO replace Timeline with LogicModel as soon as it exists
37 Timeline timeline = new Timeline(10);
39 convert(viewModel, params, timeline, Map.of());
44 private static void convert(ViewModel viewModel, LogicModelParameters params, Timeline timeline, Map<Pin, Wire> externalWires)
46 Map<Pin, Wire> logicWiresPerPin = convertWires(getAllPins(viewModel), viewModel.getWires(), externalWires, params, timeline);
47 Map<Pin, Wire> logicWiresPerPinUnmodifiable = Collections.unmodifiableMap(logicWiresPerPin);
49 for (GUIComponent guiComp : viewModel.getComponentsByName().values())
51 if (guiComp instanceof SubmodelComponent)
53 SubmodelComponent guiCompCasted = (SubmodelComponent) guiComp;
54 Map<String, Pin> supermodelPins = guiCompCasted.getSupermodelPins();
55 Map<Pin, Wire> externalWiresForSubmodel = supermodelPins.entrySet().stream()
56 .collect(Collectors.toMap(e -> guiCompCasted.getSubmodelPin(e.getKey()), e -> logicWiresPerPin.get(e.getValue())));
57 convert(guiCompCasted.submodel, params, timeline, externalWiresForSubmodel);
58 } else if (guiComp instanceof WireCrossPoint)
60 WireCrossPoint guiCompCasted = (WireCrossPoint) guiComp;
61 guiCompCasted.setLogicModelBinding(logicWiresPerPin.get(guiCompCasted.getPin()).createReadOnlyEnd());
62 } else if (!(guiComp instanceof SubmodelInterface))// nothing to do for SubmodelInterfaces
63 createAndLinkComponent(timeline, params, guiComp, logicWiresPerPinUnmodifiable, componentAdapters.get(guiComp.getClass()));
67 private static Set<Pin> getAllPins(ViewModel viewModel)
69 return viewModel.getComponentsByName().values().stream().flatMap(component -> component.getPins().values().stream())
70 .collect(Collectors.toSet());
73 private static Map<Pin, Wire> convertWires(Set<Pin> allPins, List<GUIWire> wires, Map<Pin, Wire> externalWires,
74 LogicModelParameters params, Timeline timeline)
76 Map<Pin, Set<Pin>> connectedPinGroups = getConnectedPinGroups(allPins, wires);
77 Map<Pin, Wire> logicWiresPerPin = createLogicWires(params, timeline, connectedPinGroups, externalWires);
78 setGUIWiresLogicModelBinding(wires, logicWiresPerPin);
79 return logicWiresPerPin;
82 private static Map<Pin, Wire> createLogicWires(LogicModelParameters params, Timeline timeline, Map<Pin, Set<Pin>> connectedPinGroups,
83 Map<Pin, Wire> externalWires)
85 Map<Pin, Wire> logicWiresPerPin = new HashMap<>();
86 Map<Set<Pin>, Wire> logicWiresPerPinGroup = new HashMap<>();
87 for (Entry<Pin, Set<Pin>> e : connectedPinGroups.entrySet())
88 logicWiresPerPin.put(e.getKey(), logicWiresPerPinGroup.computeIfAbsent(e.getValue(), set ->
90 Wire externalWire = null;
93 Wire externalWireCandidate = externalWires.get(p);
94 if (externalWireCandidate != null)
95 if (externalWire == null)
96 externalWire = externalWireCandidate;
97 else if (externalWire.length == externalWireCandidate.length)
98 Wire.fuse(externalWire, externalWireCandidate);
100 throw new IllegalArgumentException(
101 "Two pins to external wires with different logicWidths can't be connected directly");
103 return externalWire == null ? new Wire(timeline, e.getKey().logicWidth, params.wireTravelTime) : externalWire;
105 return logicWiresPerPin;
108 private static void setGUIWiresLogicModelBinding(List<GUIWire> wires, Map<Pin, Wire> logicWiresPerPin)
110 Map<Wire, ReadEnd> guiWireSharedReadEnd = logicWiresPerPin.values().stream().distinct()
111 .collect(Collectors.toMap(Function.identity(), Wire::createReadOnlyEnd));
112 for (GUIWire guiWire : wires)
113 guiWire.setLogicModelBinding(guiWireSharedReadEnd.get(logicWiresPerPin.get(guiWire.getPin1())));
116 private static Map<Pin, Set<Pin>> getConnectedPinGroups(Set<Pin> allPins, List<GUIWire> wires)
118 Map<Pin, Set<Pin>> connectedPinsPerPin = new HashMap<>();
120 for (Pin p : allPins)
122 HashSet<Pin> connectedPins = new HashSet<>();
123 connectedPins.add(p);
124 connectedPinsPerPin.put(p, connectedPins);
127 wires.forEach(wire ->
129 Pin pin1 = wire.getPin1();
130 Pin pin2 = wire.getPin2();
132 Set<Pin> pin1ConnectedPins = connectedPinsPerPin.get(pin1);
133 Set<Pin> pin2ConnectedPins = connectedPinsPerPin.get(pin2);
135 pin1ConnectedPins.addAll(pin2ConnectedPins);
136 pin1ConnectedPins.add(pin1);
137 pin1ConnectedPins.add(pin2);
139 pin2ConnectedPins.forEach(pin -> connectedPinsPerPin.put(pin, pin1ConnectedPins));
141 return connectedPinsPerPin;
144 @SuppressWarnings("unchecked")
145 private static <G extends GUIComponent> void createAndLinkComponent(Timeline timeline, LogicModelParameters params,
146 GUIComponent guiComponent, Map<Pin, Wire> logicWiresPerPin, ComponentAdapter<G> adapter)
149 throw new IllegalArgumentException("Unknown component class: " + guiComponent.getClass());
150 adapter.createAndLinkComponent(timeline, params, (G) guiComponent, logicWiresPerPin);
153 private ViewLogicModelAdapter()
155 throw new UnsupportedOperationException("No ViewLogicModelConverter instances");