Added rendered image of chatclient model

examples/chatclient/model_chatclient.svg

@@ -0,0 +1,417 @@
+<?xml version="1.0" encoding="UTF-8" standalone="no"?>
+<!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.1//EN"
+ "http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd">
+<!-- Generated by graphviz version 2.40.1 (20161225.0304)
+ -->
+<!-- Title: state transitions Pages: 1 -->
+<svg width="3132pt" height="1734pt"
+ viewBox="0.00 0.00 3132.00 1734.00" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink">
+<g id="graph0" class="graph" transform="scale(1 1) rotate(0) translate(4 1730)">
+<title>state transitions</title>
+<polygon fill="#ffffff" stroke="transparent" points="-4,4 -4,-1730 3128,-1730 3128,4 -4,4"/>
+<g id="clust1" class="cluster">
+<title>cluster__p</title>
+<path fill="none" stroke="#000000" stroke-width="2" d="M20,-8C20,-8 3104,-8 3104,-8 3110,-8 3116,-14 3116,-20 3116,-20 3116,-1675 3116,-1675 3116,-1681 3110,-1687 3104,-1687 3104,-1687 20,-1687 20,-1687 14,-1687 8,-1681 8,-1675 8,-1675 8,-20 8,-20 8,-14 14,-8 20,-8"/>
+<text text-anchor="start" x="1558.6646" y="-1668.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">p</text>
+</g>
+<g id="clust2" class="cluster">
+<title>cluster__p_listening</title>
+<polygon fill="none" stroke="#000000" stroke-dasharray="5,2" points="2714,-1391 2714,-1636.5 3108,-1636.5 3108,-1391 2714,-1391"/>
+<text text-anchor="start" x="2888.9968" y="-1617.7" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">listening</text>
+</g>
+<g id="clust3" class="cluster">
+<title>cluster__p_polling</title>
+<polygon fill="none" stroke="#000000" stroke-dasharray="5,2" points="2310,-1265 2310,-1649 2706,-1649 2706,-1265 2310,-1265"/>
+<text text-anchor="start" x="2490.6642" y="-1630.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">polling</text>
+</g>
+<g id="clust4" class="cluster">
+<title>cluster__p_main</title>
+<polygon fill="none" stroke="#000000" stroke-dasharray="5,2" points="24,-16 24,-1636.5 2302,-1636.5 2302,-16 24,-16"/>
+<text text-anchor="start" x="1150.5004" y="-1617.7" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">main</text>
+</g>
+<g id="clust5" class="cluster">
+<title>cluster__p_main_connected</title>
+<path fill="none" stroke="#000000" stroke-width="2" d="M44,-24C44,-24 1312,-24 1312,-24 1318,-24 1324,-30 1324,-36 1324,-36 1324,-1056 1324,-1056 1324,-1062 1318,-1068 1312,-1068 1312,-1068 44,-1068 44,-1068 38,-1068 32,-1062 32,-1056 32,-1056 32,-36 32,-36 32,-30 38,-24 44,-24"/>
+<text text-anchor="start" x="650.8202" y="-1049.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">connected</text>
+</g>
+<g id="clust6" class="cluster">
+<title>cluster__p_main_connected_joined</title>
+<path fill="none" stroke="#000000" stroke-width="2" d="M52,-433C52,-433 857,-433 857,-433 863,-433 869,-439 869,-445 869,-445 869,-1018 869,-1018 869,-1024 863,-1030 857,-1030 857,-1030 52,-1030 52,-1030 46,-1030 40,-1024 40,-1018 40,-1018 40,-445 40,-445 40,-439 46,-433 52,-433"/>
+<text text-anchor="start" x="438.4956" y="-1011.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">joined</text>
+</g>
+<g id="clust7" class="cluster">
+<title>cluster__p_main_reconnecting</title>
+<path fill="none" stroke="#000000" stroke-width="2" d="M1344,-558C1344,-558 2282,-558 2282,-558 2288,-558 2294,-564 2294,-570 2294,-570 2294,-862 2294,-862 2294,-868 2288,-874 2282,-874 2282,-874 1344,-874 1344,-874 1338,-874 1332,-868 1332,-862 1332,-862 1332,-570 1332,-570 1332,-564 1338,-558 1344,-558"/>
+<text text-anchor="start" x="1779.156" y="-855.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">reconnecting</text>
+<text text-anchor="start" x="1749.8226" y="-835.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">enter /input_command()</text>
+<polygon fill="#000000" stroke="#000000" points="1746,-849 1746,-849 1881,-849 1881,-849 1746,-849"/>
+</g>
+<g id="clust8" class="cluster">
+<title>cluster__p_main_disconnected</title>
+<path fill="none" stroke="#000000" stroke-width="2" d="M846,-1150C846,-1150 2041,-1150 2041,-1150 2047,-1150 2053,-1156 2053,-1162 2053,-1162 2053,-1481 2053,-1481 2053,-1487 2047,-1493 2041,-1493 2041,-1493 846,-1493 846,-1493 840,-1493 834,-1487 834,-1481 834,-1481 834,-1162 834,-1162 834,-1156 840,-1150 846,-1150"/>
+<text text-anchor="start" x="1408.6534" y="-1474.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">disconnected</text>
+<text text-anchor="start" x="1380.3226" y="-1454.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">enter /input_command()</text>
+<polygon fill="#000000" stroke="#000000" points="1376.5,-1468 1376.5,-1468 1511.5,-1468 1511.5,-1468 1376.5,-1468"/>
+</g>
+<!-- __initial -->
+<g id="node1" class="node">
+<title>__initial</title>
+<ellipse fill="#000000" stroke="#000000" stroke-width="2" cx="16" cy="-1720.5" rx="5.5" ry="5.5"/>
+</g>
+<!-- _p -->
+<!-- __initial&#45;&gt;_p -->
+<g id="edge1" class="edge">
+<title>__initial&#45;&gt;_p</title>
+<path fill="none" stroke="#000000" d="M16,-1714.6903C16,-1710.6144 16,-1704.6212 16,-1697.446"/>
+<polygon fill="#000000" stroke="#000000" points="19.5001,-1696.9982 16,-1686.9982 12.5001,-1696.9982 19.5001,-1696.9982"/>
+<text text-anchor="middle" x="17.3895" y="-1698" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000"> </text>
+</g>
+<!-- _p_listening -->
+<!-- _p_listening_initial -->
+<g id="node4" class="node">
+<title>_p_listening_initial</title>
+<ellipse fill="#000000" stroke="#000000" stroke-width="2" cx="2750" cy="-1593" rx="5.5" ry="5.5"/>
+</g>
+<!-- _p_listening_l -->
+<g id="node5" class="node">
+<title>_p_listening_l</title>
+<polygon fill="transparent" stroke="transparent" stroke-width="2" points="2778,-1435 2722,-1435 2722,-1399 2778,-1399 2778,-1435"/>
+<text text-anchor="start" x="2748.6686" y="-1413.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">l</text>
+<path fill="none" stroke="#000000" stroke-width="2" d="M2734.3333,-1400C2734.3333,-1400 2765.6667,-1400 2765.6667,-1400 2771.3333,-1400 2777,-1405.6667 2777,-1411.3333 2777,-1411.3333 2777,-1422.6667 2777,-1422.6667 2777,-1428.3333 2771.3333,-1434 2765.6667,-1434 2765.6667,-1434 2734.3333,-1434 2734.3333,-1434 2728.6667,-1434 2723,-1428.3333 2723,-1422.6667 2723,-1422.6667 2723,-1411.3333 2723,-1411.3333 2723,-1405.6667 2728.6667,-1400 2734.3333,-1400"/>
+</g>
+<!-- _p_listening_initial&#45;&gt;_p_listening_l -->
+<g id="edge2" class="edge">
+<title>_p_listening_initial&#45;&gt;_p_listening_l</title>
+<path fill="none" stroke="#000000" d="M2750,-1587.4659C2750,-1580.482 2750,-1568.1007 2750,-1557.5 2750,-1557.5 2750,-1557.5 2750,-1510.5 2750,-1488.6532 2750,-1463.9349 2750,-1445.4027"/>
+<polygon fill="#000000" stroke="#000000" points="2753.5001,-1445.2744 2750,-1435.2744 2746.5001,-1445.2745 2753.5001,-1445.2744"/>
+<text text-anchor="middle" x="2751.3895" y="-1531" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000"> </text>
+</g>
+<!-- _p_listening_l&#45;&gt;_p_listening_l -->
+<g id="edge3" class="edge">
+<title>_p_listening_l&#45;&gt;_p_listening_l</title>
+<path fill="none" stroke="#000000" d="M2778.0183,-1423.3092C2789.888,-1423.7847 2800,-1421.6816 2800,-1417 2800,-1413.7814 2795.2205,-1411.7815 2788.3762,-1411.0004"/>
+<polygon fill="#000000" stroke="#000000" points="2788.1184,-1407.4913 2778.0183,-1410.6908 2787.9092,-1414.4881 2788.1184,-1407.4913"/>
+<text text-anchor="start" x="2800" y="-1414" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">receive_message(msg:str)/add_message(msg,&quot;remote_message&quot;) &#160;&#160;</text>
+</g>
+<!-- _p_polling -->
+<!-- _p_polling_initial -->
+<g id="node7" class="node">
+<title>_p_polling_initial</title>
+<polygon fill="transparent" stroke="transparent" stroke-width="2" points="2393,-1611 2337,-1611 2337,-1575 2393,-1575 2393,-1611"/>
+<text text-anchor="start" x="2351.3362" y="-1589.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">initial</text>
+<path fill="none" stroke="#000000" stroke-width="2" d="M2349.3333,-1576C2349.3333,-1576 2380.6667,-1576 2380.6667,-1576 2386.3333,-1576 2392,-1581.6667 2392,-1587.3333 2392,-1587.3333 2392,-1598.6667 2392,-1598.6667 2392,-1604.3333 2386.3333,-1610 2380.6667,-1610 2380.6667,-1610 2349.3333,-1610 2349.3333,-1610 2343.6667,-1610 2338,-1604.3333 2338,-1598.6667 2338,-1598.6667 2338,-1587.3333 2338,-1587.3333 2338,-1581.6667 2343.6667,-1576 2349.3333,-1576"/>
+</g>
+<!-- _p_polling_initial&#45;&gt;_p_polling_initial -->
+<g id="edge4" class="edge">
+<title>_p_polling_initial&#45;&gt;_p_polling_initial</title>
+<path fill="none" stroke="#000000" d="M2393.0183,-1597.8247C2404.888,-1598.1883 2415,-1596.5801 2415,-1593 2415,-1590.5387 2410.2205,-1589.0094 2403.3762,-1588.4121"/>
+<polygon fill="#000000" stroke="#000000" points="2403.0957,-1584.9049 2393.0183,-1588.1753 2402.9356,-1591.903 2403.0957,-1584.9049"/>
+<text text-anchor="middle" x="2416.3895" y="-1590" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000"> </text>
+</g>
+<!-- _p_polling_polling -->
+<g id="node9" class="node">
+<title>_p_polling_polling</title>
+<polygon fill="transparent" stroke="transparent" stroke-width="2" points="2698,-1435 2642,-1435 2642,-1399 2698,-1399 2698,-1435"/>
+<text text-anchor="start" x="2652.6642" y="-1413.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">polling</text>
+<path fill="none" stroke="#000000" stroke-width="2" d="M2654.3333,-1400C2654.3333,-1400 2685.6667,-1400 2685.6667,-1400 2691.3333,-1400 2697,-1405.6667 2697,-1411.3333 2697,-1411.3333 2697,-1422.6667 2697,-1422.6667 2697,-1428.3333 2691.3333,-1434 2685.6667,-1434 2685.6667,-1434 2654.3333,-1434 2654.3333,-1434 2648.6667,-1434 2643,-1428.3333 2643,-1422.6667 2643,-1422.6667 2643,-1411.3333 2643,-1411.3333 2643,-1405.6667 2648.6667,-1400 2654.3333,-1400"/>
+</g>
+<!-- _p_polling_initial&#45;&gt;_p_polling_polling -->
+<g id="edge8" class="edge">
+<title>_p_polling_initial&#45;&gt;_p_polling_polling</title>
+<path fill="none" stroke="#000000" d="M2393.0258,-1591.9989C2436.1874,-1589.6833 2514,-1582.0977 2514,-1557.5 2514,-1557.5 2514,-1557.5 2514,-1510.5 2514,-1485.5287 2604.338,-1507.0232 2625,-1493 2641.9698,-1481.4826 2653.4909,-1461.2546 2660.6246,-1444.5618"/>
+<polygon fill="#000000" stroke="#000000" points="2663.8907,-1445.8203 2664.3259,-1435.2344 2657.3842,-1443.2384 2663.8907,-1445.8203"/>
+<text text-anchor="start" x="2514" y="-1531" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">connected &#160;&#160;</text>
+</g>
+<!-- _p_polling_expecting_answer -->
+<g id="node8" class="node">
+<title>_p_polling_expecting_answer</title>
+<polygon fill="transparent" stroke="transparent" stroke-width="2" points="2578,-1309 2460,-1309 2460,-1273 2578,-1273 2578,-1309"/>
+<text text-anchor="start" x="2470.6538" y="-1287.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">expecting_answer</text>
+<path fill="none" stroke="#000000" stroke-width="2" d="M2472.3333,-1274C2472.3333,-1274 2565.6667,-1274 2565.6667,-1274 2571.3333,-1274 2577,-1279.6667 2577,-1285.3333 2577,-1285.3333 2577,-1296.6667 2577,-1296.6667 2577,-1302.3333 2571.3333,-1308 2565.6667,-1308 2565.6667,-1308 2472.3333,-1308 2472.3333,-1308 2466.6667,-1308 2461,-1302.3333 2461,-1296.6667 2461,-1296.6667 2461,-1285.3333 2461,-1285.3333 2461,-1279.6667 2466.6667,-1274 2472.3333,-1274"/>
+</g>
+<!-- _p_polling_expecting_answer&#45;&gt;_p_polling_initial -->
+<g id="edge6" class="edge">
+<title>_p_polling_expecting_answer&#45;&gt;_p_polling_initial</title>
+<path fill="none" stroke="#000000" d="M2459.8926,-1297.182C2407.7539,-1303.4631 2340,-1314.0254 2340,-1326.5 2340,-1557.5 2340,-1557.5 2340,-1557.5 2340,-1560.3009 2340.5267,-1563.0366 2341.4271,-1565.6669"/>
+<polygon fill="#000000" stroke="#000000" points="2338.366,-1567.3679 2346.0518,-1574.6603 2344.5912,-1564.1666 2338.366,-1567.3679"/>
+<text text-anchor="start" x="2340" y="-1414" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">after(2 s)^do_disconnect /print(&quot;polling timeout... disconnect&quot;) &#160;&#160;</text>
+</g>
+<!-- _p_polling_expecting_answer&#45;&gt;_p_polling_polling -->
+<g id="edge5" class="edge">
+<title>_p_polling_expecting_answer&#45;&gt;_p_polling_polling</title>
+<path fill="none" stroke="#000000" d="M2578.284,-1294.2099C2620.2115,-1298.165 2669,-1306.9644 2669,-1326.5 2669,-1373.5 2669,-1373.5 2669,-1373.5 2669,-1378.4338 2669.0651,-1383.6815 2669.1621,-1388.7618"/>
+<polygon fill="#000000" stroke="#000000" points="2665.6639,-1388.8845 2669.3952,-1398.8005 2672.662,-1388.7219 2665.6639,-1388.8845"/>
+<text text-anchor="start" x="2669" y="-1347" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">alive &#160;&#160;</text>
+</g>
+<!-- _p_polling_polling&#45;&gt;_p_polling_expecting_answer -->
+<g id="edge7" class="edge">
+<title>_p_polling_polling&#45;&gt;_p_polling_expecting_answer</title>
+<path fill="none" stroke="#000000" d="M2642.1843,-1398.8745C2636.6593,-1395.8717 2630.7765,-1393.0679 2625,-1391 2602.5225,-1382.9534 2519,-1397.3744 2519,-1373.5 2519,-1373.5 2519,-1373.5 2519,-1326.5 2519,-1324.1079 2519,-1321.6252 2519,-1319.1342"/>
+<polygon fill="#000000" stroke="#000000" points="2522.5001,-1319.0597 2519,-1309.0598 2515.5001,-1319.0598 2522.5001,-1319.0597"/>
+<text text-anchor="start" x="2519" y="-1347" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">after(1 s)^network.poll &#160;&#160;</text>
+</g>
+<!-- _p_main -->
+<!-- _p_main_initial -->
+<g id="node11" class="node">
+<title>_p_main_initial</title>
+<ellipse fill="#000000" stroke="#000000" stroke-width="2" cx="1504" cy="-1593" rx="5.5" ry="5.5"/>
+</g>
+<!-- _p_main_disconnected -->
+<!-- _p_main_initial&#45;&gt;_p_main_disconnected -->
+<g id="edge9" class="edge">
+<title>_p_main_initial&#45;&gt;_p_main_disconnected</title>
+<path fill="none" stroke="#000000" d="M1504,-1587.4659C1504,-1580.482 1504,-1568.1007 1504,-1557.5 1504,-1557.5 1504,-1557.5 1504,-1510.5 1504,-1508.0985 1504,-1505.6623 1504,-1503.2034"/>
+<polygon fill="#000000" stroke="#000000" points="1507.5001,-1502.998 1504,-1492.998 1500.5001,-1502.998 1507.5001,-1502.998"/>
+<text text-anchor="middle" x="1505.3895" y="-1531" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000"> </text>
+</g>
+<!-- _p_main_connected -->
+<!-- _p_main_reconnecting -->
+<!-- _p_main_connected&#45;&gt;_p_main_reconnecting -->
+<g id="edge24" class="edge">
+<title>_p_main_connected&#45;&gt;_p_main_reconnecting</title>
+<path fill="none" stroke="#000000" d="M1323.9984,-973.0916C1340.5443,-970.722 1377,-962.7496 1377,-938.5 1377,-938.5 1377,-938.5 1377,-891.5 1377,-871.6347 1401.9403,-885.7721 1418.7247,-879.7582"/>
+<polygon fill="#000000" stroke="#000000" points="1420.7907,-882.5846 1427,-874 1416.7925,-876.8387 1420.7907,-882.5846"/>
+<text text-anchor="start" x="1377" y="-912" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">do_disconnect/add_message(&quot;disconnected&quot;,&quot;info&quot;) &#160;&#160;</text>
+</g>
+<!-- _p_main_connected_initial -->
+<g id="node13" class="node">
+<title>_p_main_connected_initial</title>
+<ellipse fill="#000000" stroke="#000000" stroke-width="2" cx="1106" cy="-691" rx="5.5" ry="5.5"/>
+</g>
+<!-- _p_main_connected_connected -->
+<g id="node16" class="node">
+<title>_p_main_connected_connected</title>
+<polygon fill="transparent" stroke="transparent" stroke-width="2" points="954.5,-482 877.5,-482 877.5,-446 954.5,-446 954.5,-482"/>
+<text text-anchor="start" x="888.8202" y="-460.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">connected</text>
+<path fill="none" stroke="#000000" stroke-width="2" d="M889.8333,-447C889.8333,-447 942.1667,-447 942.1667,-447 947.8333,-447 953.5,-452.6667 953.5,-458.3333 953.5,-458.3333 953.5,-469.6667 953.5,-469.6667 953.5,-475.3333 947.8333,-481 942.1667,-481 942.1667,-481 889.8333,-481 889.8333,-481 884.1667,-481 878.5,-475.3333 878.5,-469.6667 878.5,-469.6667 878.5,-458.3333 878.5,-458.3333 878.5,-452.6667 884.1667,-447 889.8333,-447"/>
+</g>
+<!-- _p_main_connected_initial&#45;&gt;_p_main_connected_connected -->
+<g id="edge10" class="edge">
+<title>_p_main_connected_initial&#45;&gt;_p_main_connected_connected</title>
+<path fill="none" stroke="#000000" d="M1106.757,-685.4781C1107.6458,-678.5068 1109,-666.1385 1109,-655.5 1109,-655.5 1109,-655.5 1109,-504.5 1109,-473.8082 1001.673,-494.8422 972,-487 969.4215,-486.3185 966.804,-485.5462 964.1806,-484.7077"/>
+<polygon fill="#000000" stroke="#000000" points="965.3087,-481.3945 954.7139,-481.426 963.0159,-488.0084 965.3087,-481.3945"/>
+<text text-anchor="middle" x="1110.3895" y="-581" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000"> </text>
+</g>
+<!-- _p_main_connected_joining -->
+<g id="node14" class="node">
+<title>_p_main_connected_joining</title>
+<polygon fill="transparent" stroke="transparent" stroke-width="2" points="1274,-78 1162,-78 1162,-32 1274,-32 1274,-78"/>
+<text text-anchor="start" x="1200.6642" y="-61.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">joining</text>
+<text text-anchor="start" x="1167.8448" y="-41.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">enter ^network.join</text>
+<polygon fill="#000000" stroke="#000000" points="1162,-55 1162,-55 1274,-55 1274,-55 1162,-55"/>
+<path fill="none" stroke="#000000" stroke-width="2" d="M1175,-33C1175,-33 1261,-33 1261,-33 1267,-33 1273,-39 1273,-45 1273,-45 1273,-65 1273,-65 1273,-71 1267,-77 1261,-77 1261,-77 1175,-77 1175,-77 1169,-77 1163,-71 1163,-65 1163,-65 1163,-45 1163,-45 1163,-39 1169,-33 1175,-33"/>
+</g>
+<!-- _p_main_connected_joined_H -->
+<g id="node21" class="node">
+<title>_p_main_connected_joined_H</title>
+<ellipse fill="transparent" stroke="#000000" stroke-width="2" cx="821" cy="-974" rx="18" ry="18"/>
+<text text-anchor="middle" x="821" y="-970.4" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">H</text>
+</g>
+<!-- _p_main_connected_joining&#45;&gt;_p_main_connected_joined_H -->
+<g id="edge17" class="edge">
+<title>_p_main_connected_joining&#45;&gt;_p_main_connected_joined_H</title>
+<path fill="none" stroke="#000000" d="M1218,-78.1306C1218,-83.8105 1218,-89.875 1218,-95.5 1218,-223.5 1218,-223.5 1218,-223.5 1218,-345.3231 1087.8245,-320.4327 1041.247,-433 1032.0709,-455.1765 1025.2873,-469.0755 1041.247,-487 1051.4755,-498.4877 1097.2169,-486.4453 1110,-495 1132.1472,-509.8214 1135,-522.8509 1135,-549.5 1135,-938.5 1135,-938.5 1135,-938.5 1135,-970.2263 880.2294,-946.3697 850,-956 848.1368,-956.5936 846.272,-957.3332 844.4371,-958.1714"/>
+<polygon fill="#000000" stroke="#000000" points="842.7574,-955.1008 835.6562,-962.9636 846.1108,-961.2453 842.7574,-955.1008"/>
+<text text-anchor="start" x="1041" y="-461" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">joined/add_message(&quot;joined room &quot; + int_to_str(room_number),&quot;info&quot;) &#160;&#160;</text>
+</g>
+<!-- _p_main_connected_getting_roomnumber -->
+<g id="node15" class="node">
+<title>_p_main_connected_getting_roomnumber</title>
+<polygon fill="transparent" stroke="transparent" stroke-width="2" points="172,-268 40,-268 40,-232 172,-232 172,-268"/>
+<text text-anchor="start" x="50.6548" y="-246.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">getting_roomnumber</text>
+<path fill="none" stroke="#000000" stroke-width="2" d="M52.3333,-233C52.3333,-233 159.6667,-233 159.6667,-233 165.3333,-233 171,-238.6667 171,-244.3333 171,-244.3333 171,-255.6667 171,-255.6667 171,-261.3333 165.3333,-267 159.6667,-267 159.6667,-267 52.3333,-267 52.3333,-267 46.6667,-267 41,-261.3333 41,-255.6667 41,-255.6667 41,-244.3333 41,-244.3333 41,-238.6667 46.6667,-233 52.3333,-233"/>
+</g>
+<!-- _p_main_connected_getting_roomnumber&#45;&gt;_p_main_connected_joining -->
+<g id="edge19" class="edge">
+<title>_p_main_connected_getting_roomnumber&#45;&gt;_p_main_connected_joining</title>
+<path fill="none" stroke="#000000" d="M172.2761,-245.8546C265.4728,-239.5759 424,-227.0511 424,-214.5 424,-214.5 424,-214.5 424,-95.5 424,-77.3407 960.8502,-61.6618 1151.6752,-56.6623"/>
+<polygon fill="#000000" stroke="#000000" points="1151.9457,-60.1565 1161.8511,-56.3972 1151.7633,-53.1589 1151.9457,-60.1565"/>
+<text text-anchor="start" x="424" y="-152" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">input(char:str) [is_enter(char)]/room_number = stoi(get_buffer())⁏ clear_input()⁏ input_command()⁏ &#160;&#160;</text>
+</g>
+<!-- _p_main_connected_getting_roomnumber&#45;&gt;_p_main_connected_getting_roomnumber -->
+<g id="edge18" class="edge">
+<title>_p_main_connected_getting_roomnumber&#45;&gt;_p_main_connected_getting_roomnumber</title>
+<path fill="none" stroke="#000000" d="M172.0089,-251.5527C184.8682,-251.3724 194,-250.8548 194,-250 194,-249.399 189.4854,-248.9646 182.3348,-248.6971"/>
+<polygon fill="#000000" stroke="#000000" points="182.0906,-245.1902 172.0089,-248.4473 181.9213,-252.1882 182.0906,-245.1902"/>
+<text text-anchor="start" x="194" y="-247" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">input(char:str) [is_backspace(char)]/remove_last_in_buffer() &#160;&#160;</text>
+</g>
+<!-- _p_main_connected_getting_roomnumber&#45;&gt;_p_main_connected_getting_roomnumber -->
+<g id="edge20" class="edge">
+<title>_p_main_connected_getting_roomnumber&#45;&gt;_p_main_connected_getting_roomnumber</title>
+<path fill="none" stroke="#000000" d="M172.1694,-252.3462C278.0035,-254.0913 467.367,-253.3092 467.367,-250 467.367,-246.7942 289.6538,-245.96 182.3277,-247.4976"/>
+<polygon fill="#000000" stroke="#000000" points="182.1144,-244.0004 172.1694,-247.6538 182.2221,-250.9995 182.1144,-244.0004"/>
+<text text-anchor="start" x="467.367" y="-247" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">input(char:str) [is_numerical(char)]/append_to_buffer(char) &#160;&#160;</text>
+</g>
+<!-- _p_main_connected_getting_roomnumber&#45;&gt;_p_main_connected_getting_roomnumber -->
+<g id="edge21" class="edge">
+<title>_p_main_connected_getting_roomnumber&#45;&gt;_p_main_connected_getting_roomnumber</title>
+<path fill="none" stroke="#000000" d="M172.0865,-252.8004C335.7599,-256.3036 735.181,-255.3701 735.181,-250 735.181,-244.7374 351.5922,-243.7356 182.1949,-246.9945"/>
+<polygon fill="#000000" stroke="#000000" points="182.0134,-243.4974 172.0865,-247.1996 182.1555,-250.4959 182.0134,-243.4974"/>
+<text text-anchor="start" x="735.181" y="-247" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">input(char:str) [not is_numerical(char)]/add_message(&quot;only numerical input allowed!&quot;,&quot;warning&quot;) &#160;&#160;</text>
+</g>
+<!-- _p_main_connected_connected&#45;&gt;_p_main_connected_getting_roomnumber -->
+<g id="edge22" class="edge">
+<title>_p_main_connected_connected&#45;&gt;_p_main_connected_getting_roomnumber</title>
+<path fill="none" stroke="#000000" d="M896.4712,-445.9018C889.8201,-440.7956 882.0256,-435.8571 874,-433 854.9792,-426.2287 511,-435.6901 511,-415.5 511,-415.5 511,-415.5 511,-285.5 511,-269.1901 299.8113,-257.9239 182.44,-252.922"/>
+<polygon fill="#000000" stroke="#000000" points="182.5623,-249.4241 172.424,-252.5006 182.268,-256.418 182.5623,-249.4241"/>
+<text text-anchor="start" x="511" y="-353" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">input(char:str) [char == &quot;j&quot;]/input_join() &#160;&#160;</text>
+</g>
+<!-- _p_main_connected_leaving -->
+<g id="node17" class="node">
+<title>_p_main_connected_leaving</title>
+<polygon fill="transparent" stroke="transparent" stroke-width="2" points="943,-709 883,-709 883,-673 943,-673 943,-709"/>
+<text text-anchor="start" x="893.9956" y="-687.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">leaving</text>
+<path fill="none" stroke="#000000" stroke-width="2" d="M895.3333,-674C895.3333,-674 930.6667,-674 930.6667,-674 936.3333,-674 942,-679.6667 942,-685.3333 942,-685.3333 942,-696.6667 942,-696.6667 942,-702.3333 936.3333,-708 930.6667,-708 930.6667,-708 895.3333,-708 895.3333,-708 889.6667,-708 884,-702.3333 884,-696.6667 884,-696.6667 884,-685.3333 884,-685.3333 884,-679.6667 889.6667,-674 895.3333,-674"/>
+</g>
+<!-- _p_main_connected_leaving&#45;&gt;_p_main_connected_connected -->
+<g id="edge23" class="edge">
+<title>_p_main_connected_leaving&#45;&gt;_p_main_connected_connected</title>
+<path fill="none" stroke="#000000" d="M902.8256,-672.733C900.6543,-667.3469 899,-661.3301 899,-655.5 899,-655.5 899,-655.5 899,-504.5 899,-500.2106 899.8208,-495.8509 901.1016,-491.6588"/>
+<polygon fill="#000000" stroke="#000000" points="904.3813,-492.8818 904.7554,-482.2936 897.8601,-490.3375 904.3813,-492.8818"/>
+<text text-anchor="start" x="899" y="-581" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">left/add_message(&quot;left room&quot;,&quot;info&quot;) &#160;&#160;</text>
+</g>
+<!-- _p_main_connected_joined -->
+<!-- _p_main_connected_joined_initial -->
+<g id="node19" class="node">
+<title>_p_main_connected_joined_initial</title>
+<polygon fill="transparent" stroke="transparent" stroke-width="2" points="759,-992 703,-992 703,-956 759,-956 759,-992"/>
+<text text-anchor="start" x="717.3362" y="-970.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">initial</text>
+<path fill="none" stroke="#000000" stroke-width="2" d="M715.3333,-957C715.3333,-957 746.6667,-957 746.6667,-957 752.3333,-957 758,-962.6667 758,-968.3333 758,-968.3333 758,-979.6667 758,-979.6667 758,-985.3333 752.3333,-991 746.6667,-991 746.6667,-991 715.3333,-991 715.3333,-991 709.6667,-991 704,-985.3333 704,-979.6667 704,-979.6667 704,-968.3333 704,-968.3333 704,-962.6667 709.6667,-957 715.3333,-957"/>
+</g>
+<!-- _p_main_connected_joined_initial&#45;&gt;_p_main_connected_leaving -->
+<g id="edge16" class="edge">
+<title>_p_main_connected_joined_initial&#45;&gt;_p_main_connected_leaving</title>
+<path fill="none" stroke="#000000" d="M759.2996,-966.3989C780.9075,-959.7329 807,-949.4222 807,-938.5 807,-938.5 807,-938.5 807,-726.5 807,-698.3681 838.7709,-715.7144 873.2222,-708.2982"/>
+<polygon fill="#000000" stroke="#000000" points="874.3423,-711.618 882.9861,-705.4914 872.4083,-704.8905 874.3423,-711.618"/>
+<text text-anchor="start" x="807" y="-795" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">input(char:str) [char == &quot;l&quot;]^network.leave /input_command() &#160;&#160;</text>
+</g>
+<!-- _p_main_connected_joined_initial&#45;&gt;_p_main_connected_joined_initial -->
+<g id="edge11" class="edge">
+<title>_p_main_connected_joined_initial&#45;&gt;_p_main_connected_joined_initial</title>
+<path fill="none" stroke="#000000" d="M759.0183,-978.8247C770.888,-979.1883 781,-977.5801 781,-974 781,-971.5387 776.2205,-970.0094 769.3762,-969.4121"/>
+<polygon fill="#000000" stroke="#000000" points="769.0957,-965.9049 759.0183,-969.1753 768.9356,-972.903 769.0957,-965.9049"/>
+<text text-anchor="middle" x="782.3895" y="-971" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000"> </text>
+</g>
+<!-- _p_main_connected_joined_entering_message -->
+<g id="node20" class="node">
+<title>_p_main_connected_joined_entering_message</title>
+<polygon fill="transparent" stroke="transparent" stroke-width="2" points="264,-487 154,-487 154,-441 264,-441 264,-487"/>
+<text text-anchor="start" x="159.6524" y="-470.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">entering_message</text>
+<text text-anchor="start" x="160" y="-450.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">enter /input_msg()</text>
+<polygon fill="#000000" stroke="#000000" points="154,-464 154,-464 264,-464 264,-464 154,-464"/>
+<path fill="none" stroke="#000000" stroke-width="2" d="M167,-442C167,-442 251,-442 251,-442 257,-442 263,-448 263,-454 263,-454 263,-474 263,-474 263,-480 257,-486 251,-486 251,-486 167,-486 167,-486 161,-486 155,-480 155,-474 155,-474 155,-454 155,-454 155,-448 161,-442 167,-442"/>
+</g>
+<!-- _p_main_connected_joined_initial&#45;&gt;_p_main_connected_joined_entering_message -->
+<g id="edge15" class="edge">
+<title>_p_main_connected_joined_initial&#45;&gt;_p_main_connected_joined_entering_message</title>
+<path fill="none" stroke="#000000" d="M731,-955.9402C731,-950.3497 731,-944.1701 731,-938.5 731,-938.5 731,-938.5 731,-504.5 731,-480.3682 346.2174,-490.7024 274.1419,-487.0528"/>
+<polygon fill="#000000" stroke="#000000" points="274.3833,-483.5603 264.1029,-486.1221 273.7371,-490.5304 274.3833,-483.5603"/>
+<text text-anchor="start" x="731" y="-688" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">input(char:str) [char == &quot;m&quot;] &#160;&#160;</text>
+</g>
+<!-- _p_main_connected_joined_entering_message&#45;&gt;_p_main_connected_joined_initial -->
+<g id="edge13" class="edge">
+<title>_p_main_connected_joined_entering_message&#45;&gt;_p_main_connected_joined_initial</title>
+<path fill="none" stroke="#000000" d="M153.6641,-469.9022C114.9015,-475.6312 70,-486.214 70,-504.5 70,-938.5 70,-938.5 70,-938.5 70,-954.1806 550.7051,-968.9339 692.2408,-972.9379"/>
+<polygon fill="#000000" stroke="#000000" points="692.5033,-976.4466 702.5977,-973.2288 692.6999,-969.4493 692.5033,-976.4466"/>
+<text text-anchor="start" x="70" y="-688" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">input(char:str) [is_enter(char)]^network.send_message /add_message(get_buffer(),&quot;local_message&quot;)⁏ clear_input()⁏ input_command()⁏ &#160;&#160;</text>
+</g>
+<!-- _p_main_connected_joined_entering_message&#45;&gt;_p_main_connected_joined_entering_message -->
+<g id="edge12" class="edge">
+<title>_p_main_connected_joined_entering_message&#45;&gt;_p_main_connected_joined_entering_message</title>
+<path fill="none" stroke="#000000" d="M264.025,-466.7505C276.6938,-466.5135 286,-465.5967 286,-464 286,-462.8773 281.3992,-462.0908 274.2635,-461.6403"/>
+<polygon fill="#000000" stroke="#000000" points="274.1513,-458.1336 264.025,-461.2495 273.8842,-465.1285 274.1513,-458.1336"/>
+<text text-anchor="start" x="286" y="-461" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">input(char:str) [is_backspace(char)]/remove_last_in_buffer() &#160;&#160;</text>
+</g>
+<!-- _p_main_connected_joined_entering_message&#45;&gt;_p_main_connected_joined_entering_message -->
+<g id="edge14" class="edge">
+<title>_p_main_connected_joined_entering_message&#45;&gt;_p_main_connected_joined_entering_message</title>
+<path fill="none" stroke="#000000" d="M264.0533,-467.8079C364.206,-471.1507 559.367,-469.8813 559.367,-464 559.367,-458.3139 376.9508,-456.9387 274.3331,-459.8743"/>
+<polygon fill="#000000" stroke="#000000" points="273.9404,-456.3847 264.0533,-460.1921 274.1567,-463.3814 273.9404,-456.3847"/>
+<text text-anchor="start" x="559.367" y="-461" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">input(char:str)/append_to_buffer(char) &#160;&#160;</text>
+</g>
+<!-- _p_main_reconnecting_initial -->
+<g id="node23" class="node">
+<title>_p_main_reconnecting_initial</title>
+<polygon fill="transparent" stroke="transparent" stroke-width="2" points="1396,-816 1340,-816 1340,-780 1396,-780 1396,-816"/>
+<text text-anchor="start" x="1354.3362" y="-794.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">initial</text>
+<path fill="none" stroke="#000000" stroke-width="2" d="M1352.3333,-781C1352.3333,-781 1383.6667,-781 1383.6667,-781 1389.3333,-781 1395,-786.6667 1395,-792.3333 1395,-792.3333 1395,-803.6667 1395,-803.6667 1395,-809.3333 1389.3333,-815 1383.6667,-815 1383.6667,-815 1352.3333,-815 1352.3333,-815 1346.6667,-815 1341,-809.3333 1341,-803.6667 1341,-803.6667 1341,-792.3333 1341,-792.3333 1341,-786.6667 1346.6667,-781 1352.3333,-781"/>
+</g>
+<!-- _p_main_reconnecting_initial&#45;&gt;_p_main_reconnecting_initial -->
+<g id="edge25" class="edge">
+<title>_p_main_reconnecting_initial&#45;&gt;_p_main_reconnecting_initial</title>
+<path fill="none" stroke="#000000" d="M1396.0183,-802.8247C1407.888,-803.1883 1418,-801.5801 1418,-798 1418,-795.5387 1413.2205,-794.0094 1406.3762,-793.4121"/>
+<polygon fill="#000000" stroke="#000000" points="1406.0957,-789.9049 1396.0183,-793.1753 1405.9356,-796.903 1406.0957,-789.9049"/>
+<text text-anchor="middle" x="1419.3895" y="-795" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000"> </text>
+</g>
+<!-- _p_main_reconnecting_trying_connect -->
+<g id="node24" class="node">
+<title>_p_main_reconnecting_trying_connect</title>
+<polygon fill="transparent" stroke="transparent" stroke-width="2" points="1440,-602 1340,-602 1340,-566 1440,-566 1440,-602"/>
+<text text-anchor="start" x="1350.9886" y="-580.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">trying_connect</text>
+<path fill="none" stroke="#000000" stroke-width="2" d="M1352.3333,-567C1352.3333,-567 1427.6667,-567 1427.6667,-567 1433.3333,-567 1439,-572.6667 1439,-578.3333 1439,-578.3333 1439,-589.6667 1439,-589.6667 1439,-595.3333 1433.3333,-601 1427.6667,-601 1427.6667,-601 1352.3333,-601 1352.3333,-601 1346.6667,-601 1341,-595.3333 1341,-589.6667 1341,-589.6667 1341,-578.3333 1341,-578.3333 1341,-572.6667 1346.6667,-567 1352.3333,-567"/>
+</g>
+<!-- _p_main_reconnecting_initial&#45;&gt;_p_main_reconnecting_trying_connect -->
+<g id="edge28" class="edge">
+<title>_p_main_reconnecting_initial&#45;&gt;_p_main_reconnecting_trying_connect</title>
+<path fill="none" stroke="#000000" d="M1396.1622,-787.8467C1405.8151,-784.7872 1416.7646,-781.7734 1427,-780 1447.3858,-776.4679 1799,-783.1895 1799,-762.5 1799,-762.5 1799,-762.5 1799,-619.5 1799,-602.2209 1564.252,-590.7476 1450.4456,-586.2006"/>
+<polygon fill="#000000" stroke="#000000" points="1450.2815,-582.6915 1440.1514,-585.7951 1450.0059,-589.6861 1450.2815,-582.6915"/>
+<text text-anchor="start" x="1799" y="-688" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">after(100 ms)/add_message(&quot;trying to connect to server &quot; + get_server(curr_server),&quot;info&quot;) ^network.connect &#160;&#160;</text>
+</g>
+<!-- _p_main_reconnecting_trying_connect&#45;&gt;_p_main_connected_joining -->
+<g id="edge26" class="edge">
+<title>_p_main_reconnecting_trying_connect&#45;&gt;_p_main_connected_joining</title>
+<path fill="none" stroke="#000000" d="M1373.3866,-565.8819C1368.291,-558.545 1364,-549.6502 1364,-540.5 1364,-540.5 1364,-540.5 1364,-95.5 1364,-77.6315 1322.8801,-67.3221 1284.285,-61.5811"/>
+<polygon fill="#000000" stroke="#000000" points="1284.4178,-58.0658 1274.0299,-60.1493 1283.4498,-64.9985 1284.4178,-58.0658"/>
+<text text-anchor="start" x="1364" y="-306" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">connected/add_message(&quot;connected to server&quot; + get_server(curr_server),&quot;info&quot;) &#160;&#160;</text>
+</g>
+<!-- _p_main_reconnecting_trying_connect&#45;&gt;_p_main_reconnecting_initial -->
+<g id="edge27" class="edge">
+<title>_p_main_reconnecting_trying_connect&#45;&gt;_p_main_reconnecting_initial</title>
+<path fill="none" stroke="#000000" d="M1368.4941,-602.362C1364.7344,-607.3987 1362,-613.2204 1362,-619.5 1362,-762.5 1362,-762.5 1362,-762.5 1362,-764.7854 1362.1224,-767.1421 1362.3322,-769.5031"/>
+<polygon fill="#000000" stroke="#000000" points="1358.8986,-770.2313 1363.7033,-779.6741 1365.8359,-769.2961 1358.8986,-770.2313"/>
+<text text-anchor="start" x="1362" y="-688" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">after(5 s)/add_message(&quot;unable to connect to server &quot; + get_server(curr_server),&quot;info&quot;) &#160;&#160;</text>
+</g>
+<!-- _p_main_disconnected_initial -->
+<g id="node26" class="node">
+<title>_p_main_disconnected_initial</title>
+<polygon fill="transparent" stroke="transparent" stroke-width="2" points="1242,-1435 1186,-1435 1186,-1399 1242,-1399 1242,-1435"/>
+<text text-anchor="start" x="1200.3362" y="-1413.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">initial</text>
+<path fill="none" stroke="#000000" stroke-width="2" d="M1198.3333,-1400C1198.3333,-1400 1229.6667,-1400 1229.6667,-1400 1235.3333,-1400 1241,-1405.6667 1241,-1411.3333 1241,-1411.3333 1241,-1422.6667 1241,-1422.6667 1241,-1428.3333 1235.3333,-1434 1229.6667,-1434 1229.6667,-1434 1198.3333,-1434 1198.3333,-1434 1192.6667,-1434 1187,-1428.3333 1187,-1422.6667 1187,-1422.6667 1187,-1411.3333 1187,-1411.3333 1187,-1405.6667 1192.6667,-1400 1198.3333,-1400"/>
+</g>
+<!-- _p_main_disconnected_initial&#45;&gt;_p_main_disconnected_initial -->
+<g id="edge29" class="edge">
+<title>_p_main_disconnected_initial&#45;&gt;_p_main_disconnected_initial</title>
+<path fill="none" stroke="#000000" d="M1242.0183,-1423.3092C1253.888,-1423.7847 1264,-1421.6816 1264,-1417 1264,-1413.7814 1259.2205,-1411.7815 1252.3762,-1411.0004"/>
+<polygon fill="#000000" stroke="#000000" points="1252.1184,-1407.4913 1242.0183,-1410.6908 1251.9092,-1414.4881 1252.1184,-1407.4913"/>
+<text text-anchor="middle" x="1265.3895" y="-1414" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000"> </text>
+</g>
+<!-- _p_main_disconnected_trying_connect -->
+<g id="node27" class="node">
+<title>_p_main_disconnected_trying_connect</title>
+<polygon fill="transparent" stroke="transparent" stroke-width="2" points="1366,-1194 1266,-1194 1266,-1158 1366,-1158 1366,-1194"/>
+<text text-anchor="start" x="1276.9886" y="-1172.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">trying_connect</text>
+<path fill="none" stroke="#000000" stroke-width="2" d="M1278.3333,-1159C1278.3333,-1159 1353.6667,-1159 1353.6667,-1159 1359.3333,-1159 1365,-1164.6667 1365,-1170.3333 1365,-1170.3333 1365,-1181.6667 1365,-1181.6667 1365,-1187.3333 1359.3333,-1193 1353.6667,-1193 1353.6667,-1193 1278.3333,-1193 1278.3333,-1193 1272.6667,-1193 1267,-1187.3333 1267,-1181.6667 1267,-1181.6667 1267,-1170.3333 1267,-1170.3333 1267,-1164.6667 1272.6667,-1159 1278.3333,-1159"/>
+</g>
+<!-- _p_main_disconnected_initial&#45;&gt;_p_main_disconnected_trying_connect -->
+<g id="edge32" class="edge">
+<title>_p_main_disconnected_initial&#45;&gt;_p_main_disconnected_trying_connect</title>
+<path fill="none" stroke="#000000" d="M1242.151,-1414.912C1324.3082,-1408.633 1558,-1389.3772 1558,-1373.5 1558,-1373.5 1558,-1373.5 1558,-1211.5 1558,-1193.1859 1448.1014,-1183.4337 1376.4231,-1179.0207"/>
+<polygon fill="#000000" stroke="#000000" points="1376.3331,-1175.5092 1366.1426,-1178.408 1375.9166,-1182.4968 1376.3331,-1175.5092"/>
+<text text-anchor="start" x="1558" y="-1288" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">after(100 ms)/add_message(&quot;trying to connect to server &quot; + get_server(curr_server),&quot;info&quot;) ^network.connect &#160;&#160;</text>
+</g>
+<!-- _p_main_disconnected_trying_connect&#45;&gt;_p_main_connected -->
+<g id="edge30" class="edge">
+<title>_p_main_disconnected_trying_connect&#45;&gt;_p_main_connected</title>
+<path fill="none" stroke="#000000" d="M1316,-1157.7983C1316,-1150.007 1316,-1140.8073 1316,-1132.5 1316,-1132.5 1316,-1132.5 1316,-1085.5 1316,-1083.0919 1316,-1080.6546 1316,-1078.1966"/>
+<polygon fill="#000000" stroke="#000000" points="1319.5001,-1077.9965 1316,-1067.9965 1312.5001,-1077.9965 1319.5001,-1077.9965"/>
+<text text-anchor="start" x="1316" y="-1106" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">connected/add_message(&quot;connected to server &quot; + get_server(curr_server),&quot;info&quot;) &#160;&#160;</text>
+</g>
+<!-- _p_main_disconnected_trying_connect&#45;&gt;_p_main_disconnected_initial -->
+<g id="edge31" class="edge">
+<title>_p_main_disconnected_trying_connect&#45;&gt;_p_main_disconnected_initial</title>
+<path fill="none" stroke="#000000" d="M1265.9011,-1177.3664C1148.2173,-1180.9073 864,-1191.5264 864,-1211.5 864,-1373.5 864,-1373.5 864,-1373.5 864,-1404.643 1085.0454,-1413.7597 1175.8038,-1416.1904"/>
+<polygon fill="#000000" stroke="#000000" points="1175.8638,-1419.6929 1185.9497,-1416.4486 1176.042,-1412.6952 1175.8638,-1419.6929"/>
+<text text-anchor="start" x="864" y="-1288" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">after(5 s)/add_message(&quot;unable to connect to server &quot; + get_server(curr_server),&quot;info&quot;)⁏ curr_server = (curr_server + 1) % get_nr_of_servers()⁏ &#160;&#160;</text>
+</g>
+</g>
+</svg>

src/sccd/action_lang/static/statement.py

@@ -110,7 +110,7 @@ class Assignment(Statement):
         return DontReturn
 
     def render(self) -> str:
-        return self.lhs.render() + ' = ' + self.rhs.render() + ';'
+        return self.lhs.render() + ' = ' + self.rhs.render() #+ '⁏'
 
 
 
@@ -172,7 +172,7 @@ class ReturnStatement(Statement):
         return DoReturn(val)
 
     def render(self) -> str:
-        return "return " + self.expr.render() + ";"
+        return "return " + self.expr.render() #+ ";"
 
 @dataclass
 class IfStatement(Statement):
@@ -232,4 +232,4 @@ class ImportStatement(Statement):
         return DontReturn
 
     def render(self) -> str:
-        return "import " + self.module_name + ";"
+        return "import " + self.module_name #+ ";"