Merge branch 'development' of
authorFabian Stemmler <stemmler@in.tum.de>
Wed, 29 May 2019 10:42:50 +0000 (12:42 +0200)
committerFabian Stemmler <stemmler@in.tum.de>
Wed, 29 May 2019 10:42:50 +0000 (12:42 +0200)
https://gitlab.lrz.de/lrr-tum/students/eragp-misim-2019 into development

# Conflicts:
# LogicUI/oldsrc/RSLatchGUIExample.java
# LogicUI/src/era/mi/gui/LogicUIStandalone.java
# LogicUI/src/era/mi/gui/components/GUIManualSwitch.java
# SampleERCP/src/sampleercp/parts/LogicUIPart.java

LogicUI/.classpath
LogicUI/.settings/org.eclipse.jdt.core.prefs
LogicUI/META-INF/MANIFEST.MF
LogicUI/oldsrc/RSLatchGUIExample.java
LogicUI/src/era/mi/gui/LogicUIStandalone.java
LogicUI/src/era/mi/gui/components/GUIManualSwitch.java [new file with mode: 0644]
SWTHelper
era.mi/src/era/mi/logic/tests/ComponentTest.java
era.mi/src/era/mi/logic/tests/GUITest.java
era.mi/src/era/mi/logic/timeline/Timeline.java

index bde0882..c34bb53 100644 (file)
@@ -1,6 +1,6 @@
 <?xml version="1.0" encoding="UTF-8"?>
 <classpath>
-       <classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-10">
+       <classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-1.8">
                <attributes>
                        <attribute name="module" value="true"/>
                </attributes>
index ded5573..1ca6e9b 100644 (file)
@@ -1,15 +1,15 @@
 eclipse.preferences.version=1\r
 org.eclipse.jdt.core.compiler.codegen.inlineJsrBytecode=enabled\r
-org.eclipse.jdt.core.compiler.codegen.targetPlatform=10\r
+org.eclipse.jdt.core.compiler.codegen.targetPlatform=1.8\r
 org.eclipse.jdt.core.compiler.codegen.unusedLocal=preserve\r
-org.eclipse.jdt.core.compiler.compliance=10\r
+org.eclipse.jdt.core.compiler.compliance=1.8\r
 org.eclipse.jdt.core.compiler.debug.lineNumber=generate\r
 org.eclipse.jdt.core.compiler.debug.localVariable=generate\r
 org.eclipse.jdt.core.compiler.debug.sourceFile=generate\r
 org.eclipse.jdt.core.compiler.problem.assertIdentifier=error\r
 org.eclipse.jdt.core.compiler.problem.enumIdentifier=error\r
 org.eclipse.jdt.core.compiler.release=enabled\r
-org.eclipse.jdt.core.compiler.source=10\r
+org.eclipse.jdt.core.compiler.source=1.8\r
 org.eclipse.jdt.core.formatter.align_assignment_statements_on_columns=false\r
 org.eclipse.jdt.core.formatter.align_fields_grouping_blank_lines=2147483647\r
 org.eclipse.jdt.core.formatter.align_type_members_on_columns=false\r
index 1508471..2659736 100644 (file)
@@ -4,12 +4,10 @@ Bundle-Name: LogicUI
 Bundle-SymbolicName: LogicUI;singleton:=true
 Bundle-Version: 1.0.0
 Export-Package: era.mi.gui,
+ era.mi.gui.components,
  era.mi.gui.examples,
- era.mi.gui.model,
- era.mi.gui.model.components,
- era.mi.gui.model.wires,
- era.mi.gui.modeladapter
-Bundle-RequiredExecutionEnvironment: JavaSE-10
+ era.mi.gui.wires
+Bundle-RequiredExecutionEnvironment: JavaSE-1.8
 Require-Bundle: org.eclipse.swt;bundle-version="3.110.0",
  SWTZoomableCanvas;bundle-version="1.0.0";visibility:=reexport,
  era.mi;bundle-version="1.0.0";visibility:=reexport
