Added serialization test for MMLTs.

Author: tupaul

serialization/dot/src/test/java/net/automatalib/serialization/dot/LocalTimerMealyDeserializationTest.java renamed to serialization/dot/src/test/java/net/automatalib/serialization/dot/LocalTimerMealyTests.java

@@ -7,13 +7,45 @@
 import org.testng.annotations.Test;
 
 import java.io.File;
+import java.nio.file.Files;
+import java.nio.file.Paths;
+import java.util.Arrays;
+import java.util.List;
 
-public class LocalTimerMealyDeserializationTest {
+public class LocalTimerMealyTests {
+
+    @Test
+    public void parseAndWriteDemoModel() {
+        var demoResource = LocalTimerMealyTests.class.getResource("/demo_mmlt.dot");
+        var expResultPath = Paths.get(LocalTimerMealyTests.class.getResource("/demo_expected_serialized.dot").getPath());
+        var demoModel = LocalTimerMealyGraphvizParser.parseLocalTimerMealy(new File(demoResource.getFile()), "void", StringSymbolCombiner.getInstance());
+
+
+        StringBuilder sbOutput = new StringBuilder();
+        try {
+            List<String> expected = Files.readAllLines(expResultPath).stream()
+                    .filter(l -> !l.isBlank() && !l.startsWith("//"))
+                    .map(String::trim)
+                    .toList();
+
+            GraphDOT.write(demoModel.transitionGraphView(true, true), sbOutput);
+            var actualData = sbOutput.toString();
+            System.out.println(actualData);
+            List<String> actual = Arrays.stream(actualData.split("\\n"))
+                    .filter(l -> !l.isBlank())
+                    .map(String::trim)
+                    .toList();
+
+            Assert.assertEquals(expected, actual);
+        } catch (Exception ex) {
+            throw new AssertionError();
+        }
+    }
 
     @Test
     public void parseSensorModel() {
         // Load a model from file:
-        var resource = LocalTimerMealyDeserializationTest.class.getResource("/sensor_mmlt.dot");
+        var resource = LocalTimerMealyTests.class.getResource("/sensor_mmlt.dot");
 
         var dotAutomaton = LocalTimerMealyGraphvizParser.parseLocalTimerMealy(new File(resource.getFile()), "void", StringSymbolCombiner.getInstance());
 

serialization/dot/src/test/resources/demo_expected_serialized.dot

@@ -0,0 +1,20 @@
+// Resulting model that is expected when deserializing demo_mmlt.gv first, and then
+// serializing the result with edge coloring and reset information enabled.
+digraph g {
+
+	s0 [timers="a=2" shape="circle" label="0"];
+	s1 [timers="b=4,c=6" shape="circle" label="1"];
+	s2 [timers="d=2,e=3" shape="circle" label="2"];
+	s0 -> s1 [color="chartreuse3" fontcolor="chartreuse3" label="to[a] / A {b↦4,c↦6}"];
+	s1 -> s1 [color="cornflowerblue" fontcolor="cornflowerblue" label="to[b] / B {b↦4}"];
+	s1 -> s1 [color="chartreuse3" fontcolor="chartreuse3" label="to[c] / C {b↦4,c↦6}"];
+	s1 -> s2 [label="x / void {}"];
+	s1 -> s1 [color="orange" fontcolor="orange" label="y / Y {b↦4,c↦6}"];
+	s2 -> s2 [color="cornflowerblue" fontcolor="cornflowerblue" label="to[d] / D {d↦2}"];
+	s2 -> s2 [color="cornflowerblue" fontcolor="cornflowerblue" label="to[e] / E {e↦3}"];
+	s2 -> s2 [label="y / D {}"];
+
+__start0 [label="" shape="none" width="0" height="0"];
+__start0 -> s0;
+
+}

serialization/dot/src/test/resources/demo_mmlt.dot

@@ -0,0 +1,20 @@
+// This file demonstrates several MMLT features
+digraph g {
+   s0 [label="L0" timers="a=2"]
+   s1 [label="L1" timers="b=4,c=6"]
+   s2 [label="L2" timers="d=2,e=3"]
+
+   s0 -> s1 [label="to[a] / A"] // one-shot with location change
+   s1 -> s1 [label="to[b] / B"] // periodic
+   s1 -> s1 [label="to[c] / C" resets="b,c"] // one-shot with loop
+
+   s2 -> s2 [label="to[d] / D" resets="d"] // periodic with explicit resets
+   s2 -> s2 [label="to[e] / E"] // periodic
+
+   s1 -> s2 [label="x / void"]
+   s1 -> s1 [label="y / Y" resets="b,c"] // loop with local reset
+   s2 -> s2 [label="y / D"] // loop without reset
+
+   __start0 [label="" shape="none" width="0" height="0"];
+   __start0 -> s0;
+}