SCCD/test/test_files/day_atlee/statechart_fig1_redialer.svg

<?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="805pt" height="394pt"
 viewBox="0.00 0.00 805.00 394.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 390)">
<title>state transitions</title>
<polygon fill="#ffffff" stroke="transparent" points="-4,4 -4,-390 801,-390 801,4 -4,4"/>
<g id="clust1" class="cluster">
<title>cluster__Dialing</title>
<path fill="none" stroke="#000000" stroke-width="2" d="M20,-8C20,-8 777,-8 777,-8 783,-8 789,-14 789,-20 789,-20 789,-335 789,-335 789,-341 783,-347 777,-347 777,-347 20,-347 20,-347 14,-347 8,-341 8,-335 8,-335 8,-20 8,-20 8,-14 14,-8 20,-8"/>
<text text-anchor="start" x="380.1682" y="-328.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">Dialing</text>
</g>
<g id="clust2" class="cluster">
<title>cluster__Dialing_Redialer</title>
<polygon fill="none" stroke="#000000" stroke-dasharray="5,2" points="438,-16 438,-309 781,-309 781,-16 438,-16"/>
<text text-anchor="start" x="587.1668" y="-290.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">Redialer</text>
</g>
<g id="clust3" class="cluster">
<title>cluster__Dialing_Dialer</title>
<polygon fill="none" stroke="#000000" stroke-dasharray="5,2" points="24,-16 24,-309 430,-309 430,-16 24,-16"/>
<text text-anchor="start" x="211.8376" y="-290.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">Dialer</text>
</g>
<!-- __initial -->
<g id="node1" class="node">
<title>__initial</title>
<ellipse fill="#000000" stroke="#000000" stroke-width="2" cx="16" cy="-380.5" rx="5.5" ry="5.5"/>
</g>
<!-- _Dialing -->
<!-- __initial&#45;&gt;_Dialing -->
<g id="edge1" class="edge">
<title>__initial&#45;&gt;_Dialing</title>
<path fill="none" stroke="#000000" d="M16,-374.9533C16,-370.7779 16,-364.5043 16,-357.0332"/>
<polygon fill="#000000" stroke="#000000" points="19.5001,-356.9971 16,-346.9971 12.5001,-356.9972 19.5001,-356.9971"/>
<text text-anchor="middle" x="17.3895" y="-358" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000"> </text>
</g>
<!-- _Dialing_Redialer -->
<!-- _Dialing_Redialer_initial -->
<g id="node4" class="node">
<title>_Dialing_Redialer_initial</title>
<ellipse fill="#000000" stroke="#000000" stroke-width="2" cx="552" cy="-265.5" rx="5.5" ry="5.5"/>
</g>
<!-- _Dialing_Redialer_WaitForRedial -->
<g id="node6" class="node">
<title>_Dialing_Redialer_WaitForRedial</title>
<polygon fill="transparent" stroke="transparent" stroke-width="2" points="607.5,-178 496.5,-178 496.5,-142 607.5,-142 607.5,-178"/>
<text text-anchor="start" x="507.8342" y="-156.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">WaitForRedial ✓</text>
<path fill="none" stroke="#000000" stroke-width="2" d="M508.8333,-143C508.8333,-143 595.1667,-143 595.1667,-143 600.8333,-143 606.5,-148.6667 606.5,-154.3333 606.5,-154.3333 606.5,-165.6667 606.5,-165.6667 606.5,-171.3333 600.8333,-177 595.1667,-177 595.1667,-177 508.8333,-177 508.8333,-177 503.1667,-177 497.5,-171.3333 497.5,-165.6667 497.5,-165.6667 497.5,-154.3333 497.5,-154.3333 497.5,-148.6667 503.1667,-143 508.8333,-143"/>
</g>
<!-- _Dialing_Redialer_initial&#45;&gt;_Dialing_Redialer_WaitForRedial -->
<g id="edge2" class="edge">
<title>_Dialing_Redialer_initial&#45;&gt;_Dialing_Redialer_WaitForRedial</title>
<path fill="none" stroke="#000000" d="M552,-259.8288C552,-255.1736 552,-248.4097 552,-242.5 552,-242.5 552,-242.5 552,-195.5 552,-193.1079 552,-190.6252 552,-188.1342"/>
<polygon fill="#000000" stroke="#000000" points="555.5001,-188.0597 552,-178.0598 548.5001,-188.0598 555.5001,-188.0597"/>
<text text-anchor="middle" x="553.3895" y="-216" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000"> </text>
</g>
<!-- _Dialing_Redialer_RedialDigits -->
<g id="node5" class="node">
<title>_Dialing_Redialer_RedialDigits</title>
<polygon fill="transparent" stroke="transparent" stroke-width="2" points="561.5,-60 476.5,-60 476.5,-24 561.5,-24 561.5,-60"/>
<text text-anchor="start" x="487.5026" y="-38.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">RedialDigits</text>
<path fill="none" stroke="#000000" stroke-width="2" d="M488.8333,-25C488.8333,-25 549.1667,-25 549.1667,-25 554.8333,-25 560.5,-30.6667 560.5,-36.3333 560.5,-36.3333 560.5,-47.6667 560.5,-47.6667 560.5,-53.3333 554.8333,-59 549.1667,-59 549.1667,-59 488.8333,-59 488.8333,-59 483.1667,-59 477.5,-53.3333 477.5,-47.6667 477.5,-47.6667 477.5,-36.3333 477.5,-36.3333 477.5,-30.6667 483.1667,-25 488.8333,-25"/>
</g>
<!-- _Dialing_Redialer_RedialDigits&#45;&gt;_Dialing_Redialer_RedialDigits -->
<g id="edge3" class="edge">
<title>_Dialing_Redialer_RedialDigits&#45;&gt;_Dialing_Redialer_RedialDigits</title>
<path fill="none" stroke="#000000" d="M561.7986,-46.856C574.0518,-46.6655 583.5,-45.0469 583.5,-42 583.5,-39.8577 578.8289,-38.4214 571.7961,-37.6913"/>
<polygon fill="#000000" stroke="#000000" points="571.9749,-34.1959 561.7986,-37.144 571.5923,-41.1855 571.9749,-34.1959"/>
<text text-anchor="start" x="583.5" y="-39" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">[c &lt; numdigits(p)]^dial(digit(p, c+1)) &#160;&#160;</text>
</g>
<!-- _Dialing_Redialer_RedialDigits&#45;&gt;_Dialing_Redialer_WaitForRedial -->
<g id="edge4" class="edge">
<title>_Dialing_Redialer_RedialDigits&#45;&gt;_Dialing_Redialer_WaitForRedial</title>
<path fill="none" stroke="#000000" d="M476.4216,-59.8718C471.3898,-64.5715 468,-70.3799 468,-77.5 468,-124.5 468,-124.5 468,-124.5 468,-130.7463 475.9804,-136.5147 487.0215,-141.5063"/>
<polygon fill="#000000" stroke="#000000" points="485.8568,-144.811 496.4386,-145.3373 488.4946,-138.327 485.8568,-144.811"/>
<text text-anchor="start" x="468" y="-98" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">[c == numdigits(p)] &#160;&#160;</text>
</g>
<!-- _Dialing_Redialer_WaitForRedial&#45;&gt;_Dialing_Redialer_RedialDigits -->
<g id="edge5" class="edge">
<title>_Dialing_Redialer_WaitForRedial&#45;&gt;_Dialing_Redialer_RedialDigits</title>
<path fill="none" stroke="#000000" d="M595.0313,-141.6979C599.8125,-137.0752 603,-131.4043 603,-124.5 603,-124.5 603,-124.5 603,-77.5 603,-69.0842 588.5133,-61.5359 571.5722,-55.5861"/>
<polygon fill="#000000" stroke="#000000" points="572.5769,-52.2323 561.9843,-52.4497 570.4005,-58.8854 572.5769,-52.2323"/>
<text text-anchor="start" x="603" y="-98" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">redial [c == 0]/p = lp ^dial(digit(lp, 1)) &#160;&#160;</text>
</g>
<!-- _Dialing_Dialer -->
<!-- _Dialing_Dialer_initial -->
<g id="node8" class="node">
<title>_Dialing_Dialer_initial</title>
<ellipse fill="#000000" stroke="#000000" stroke-width="2" cx="80" cy="-265.5" rx="5.5" ry="5.5"/>
</g>
<!-- _Dialing_Dialer_WaitForDial -->
<g id="node10" class="node">
<title>_Dialing_Dialer_WaitForDial</title>
<polygon fill="transparent" stroke="transparent" stroke-width="2" points="128.5,-178 31.5,-178 31.5,-142 128.5,-142 128.5,-178"/>
<text text-anchor="start" x="42.505" y="-156.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">WaitForDial ✓</text>
<path fill="none" stroke="#000000" stroke-width="2" d="M43.8333,-143C43.8333,-143 116.1667,-143 116.1667,-143 121.8333,-143 127.5,-148.6667 127.5,-154.3333 127.5,-154.3333 127.5,-165.6667 127.5,-165.6667 127.5,-171.3333 121.8333,-177 116.1667,-177 116.1667,-177 43.8333,-177 43.8333,-177 38.1667,-177 32.5,-171.3333 32.5,-165.6667 32.5,-165.6667 32.5,-154.3333 32.5,-154.3333 32.5,-148.6667 38.1667,-143 43.8333,-143"/>
</g>
<!-- _Dialing_Dialer_initial&#45;&gt;_Dialing_Dialer_WaitForDial -->
<g id="edge6" class="edge">
<title>_Dialing_Dialer_initial&#45;&gt;_Dialing_Dialer_WaitForDial</title>
<path fill="none" stroke="#000000" d="M80,-259.8288C80,-255.1736 80,-248.4097 80,-242.5 80,-242.5 80,-242.5 80,-195.5 80,-193.1079 80,-190.6252 80,-188.1342"/>
<polygon fill="#000000" stroke="#000000" points="83.5001,-188.0597 80,-178.0598 76.5001,-188.0598 83.5001,-188.0597"/>
<text text-anchor="middle" x="81.3895" y="-216" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000"> </text>
</g>
<!-- _Dialing_Dialer_DialDigits -->
<g id="node9" class="node">
<title>_Dialing_Dialer_DialDigits</title>
<polygon fill="transparent" stroke="transparent" stroke-width="2" points="141,-60 69,-60 69,-24 141,-24 141,-60"/>
<text text-anchor="start" x="79.6734" y="-38.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">DialDigits</text>
<path fill="none" stroke="#000000" stroke-width="2" d="M81.3333,-25C81.3333,-25 128.6667,-25 128.6667,-25 134.3333,-25 140,-30.6667 140,-36.3333 140,-36.3333 140,-47.6667 140,-47.6667 140,-53.3333 134.3333,-59 128.6667,-59 128.6667,-59 81.3333,-59 81.3333,-59 75.6667,-59 70,-53.3333 70,-47.6667 70,-47.6667 70,-36.3333 70,-36.3333 70,-30.6667 75.6667,-25 81.3333,-25"/>
</g>
<!-- _Dialing_Dialer_DialDigits&#45;&gt;_Dialing_Dialer_DialDigits -->
<g id="edge7" class="edge">
<title>_Dialing_Dialer_DialDigits&#45;&gt;_Dialing_Dialer_DialDigits</title>
<path fill="none" stroke="#000000" d="M141.25,-46.875C153.3333,-46.875 163,-45.25 163,-42 163,-39.7656 158.431,-38.2993 151.6489,-37.6011"/>
<polygon fill="#000000" stroke="#000000" points="151.3996,-34.0861 141.25,-37.125 151.0794,-41.0788 151.3996,-34.0861"/>
<text text-anchor="start" x="163" y="-39" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">dial [c &lt; 10]/lp = lp * 10 + d⁏ c += 1⁏ &#160;^out.out(d) &#160;&#160;</text>
</g>
<!-- _Dialing_Dialer_DialDigits&#45;&gt;_Dialing_Dialer_WaitForDial -->
<g id="edge8" class="edge">
<title>_Dialing_Dialer_DialDigits&#45;&gt;_Dialing_Dialer_WaitForDial</title>
<path fill="none" stroke="#000000" d="M74.6899,-60.1859C70.1752,-65.0344 67,-70.8191 67,-77.5 67,-124.5 67,-124.5 67,-124.5 67,-126.9367 67.2734,-129.4132 67.7409,-131.8668"/>
<polygon fill="#000000" stroke="#000000" points="64.4295,-133.0164 70.5523,-141.6629 71.1579,-131.0853 64.4295,-133.0164"/>
<text text-anchor="start" x="67" y="-98" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">[c == 10] &#160;&#160;</text>
</g>
<!-- _Dialing_Dialer_WaitForDial&#45;&gt;_Dialing_Dialer_DialDigits -->
<g id="edge10" class="edge">
<title>_Dialing_Dialer_WaitForDial&#45;&gt;_Dialing_Dialer_DialDigits</title>
<path fill="none" stroke="#000000" d="M128.5115,-146.0105C144.3736,-139.9675 158,-132.4599 158,-124.5 158,-124.5 158,-124.5 158,-77.5 158,-70.3568 154.6355,-64.5595 149.602,-59.8834"/>
<polygon fill="#000000" stroke="#000000" points="151.3797,-56.849 141.2305,-53.8085 147.2684,-62.5145 151.3797,-56.849"/>
<text text-anchor="start" x="158" y="-98" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">dial ∧ redial [c == 0]/lp = d⁏ c = 1⁏ &#160;^out.out(d) &#160;&#160;</text>
</g>
<!-- _Dialing_Dialer_WaitForDial&#45;&gt;_Dialing_Dialer_WaitForDial -->
<g id="edge9" class="edge">
<title>_Dialing_Dialer_WaitForDial&#45;&gt;_Dialing_Dialer_WaitForDial</title>
<path fill="none" stroke="#000000" d="M128.7649,-164.8167C141.1797,-164.5001 150.5,-162.8945 150.5,-160 150.5,-157.9648 145.8922,-156.5668 138.8407,-155.8061"/>
<polygon fill="#000000" stroke="#000000" points="138.9618,-152.307 128.7649,-155.1833 138.5299,-159.2937 138.9618,-152.307"/>
<text text-anchor="start" x="150.5" y="-157" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">dial ∧ ¬redial [c &lt; 10]/c += 1⁏ lp = lp * 10 + d⁏ &#160;^out.out(d) &#160;&#160;</text>
</g>
</g>
</svg>