test_guard_readonly.svg 3.5 KB

1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253545556
  1. <?xml version="1.0" encoding="UTF-8" standalone="no"?>
  2. <!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.1//EN"
  3. "http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd">
  4. <!-- Generated by graphviz version 2.40.1 (20161225.0304)
  5. -->
  6. <!-- Title: state transitions Pages: 1 -->
  7. <svg width="194pt" height="157pt"
  8. viewBox="0.00 0.00 194.11 157.00" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink">
  9. <g id="graph0" class="graph" transform="scale(1 1) rotate(0) translate(4 153)">
  10. <title>state transitions</title>
  11. <polygon fill="#ffffff" stroke="transparent" points="-4,4 -4,-153 190.109,-153 190.109,4 -4,4"/>
  12. <!-- __initial -->
  13. <g id="node1" class="node">
  14. <title>__initial</title>
  15. <ellipse fill="#000000" stroke="#000000" stroke-width="2" cx="40" cy="-143.5" rx="5.5" ry="5.5"/>
  16. </g>
  17. <!-- _s1 -->
  18. <g id="node3" class="node">
  19. <title>_s1</title>
  20. <polygon fill="transparent" stroke="transparent" stroke-width="2" points="68,-110 12,-110 12,-74 68,-74 68,-110"/>
  21. <text text-anchor="start" x="33.6646" y="-88.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">s1</text>
  22. <path fill="none" stroke="#000000" stroke-width="2" d="M24.3333,-75C24.3333,-75 55.6667,-75 55.6667,-75 61.3333,-75 67,-80.6667 67,-86.3333 67,-86.3333 67,-97.6667 67,-97.6667 67,-103.3333 61.3333,-109 55.6667,-109 55.6667,-109 24.3333,-109 24.3333,-109 18.6667,-109 13,-103.3333 13,-97.6667 13,-97.6667 13,-86.3333 13,-86.3333 13,-80.6667 18.6667,-75 24.3333,-75"/>
  23. </g>
  24. <!-- __initial&#45;&gt;_s1 -->
  25. <g id="edge1" class="edge">
  26. <title>__initial&#45;&gt;_s1</title>
  27. <path fill="none" stroke="#000000" d="M40,-137.9886C40,-133.6293 40,-127.1793 40,-120.4801"/>
  28. <polygon fill="#000000" stroke="#000000" points="43.5001,-120.0122 40,-110.0122 36.5001,-120.0122 43.5001,-120.0122"/>
  29. <text text-anchor="middle" x="41.3895" y="-121" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000"> </text>
  30. </g>
  31. <!-- _s2 -->
  32. <g id="node2" class="node">
  33. <title>_s2</title>
  34. <polygon fill="transparent" stroke="transparent" stroke-width="2" points="80,-46 0,-46 0,0 80,0 80,-46"/>
  35. <text text-anchor="start" x="33.6646" y="-29.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">s2</text>
  36. <text text-anchor="start" x="5.5072" y="-9.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">enter ^out.ok</text>
  37. <polygon fill="#000000" stroke="#000000" points="0,-23 0,-23 80,-23 80,-23 0,-23"/>
  38. <path fill="none" stroke="#000000" stroke-width="2" d="M13,-1C13,-1 67,-1 67,-1 73,-1 79,-7 79,-13 79,-13 79,-33 79,-33 79,-39 73,-45 67,-45 67,-45 13,-45 13,-45 7,-45 1,-39 1,-33 1,-33 1,-13 1,-13 1,-7 7,-1 13,-1"/>
  39. </g>
  40. <!-- _s1&#45;&gt;_s2 -->
  41. <g id="edge3" class="edge">
  42. <title>_s1&#45;&gt;_s2</title>
  43. <path fill="none" stroke="#000000" d="M40,-73.8711C40,-68.4482 40,-62.3229 40,-56.2494"/>
  44. <polygon fill="#000000" stroke="#000000" points="43.5001,-56.21 40,-46.21 36.5001,-56.21 43.5001,-56.21"/>
  45. <text text-anchor="start" x="40" y="-57" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">start(x:int) [x == 42] &#160;&#160;</text>
  46. </g>
  47. <!-- _s1&#45;&gt;_s1 -->
  48. <g id="edge2" class="edge">
  49. <title>_s1&#45;&gt;_s1</title>
  50. <path fill="none" stroke="#000000" d="M68.0183,-97.9381C79.888,-98.3856 90,-96.4063 90,-92 90,-88.9707 85.2205,-87.0885 78.3762,-86.3533"/>
  51. <polygon fill="#000000" stroke="#000000" points="78.1128,-82.8446 68.0183,-86.0619 77.9158,-89.8419 78.1128,-82.8446"/>
  52. <text text-anchor="start" x="90" y="-89" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">start(x:int) [inc_x(x)] &#160;&#160;</text>
  53. </g>
  54. </g>
  55. </svg>