SCCD/test_files/features/action_lang/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="134pt" height="241pt"
 viewBox="0.00 0.00 134.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 130,-237 130,4 -4,4"/>
<!-- __initial -->
<g id="node1" class="node">
<title>__initial</title>
<ellipse fill="#000000" stroke="#000000" stroke-width="2" cx="63" 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="126,-194 0,-194 0,-148 126,-148 126,-194"/>
<text text-anchor="start" x="56.6646" y="-177.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">s1</text>
<text text-anchor="start" x="5.826" y="-157.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">enter /x = increment()</text>
<polygon fill="#000000" stroke="#000000" points="0,-171 0,-171 126,-171 126,-171 0,-171"/>
<path fill="none" stroke="#000000" stroke-width="2" d="M13,-149C13,-149 113,-149 113,-149 119,-149 125,-155 125,-161 125,-161 125,-181 125,-181 125,-187 119,-193 113,-193 113,-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="M63,-221.876C63,-217.5252 63,-211.1081 63,-204.286"/>
<polygon fill="#000000" stroke="#000000" points="66.5001,-204.1947 63,-194.1947 59.5001,-204.1947 66.5001,-204.1947"/>
<text text-anchor="middle" x="64.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="110,-46 16,-46 16,0 110,0 110,-46"/>
<text text-anchor="start" x="56.6646" y="-29.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">s3</text>
<text text-anchor="start" x="21.501" y="-9.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">enter ^out.done</text>
<polygon fill="#000000" stroke="#000000" points="16,-23 16,-23 110,-23 110,-23 16,-23"/>
<path fill="none" stroke="#000000" stroke-width="2" d="M29,-1C29,-1 97,-1 97,-1 103,-1 109,-7 109,-13 109,-13 109,-33 109,-33 109,-39 103,-45 97,-45 97,-45 29,-45 29,-45 23,-45 17,-39 17,-33 17,-33 17,-13 17,-13 17,-7 23,-1 29,-1"/>
</g>
<!-- _s2 -->
<g id="node3" class="node">
<title>_s2</title>
<polygon fill="transparent" stroke="transparent" stroke-width="2" points="126,-120 0,-120 0,-74 126,-74 126,-120"/>
<text text-anchor="start" x="56.6646" y="-103.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">s2</text>
<text text-anchor="start" x="5.826" y="-83.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">enter /x = increment()</text>
<polygon fill="#000000" stroke="#000000" points="0,-97 0,-97 126,-97 126,-97 0,-97"/>
<path fill="none" stroke="#000000" stroke-width="2" d="M13,-75C13,-75 113,-75 113,-75 119,-75 125,-81 125,-87 125,-87 125,-107 125,-107 125,-113 119,-119 113,-119 113,-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="M63,-73.9916C63,-68.476 63,-62.474 63,-56.5881"/>
<polygon fill="#000000" stroke="#000000" points="66.5001,-56.249 63,-46.2491 59.5001,-56.2491 66.5001,-56.249"/>
<text text-anchor="start" x="63" 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="M63,-147.9916C63,-142.476 63,-136.474 63,-130.5881"/>
<polygon fill="#000000" stroke="#000000" points="66.5001,-130.249 63,-120.2491 59.5001,-130.2491 66.5001,-130.249"/>
<text text-anchor="start" x="63" y="-131" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">[x == 1] &#160;&#160;</text>
</g>
</g>
</svg>