example/optimized.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 8.1.0 (20230707.0739)
 -->
<!-- Pages: 1 -->
<svg width="260pt" height="301pt"
 viewBox="0.00 0.00 260.00 301.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 297)">
<polygon fill="white" stroke="none" points="-4,4 -4,-297 256,-297 256,4 -4,4"/>
<g id="clust1" class="cluster">
<title>cluster_file_0x7f4dc8697000</title>
<polygon fill="none" stroke="black" points="8,-8 8,-285 244,-285 244,-8 8,-8"/>
<text text-anchor="middle" x="126" y="-267.7" font-family="Times,serif" font-size="14.00">file example/source.php</text>
</g>
<g id="clust2" class="cluster">
<title>cluster_0x7f4dc8697000</title>
<polygon fill="none" stroke="black" points="112,-16 112,-252.5 236,-252.5 236,-16 112,-16"/>
<text text-anchor="middle" x="174" y="-235.2" font-family="Times,serif" font-size="14.00">__main</text>
</g>
<g id="clust3" class="cluster">
<title>cluster_0x55d2098be6a0</title>
<polygon fill="none" stroke="black" points="16,-16 16,-252.5 104,-252.5 104,-16 16,-16"/>
<text text-anchor="middle" x="60" y="-235.2" font-family="Times,serif" font-size="14.00">f</text>
</g>
<!-- __main_0 -->
<g id="node1" class="node">
<title>__main_0</title>
<polygon fill="none" stroke="black" points="145,-97.5 145,-146.5 203,-146.5 203,-97.5 145,-97.5"/>
<text text-anchor="middle" x="174" y="-129.2" font-family="Times,serif" font-size="14.00">op #0&#45;0</text>
<polyline fill="none" stroke="black" points="145,-122 203,-122"/>
<text text-anchor="middle" x="174" y="-104.7" font-family="Times,serif" font-size="14.00">line 8&#45;8</text>
</g>
<!-- __main_EXIT -->
<g id="node3" class="node">
<title>__main_EXIT</title>
<polygon fill="none" stroke="black" points="126.62,-24.5 126.62,-60.5 221.38,-60.5 221.38,-24.5 126.62,-24.5"/>
<text text-anchor="middle" x="174" y="-37.45" font-family="Times,serif" font-size="14.00">__main_EXIT</text>
</g>
<!-- __main_0&#45;&gt;__main_EXIT -->
<g id="edge2" class="edge">
<title>__main_0&#45;&gt;__main_EXIT</title>
<path fill="none" stroke="black" d="M174,-97.75C174,-89.32 174,-79.71 174,-70.95"/>
<polygon fill="black" stroke="black" points="177.5,-71.09 174,-61.09 170.5,-71.09 177.5,-71.09"/>
</g>
<!-- __main_ENTRY -->
<g id="node2" class="node">
<title>__main_ENTRY</title>
<polygon fill="none" stroke="black" points="119.88,-183.5 119.88,-219.5 228.12,-219.5 228.12,-183.5 119.88,-183.5"/>
<text text-anchor="middle" x="174" y="-196.45" font-family="Times,serif" font-size="14.00">__main_ENTRY</text>
</g>
<!-- __main_ENTRY&#45;&gt;__main_0 -->
<g id="edge1" class="edge">
<title>__main_ENTRY&#45;&gt;__main_0</title>
<path fill="none" stroke="black" d="M174,-183.68C174,-175.9 174,-166.35 174,-157.15"/>
<polygon fill="black" stroke="black" points="177.5,-157.25 174,-147.25 170.5,-157.25 177.5,-157.25"/>
</g>
<!-- f_0 -->
<g id="node4" class="node">
<title>f_0</title>
<polygon fill="none" stroke="black" points="31,-97.5 31,-146.5 89,-146.5 89,-97.5 31,-97.5"/>
<text text-anchor="middle" x="60" y="-129.2" font-family="Times,serif" font-size="14.00">op #0&#45;0</text>
<polyline fill="none" stroke="black" points="31,-122 89,-122"/>
<text text-anchor="middle" x="60" y="-104.7" font-family="Times,serif" font-size="14.00">line 6&#45;6</text>
</g>
<!-- f_EXIT -->
<g id="node6" class="node">
<title>f_EXIT</title>
<polygon fill="none" stroke="black" points="31,-24.5 31,-60.5 89,-60.5 89,-24.5 31,-24.5"/>
<text text-anchor="middle" x="60" y="-37.45" font-family="Times,serif" font-size="14.00">f_EXIT</text>
</g>
<!-- f_0&#45;&gt;f_EXIT -->
<g id="edge4" class="edge">
<title>f_0&#45;&gt;f_EXIT</title>
<path fill="none" stroke="black" d="M60,-97.75C60,-89.32 60,-79.71 60,-70.95"/>
<polygon fill="black" stroke="black" points="63.5,-71.09 60,-61.09 56.5,-71.09 63.5,-71.09"/>
</g>
<!-- f_ENTRY -->
<g id="node5" class="node">
<title>f_ENTRY</title>
<polygon fill="none" stroke="black" points="24.25,-183.5 24.25,-219.5 95.75,-219.5 95.75,-183.5 24.25,-183.5"/>
<text text-anchor="middle" x="60" y="-196.45" font-family="Times,serif" font-size="14.00">f_ENTRY</text>
</g>
<!-- f_ENTRY&#45;&gt;f_0 -->
<g id="edge3" class="edge">
<title>f_ENTRY&#45;&gt;f_0</title>
<path fill="none" stroke="black" d="M60,-183.68C60,-175.9 60,-166.35 60,-157.15"/>
<polygon fill="black" stroke="black" points="63.5,-157.25 60,-147.25 56.5,-157.25 63.5,-157.25"/>
</g>
</g>
</svg>