mirror of
https://github.com/RIOT-OS/RIOT.git
synced 2024-12-29 04:50:03 +01:00
48 lines
2.8 KiB
XML
48 lines
2.8 KiB
XML
<?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: Automaton_metaclass Pages: 1 -->
|
|
<svg width="233pt" height="248pt"
|
|
viewBox="0.00 0.00 232.88 248.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 244)">
|
|
<title>Automaton_metaclass</title>
|
|
<polygon fill="#ffffff" stroke="transparent" points="-4,4 -4,-244 228.88,-244 228.88,4 -4,4"/>
|
|
<!-- WAITING_FOR_NDP_RS -->
|
|
<g id="node1" class="node">
|
|
<title>WAITING_FOR_NDP_RS</title>
|
|
<polygon fill="#0000ff" stroke="#000000" points="195.94,-240 28.94,-240 28.94,-204 195.94,-204 195.94,-240"/>
|
|
<text text-anchor="middle" x="112.44" y="-218.3" font-family="Times,serif" font-size="14.00" fill="#000000">WAITING_FOR_NDP_RS</text>
|
|
</g>
|
|
<!-- WAITING_FOR_DHCP_IR -->
|
|
<g id="node3" class="node">
|
|
<title>WAITING_FOR_DHCP_IR</title>
|
|
<ellipse fill="none" stroke="#000000" cx="112.44" cy="-120" rx="112.3801" ry="18"/>
|
|
<text text-anchor="middle" x="112.44" y="-116.3" font-family="Times,serif" font-size="14.00" fill="#000000">WAITING_FOR_DHCP_IR</text>
|
|
</g>
|
|
<!-- WAITING_FOR_NDP_RS->WAITING_FOR_DHCP_IR -->
|
|
<g id="edge1" class="edge">
|
|
<title>WAITING_FOR_NDP_RS->WAITING_FOR_DHCP_IR</title>
|
|
<path fill="none" stroke="#ff0000" d="M112.44,-203.7644C112.44,-188.317 112.44,-165.9149 112.44,-148.164"/>
|
|
<polygon fill="#ff0000" stroke="#ff0000" points="115.9401,-148.0776 112.44,-138.0777 108.9401,-148.0777 115.9401,-148.0776"/>
|
|
<text text-anchor="start" x="112.44" y="-174.8" font-family="Times,serif" font-size="14.00" fill="#000000">received_ICMP</text>
|
|
<text text-anchor="middle" x="156.44" y="-159.8" font-family="Times,serif" font-size="14.00" fill="#000000">>[on_NDP_RS]</text>
|
|
</g>
|
|
<!-- END -->
|
|
<g id="node2" class="node">
|
|
<title>END</title>
|
|
<polygon fill="#00ff00" stroke="#000000" points="143.3474,-10.5442 143.3474,-25.4558 125.2423,-36 99.6378,-36 81.5326,-25.4558 81.5326,-10.5442 99.6378,0 125.2423,0 143.3474,-10.5442"/>
|
|
<text text-anchor="middle" x="112.44" y="-14.3" font-family="Times,serif" font-size="14.00" fill="#000000">END</text>
|
|
</g>
|
|
<!-- WAITING_FOR_DHCP_IR->END -->
|
|
<g id="edge2" class="edge">
|
|
<title>WAITING_FOR_DHCP_IR->END</title>
|
|
<path fill="none" stroke="#ff0000" d="M112.44,-101.7644C112.44,-86.317 112.44,-63.9149 112.44,-46.164"/>
|
|
<polygon fill="#ff0000" stroke="#ff0000" points="115.9401,-46.0776 112.44,-36.0777 108.9401,-46.0777 115.9401,-46.0776"/>
|
|
<text text-anchor="start" x="112.44" y="-72.8" font-family="Times,serif" font-size="14.00" fill="#000000">received_DHCPv6</text>
|
|
<text text-anchor="middle" x="166.44" y="-57.8" font-family="Times,serif" font-size="14.00" fill="#000000">>[on_DHCPv6_IR]</text>
|
|
</g>
|
|
</g>
|
|
</svg>
|