index 0fb1886..413525b 100644 (file)
@@ -1,61 +1,62 @@
-package era.mi.gui.examples;
-
-import era.mi.gui.LogicUICanvas;
-import era.mi.gui.LogicUIStandalone;
-import era.mi.gui.components.GUIManualSwitch;
-import era.mi.gui.components.GUINotGate;
-import era.mi.gui.components.GUIOrGateOld;
-import era.mi.gui.wires.WireConnectionPoint;
-import era.mi.logic.timeline.Timeline;
-import era.mi.logic.wires.Wire;
-import net.haspamelodica.swt.helper.swtobjectwrappers.Point;
-
-public class RSLatchGUIExample
-{
-       private static final int WIRE_DELAY = 10;
-       private static final int OR_DELAY = 50;
-       private static final int NOT_DELAY = 50;
-
-       public static void main(String[] args)
-       {
-               Timeline t = new Timeline(11);
-               LogicUIStandalone ui = new LogicUIStandalone(t);
-               addComponentsAndWires(ui.getLogicUICanvas(), t);
-               ui.run();
-       }
-
-       public static void addComponentsAndWires(LogicUICanvas ui, Timeline t)
-       {
-               Wire r = new Wire(t, 1, WIRE_DELAY);
-               Wire s = new Wire(t, 1, WIRE_DELAY);
-               Wire t2 = new Wire(t, 1, WIRE_DELAY);
-               Wire t1 = new Wire(t, 1, WIRE_DELAY);
-               Wire q = new Wire(t, 1, WIRE_DELAY);
-               Wire nq = new Wire(t, 1, WIRE_DELAY);
-
-               GUIManualSwitch rIn = ui.addComponent(new GUIManualSwitch(t, r.createReadWriteEnd()), 100, 100);
-               GUIManualSwitch sIn = ui.addComponent(new GUIManualSwitch(t, s.createReadWriteEnd()), 100, 200);
-               GUIOrGateOld or1 = ui.addComponent(new GUIOrGateOld(t, OR_DELAY, t1.createReadWriteEnd(), r.createReadOnlyEnd(), nq.createReadOnlyEnd()),
-                               160, 102.5);
-               GUIOrGateOld or2 = ui.addComponent(new GUIOrGateOld(t, OR_DELAY, t2.createReadWriteEnd(), q.createReadOnlyEnd(), s.createReadOnlyEnd()),
-                               160, 192.5);
-               GUINotGate not1 = ui.addComponent(new GUINotGate(t, NOT_DELAY, t1.createReadOnlyEnd(), q.createReadWriteEnd()), 200, 107.5);
-               GUINotGate not2 = ui.addComponent(new GUINotGate(t, NOT_DELAY, t2.createReadOnlyEnd(), nq.createReadWriteEnd()), 200, 197.5);
-
-               WireConnectionPoint p1 = ui.addComponent(new WireConnectionPoint(q, 3), 250, 112.5);
-               WireConnectionPoint p2 = ui.addComponent(new WireConnectionPoint(nq, 3), 250, 202.5);
-               WireConnectionPoint o1 = ui.addComponent(new WireConnectionPoint(q, 1), 270, 112.5);
-               WireConnectionPoint o2 = ui.addComponent(new WireConnectionPoint(nq, 1), 270, 202.5);
-
-               ui.addWire(rIn, 0, or1, 0);
-               ui.addWire(sIn, 0, or2, 1);
-               ui.addWire(or1, 2, not1, 0);
-               ui.addWire(or2, 2, not2, 0);
-               ui.addWire(not1, 1, p1, 0);
-               ui.addWire(not2, 1, p2, 0);
-               ui.addWire(p1, 1, or2, 0, new Point(250, 130), new Point(140, 185), new Point(140, 197.5));
-               ui.addWire(p2, 1, or1, 1, new Point(250, 185), new Point(140, 130), new Point(140, 117.5));
-               ui.addWire(p1, 2, o1, 0);
-               ui.addWire(p2, 2, o2, 0);
-       }
+package era.mi.gui.examples;\r
+\r
+import era.mi.gui.LogicUICanvas;\r
+import era.mi.gui.LogicUIStandalone;\r
+import era.mi.gui.components.GUIManualSwitch;\r
+import era.mi.gui.components.GUINotGate;\r
+import era.mi.gui.components.GUIOrGateOld;\r
+import era.mi.gui.wires.WireConnectionPoint;\r
+import era.mi.logic.timeline.Timeline;\r
+import era.mi.logic.wires.Wire;\r
+import net.haspamelodica.swt.helper.swtobjectwrappers.Point;\r
+\r
+public class RSLatchGUIExample\r
+{\r
+       private static final int WIRE_DELAY = 10;\r
+       private static final int OR_DELAY = 50;\r
+       private static final int NOT_DELAY = 50;\r
+\r
+       public static void main(String[] args)\r
+       {\r
+               Timeline t = new Timeline(11);\r
+               t.setTimeFunction(() -> System.currentTimeMillis()); // real time simulation\r
+               LogicUIStandalone ui = new LogicUIStandalone(t);\r
+               addComponentsAndWires(ui.getLogicUICanvas(), t);\r
+               ui.run();\r
+       }\r
+\r
+       public static void addComponentsAndWires(LogicUICanvas ui, Timeline t)\r
+       {\r
+               Wire r = new Wire(t, 1, WIRE_DELAY);\r
+               Wire s = new Wire(t, 1, WIRE_DELAY);\r
+               Wire t2 = new Wire(t, 1, WIRE_DELAY);\r
+               Wire t1 = new Wire(t, 1, WIRE_DELAY);\r
+               Wire q = new Wire(t, 1, WIRE_DELAY);\r
+               Wire nq = new Wire(t, 1, WIRE_DELAY);\r
+\r
+               GUIManualSwitch rIn = ui.addComponent(new GUIManualSwitch(t, r.createReadWriteEnd()), 100, 100);\r
+               GUIManualSwitch sIn = ui.addComponent(new GUIManualSwitch(t, s.createReadWriteEnd()), 100, 200);\r
+               GUIOrGateOld or1 = ui.addComponent(new GUIOrGateOld(t, OR_DELAY, t1.createReadWriteEnd(), r.createReadOnlyEnd(), nq.createReadOnlyEnd()),\r
+                               160, 102.5);\r
+               GUIOrGateOld or2 = ui.addComponent(new GUIOrGateOld(t, OR_DELAY, t2.createReadWriteEnd(), q.createReadOnlyEnd(), s.createReadOnlyEnd()),\r
+                               160, 192.5);\r
+               GUINotGate not1 = ui.addComponent(new GUINotGate(t, NOT_DELAY, t1.createReadOnlyEnd(), q.createReadWriteEnd()), 200, 107.5);\r
+               GUINotGate not2 = ui.addComponent(new GUINotGate(t, NOT_DELAY, t2.createReadOnlyEnd(), nq.createReadWriteEnd()), 200, 197.5);\r
+\r
+               WireConnectionPoint p1 = ui.addComponent(new WireConnectionPoint(q, 3), 250, 112.5);\r
+               WireConnectionPoint p2 = ui.addComponent(new WireConnectionPoint(nq, 3), 250, 202.5);\r
+               WireConnectionPoint o1 = ui.addComponent(new WireConnectionPoint(q, 1), 270, 112.5);\r
+               WireConnectionPoint o2 = ui.addComponent(new WireConnectionPoint(nq, 1), 270, 202.5);\r
+\r
+               ui.addWire(rIn, 0, or1, 0);\r
+               ui.addWire(sIn, 0, or2, 1);\r
+               ui.addWire(or1, 2, not1, 0);\r
+               ui.addWire(or2, 2, not2, 0);\r
+               ui.addWire(not1, 1, p1, 0);\r
+               ui.addWire(not2, 1, p2, 0);\r
+               ui.addWire(p1, 1, or2, 0, new Point(250, 130), new Point(140, 185), new Point(140, 197.5));\r
+               ui.addWire(p2, 1, or1, 1, new Point(250, 185), new Point(140, 130), new Point(140, 117.5));\r
+               ui.addWire(p1, 2, o1, 0);\r
+               ui.addWire(p2, 2, o2, 0);\r
+       }\r
 }
\ No newline at end of file
index 3e29a6e..8bbfb1c 100644 (file)
@@ -55,6 +55,7 @@ public class LogicUIStandalone
 //                     while (running.get())\r
 //                     {\r
 //                             // always execute to keep timeline from "hanging behind" for too long\r
+//                             timeline.executeUntil(timeline.laterThan(System.currentTimeMillis()), System.currentTimeMillis() + 10);         \r
 //                             model.timeline.executeUpTo(System.currentTimeMillis(), System.currentTimeMillis() + 10);\r
 //                             long sleepTime;\r
 //                             if (model.timeline.hasNext())\r
diff --git a/LogicUI/src/era/mi/gui/components/GUIManualSwitch.java b/LogicUI/src/era/mi/gui/components/GUIManualSwitch.java
new file mode 100644 (file)
index 0000000..7bec909
--- /dev/null
@@ -0,0 +1,6 @@
+package era.mi.gui.components;\r
+\r
+public class GUIManualSwitch\r
+{\r
+\r
+}\r
index 7d47333..6f9a55d 160000 (submodule)
--- a/SWTHelper
+++ b/SWTHelper
@@ -1 +1 @@
-Subproject commit 7d47333ed050416991e97421ece07965edb3d7f2
+Subproject commit 6f9a55d483020bad4a5f66de375c3d0d6da585df
index 831349d..ffd6550 100644 (file)
@@ -1,5 +1,6 @@
 package era.mi.logic.tests;\r
 \r
+import static org.junit.Assert.assertTrue;\r
 import static org.junit.jupiter.api.Assertions.assertArrayEquals;\r
 import static org.junit.jupiter.api.Assertions.assertEquals;\r
 import static org.junit.jupiter.api.Assertions.fail;\r
@@ -284,6 +285,42 @@ class ComponentTest
                assertEquals(-1, a.getSignedValue());\r
        }\r
 \r
