SCCD/test_files/semantics/event_lifeline/statechart_flat.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="98pt" height="305pt"
 viewBox="0.00 0.00 98.00 305.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 301)">
<title>state transitions</title>
<polygon fill="#ffffff" stroke="transparent" points="-4,4 -4,-301 94,-301 94,4 -4,4"/>
<!-- __initial -->
<g id="node1" class="node">
<title>__initial</title>
<ellipse fill="#000000" stroke="#000000" stroke-width="2" cx="45" cy="-291.5" rx="5.5" ry="5.5"/>
</g>
<!-- _a -->
<g id="node5" class="node">
<title>_a</title>
<polygon fill="transparent" stroke="transparent" stroke-width="2" points="73,-258 17,-258 17,-222 73,-222 73,-258"/>
<text text-anchor="start" x="41.6646" y="-236.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">a</text>
<path fill="none" stroke="#000000" stroke-width="2" d="M29.3333,-223C29.3333,-223 60.6667,-223 60.6667,-223 66.3333,-223 72,-228.6667 72,-234.3333 72,-234.3333 72,-245.6667 72,-245.6667 72,-251.3333 66.3333,-257 60.6667,-257 60.6667,-257 29.3333,-257 29.3333,-257 23.6667,-257 18,-251.3333 18,-245.6667 18,-245.6667 18,-234.3333 18,-234.3333 18,-228.6667 23.6667,-223 29.3333,-223"/>
</g>
<!-- __initial&#45;&gt;_a -->
<g id="edge1" class="edge">
<title>__initial&#45;&gt;_a</title>
<path fill="none" stroke="#000000" d="M45,-285.9886C45,-281.6293 45,-275.1793 45,-268.4801"/>
<polygon fill="#000000" stroke="#000000" points="48.5001,-268.0122 45,-258.0122 41.5001,-268.0122 48.5001,-268.0122"/>
<text text-anchor="middle" x="46.3895" y="-269" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000"> </text>
</g>
<!-- _d -->
<g id="node2" class="node">
<title>_d</title>
<polygon fill="transparent" stroke="transparent" stroke-width="2" points="90,-46 0,-46 0,0 90,0 90,-46"/>
<text text-anchor="start" x="41.6646" y="-29.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">d</text>
<text text-anchor="start" x="5.505" y="-9.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">enter ^out.in_d</text>
<polygon fill="#000000" stroke="#000000" points="0,-23 0,-23 90,-23 90,-23 0,-23"/>
<path fill="none" stroke="#000000" stroke-width="2" d="M13,-1C13,-1 77,-1 77,-1 83,-1 89,-7 89,-13 89,-13 89,-33 89,-33 89,-39 83,-45 77,-45 77,-45 13,-45 13,-45 7,-45 1,-39 1,-33 1,-33 1,-13 1,-13 1,-7 7,-1 13,-1"/>
</g>
<!-- _c -->
<g id="node3" class="node">
<title>_c</title>
<polygon fill="transparent" stroke="transparent" stroke-width="2" points="90,-120 0,-120 0,-74 90,-74 90,-120"/>
<text text-anchor="start" x="42" y="-103.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">c</text>
<text text-anchor="start" x="5.8404" y="-83.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">enter ^out.in_c</text>
<polygon fill="#000000" stroke="#000000" points="0,-97 0,-97 90,-97 90,-97 0,-97"/>
<path fill="none" stroke="#000000" stroke-width="2" d="M13,-75C13,-75 77,-75 77,-75 83,-75 89,-81 89,-87 89,-87 89,-107 89,-107 89,-113 83,-119 77,-119 77,-119 13,-119 13,-119 7,-119 1,-113 1,-107 1,-107 1,-87 1,-87 1,-81 7,-75 13,-75"/>
</g>
<!-- _c&#45;&gt;_d -->
<g id="edge2" class="edge">
<title>_c&#45;&gt;_d</title>
<path fill="none" stroke="#000000" d="M45,-73.9916C45,-68.476 45,-62.474 45,-56.5881"/>
<polygon fill="#000000" stroke="#000000" points="48.5001,-56.249 45,-46.2491 41.5001,-56.2491 48.5001,-56.249"/>
<text text-anchor="start" x="45" y="-57" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">f &#160;&#160;</text>
</g>
<!-- _b -->
<g id="node4" class="node">
<title>_b</title>
<polygon fill="transparent" stroke="transparent" stroke-width="2" points="90,-194 0,-194 0,-148 90,-148 90,-194"/>
<text text-anchor="start" x="41.6646" y="-177.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">b</text>
<text text-anchor="start" x="5.505" y="-157.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">enter ^out.in_b</text>
<polygon fill="#000000" stroke="#000000" points="0,-171 0,-171 90,-171 90,-171 0,-171"/>
<path fill="none" stroke="#000000" stroke-width="2" d="M13,-149C13,-149 77,-149 77,-149 83,-149 89,-155 89,-161 89,-161 89,-181 89,-181 89,-187 83,-193 77,-193 77,-193 13,-193 13,-193 7,-193 1,-187 1,-181 1,-181 1,-161 1,-161 1,-155 7,-149 13,-149"/>
</g>
<!-- _b&#45;&gt;_c -->
<g id="edge3" class="edge">
<title>_b&#45;&gt;_c</title>
<path fill="none" stroke="#000000" d="M45,-147.9916C45,-142.476 45,-136.474 45,-130.5881"/>
<polygon fill="#000000" stroke="#000000" points="48.5001,-130.249 45,-120.2491 41.5001,-130.2491 48.5001,-130.249"/>
<text text-anchor="start" x="45" y="-131" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">f &#160;&#160;</text>
</g>
<!-- _a&#45;&gt;_b -->
<g id="edge4" class="edge">
<title>_a&#45;&gt;_b</title>
<path fill="none" stroke="#000000" d="M45,-221.8711C45,-216.4482 45,-210.3229 45,-204.2494"/>
<polygon fill="#000000" stroke="#000000" points="48.5001,-204.21 45,-194.21 41.5001,-204.21 48.5001,-204.21"/>
<text text-anchor="start" x="45" y="-205" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">e^f &#160;&#160;</text>
</g>
</g>
</svg>