SCCD/test/test_files/features/functions/test_closure.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="150pt" height="241pt"
 viewBox="0.00 0.00 150.00 241.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 237)">
<title>state transitions</title>
<polygon fill="#ffffff" stroke="transparent" points="-4,4 -4,-237 146,-237 146,4 -4,4"/>
<!-- __initial -->
<g id="node1" class="node">
<title>__initial</title>
<ellipse fill="#000000" stroke="#000000" stroke-width="2" cx="71" cy="-227.5" rx="5.5" ry="5.5"/>
</g>
<!-- _s1 -->
<g id="node4" class="node">
<title>_s1</title>
<polygon fill="transparent" stroke="transparent" stroke-width="2" points="142,-194 0,-194 0,-148 142,-148 142,-194"/>
<text text-anchor="start" x="64.6646" y="-177.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">s1</text>
<text text-anchor="start" x="5.8232" y="-157.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">onentry/ /x = increment()</text>
<polygon fill="#000000" stroke="#000000" points="0,-171 0,-171 142,-171 142,-171 0,-171"/>
<path fill="none" stroke="#000000" stroke-width="2" d="M13,-149C13,-149 129,-149 129,-149 135,-149 141,-155 141,-161 141,-161 141,-181 141,-181 141,-187 135,-193 129,-193 129,-193 13,-193 13,-193 7,-193 1,-187 1,-181 1,-181 1,-161 1,-161 1,-155 7,-149 13,-149"/>
</g>
<!-- __initial&#45;&gt;_s1 -->
<g id="edge1" class="edge">
<title>__initial&#45;&gt;_s1</title>
<path fill="none" stroke="#000000" d="M71,-221.876C71,-217.5252 71,-211.1081 71,-204.286"/>
<polygon fill="#000000" stroke="#000000" points="74.5001,-204.1947 71,-194.1947 67.5001,-204.1947 74.5001,-204.1947"/>
<text text-anchor="middle" x="72.3895" y="-205" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000"> </text>
</g>
<!-- _s3 -->
<g id="node2" class="node">
<title>_s3</title>
<polygon fill="transparent" stroke="transparent" stroke-width="2" points="126.5,-46 15.5,-46 15.5,0 126.5,0 126.5,-46"/>
<text text-anchor="start" x="65.1646" y="-29.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">s3</text>
<text text-anchor="start" x="21.9982" y="-9.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">onentry/ ^out.done</text>
<polygon fill="#000000" stroke="#000000" points="16,-23 16,-23 127,-23 127,-23 16,-23"/>
<path fill="none" stroke="#000000" stroke-width="2" d="M28.5,-1C28.5,-1 113.5,-1 113.5,-1 119.5,-1 125.5,-7 125.5,-13 125.5,-13 125.5,-33 125.5,-33 125.5,-39 119.5,-45 113.5,-45 113.5,-45 28.5,-45 28.5,-45 22.5,-45 16.5,-39 16.5,-33 16.5,-33 16.5,-13 16.5,-13 16.5,-7 22.5,-1 28.5,-1"/>
</g>
<!-- _s2 -->
<g id="node3" class="node">
<title>_s2</title>
<polygon fill="transparent" stroke="transparent" stroke-width="2" points="142,-120 0,-120 0,-74 142,-74 142,-120"/>
<text text-anchor="start" x="64.6646" y="-103.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">s2</text>
<text text-anchor="start" x="5.8232" y="-83.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">onentry/ /x = increment()</text>
<polygon fill="#000000" stroke="#000000" points="0,-97 0,-97 142,-97 142,-97 0,-97"/>
<path fill="none" stroke="#000000" stroke-width="2" d="M13,-75C13,-75 129,-75 129,-75 135,-75 141,-81 141,-87 141,-87 141,-107 141,-107 141,-113 135,-119 129,-119 129,-119 13,-119 13,-119 7,-119 1,-113 1,-107 1,-107 1,-87 1,-87 1,-81 7,-75 13,-75"/>
</g>
<!-- _s2&#45;&gt;_s3 -->
<g id="edge2" class="edge">
<title>_s2&#45;&gt;_s3</title>
<path fill="none" stroke="#000000" d="M71,-73.9916C71,-68.476 71,-62.474 71,-56.5881"/>
<polygon fill="#000000" stroke="#000000" points="74.5001,-56.249 71,-46.2491 67.5001,-56.2491 74.5001,-56.249"/>
<text text-anchor="start" x="71" y="-57" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">[x == 2] &#160;&#160;</text>
</g>
<!-- _s1&#45;&gt;_s2 -->
<g id="edge3" class="edge">
<title>_s1&#45;&gt;_s2</title>
<path fill="none" stroke="#000000" d="M71,-147.9916C71,-142.476 71,-136.474 71,-130.5881"/>
<polygon fill="#000000" stroke="#000000" points="74.5001,-130.249 71,-120.2491 67.5001,-130.2491 74.5001,-130.249"/>
<text text-anchor="start" x="71" y="-131" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">[x == 1] &#160;&#160;</text>
</g>
</g>
</svg>