+       boolean flag = false;\r
+\r
+       @Test\r
+       void simpleTimelineTest()\r
+       {\r
+               Timeline t = new Timeline(3);\r
+               flag = false;\r
+               t.addEvent((e) ->\r
+               {\r
+                       if (!flag)\r
+                               fail();\r
+                       flag = false;\r
+               }, 15);\r
+               t.addEvent((e) ->\r
+               {\r
+                       if (flag)\r
+                               fail();\r
+                       flag = true;\r
+               }, 10);\r
+               t.addEvent((e) ->\r
+               {\r
+                       if (flag)\r
+                               fail();\r
+                       flag = true;\r
+               }, 20);\r
+               t.addEvent((e) ->\r
+               {\r
+                       fail("Only supposed to execute until timestamp 20, not 25");\r
+               }, 25);\r
+\r
+               t.executeUntil(t.laterThan(20), 100);\r
+\r
+               if (!flag)\r
+                       fail();\r
+       }\r
+\r
        @Test\r
        void multipleInputs()\r
        {\r
index 28798d4..0ff118a 100644 (file)
@@ -282,7 +282,7 @@ public class GUITest extends JPanel
 \r
                while (f.isVisible())\r
                {\r
-                       ExecutionResult er = gt.getTimeline().executeUpTo((lastFrame - begin) * 3, lastFrame + 14);\r
+                       ExecutionResult er = gt.getTimeline().executeUntil(gt.getTimeline().laterThan((lastFrame - begin) * 3), lastFrame + 14);\r
 //                             if (t.hasNext()) \r
 //                             t.executeNext();\r
                        if (er != ExecutionResult.NOTHING_DONE)\r
index c22e1a4..20af398 100644 (file)
@@ -3,7 +3,9 @@ package era.mi.logic.timeline;
 import java.util.ArrayList;
 import java.util.List;
 import java.util.PriorityQueue;
+import java.util.function.BooleanSupplier;
 import java.util.function.Consumer;
+import java.util.function.LongSupplier;
 
 /**
  * Orders Events by the time they are due to be executed. Can execute Events individually.
@@ -14,7 +16,8 @@ import java.util.function.Consumer;
 public class Timeline
 {
        private PriorityQueue<InnerEvent> events;
-       private long currentTime = 0;
+       private LongSupplier time;
+       private long lastTimeUpdated = 0;
 
        private final List<Consumer<TimelineEvent>> eventAddedListener;
 
@@ -23,6 +26,16 @@ public class Timeline
                events = new PriorityQueue<InnerEvent>(initCapacity);
 
                eventAddedListener = new ArrayList<>();
+               time = () -> lastTimeUpdated;
+       }
+
+       /**
+        * @param timestamp exclusive
+        * @return true if the first event is later than the timestamp
+        */
+       public BooleanSupplier laterThan(long timestamp)
+       {
+               return () -> timeCmp(events.peek().getTiming(), timestamp) > 0;
        }
 
        public boolean hasNext()
@@ -30,11 +43,14 @@ public class Timeline
                return !events.isEmpty();
        }
 
+       /**
+        * Executes all events at the next timestamp, at which there are any
+        */
        public void executeNext()
        {
                InnerEvent first = events.peek();
                if (first != null)
-                       executeUpTo(first.getTiming(), -1);
+                       executeUntil(laterThan(first.getTiming()), -1);
        }
 
        public void executeAll()
@@ -44,40 +60,51 @@ public class Timeline
        }
 
        /**
-        * Executes all events up to a given simulation timestamp. The simulation process can be constrained by a real world timestamp.
+        * Executes all events until a given condition is met. The simulation process can be constrained by a real world timestamp.
         * 
-        * @param timestamp  the simulation timestamp up to which the events will be processed
+        * @param condition  the condition until which the events are be processed
         * @param stopMillis the System.currentTimeMillis() when simulation definitely needs to stop. A value of -1 means no timeout.
-        * @return if it was possible to fulfill the goal in the given real world time.
-        * @author Christian Femers
+        * @return State of the event execution
+        * @formatter:off
+        * <code>NOTHING_DONE</code> if the {@link Timeline} was already empty
+        * <code>EXEC_OUT_OF_TIME</code> if the given maximum time was reached
+        * <code>EXEC_UNTIL_CONDITION</code> if the condition was met
+        * <code>EXEC_UNTIL_EMPTY</code> if events were executed until the {@link Timeline} was empty
+        * @formatter:on
+        * @author Christian Femers, Fabian Stemmler
         */
