alexander/configotron
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Added FSM rendering via graphviz

Browse Source
This commit is contained in:
AlexanderHD27
2025-05-31 20:56:43 +02:00
parent e8b0811a9e
commit 2d762db3bb
9 changed files with 829 additions and 331 deletions
Download Patch File Download Diff File Expand all files Collapse all files

101
tests/debug-simle_fsm_building.svg Normal file
View File

@@ -0,0 +1,101 @@
<?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.43.0 (0)
-->
<!-- Title: root Pages: 1 -->
<svg width="490pt" height="162pt"
viewBox="0.00 0.00 489.69 162.07" 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 158.07)">
<title>root</title>
<polygon fill="white" stroke="transparent" points="-4,4 -4,-158.07 485.69,-158.07 485.69,4 -4,4"/>
<!-- z0 -->
<g id="node1" class="node">
<title>z0</title>
<ellipse fill="none" stroke="black" cx="21.45" cy="-39.63" rx="21.4" ry="21.4"/>
<text text-anchor="middle" x="21.45" y="-35.93" font-family="Times,serif" font-size="14.00">z0</text>
</g>
<!-- z2 -->
<g id="node2" class="node">
<title>z2</title>
<ellipse fill="none" stroke="black" cx="287.79" cy="-95.63" rx="21.4" ry="21.4"/>
<ellipse fill="none" stroke="black" cx="287.79" cy="-95.63" rx="25.4" ry="25.4"/>
<text text-anchor="middle" x="287.79" y="-91.93" font-family="Times,serif" font-size="14.00">z2</text>
</g>
<!-- z0&#45;&gt;z2 -->
<g id="edge1" class="edge">
<title>z0&#45;&gt;z2</title>
<path fill="none" stroke="black" d="M35.33,-56.2C48.41,-71.57 70.23,-93.4 94.9,-102.63 147.49,-122.3 213.96,-113.05 253.27,-104.43"/>
<polygon fill="black" stroke="black" points="254.17,-107.81 263.12,-102.15 252.59,-100.99 254.17,-107.81"/>
<text text-anchor="middle" x="116.34" y="-115.43" font-family="Times,serif" font-size="14.00">&#39;b&#39;</text>
</g>
<!-- z1 -->
<g id="node3" class="node">
<title>z1</title>
<ellipse fill="none" stroke="black" cx="116.34" cy="-39.63" rx="21.4" ry="21.4"/>
<text text-anchor="middle" x="116.34" y="-35.93" font-family="Times,serif" font-size="14.00">z1</text>
</g>
<!-- z0&#45;&gt;z1 -->
<g id="edge2" class="edge">
<title>z0&#45;&gt;z1</title>
<path fill="none" stroke="black" d="M43.06,-39.63C55.21,-39.63 70.82,-39.63 84.41,-39.63"/>
<polygon fill="black" stroke="black" points="84.79,-43.13 94.79,-39.63 84.79,-36.13 84.79,-43.13"/>
<text text-anchor="middle" x="68.9" y="-43.43" font-family="Times,serif" font-size="14.00">&#39;a&#39;</text>
</g>
<!-- z3 -->
<g id="node4" class="node">
<title>z3</title>
<ellipse fill="none" stroke="black" cx="460.24" cy="-37.63" rx="21.4" ry="21.4"/>
<text text-anchor="middle" x="460.24" y="-33.93" font-family="Times,serif" font-size="14.00">z3</text>
</g>
<!-- z0&#45;&gt;z3 -->
<g id="edge3" class="edge">
<title>z0&#45;&gt;z3</title>
<path fill="none" stroke="black" d="M40.58,-29.77C54.86,-22.59 75.54,-13.48 94.9,-9.63 217.24,14.7 366.58,-14.86 429.28,-29.88"/>
<polygon fill="black" stroke="black" points="428.72,-33.35 439.27,-32.33 430.39,-26.55 428.72,-33.35"/>
<text text-anchor="middle" x="193.79" y="-5.43" font-family="Times,serif" font-size="14.00">00&#45;&#39;`&#39;,&#39;c&#39;&#45;7f</text>
</g>
<!-- z2&#45;&gt;z2 -->
<g id="edge8" class="edge">
<title>z2&#45;&gt;z2</title>
<path fill="none" stroke="black" d="M271.62,-115.74C268.03,-127.76 273.42,-139.07 287.79,-139.07 298.01,-139.07 303.69,-133.36 304.83,-125.73"/>
<polygon fill="black" stroke="black" points="308.31,-125.4 303.96,-115.74 301.34,-126 308.31,-125.4"/>
<text text-anchor="middle" x="287.79" y="-142.87" font-family="Times,serif" font-size="14.00">&#39;a&#39;</text>
</g>
<!-- z2&#45;&gt;z3 -->
<g id="edge7" class="edge">
<title>z2&#45;&gt;z3</title>
<path fill="none" stroke="black" d="M312.23,-88.03C338.67,-79.41 382.93,-64.83 420.79,-51.63 423.88,-50.55 427.1,-49.41 430.3,-48.26"/>
<polygon fill="black" stroke="black" points="431.51,-51.55 439.72,-44.85 429.12,-44.96 431.51,-51.55"/>
<text text-anchor="middle" x="382.29" y="-80.43" font-family="Times,serif" font-size="14.00">00&#45;&#39;`&#39;,&#39;b&#39;&#45;7f</text>
</g>
<!-- z1&#45;&gt;z2 -->
<g id="edge5" class="edge">
<title>z1&#45;&gt;z2</title>
<path fill="none" stroke="black" d="M137.11,-46.16C165.72,-55.61 219.01,-73.23 253.68,-84.68"/>
<polygon fill="black" stroke="black" points="252.77,-88.07 263.36,-87.88 254.96,-81.42 252.77,-88.07"/>
<text text-anchor="middle" x="193.79" y="-79.43" font-family="Times,serif" font-size="14.00">&#39;b&#39;</text>
</g>
<!-- z1&#45;&gt;z1 -->
<g id="edge4" class="edge">
<title>z1&#45;&gt;z1</title>
<path fill="none" stroke="black" d="M108.02,-59.52C106.74,-69.8 109.52,-79.07 116.34,-79.07 120.72,-79.07 123.43,-75.27 124.48,-69.83"/>
<polygon fill="black" stroke="black" points="127.98,-69.58 124.67,-59.52 120.98,-69.45 127.98,-69.58"/>
<text text-anchor="middle" x="116.34" y="-82.87" font-family="Times,serif" font-size="14.00">&#39;a&#39;</text>
</g>
<!-- z1&#45;&gt;z3 -->
<g id="edge6" class="edge">
<title>z1&#45;&gt;z3</title>
<path fill="none" stroke="black" d="M137.96,-39.51C195.79,-39.17 359.79,-38.21 428.43,-37.81"/>
<polygon fill="black" stroke="black" points="428.62,-41.31 438.6,-37.75 428.58,-34.31 428.62,-41.31"/>
<text text-anchor="middle" x="287.79" y="-42.43" font-family="Times,serif" font-size="14.00">00&#45;&#39;`&#39;,&#39;c&#39;&#45;7f</text>
</g>
<!-- z3&#45;&gt;z3 -->
<g id="edge9" class="edge">
<title>z3&#45;&gt;z3</title>
<path fill="none" stroke="black" d="M447.12,-55.07C443.69,-66.28 448.07,-77.07 460.24,-77.07 468.61,-77.07 473.29,-71.97 474.29,-65.14"/>
<polygon fill="black" stroke="black" points="477.76,-64.71 473.36,-55.07 470.79,-65.35 477.76,-64.71"/>
<text text-anchor="middle" x="460.24" y="-80.87" font-family="Times,serif" font-size="14.00">00&#45;7f</text>
</g>
</g>
</svg>
Side by Side

After

Width:  |  Height:  |  Size: 5.4 KiB