Page Menu
Home
Phabricator
Search
Configure Global Search
Log In
Files
F1032
statemachine.dot.svg
Public
Actions
Download File
Edit File
Delete File
View Transforms
Subscribe
Mute Notifications
Award Token
Flag For Later
Authored By
maleike
Aug 21 2013, 10:41 AM
2013-08-21 10:41:22 (UTC+2)
Size
83 KB
Referenced Files
None
Subscribers
None
statemachine.dot.svg
View Options
<?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.33.0 (20130813.1041)
-->
<!-- Title: state_machine Pages: 1 -->
<svg width="1751pt" height="1692pt"
viewBox="0.00 0.00 1751.00 1692.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 1688)">
<title>state_machine</title>
<polygon fill="white" stroke="white" points="-4,5 -4,-1688 1748,-1688 1748,5 -4,5"/>
<!-- Start -->
<g id="node1" class="node"><title>Start</title>
<ellipse fill="none" stroke="black" cx="829" cy="-1659" rx="20.4364" ry="20.69"/>
<ellipse fill="none" stroke="black" cx="829" cy="-1659" rx="24.404" ry="24.7068"/>
<text text-anchor="middle" x="829" y="-1656.5" font-family="Times,serif" font-size="10.00">Start</text>
</g>
<!-- PlaceFigure -->
<g id="node4" class="node"><title>PlaceFigure</title>
<ellipse fill="none" stroke="black" cx="954" cy="-1504" rx="37.8969" ry="38.0276"/>
<text text-anchor="middle" x="954" y="-1501.5" font-family="Times,serif" font-size="10.00">PlaceFigure</text>
</g>
<!-- Start->PlaceFigure -->
<g id="edge2" class="edge"><title>Start->PlaceFigure</title>
<path fill="none" stroke="black" d="M844.078,-1639.54C863.689,-1615.54 898.411,-1573.04 923.593,-1542.22"/>
<polygon fill="black" stroke="black" points="926.482,-1544.21 930.098,-1534.26 921.061,-1539.79 926.482,-1544.21"/>
<text text-anchor="start" x="946.5" y="-1603.5" font-family="Times,serif" font-size="10.00">            </text>
<text text-anchor="start" x="974.5" y="-1603.5" font-family="Times,serif" font-weight="bold" font-size="10.00">MouseMove</text>
<text text-anchor="start" x="1028.5" y="-1603.5" font-family="Times,serif" font-size="10.00">          </text>
<text text-anchor="start" x="934" y="-1587" font-family="Times,serif" font-size="10.00">            </text>
<text text-anchor="start" x="962" y="-1587" font-family="Times,serif" font-style="italic" font-size="10.00">(MouseMoveEvent)</text>
<text text-anchor="start" x="1041" y="-1587" font-family="Times,serif" font-size="10.00">          </text>
<text text-anchor="start" x="908" y="-1571" font-family="Times,serif" font-size="10.00">            </text>
<text text-anchor="start" x="936" y="-1571" font-family="Times,serif" font-size="10.00" fill="#aa0000">            !figure_is_placed            </text>
<text text-anchor="start" x="1062" y="-1571" font-family="Times,serif" font-size="10.00">            </text>
</g>
<!-- EditFigure -->
<g id="node5" class="node"><title>EditFigure</title>
<ellipse fill="none" stroke="black" cx="765" cy="-276" rx="34.9814" ry="35.1405"/>
<text text-anchor="middle" x="765" y="-273.5" font-family="Times,serif" font-size="10.00">EditFigure</text>
</g>
<!-- Start->EditFigure -->
<g id="edge1" class="edge"><title>Start->EditFigure</title>
<path fill="none" stroke="black" d="M853.571,-1658.18C980.39,-1658.47 1555,-1651.68 1555,-1505 1555,-1505 1555,-1505 1555,-555 1555,-453.584 1592.1,-398.153 1517,-330 1464.65,-282.498 965.118,-277.425 810.43,-276.999"/>
<polygon fill="black" stroke="black" points="810.331,-273.499 800.323,-276.976 810.315,-280.499 810.331,-273.499"/>
<text text-anchor="start" x="1596.5" y="-1125.5" font-family="Times,serif" font-size="10.00">            </text>
<text text-anchor="start" x="1624.5" y="-1125.5" font-family="Times,serif" font-weight="bold" font-size="10.00">MouseMove</text>
<text text-anchor="start" x="1678.5" y="-1125.5" font-family="Times,serif" font-size="10.00">          </text>
<text text-anchor="start" x="1584" y="-1109" font-family="Times,serif" font-size="10.00">            </text>
<text text-anchor="start" x="1612" y="-1109" font-family="Times,serif" font-style="italic" font-size="10.00">(MouseMoveEvent)</text>
<text text-anchor="start" x="1691" y="-1109" font-family="Times,serif" font-size="10.00">          </text>
<text text-anchor="start" x="1559.5" y="-1093" font-family="Times,serif" font-size="10.00">            </text>
<text text-anchor="start" x="1587.5" y="-1093" font-family="Times,serif" font-size="10.00" fill="#00aa00">            figure_is_placed            </text>
<text text-anchor="start" x="1710.5" y="-1093" font-family="Times,serif" font-size="10.00">            </text>
</g>
<!-- FigurePlaced -->
<g id="node2" class="node"><title>FigurePlaced</title>
<ellipse fill="none" stroke="black" cx="569" cy="-1333" rx="41.3101" ry="41.4139"/>
<text text-anchor="middle" x="569" y="-1330.5" font-family="Times,serif" font-size="10.00">FigurePlaced</text>
</g>
<!-- FigurePlaced->Start -->
<g id="edge5" class="edge"><title>FigurePlaced->Start</title>
<path fill="none" stroke="black" d="M536.423,-1358.75C486.584,-1399.63 401.89,-1483 449,-1546 491.258,-1602.51 709.905,-1640.39 795.03,-1653.19"/>
<polygon fill="black" stroke="black" points="794.557,-1656.66 804.962,-1654.67 795.583,-1649.74 794.557,-1656.66"/>
<text text-anchor="start" x="480.5" y="-1525.5" font-family="Times,serif" font-size="10.00">            </text>
<text text-anchor="start" x="508.5" y="-1525.5" font-family="Times,serif" font-weight="bold" font-size="10.00">PrimaryButtonDoubleClick</text>
<text text-anchor="start" x="628.5" y="-1525.5" font-family="Times,serif" font-size="10.00">          </text>
<text text-anchor="start" x="486" y="-1509" font-family="Times,serif" font-size="10.00">            </text>
<text text-anchor="start" x="514" y="-1509" font-family="Times,serif" font-style="italic" font-size="10.00">(MouseDoubleClickEvent)</text>
<text text-anchor="start" x="623" y="-1509" font-family="Times,serif" font-size="10.00">          </text>
<text text-anchor="start" x="454" y="-1493" font-family="Times,serif" font-size="10.00">            </text>
<text text-anchor="start" x="482" y="-1493" font-family="Times,serif" font-size="10.00" fill="#00aa00">            minimal_figure_is_finished            </text>
<text text-anchor="start" x="650" y="-1493" font-family="Times,serif" font-size="10.00">            </text>
<text text-anchor="start" x="502.5" y="-1477" font-family="Times,serif" font-size="10.00">            -->finalize_figure            </text>
</g>
<!-- FigurePlaced->Start -->
<g id="edge7" class="edge"><title>FigurePlaced->Start</title>
<path fill="none" stroke="black" d="M598.852,-1361.54C623.858,-1385.94 659.049,-1423.57 682,-1462 702.405,-1496.17 691.25,-1512.68 713,-1546 737.16,-1583.02 775.651,-1616.98 801.601,-1637.58"/>
<polygon fill="black" stroke="black" points="799.514,-1640.39 809.551,-1643.78 803.82,-1634.87 799.514,-1640.39"/>
<text text-anchor="start" x="735.5" y="-1533.5" font-family="Times,serif" font-size="10.00">            </text>
<text text-anchor="start" x="763.5" y="-1533.5" font-family="Times,serif" font-weight="bold" font-size="10.00">PrimaryButtonPressed</text>
<text text-anchor="start" x="861.5" y="-1533.5" font-family="Times,serif" font-size="10.00">          </text>
<text text-anchor="start" x="745" y="-1517" font-family="Times,serif" font-size="10.00">            </text>
<text text-anchor="start" x="773" y="-1517" font-family="Times,serif" font-style="italic" font-size="10.00">(MousePressEvent)</text>
<text text-anchor="start" x="852" y="-1517" font-family="Times,serif" font-size="10.00">          </text>
<text text-anchor="start" x="724.5" y="-1501" font-family="Times,serif" font-size="10.00">            </text>
<text text-anchor="start" x="752.5" y="-1501" font-family="Times,serif" font-size="10.00" fill="#00aa00">            point_is_valid            </text>
<text text-anchor="start" x="867.5" y="-1501" font-family="Times,serif" font-size="10.00">            </text>
<text text-anchor="start" x="717.5" y="-1485" font-family="Times,serif" font-size="10.00">            </text>
<text text-anchor="start" x="745.5" y="-1485" font-family="Times,serif" font-size="10.00" fill="#00aa00">            figure_is_finished            </text>
<text text-anchor="start" x="874.5" y="-1485" font-family="Times,serif" font-size="10.00">            </text>
<text text-anchor="start" x="746.5" y="-1469" font-family="Times,serif" font-size="10.00">            -->finalize_figure            </text>
</g>
<!-- FigurePlaced->FigurePlaced -->
<g id="edge3" class="edge"><title>FigurePlaced->FigurePlaced</title>
<path fill="none" stroke="black" d="M610.083,-1336.88C620.336,-1336.61 628,-1335.32 628,-1333 628,-1331.55 625.006,-1330.5 620.258,-1329.85"/>
<polygon fill="black" stroke="black" points="620.31,-1326.35 610.083,-1329.12 619.804,-1333.33 620.31,-1326.35"/>
<text text-anchor="start" x="690.5" y="-1354.5" font-family="Times,serif" font-size="10.00">            </text>
<text text-anchor="start" x="718.5" y="-1354.5" font-family="Times,serif" font-weight="bold" font-size="10.00">MouseMove</text>
<text text-anchor="start" x="772.5" y="-1354.5" font-family="Times,serif" font-size="10.00">          </text>
<text text-anchor="start" x="678" y="-1338" font-family="Times,serif" font-size="10.00">            </text>
<text text-anchor="start" x="706" y="-1338" font-family="Times,serif" font-style="italic" font-size="10.00">(MouseMoveEvent)</text>
<text text-anchor="start" x="785" y="-1338" font-family="Times,serif" font-size="10.00">          </text>
<text text-anchor="start" x="633" y="-1322" font-family="Times,serif" font-size="10.00">            </text>
<text text-anchor="start" x="661" y="-1322" font-family="Times,serif" font-size="10.00" fill="#00aa00">            figure_is_on_current_slice            </text>
<text text-anchor="start" x="825" y="-1322" font-family="Times,serif" font-size="10.00">            </text>
<text text-anchor="start" x="668" y="-1306" font-family="Times,serif" font-size="10.00">            -->move_current_point            </text>
</g>
<!-- FigurePlaced->FigurePlaced -->
<g id="edge6" class="edge"><title>FigurePlaced->FigurePlaced</title>
<path fill="none" stroke="black" d="M610.05,-1338.12C690.824,-1343.06 857,-1341.36 857,-1333 857,-1324.98 703.864,-1323.08 620.147,-1327.32"/>
<polygon fill="black" stroke="black" points="619.84,-1323.83 610.05,-1327.88 620.229,-1330.82 619.84,-1323.83"/>
<text text-anchor="start" x="889.5" y="-1346.5" font-family="Times,serif" font-size="10.00">            </text>
<text text-anchor="start" x="917.5" y="-1346.5" font-family="Times,serif" font-weight="bold" font-size="10.00">PrimaryButtonDoubleClick</text>
<text text-anchor="start" x="1037.5" y="-1346.5" font-family="Times,serif" font-size="10.00">          </text>
<text text-anchor="start" x="895" y="-1330" font-family="Times,serif" font-size="10.00">            </text>
<text text-anchor="start" x="923" y="-1330" font-family="Times,serif" font-style="italic" font-size="10.00">(MouseDoubleClickEvent)</text>
<text text-anchor="start" x="1032" y="-1330" font-family="Times,serif" font-size="10.00">          </text>
<text text-anchor="start" x="861.5" y="-1314" font-family="Times,serif" font-size="10.00">            </text>
<text text-anchor="start" x="889.5" y="-1314" font-family="Times,serif" font-size="10.00" fill="#aa0000">            !minimal_figure_is_finished            </text>
<text text-anchor="start" x="1060.5" y="-1314" font-family="Times,serif" font-size="10.00">            </text>
</g>
<!-- FigurePlaced->FigurePlaced -->
<g id="edge8" class="edge"><title>FigurePlaced->FigurePlaced</title>
<path fill="none" stroke="black" d="M610.004,-1338.94C735.161,-1348.41 1093,-1346.43 1093,-1333 1093,-1319.93 753.783,-1317.7 620.379,-1326.33"/>
<polygon fill="black" stroke="black" points="619.736,-1322.87 610.004,-1327.06 620.224,-1329.85 619.736,-1322.87"/>
<text text-anchor="start" x="1117.5" y="-1362.5" font-family="Times,serif" font-size="10.00">            </text>
<text text-anchor="start" x="1145.5" y="-1362.5" font-family="Times,serif" font-weight="bold" font-size="10.00">PrimaryButtonPressed</text>
<text text-anchor="start" x="1243.5" y="-1362.5" font-family="Times,serif" font-size="10.00">          </text>
<text text-anchor="start" x="1127" y="-1346" font-family="Times,serif" font-size="10.00">            </text>
<text text-anchor="start" x="1155" y="-1346" font-family="Times,serif" font-style="italic" font-size="10.00">(MousePressEvent)</text>
<text text-anchor="start" x="1234" y="-1346" font-family="Times,serif" font-size="10.00">          </text>
<text text-anchor="start" x="1106.5" y="-1330" font-family="Times,serif" font-size="10.00">            </text>
<text text-anchor="start" x="1134.5" y="-1330" font-family="Times,serif" font-size="10.00" fill="#00aa00">            point_is_valid            </text>
<text text-anchor="start" x="1249.5" y="-1330" font-family="Times,serif" font-size="10.00">            </text>
<text text-anchor="start" x="1098" y="-1314" font-family="Times,serif" font-size="10.00">            </text>
<text text-anchor="start" x="1126" y="-1314" font-family="Times,serif" font-size="10.00" fill="#aa0000">            !figure_is_finished            </text>
<text text-anchor="start" x="1258" y="-1314" font-family="Times,serif" font-size="10.00">            </text>
<text text-anchor="start" x="1126.5" y="-1298" font-family="Times,serif" font-size="10.00">            -->add_new_point            </text>
</g>
<!-- FigurePlaced->FigurePlaced -->
<g id="edge9" class="edge"><title>FigurePlaced->FigurePlaced</title>
<path fill="none" stroke="black" d="M609.756,-1339.8C764.485,-1353.68 1290,-1351.42 1290,-1333 1290,-1314.96 785.818,-1312.42 619.735,-1325.37"/>
<polygon fill="black" stroke="black" points="619.429,-1321.88 609.756,-1326.2 620.012,-1328.86 619.429,-1321.88"/>
<text text-anchor="start" x="1307.5" y="-1346.5" font-family="Times,serif" font-size="10.00">            </text>
<text text-anchor="start" x="1335.5" y="-1346.5" font-family="Times,serif" font-weight="bold" font-size="10.00">PrimaryButtonPressed</text>
<text text-anchor="start" x="1433.5" y="-1346.5" font-family="Times,serif" font-size="10.00">          </text>
<text text-anchor="start" x="1317" y="-1330" font-family="Times,serif" font-size="10.00">            </text>
<text text-anchor="start" x="1345" y="-1330" font-family="Times,serif" font-style="italic" font-size="10.00">(MousePressEvent)</text>
<text text-anchor="start" x="1424" y="-1330" font-family="Times,serif" font-size="10.00">          </text>
<text text-anchor="start" x="1295" y="-1314" font-family="Times,serif" font-size="10.00">            </text>
<text text-anchor="start" x="1323" y="-1314" font-family="Times,serif" font-size="10.00" fill="#aa0000">            !point_is_valid            </text>
<text text-anchor="start" x="1441" y="-1314" font-family="Times,serif" font-size="10.00">            </text>
</g>
<!-- FigurePlacedByDrag -->
<g id="node9" class="node"><title>FigurePlacedByDrag</title>
<ellipse fill="none" stroke="black" cx="355" cy="-1112" rx="60.0654" ry="60.0873"/>
<text text-anchor="middle" x="355" y="-1109.5" font-family="Times,serif" font-size="10.00">FigurePlacedByDrag</text>
</g>
<!-- FigurePlaced->FigurePlacedByDrag -->
<g id="edge4" class="edge"><title>FigurePlaced->FigurePlacedByDrag</title>
<path fill="none" stroke="black" d="M579.244,-1293.04C584.934,-1262.21 587.163,-1219.58 566,-1190 534.014,-1145.29 473.272,-1126.47 425.143,-1118.59"/>
<polygon fill="black" stroke="black" points="425.491,-1115.1 415.08,-1117.07 424.444,-1122.02 425.491,-1115.1"/>
<text text-anchor="start" x="589" y="-1253.5" font-family="Times,serif" font-size="10.00">            </text>
<text text-anchor="start" x="617" y="-1253.5" font-family="Times,serif" font-weight="bold" font-size="10.00">PrimaryButtonPressedAndMouseMove</text>
<text text-anchor="start" x="786" y="-1253.5" font-family="Times,serif" font-size="10.00">          </text>
<text text-anchor="start" x="634" y="-1237" font-family="Times,serif" font-size="10.00">            </text>
<text text-anchor="start" x="662" y="-1237" font-family="Times,serif" font-style="italic" font-size="10.00">(MouseMoveEvent)</text>
<text text-anchor="start" x="741" y="-1237" font-family="Times,serif" font-size="10.00">          </text>
<text text-anchor="start" x="589" y="-1221" font-family="Times,serif" font-size="10.00">            </text>
<text text-anchor="start" x="617" y="-1221" font-family="Times,serif" font-size="10.00" fill="#00aa00">            figure_is_on_current_slice            </text>
<text text-anchor="start" x="781" y="-1221" font-family="Times,serif" font-size="10.00">            </text>
<text text-anchor="start" x="624" y="-1205" font-family="Times,serif" font-size="10.00">            -->move_current_point            </text>
</g>
<!-- ControlPointSelected -->
<g id="node3" class="node"><title>ControlPointSelected</title>
<ellipse fill="none" stroke="black" cx="991" cy="-556" rx="61.3318" ry="61.4427"/>
<text text-anchor="middle" x="991" y="-553.5" font-family="Times,serif" font-size="10.00">ControlPointSelected</text>
</g>
<!-- ControlPointSelected->ControlPointSelected -->
<g id="edge10" class="edge"><title>ControlPointSelected->ControlPointSelected</title>
<path fill="none" stroke="black" d="M1043.79,-587.344C1058.62,-585.972 1070,-575.523 1070,-556 1070,-541.052 1063.33,-531.425 1053.55,-527.117"/>
<polygon fill="black" stroke="black" points="1054.35,-523.708 1043.79,-524.656 1052.63,-530.496 1054.35,-523.708"/>
<text text-anchor="start" x="1075" y="-569.5" font-family="Times,serif" font-size="10.00">            </text>
<text text-anchor="start" x="1103" y="-569.5" font-family="Times,serif" font-weight="bold" font-size="10.00">PrimaryButtonPressedAndMouseMove</text>
<text text-anchor="start" x="1272" y="-569.5" font-family="Times,serif" font-size="10.00">          </text>
<text text-anchor="start" x="1120" y="-553" font-family="Times,serif" font-size="10.00">            </text>
<text text-anchor="start" x="1148" y="-553" font-family="Times,serif" font-style="italic" font-size="10.00">(MouseMoveEvent)</text>
<text text-anchor="start" x="1227" y="-553" font-family="Times,serif" font-size="10.00">          </text>
<text text-anchor="start" x="1110" y="-537" font-family="Times,serif" font-size="10.00">            -->move_current_point            </text>
</g>
<!-- ControlPointSelected->EditFigure -->
<g id="edge11" class="edge"><title>ControlPointSelected->EditFigure</title>
<path fill="none" stroke="black" d="M957.406,-504.616C944.846,-486.448 930.181,-465.997 916,-448 876.741,-398.177 827.502,-343.764 796.137,-310.006"/>
<polygon fill="black" stroke="black" points="798.332,-307.227 788.953,-302.298 793.211,-312 798.332,-307.227"/>
<text text-anchor="start" x="905.5" y="-393.5" font-family="Times,serif" font-size="10.00">            </text>
<text text-anchor="start" x="933.5" y="-393.5" font-family="Times,serif" font-weight="bold" font-size="10.00">PrimaryButtonReleased</text>
<text text-anchor="start" x="1037.5" y="-393.5" font-family="Times,serif" font-size="10.00">          </text>
<text text-anchor="start" x="913.5" y="-377" font-family="Times,serif" font-size="10.00">            </text>
<text text-anchor="start" x="941.5" y="-377" font-family="Times,serif" font-style="italic" font-size="10.00">(MouseReleaseEvent)</text>
<text text-anchor="start" x="1029.5" y="-377" font-family="Times,serif" font-size="10.00">          </text>
<text text-anchor="start" x="919.5" y="-361" font-family="Times,serif" font-size="10.00">            -->deselect_point            </text>
</g>
<!-- PlaceFigure->FigurePlaced -->
<g id="edge12" class="edge"><title>PlaceFigure->FigurePlaced</title>
<path fill="none" stroke="black" d="M925.67,-1478.17C918.271,-1472.4 910.094,-1466.61 902,-1462 807.146,-1408.03 685.107,-1367.71 618.244,-1347.82"/>
<polygon fill="black" stroke="black" points="618.975,-1344.39 608.394,-1344.92 616.998,-1351.11 618.975,-1344.39"/>
<text text-anchor="start" x="872.5" y="-1431.5" font-family="Times,serif" font-size="10.00">            </text>
<text text-anchor="start" x="900.5" y="-1431.5" font-family="Times,serif" font-weight="bold" font-size="10.00">PrimaryButtonPressed</text>
<text text-anchor="start" x="998.5" y="-1431.5" font-family="Times,serif" font-size="10.00">          </text>
<text text-anchor="start" x="882" y="-1415" font-family="Times,serif" font-size="10.00">            </text>
<text text-anchor="start" x="910" y="-1415" font-family="Times,serif" font-style="italic" font-size="10.00">(MousePressEvent)</text>
<text text-anchor="start" x="989" y="-1415" font-family="Times,serif" font-size="10.00">          </text>
<text text-anchor="start" x="877.5" y="-1399" font-family="Times,serif" font-size="10.00">            -->add_initial_point            </text>
</g>
<!-- HoveringOverFigure -->
<g id="node6" class="node"><title>HoveringOverFigure</title>
<ellipse fill="none" stroke="black" cx="504" cy="-60" rx="60.0654" ry="60.0873"/>
<text text-anchor="middle" x="504" y="-57.5" font-family="Times,serif" font-size="10.00">HoveringOverFigure</text>
</g>
<!-- EditFigure->HoveringOverFigure -->
<g id="edge13" class="edge"><title>EditFigure->HoveringOverFigure</title>
<path fill="none" stroke="black" d="M736.973,-254.311C728.117,-248.754 718.019,-243.36 708,-240 668.629,-226.796 551.581,-251.145 522,-222 509.043,-209.235 504.584,-168.271 503.344,-130.861"/>
<polygon fill="black" stroke="black" points="506.831,-130.337 503.075,-120.431 499.834,-130.517 506.831,-130.337"/>
<text text-anchor="start" x="584.5" y="-209.5" font-family="Times,serif" font-size="10.00">            </text>
<text text-anchor="start" x="612.5" y="-209.5" font-family="Times,serif" font-weight="bold" font-size="10.00">MouseMove</text>
<text text-anchor="start" x="666.5" y="-209.5" font-family="Times,serif" font-size="10.00">          </text>
<text text-anchor="start" x="572" y="-193" font-family="Times,serif" font-size="10.00">            </text>
<text text-anchor="start" x="600" y="-193" font-family="Times,serif" font-style="italic" font-size="10.00">(MouseMoveEvent)</text>
<text text-anchor="start" x="679" y="-193" font-family="Times,serif" font-size="10.00">          </text>
<text text-anchor="start" x="527" y="-177" font-family="Times,serif" font-size="10.00">            </text>
<text text-anchor="start" x="555" y="-177" font-family="Times,serif" font-size="10.00" fill="#00aa00">            figure_is_on_current_slice            </text>
<text text-anchor="start" x="719" y="-177" font-family="Times,serif" font-size="10.00">            </text>
<text text-anchor="start" x="533.5" y="-161" font-family="Times,serif" font-size="10.00">            </text>
<text text-anchor="start" x="561.5" y="-161" font-family="Times,serif" font-size="10.00" fill="#00aa00">            hovering_above_figure            </text>
<text text-anchor="start" x="712.5" y="-161" font-family="Times,serif" font-size="10.00">            </text>
<text text-anchor="start" x="562.5" y="-145" font-family="Times,serif" font-size="10.00">            -->switch_to_hovering            </text>
</g>
<!-- HoveringOverFigure->EditFigure -->
<g id="edge14" class="edge"><title>HoveringOverFigure->EditFigure</title>
<path fill="none" stroke="black" d="M564.045,-61.9698C621.467,-66.3912 705.803,-82.702 751,-138 771.911,-163.584 774.324,-201.474 772.118,-230.925"/>
<polygon fill="black" stroke="black" points="768.626,-230.671 771.167,-240.957 775.595,-231.331 768.626,-230.671"/>
<text text-anchor="start" x="830.5" y="-201.5" font-family="Times,serif" font-size="10.00">            </text>
<text text-anchor="start" x="858.5" y="-201.5" font-family="Times,serif" font-weight="bold" font-size="10.00">MouseMove</text>
<text text-anchor="start" x="912.5" y="-201.5" font-family="Times,serif" font-size="10.00">          </text>
<text text-anchor="start" x="818" y="-185" font-family="Times,serif" font-size="10.00">            </text>
<text text-anchor="start" x="846" y="-185" font-family="Times,serif" font-style="italic" font-size="10.00">(MouseMoveEvent)</text>
<text text-anchor="start" x="925" y="-185" font-family="Times,serif" font-size="10.00">          </text>
<text text-anchor="start" x="778" y="-169" font-family="Times,serif" font-size="10.00">            </text>
<text text-anchor="start" x="806" y="-169" font-family="Times,serif" font-size="10.00" fill="#aa0000">            !hovering_above_figure            </text>
<text text-anchor="start" x="960" y="-169" font-family="Times,serif" font-size="10.00">            </text>
<text text-anchor="start" x="808" y="-153" font-family="Times,serif" font-size="10.00">            -->hide_preview_point            </text>
</g>
<!-- HoveringOverFigure->HoveringOverFigure -->
<g id="edge15" class="edge"><title>HoveringOverFigure->HoveringOverFigure</title>
<path fill="none" stroke="black" d="M563.846,-67.0601C574.534,-66.1424 582,-63.7891 582,-60 582,-57.5726 578.936,-55.7345 573.924,-54.4855"/>
<polygon fill="black" stroke="black" points="574.261,-50.9964 563.846,-52.9399 573.2,-57.9155 574.261,-50.9964"/>
<text text-anchor="start" x="637.5" y="-89.5" font-family="Times,serif" font-size="10.00">            </text>
<text text-anchor="start" x="665.5" y="-89.5" font-family="Times,serif" font-weight="bold" font-size="10.00">MouseMove</text>
<text text-anchor="start" x="719.5" y="-89.5" font-family="Times,serif" font-size="10.00">          </text>
<text text-anchor="start" x="625" y="-73" font-family="Times,serif" font-size="10.00">            </text>
<text text-anchor="start" x="653" y="-73" font-family="Times,serif" font-style="italic" font-size="10.00">(MouseMoveEvent)</text>
<text text-anchor="start" x="732" y="-73" font-family="Times,serif" font-size="10.00">          </text>
<text text-anchor="start" x="586.5" y="-57" font-family="Times,serif" font-size="10.00">            </text>
<text text-anchor="start" x="614.5" y="-57" font-family="Times,serif" font-size="10.00" fill="#aa0000">            !hovering_above_point            </text>
<text text-anchor="start" x="765.5" y="-57" font-family="Times,serif" font-size="10.00">            </text>
<text text-anchor="start" x="586.5" y="-41" font-family="Times,serif" font-size="10.00">            </text>
<text text-anchor="start" x="614.5" y="-41" font-family="Times,serif" font-size="10.00" fill="#00aa00">            hovering_above_figure            </text>
<text text-anchor="start" x="765.5" y="-41" font-family="Times,serif" font-size="10.00">            </text>
<text text-anchor="start" x="599" y="-25" font-family="Times,serif" font-size="10.00">            -->set_preview_point_position            </text>
</g>
<!-- HoveringOverFigure->HoveringOverFigure -->
<g id="edge18" class="edge"><title>HoveringOverFigure->HoveringOverFigure</title>
<path fill="none" stroke="black" d="M563.097,-71.2206C650.241,-78.7597 798,-75.0195 798,-60 798,-45.5525 661.282,-41.5415 573.306,-47.967"/>
<polygon fill="black" stroke="black" points="572.788,-44.4971 563.097,-48.7794 573.343,-51.4751 572.788,-44.4971"/>
<text text-anchor="start" x="838.5" y="-89.5" font-family="Times,serif" font-size="10.00">            </text>
<text text-anchor="start" x="866.5" y="-89.5" font-family="Times,serif" font-weight="bold" font-size="10.00">PrimaryButtonPressed</text>
<text text-anchor="start" x="964.5" y="-89.5" font-family="Times,serif" font-size="10.00">          </text>
<text text-anchor="start" x="848" y="-73" font-family="Times,serif" font-size="10.00">            </text>
<text text-anchor="start" x="876" y="-73" font-family="Times,serif" font-style="italic" font-size="10.00">(MousePressEvent)</text>
<text text-anchor="start" x="955" y="-73" font-family="Times,serif" font-size="10.00">          </text>
<text text-anchor="start" x="803" y="-57" font-family="Times,serif" font-size="10.00">            </text>
<text text-anchor="start" x="831" y="-57" font-family="Times,serif" font-size="10.00" fill="#00aa00">            figure_is_on_current_slice            </text>
<text text-anchor="start" x="995" y="-57" font-family="Times,serif" font-size="10.00">            </text>
<text text-anchor="start" x="819" y="-41" font-family="Times,serif" font-size="10.00">            </text>
<text text-anchor="start" x="847" y="-41" font-family="Times,serif" font-size="10.00" fill="#aa0000">            !figure_is_selected            </text>
<text text-anchor="start" x="979" y="-41" font-family="Times,serif" font-size="10.00">            </text>
<text text-anchor="start" x="853.5" y="-25" font-family="Times,serif" font-size="10.00">            -->select_figure            </text>
</g>
<!-- HoveringOverFigure->HoveringOverFigure -->
<g id="edge19" class="edge"><title>HoveringOverFigure->HoveringOverFigure</title>
<path fill="none" stroke="black" d="M562.869,-73.3222C701.414,-89.0208 1027,-84.5801 1027,-60 1027,-35.996 716.497,-31.1984 572.913,-45.6072"/>
<polygon fill="black" stroke="black" points="572.442,-42.1374 562.869,-46.6778 573.184,-49.098 572.442,-42.1374"/>
<text text-anchor="start" x="1063.5" y="-81.5" font-family="Times,serif" font-size="10.00">            </text>
<text text-anchor="start" x="1091.5" y="-81.5" font-family="Times,serif" font-weight="bold" font-size="10.00">SecondaryButtonPressed</text>
<text text-anchor="start" x="1197.5" y="-81.5" font-family="Times,serif" font-size="10.00">          </text>
<text text-anchor="start" x="1077" y="-65" font-family="Times,serif" font-size="10.00">            </text>
<text text-anchor="start" x="1105" y="-65" font-family="Times,serif" font-style="italic" font-size="10.00">(MousePressEvent)</text>
<text text-anchor="start" x="1184" y="-65" font-family="Times,serif" font-size="10.00">          </text>
<text text-anchor="start" x="1032" y="-49" font-family="Times,serif" font-size="10.00">            </text>
<text text-anchor="start" x="1060" y="-49" font-family="Times,serif" font-size="10.00" fill="#00aa00">            figure_is_on_current_slice            </text>
<text text-anchor="start" x="1224" y="-49" font-family="Times,serif" font-size="10.00">            </text>
<text text-anchor="start" x="1062" y="-33" font-family="Times,serif" font-size="10.00">            -->request_context_menu            </text>
</g>
<!-- HoveringOverPoint -->
<g id="node7" class="node"><title>HoveringOverPoint</title>
<ellipse fill="none" stroke="black" cx="661" cy="-842" rx="57.5329" ry="57.8786"/>
<text text-anchor="middle" x="661" y="-839.5" font-family="Times,serif" font-size="10.00">HoveringOverPoint</text>
</g>
<!-- HoveringOverFigure->HoveringOverPoint -->
<g id="edge16" class="edge"><title>HoveringOverFigure->HoveringOverPoint</title>
<path fill="none" stroke="black" d="M563.872,-65.7331C677.843,-75.494 921.278,-100.165 996,-138 1170.39,-226.304 1232.9,-267.524 1308,-448 1344.88,-536.633 1354.74,-580.149 1308,-664 1266.02,-739.304 1223.87,-736.112 1143,-766 1001.59,-818.263 823.782,-834.107 728.57,-838.91"/>
<polygon fill="black" stroke="black" points="728.318,-835.418 718.497,-839.393 728.653,-842.41 728.318,-835.418"/>
<text text-anchor="start" x="1354.5" y="-409.5" font-family="Times,serif" font-size="10.00">            </text>
<text text-anchor="start" x="1382.5" y="-409.5" font-family="Times,serif" font-weight="bold" font-size="10.00">MouseMove</text>
<text text-anchor="start" x="1436.5" y="-409.5" font-family="Times,serif" font-size="10.00">          </text>
<text text-anchor="start" x="1342" y="-393" font-family="Times,serif" font-size="10.00">            </text>
<text text-anchor="start" x="1370" y="-393" font-family="Times,serif" font-style="italic" font-size="10.00">(MouseMoveEvent)</text>
<text text-anchor="start" x="1449" y="-393" font-family="Times,serif" font-size="10.00">          </text>
<text text-anchor="start" x="1305" y="-377" font-family="Times,serif" font-size="10.00">            </text>
<text text-anchor="start" x="1333" y="-377" font-family="Times,serif" font-size="10.00" fill="#00aa00">            hovering_above_point            </text>
<text text-anchor="start" x="1481" y="-377" font-family="Times,serif" font-size="10.00">            </text>
<text text-anchor="start" x="1332" y="-361" font-family="Times,serif" font-size="10.00">            -->hide_preview_point            </text>
<text text-anchor="start" x="1348.5" y="-345" font-family="Times,serif" font-size="10.00">            -->select_point            </text>
</g>
<!-- HoveringOverFigure->FigurePlacedByDrag -->
<g id="edge17" class="edge"><title>HoveringOverFigure->FigurePlacedByDrag</title>
<path fill="none" stroke="black" d="M445.198,-72.9452C312.249,-101.639 0,-179.226 0,-275 0,-843 0,-843 0,-843 0,-985.325 184.001,-1061.63 287.064,-1093.2"/>
<polygon fill="black" stroke="black" points="286.192,-1096.59 296.776,-1096.12 288.206,-1089.89 286.192,-1096.59"/>
<text text-anchor="start" x="40.5" y="-601.5" font-family="Times,serif" font-size="10.00">            </text>
<text text-anchor="start" x="68.5" y="-601.5" font-family="Times,serif" font-weight="bold" font-size="10.00">PrimaryButtonPressed</text>
<text text-anchor="start" x="166.5" y="-601.5" font-family="Times,serif" font-size="10.00">          </text>
<text text-anchor="start" x="50" y="-585" font-family="Times,serif" font-size="10.00">            </text>
<text text-anchor="start" x="78" y="-585" font-family="Times,serif" font-style="italic" font-size="10.00">(MousePressEvent)</text>
<text text-anchor="start" x="157" y="-585" font-family="Times,serif" font-size="10.00">          </text>
<text text-anchor="start" x="5" y="-569" font-family="Times,serif" font-size="10.00">            </text>
<text text-anchor="start" x="33" y="-569" font-family="Times,serif" font-size="10.00" fill="#00aa00">            figure_is_on_current_slice            </text>
<text text-anchor="start" x="197" y="-569" font-family="Times,serif" font-size="10.00">            </text>
<text text-anchor="start" x="22.5" y="-553" font-family="Times,serif" font-size="10.00">            </text>
<text text-anchor="start" x="50.5" y="-553" font-family="Times,serif" font-size="10.00" fill="#00aa00">            figure_is_selected            </text>
<text text-anchor="start" x="179.5" y="-553" font-family="Times,serif" font-size="10.00">            </text>
<text text-anchor="start" x="29.5" y="-537" font-family="Times,serif" font-size="10.00">            </text>
<text text-anchor="start" x="57.5" y="-537" font-family="Times,serif" font-size="10.00" fill="#00aa00">            point_is_valid            </text>
<text text-anchor="start" x="172.5" y="-537" font-family="Times,serif" font-size="10.00">            </text>
<text text-anchor="start" x="21" y="-521" font-family="Times,serif" font-size="10.00">            </text>
<text text-anchor="start" x="49" y="-521" font-family="Times,serif" font-size="10.00" fill="#aa0000">            !figure_is_finished            </text>
<text text-anchor="start" x="181" y="-521" font-family="Times,serif" font-size="10.00">            </text>
<text text-anchor="start" x="49.5" y="-505" font-family="Times,serif" font-size="10.00">            -->add_new_point            </text>
</g>
<!-- HoveringOverPoint->FigurePlaced -->
<g id="edge22" class="edge"><title>HoveringOverPoint->FigurePlaced</title>
<path fill="none" stroke="black" d="M717.644,-851.64C756.766,-860.88 806.075,-879.76 831,-918 917.465,-1050.65 918.967,-1152.86 817,-1274 792.067,-1303.62 685.183,-1319.86 620.144,-1327.16"/>
<polygon fill="black" stroke="black" points="619.646,-1323.69 610.084,-1328.26 620.404,-1330.65 619.646,-1323.69"/>
<text text-anchor="start" x="942.5" y="-1141.5" font-family="Times,serif" font-size="10.00">            </text>
<text text-anchor="start" x="970.5" y="-1141.5" font-family="Times,serif" font-weight="bold" font-size="10.00">PrimaryButtonPressed</text>
<text text-anchor="start" x="1068.5" y="-1141.5" font-family="Times,serif" font-size="10.00">          </text>
<text text-anchor="start" x="952" y="-1125" font-family="Times,serif" font-size="10.00">            </text>
<text text-anchor="start" x="980" y="-1125" font-family="Times,serif" font-style="italic" font-size="10.00">(MousePressEvent)</text>
<text text-anchor="start" x="1059" y="-1125" font-family="Times,serif" font-size="10.00">          </text>
<text text-anchor="start" x="907" y="-1109" font-family="Times,serif" font-size="10.00">            </text>
<text text-anchor="start" x="935" y="-1109" font-family="Times,serif" font-size="10.00" fill="#00aa00">            figure_is_on_current_slice            </text>
<text text-anchor="start" x="1099" y="-1109" font-family="Times,serif" font-size="10.00">            </text>
<text text-anchor="start" x="924.5" y="-1093" font-family="Times,serif" font-size="10.00">            </text>
<text text-anchor="start" x="952.5" y="-1093" font-family="Times,serif" font-size="10.00" fill="#00aa00">            figure_is_selected            </text>
<text text-anchor="start" x="1081.5" y="-1093" font-family="Times,serif" font-size="10.00">            </text>
<text text-anchor="start" x="899.5" y="-1077" font-family="Times,serif" font-size="10.00">            </text>
<text text-anchor="start" x="927.5" y="-1077" font-family="Times,serif" font-size="10.00" fill="#00aa00">            reset_on_point_select_needed            </text>
<text text-anchor="start" x="1106.5" y="-1077" font-family="Times,serif" font-size="10.00">            </text>
</g>
<!-- HoveringOverPoint->ControlPointSelected -->
<g id="edge23" class="edge"><title>HoveringOverPoint->ControlPointSelected</title>
<path fill="none" stroke="black" d="M711.363,-813.297C765.796,-781.792 853.171,-726.541 916,-664 929.965,-650.099 943.088,-633.313 954.332,-617.2"/>
<polygon fill="black" stroke="black" points="957.282,-619.086 960.035,-608.854 951.503,-615.136 957.282,-619.086"/>
<text text-anchor="start" x="941.5" y="-753.5" font-family="Times,serif" font-size="10.00">            </text>
<text text-anchor="start" x="969.5" y="-753.5" font-family="Times,serif" font-weight="bold" font-size="10.00">PrimaryButtonPressed</text>
<text text-anchor="start" x="1067.5" y="-753.5" font-family="Times,serif" font-size="10.00">          </text>
<text text-anchor="start" x="951" y="-737" font-family="Times,serif" font-size="10.00">            </text>
<text text-anchor="start" x="979" y="-737" font-family="Times,serif" font-style="italic" font-size="10.00">(MousePressEvent)</text>
<text text-anchor="start" x="1058" y="-737" font-family="Times,serif" font-size="10.00">          </text>
<text text-anchor="start" x="906" y="-721" font-family="Times,serif" font-size="10.00">            </text>
<text text-anchor="start" x="934" y="-721" font-family="Times,serif" font-size="10.00" fill="#00aa00">            figure_is_on_current_slice            </text>
<text text-anchor="start" x="1098" y="-721" font-family="Times,serif" font-size="10.00">            </text>
<text text-anchor="start" x="923.5" y="-705" font-family="Times,serif" font-size="10.00">            </text>
<text text-anchor="start" x="951.5" y="-705" font-family="Times,serif" font-size="10.00" fill="#00aa00">            figure_is_selected            </text>
<text text-anchor="start" x="1080.5" y="-705" font-family="Times,serif" font-size="10.00">            </text>
<text text-anchor="start" x="897" y="-689" font-family="Times,serif" font-size="10.00">            </text>
<text text-anchor="start" x="925" y="-689" font-family="Times,serif" font-size="10.00" fill="#aa0000">            !reset_on_point_select_needed            </text>
<text text-anchor="start" x="1107" y="-689" font-family="Times,serif" font-size="10.00">            </text>
</g>
<!-- HoveringOverPoint->EditFigure -->
<g id="edge21" class="edge"><title>HoveringOverPoint->EditFigure</title>
<path fill="none" stroke="black" d="M675.302,-785.909C676.714,-779.233 677.994,-772.484 679,-766 700.718,-625.972 621.371,-564.527 702,-448 712.863,-432.301 729.493,-445.232 741,-430 764.326,-399.123 769.01,-354.606 768.64,-321.544"/>
<polygon fill="black" stroke="black" points="772.131,-321.145 768.36,-311.244 765.133,-321.336 772.131,-321.145"/>
<text text-anchor="start" x="759.5" y="-593.5" font-family="Times,serif" font-size="10.00">            </text>
<text text-anchor="start" x="787.5" y="-593.5" font-family="Times,serif" font-weight="bold" font-size="10.00">MouseMove</text>
<text text-anchor="start" x="841.5" y="-593.5" font-family="Times,serif" font-size="10.00">          </text>
<text text-anchor="start" x="747" y="-577" font-family="Times,serif" font-size="10.00">            </text>
<text text-anchor="start" x="775" y="-577" font-family="Times,serif" font-style="italic" font-size="10.00">(MouseMoveEvent)</text>
<text text-anchor="start" x="854" y="-577" font-family="Times,serif" font-size="10.00">          </text>
<text text-anchor="start" x="708.5" y="-561" font-family="Times,serif" font-size="10.00">            </text>
<text text-anchor="start" x="736.5" y="-561" font-family="Times,serif" font-size="10.00" fill="#aa0000">            !hovering_above_point            </text>
<text text-anchor="start" x="887.5" y="-561" font-family="Times,serif" font-size="10.00">            </text>
<text text-anchor="start" x="707" y="-545" font-family="Times,serif" font-size="10.00">            </text>
<text text-anchor="start" x="735" y="-545" font-family="Times,serif" font-size="10.00" fill="#aa0000">            !hovering_above_figure            </text>
<text text-anchor="start" x="889" y="-545" font-family="Times,serif" font-size="10.00">            </text>
<text text-anchor="start" x="721" y="-529" font-family="Times,serif" font-size="10.00">            -->set_preview_point_position            </text>
<text text-anchor="start" x="753.5" y="-513" font-family="Times,serif" font-size="10.00">            -->select_point            </text>
</g>
<!-- HoveringOverPoint->HoveringOverFigure -->
<g id="edge20" class="edge"><title>HoveringOverPoint->HoveringOverFigure</title>
<path fill="none" stroke="black" d="M603.569,-839.44C544.387,-834.817 452.965,-818.839 396,-766 279.41,-657.854 300.76,-586.583 273,-430 265.242,-386.238 257.561,-371.677 273,-330 307.924,-235.726 392.303,-152.256 448.823,-104.175"/>
<polygon fill="black" stroke="black" points="451.206,-106.744 456.605,-97.6279 446.7,-101.387 451.206,-106.744"/>
<text text-anchor="start" x="328.5" y="-417.5" font-family="Times,serif" font-size="10.00">            </text>
<text text-anchor="start" x="356.5" y="-417.5" font-family="Times,serif" font-weight="bold" font-size="10.00">MouseMove</text>
<text text-anchor="start" x="410.5" y="-417.5" font-family="Times,serif" font-size="10.00">          </text>
<text text-anchor="start" x="316" y="-401" font-family="Times,serif" font-size="10.00">            </text>
<text text-anchor="start" x="344" y="-401" font-family="Times,serif" font-style="italic" font-size="10.00">(MouseMoveEvent)</text>
<text text-anchor="start" x="423" y="-401" font-family="Times,serif" font-size="10.00">          </text>
<text text-anchor="start" x="277.5" y="-385" font-family="Times,serif" font-size="10.00">            </text>
<text text-anchor="start" x="305.5" y="-385" font-family="Times,serif" font-size="10.00" fill="#aa0000">            !hovering_above_point            </text>
<text text-anchor="start" x="456.5" y="-385" font-family="Times,serif" font-size="10.00">            </text>
<text text-anchor="start" x="277.5" y="-369" font-family="Times,serif" font-size="10.00">            </text>
<text text-anchor="start" x="305.5" y="-369" font-family="Times,serif" font-size="10.00" fill="#00aa00">            hovering_above_figure            </text>
<text text-anchor="start" x="456.5" y="-369" font-family="Times,serif" font-size="10.00">            </text>
<text text-anchor="start" x="290" y="-353" font-family="Times,serif" font-size="10.00">            -->set_preview_point_position            </text>
<text text-anchor="start" x="322.5" y="-337" font-family="Times,serif" font-size="10.00">            -->select_point            </text>
</g>
<!-- HoveringOverPoint->HoveringOverPoint -->
<g id="edge24" class="edge"><title>HoveringOverPoint->HoveringOverPoint</title>
<path fill="none" stroke="black" d="M717.582,-852.533C728.371,-851.273 736,-847.762 736,-842 736,-838.219 732.714,-835.407 727.406,-833.564"/>
<polygon fill="black" stroke="black" points="728.093,-830.132 717.582,-831.467 726.631,-836.978 728.093,-830.132"/>
<text text-anchor="start" x="776.5" y="-879.5" font-family="Times,serif" font-size="10.00">            </text>
<text text-anchor="start" x="804.5" y="-879.5" font-family="Times,serif" font-weight="bold" font-size="10.00">PrimaryButtonPressed</text>
<text text-anchor="start" x="902.5" y="-879.5" font-family="Times,serif" font-size="10.00">          </text>
<text text-anchor="start" x="786" y="-863" font-family="Times,serif" font-size="10.00">            </text>
<text text-anchor="start" x="814" y="-863" font-family="Times,serif" font-style="italic" font-size="10.00">(MousePressEvent)</text>
<text text-anchor="start" x="893" y="-863" font-family="Times,serif" font-size="10.00">          </text>
<text text-anchor="start" x="741" y="-847" font-family="Times,serif" font-size="10.00">            </text>
<text text-anchor="start" x="769" y="-847" font-family="Times,serif" font-size="10.00" fill="#00aa00">            figure_is_on_current_slice            </text>
<text text-anchor="start" x="933" y="-847" font-family="Times,serif" font-size="10.00">            </text>
<text text-anchor="start" x="757" y="-831" font-family="Times,serif" font-size="10.00">            </text>
<text text-anchor="start" x="785" y="-831" font-family="Times,serif" font-size="10.00" fill="#aa0000">            !figure_is_selected            </text>
<text text-anchor="start" x="917" y="-831" font-family="Times,serif" font-size="10.00">            </text>
<text text-anchor="start" x="791.5" y="-815" font-family="Times,serif" font-size="10.00">            -->select_figure            </text>
<text text-anchor="start" x="792.5" y="-799" font-family="Times,serif" font-size="10.00">            -->select_point            </text>
</g>
<!-- HoveringOverPoint->HoveringOverPoint -->
<g id="edge26" class="edge"><title>HoveringOverPoint->HoveringOverPoint</title>
<path fill="none" stroke="black" d="M716.387,-857.927C805.38,-869.866 965,-864.557 965,-842 965,-820.28 817.007,-814.552 726.575,-824.815"/>
<polygon fill="black" stroke="black" points="725.883,-821.374 716.387,-826.073 726.741,-828.321 725.883,-821.374"/>
<text text-anchor="start" x="1020.5" y="-863.5" font-family="Times,serif" font-size="10.00">            </text>
<text text-anchor="start" x="1048.5" y="-863.5" font-family="Times,serif" font-weight="bold" font-size="10.00">SecondaryButtonPressed</text>
<text text-anchor="start" x="1154.5" y="-863.5" font-family="Times,serif" font-size="10.00">          </text>
<text text-anchor="start" x="1034" y="-847" font-family="Times,serif" font-size="10.00">            </text>
<text text-anchor="start" x="1062" y="-847" font-family="Times,serif" font-style="italic" font-size="10.00">(MousePressEvent)</text>
<text text-anchor="start" x="1141" y="-847" font-family="Times,serif" font-size="10.00">          </text>
<text text-anchor="start" x="989" y="-831" font-family="Times,serif" font-size="10.00">            </text>
<text text-anchor="start" x="1017" y="-831" font-family="Times,serif" font-size="10.00" fill="#00aa00">            figure_is_on_current_slice            </text>
<text text-anchor="start" x="1181" y="-831" font-family="Times,serif" font-size="10.00">            </text>
<text text-anchor="start" x="970" y="-815" font-family="Times,serif" font-size="10.00">            </text>
<text text-anchor="start" x="998" y="-815" font-family="Times,serif" font-size="10.00" fill="#aa0000">            !points_can_be_added_or_removed            </text>
<text text-anchor="start" x="1200" y="-815" font-family="Times,serif" font-size="10.00">            </text>
</g>
<!-- HoveringAfterPointRemovedGuardState -->
<g id="node8" class="node"><title>HoveringAfterPointRemovedGuardState</title>
<ellipse fill="none" stroke="black" cx="488" cy="-556" rx="107.588" ry="107.951"/>
<text text-anchor="middle" x="488" y="-553.5" font-family="Times,serif" font-size="10.00">HoveringAfterPointRemovedGuardState</text>
</g>
<!-- HoveringOverPoint->HoveringAfterPointRemovedGuardState -->
<g id="edge25" class="edge"><title>HoveringOverPoint->HoveringAfterPointRemovedGuardState</title>
<path fill="none" stroke="black" d="M604.301,-831.674C538.954,-819.633 437.62,-796.544 415,-766 390.065,-732.33 399.603,-689.438 418.776,-651.283"/>
<polygon fill="black" stroke="black" points="421.994,-652.683 423.56,-642.205 415.801,-649.42 421.994,-652.683"/>
<text text-anchor="start" x="468.5" y="-753.5" font-family="Times,serif" font-size="10.00">            </text>
<text text-anchor="start" x="496.5" y="-753.5" font-family="Times,serif" font-weight="bold" font-size="10.00">SecondaryButtonPressed</text>
<text text-anchor="start" x="602.5" y="-753.5" font-family="Times,serif" font-size="10.00">          </text>
<text text-anchor="start" x="482" y="-737" font-family="Times,serif" font-size="10.00">            </text>
<text text-anchor="start" x="510" y="-737" font-family="Times,serif" font-style="italic" font-size="10.00">(MousePressEvent)</text>
<text text-anchor="start" x="589" y="-737" font-family="Times,serif" font-size="10.00">          </text>
<text text-anchor="start" x="437" y="-721" font-family="Times,serif" font-size="10.00">            </text>
<text text-anchor="start" x="465" y="-721" font-family="Times,serif" font-size="10.00" fill="#00aa00">            figure_is_on_current_slice            </text>
<text text-anchor="start" x="629" y="-721" font-family="Times,serif" font-size="10.00">            </text>
<text text-anchor="start" x="419.5" y="-705" font-family="Times,serif" font-size="10.00">            </text>
<text text-anchor="start" x="447.5" y="-705" font-family="Times,serif" font-size="10.00" fill="#00aa00">            points_can_be_added_or_removed            </text>
<text text-anchor="start" x="646.5" y="-705" font-family="Times,serif" font-size="10.00">            </text>
<text text-anchor="start" x="466" y="-689" font-family="Times,serif" font-size="10.00">            -->remove_selected_point            </text>
</g>
<!-- HoveringAfterPointRemovedGuardState->EditFigure -->
<g id="edge28" class="edge"><title>HoveringAfterPointRemovedGuardState->EditFigure</title>
<path fill="none" stroke="black" d="M498.155,-448.706C504.358,-394.727 512.843,-338.68 522,-330 552.139,-301.432 668.629,-325.204 708,-312 714.888,-309.69 721.814,-306.419 728.347,-302.794"/>
<polygon fill="black" stroke="black" points="730.15,-305.794 736.973,-297.689 726.585,-299.77 730.15,-305.794"/>
<text text-anchor="start" x="575" y="-401.5" font-family="Times,serif" font-size="10.00">            </text>
<text text-anchor="start" x="603" y="-401.5" font-family="Times,serif" font-weight="bold" font-size="10.00">Dummy-Event</text>
<text text-anchor="start" x="666" y="-401.5" font-family="Times,serif" font-size="10.00">          </text>
<text text-anchor="start" x="575" y="-385" font-family="Times,serif" font-size="10.00">            </text>
<text text-anchor="start" x="603" y="-385" font-family="Times,serif" font-style="italic" font-size="10.00">(InternalEvent)</text>
<text text-anchor="start" x="666" y="-385" font-family="Times,serif" font-size="10.00">          </text>
<text text-anchor="start" x="527" y="-369" font-family="Times,serif" font-size="10.00">            </text>
<text text-anchor="start" x="555" y="-369" font-family="Times,serif" font-size="10.00" fill="#aa0000">            !hovering_above_figure            </text>
<text text-anchor="start" x="709" y="-369" font-family="Times,serif" font-size="10.00">            </text>
<text text-anchor="start" x="568.5" y="-353" font-family="Times,serif" font-size="10.00">            -->deselect_point            </text>
</g>
<!-- HoveringAfterPointRemovedGuardState->HoveringOverFigure -->
<g id="edge27" class="edge"><title>HoveringAfterPointRemovedGuardState->HoveringOverFigure</title>
<path fill="none" stroke="black" d="M491.462,-448.114C494.584,-351.704 499.085,-212.738 501.759,-130.179"/>
<polygon fill="black" stroke="black" points="505.259,-130.258 502.084,-120.15 498.262,-130.031 505.259,-130.258"/>
<text text-anchor="start" x="550" y="-289.5" font-family="Times,serif" font-size="10.00">            </text>
<text text-anchor="start" x="578" y="-289.5" font-family="Times,serif" font-weight="bold" font-size="10.00">Dummy-Event</text>
<text text-anchor="start" x="641" y="-289.5" font-family="Times,serif" font-size="10.00">          </text>
<text text-anchor="start" x="550" y="-273" font-family="Times,serif" font-size="10.00">            </text>
<text text-anchor="start" x="578" y="-273" font-family="Times,serif" font-style="italic" font-size="10.00">(InternalEvent)</text>
<text text-anchor="start" x="641" y="-273" font-family="Times,serif" font-size="10.00">          </text>
<text text-anchor="start" x="503.5" y="-257" font-family="Times,serif" font-size="10.00">            </text>
<text text-anchor="start" x="531.5" y="-257" font-family="Times,serif" font-size="10.00" fill="#00aa00">            hovering_above_figure            </text>
<text text-anchor="start" x="682.5" y="-257" font-family="Times,serif" font-size="10.00">            </text>
</g>
<!-- FigurePlacedByDrag->FigurePlaced -->
<g id="edge32" class="edge"><title>FigurePlacedByDrag->FigurePlaced</title>
<path fill="none" stroke="black" d="M295.388,-1119.38C250.695,-1127.63 192.377,-1146.57 163,-1190 142.084,-1220.92 138.539,-1245.8 163,-1274 208.339,-1326.28 418.88,-1332.61 517.623,-1332.62"/>
<polygon fill="black" stroke="black" points="517.681,-1336.12 527.674,-1332.6 517.667,-1329.12 517.681,-1336.12"/>
<text text-anchor="start" x="184.5" y="-1261.5" font-family="Times,serif" font-size="10.00">            </text>
<text text-anchor="start" x="212.5" y="-1261.5" font-family="Times,serif" font-weight="bold" font-size="10.00">PrimaryButtonReleased</text>
<text text-anchor="start" x="316.5" y="-1261.5" font-family="Times,serif" font-size="10.00">          </text>
<text text-anchor="start" x="192.5" y="-1245" font-family="Times,serif" font-size="10.00">            </text>
<text text-anchor="start" x="220.5" y="-1245" font-family="Times,serif" font-style="italic" font-size="10.00">(MouseReleaseEvent)</text>
<text text-anchor="start" x="308.5" y="-1245" font-family="Times,serif" font-size="10.00">          </text>
<text text-anchor="start" x="176.5" y="-1229" font-family="Times,serif" font-size="10.00">            </text>
<text text-anchor="start" x="204.5" y="-1229" font-family="Times,serif" font-size="10.00" fill="#00aa00">            point_is_valid            </text>
<text text-anchor="start" x="319.5" y="-1229" font-family="Times,serif" font-size="10.00">            </text>
<text text-anchor="start" x="168" y="-1213" font-family="Times,serif" font-size="10.00">            </text>
<text text-anchor="start" x="196" y="-1213" font-family="Times,serif" font-size="10.00" fill="#aa0000">            !figure_is_finished            </text>
<text text-anchor="start" x="328" y="-1213" font-family="Times,serif" font-size="10.00">            </text>
<text text-anchor="start" x="196.5" y="-1197" font-family="Times,serif" font-size="10.00">            -->add_new_point            </text>
</g>
<!-- FigurePlacedByDrag->FigurePlaced -->
<g id="edge33" class="edge"><title>FigurePlacedByDrag->FigurePlaced</title>
<path fill="none" stroke="black" d="M360.708,-1171.87C365.36,-1214.57 372.244,-1266.16 379,-1274 413.286,-1313.79 474.019,-1326.76 517.599,-1330.75"/>
<polygon fill="black" stroke="black" points="517.484,-1334.25 527.727,-1331.54 518.031,-1327.27 517.484,-1334.25"/>
<text text-anchor="start" x="393.5" y="-1245.5" font-family="Times,serif" font-size="10.00">            </text>
<text text-anchor="start" x="421.5" y="-1245.5" font-family="Times,serif" font-weight="bold" font-size="10.00">PrimaryButtonReleased</text>
<text text-anchor="start" x="525.5" y="-1245.5" font-family="Times,serif" font-size="10.00">          </text>
<text text-anchor="start" x="401.5" y="-1229" font-family="Times,serif" font-size="10.00">            </text>
<text text-anchor="start" x="429.5" y="-1229" font-family="Times,serif" font-style="italic" font-size="10.00">(MouseReleaseEvent)</text>
<text text-anchor="start" x="517.5" y="-1229" font-family="Times,serif" font-size="10.00">          </text>
<text text-anchor="start" x="384" y="-1213" font-family="Times,serif" font-size="10.00">            </text>
<text text-anchor="start" x="412" y="-1213" font-family="Times,serif" font-size="10.00" fill="#aa0000">            !point_is_valid            </text>
<text text-anchor="start" x="530" y="-1213" font-family="Times,serif" font-size="10.00">            </text>
</g>
<!-- FigurePlacedByDrag->HoveringOverPoint -->
<g id="edge30" class="edge"><title>FigurePlacedByDrag->HoveringOverPoint</title>
<path fill="none" stroke="black" d="M332.999,-1056.01C320.064,-1013.8 311.555,-956.433 342,-918 372.806,-879.111 509.702,-858.399 593.833,-849.148"/>
<polygon fill="black" stroke="black" points="594.252,-852.623 603.821,-848.076 593.505,-845.663 594.252,-852.623"/>
<text text-anchor="start" x="381.5" y="-1021.5" font-family="Times,serif" font-size="10.00">            </text>
<text text-anchor="start" x="409.5" y="-1021.5" font-family="Times,serif" font-weight="bold" font-size="10.00">PrimaryButtonReleased</text>
<text text-anchor="start" x="513.5" y="-1021.5" font-family="Times,serif" font-size="10.00">          </text>
<text text-anchor="start" x="389.5" y="-1005" font-family="Times,serif" font-size="10.00">            </text>
<text text-anchor="start" x="417.5" y="-1005" font-family="Times,serif" font-style="italic" font-size="10.00">(MouseReleaseEvent)</text>
<text text-anchor="start" x="505.5" y="-1005" font-family="Times,serif" font-size="10.00">          </text>
<text text-anchor="start" x="373.5" y="-989" font-family="Times,serif" font-size="10.00">            </text>
<text text-anchor="start" x="401.5" y="-989" font-family="Times,serif" font-size="10.00" fill="#00aa00">            point_is_valid            </text>
<text text-anchor="start" x="516.5" y="-989" font-family="Times,serif" font-size="10.00">            </text>
<text text-anchor="start" x="347" y="-973" font-family="Times,serif" font-size="10.00">            </text>
<text text-anchor="start" x="375" y="-973" font-family="Times,serif" font-size="10.00" fill="#00aa00">            minimal_figure_is_finished            </text>
<text text-anchor="start" x="543" y="-973" font-family="Times,serif" font-size="10.00">            </text>
<text text-anchor="start" x="369.5" y="-957" font-family="Times,serif" font-size="10.00">            </text>
<text text-anchor="start" x="397.5" y="-957" font-family="Times,serif" font-size="10.00" fill="#00aa00">            figure_is_placed            </text>
<text text-anchor="start" x="520.5" y="-957" font-family="Times,serif" font-size="10.00">            </text>
<text text-anchor="start" x="400.5" y="-941" font-family="Times,serif" font-size="10.00">            -->select_point            </text>
<text text-anchor="start" x="393.5" y="-925" font-family="Times,serif" font-size="10.00">            -->end_interaction            </text>
</g>
<!-- FigurePlacedByDrag->HoveringOverPoint -->
<g id="edge31" class="edge"><title>FigurePlacedByDrag->HoveringOverPoint</title>
<path fill="none" stroke="black" d="M414.957,-1106.13C465.139,-1098.76 534.81,-1080.29 575,-1034 609.456,-994.31 575.271,-965.391 598,-918 602.357,-908.915 608.072,-900.018 614.283,-891.709"/>
<polygon fill="black" stroke="black" points="617.216,-893.64 620.627,-883.61 611.705,-889.324 617.216,-893.64"/>
<text text-anchor="start" x="637.5" y="-1021.5" font-family="Times,serif" font-size="10.00">            </text>
<text text-anchor="start" x="665.5" y="-1021.5" font-family="Times,serif" font-weight="bold" font-size="10.00">PrimaryButtonReleased</text>
<text text-anchor="start" x="769.5" y="-1021.5" font-family="Times,serif" font-size="10.00">          </text>
<text text-anchor="start" x="645.5" y="-1005" font-family="Times,serif" font-size="10.00">            </text>
<text text-anchor="start" x="673.5" y="-1005" font-family="Times,serif" font-style="italic" font-size="10.00">(MouseReleaseEvent)</text>
<text text-anchor="start" x="761.5" y="-1005" font-family="Times,serif" font-size="10.00">          </text>
<text text-anchor="start" x="629.5" y="-989" font-family="Times,serif" font-size="10.00">            </text>
<text text-anchor="start" x="657.5" y="-989" font-family="Times,serif" font-size="10.00" fill="#00aa00">            point_is_valid            </text>
<text text-anchor="start" x="772.5" y="-989" font-family="Times,serif" font-size="10.00">            </text>
<text text-anchor="start" x="603" y="-973" font-family="Times,serif" font-size="10.00">            </text>
<text text-anchor="start" x="631" y="-973" font-family="Times,serif" font-size="10.00" fill="#00aa00">            minimal_figure_is_finished            </text>
<text text-anchor="start" x="799" y="-973" font-family="Times,serif" font-size="10.00">            </text>
<text text-anchor="start" x="624" y="-957" font-family="Times,serif" font-size="10.00">            </text>
<text text-anchor="start" x="652" y="-957" font-family="Times,serif" font-size="10.00" fill="#aa0000">            !figure_is_placed            </text>
<text text-anchor="start" x="778" y="-957" font-family="Times,serif" font-size="10.00">            </text>
<text text-anchor="start" x="656.5" y="-941" font-family="Times,serif" font-size="10.00">            -->select_point            </text>
<text text-anchor="start" x="651.5" y="-925" font-family="Times,serif" font-size="10.00">            -->finalize_figure            </text>
</g>
<!-- FigurePlacedByDrag->FigurePlacedByDrag -->
<g id="edge29" class="edge"><title>FigurePlacedByDrag->FigurePlacedByDrag</title>
<path fill="none" stroke="black" d="M411.092,-1133.95C423.745,-1131.97 433,-1124.66 433,-1112 433,-1102.9 428.219,-1096.56 420.831,-1092.98"/>
<polygon fill="black" stroke="black" points="421.677,-1089.58 411.092,-1090.05 419.656,-1096.29 421.677,-1089.58"/>
<text text-anchor="start" x="438" y="-1125.5" font-family="Times,serif" font-size="10.00">            </text>
<text text-anchor="start" x="466" y="-1125.5" font-family="Times,serif" font-weight="bold" font-size="10.00">PrimaryButtonPressedAndMouseMove</text>
<text text-anchor="start" x="635" y="-1125.5" font-family="Times,serif" font-size="10.00">          </text>
<text text-anchor="start" x="483" y="-1109" font-family="Times,serif" font-size="10.00">            </text>
<text text-anchor="start" x="511" y="-1109" font-family="Times,serif" font-style="italic" font-size="10.00">(MouseMoveEvent)</text>
<text text-anchor="start" x="590" y="-1109" font-family="Times,serif" font-size="10.00">          </text>
<text text-anchor="start" x="473" y="-1093" font-family="Times,serif" font-size="10.00">            -->move_current_point            </text>
</g>
</g>
</svg>
File Metadata
Details
Attached
Mime Type
image/svg+xml
Storage Engine
blob
Storage Format
Raw Data
Storage Handle
998
Default Alt Text
statemachine.dot.svg (83 KB)
Attached To
Mode
T15893: Document state machine XML files graphically (XML XSLT Graphviz dot Doxygen)
Attached
Detach File
Event Timeline
maleike
added a comment.
Aug 21 2013, 10:41 AM
2013-08-21 10:41:22 (UTC+2)
Comment Actions
Graphical processing result
Log In to Comment