-       public ExecutionResult executeUpTo(long timestamp, long stopMillis)
+       public ExecutionResult executeUntil(BooleanSupplier condition, long stopMillis)
        {
                if (events.isEmpty())
                {
-                       currentTime = timestamp;
+                       lastTimeUpdated = getSimulationTime();
                        return ExecutionResult.NOTHING_DONE;
                }
                int checkStop = 0;
                InnerEvent first = events.peek();
-               while (first != null && first.getTiming() <= timestamp)
+               while (hasNext() && !condition.getAsBoolean())
                {
                        events.remove();
-                       currentTime = first.getTiming();
+                       lastTimeUpdated = first.getTiming();
                        first.run();
                        // Don't check after every run
                        checkStop = (checkStop + 1) % 10;
                        if (checkStop == 0 && System.currentTimeMillis() >= stopMillis)
-                               return ExecutionResult.RAN_OUT_OF_TIME;
+                               return ExecutionResult.EXEC_OUT_OF_TIME;
                        first = events.peek();
                }
-               currentTime = timestamp;
-               return ExecutionResult.DONE_IN_TIME;
+               lastTimeUpdated = getSimulationTime();
+               return hasNext() ? ExecutionResult.EXEC_UNTIL_EMPTY : ExecutionResult.EXEC_UNTIL_CONDITION;
+       }
+
+       public void setTimeFunction(LongSupplier time)
+       {
+               this.time = time;
        }
 
        public long getSimulationTime()
        {
-               return currentTime;
+               return time.getAsLong();
        }
 
        public long nextEventTime()
@@ -90,7 +117,7 @@ public class Timeline
        public void reset()
        {
                events.clear();
-               currentTime = 0;
+               lastTimeUpdated = 0;
        }
 
        public void addEventAddedListener(Consumer<TimelineEvent> listener)
@@ -111,7 +138,7 @@ public class Timeline
         */
        public void addEvent(TimelineEventHandler function, int relativeTiming)
        {
-               long timing = currentTime + relativeTiming;
+               long timing = getSimulationTime() + relativeTiming;
                TimelineEvent event = new TimelineEvent(timing);
                events.add(new InnerEvent(function, event));
                eventAddedListener.forEach(l -> l.accept(event));
@@ -154,26 +181,23 @@ public class Timeline
                @Override
                public int compareTo(InnerEvent o)
                {
-                       long difference = getTiming() - o.getTiming();
-                       if (difference == 0)
-                               return 0;
-                       return difference < 0 ? -1 : 1;
+                       return timeCmp(getTiming(), o.getTiming());
                }
        }
 
-       @Override
-       public String toString()
+       private static int timeCmp(long a, long b)
        {
-               return "simulation time: " + currentTime + ", " + events.toString();
+               return Long.signum(a - b);
        }
 
-       public static long toNanoseconds(long ticks)
+       @Override
+       public String toString()
        {
-               return ticks; // TODO: Alter this when it has been determined how ticks should relate to real time.
+               return String.format("Simulation time: %s, Last update: %d, Events: %s", getSimulationTime(), lastTimeUpdated, events.toString());
        }
 
        public enum ExecutionResult
        {
-               NOTHING_DONE, DONE_IN_TIME, RAN_OUT_OF_TIME
+               NOTHING_DONE, EXEC_UNTIL_EMPTY, EXEC_UNTIL_CONDITION, EXEC_OUT_OF_TIME
        }
 }
\ No newline at end of file