docs/test_cases/t20047_sequence.svg

<svg xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink" contentStyleType="text/css" data-diagram-type="SEQUENCE" height="265px" preserveAspectRatio="none" style="width:465px;height:265px;background:#FFFFFF;" version="1.1" viewBox="0 0 465 265" width="465px" zoomAndPan="magnify">
  <defs>
    <style type="text/css">a:hover { text-decoration: underline; }</style>
  </defs>
  <g>
    <g>
      <title>tmain()</title>
      <rect fill="#FFFFFF" height="160" style="stroke:#181818;stroke-width:1;" width="10" x="30.3309" y="49.0679"/>
    </g>
    <g>
      <title>a1(int)</title>
      <rect fill="#FFFFFF" height="14" style="stroke:#181818;stroke-width:1;" width="10" x="98.4517" y="55.0679"/>
    </g>
    <g>
      <title>a2(int)</title>
      <rect fill="#FFFFFF" height="14" style="stroke:#181818;stroke-width:1;" width="10" x="164.0316" y="83.0679"/>
    </g>
    <g>
      <title>a3(int)</title>
      <rect fill="#FFFFFF" height="14" style="stroke:#181818;stroke-width:1;" width="10" x="229.6114" y="111.0679"/>
    </g>
    <g>
      <title>a4(int)</title>
      <rect fill="#FFFFFF" height="14" style="stroke:#181818;stroke-width:1;" width="10" x="295.1912" y="139.0679"/>
    </g>
    <g>
      <title>a5(int)</title>
      <rect fill="#FFFFFF" height="14" style="stroke:#181818;stroke-width:1;" width="10" x="360.7711" y="167.0679"/>
    </g>
    <g>
      <title>a6(int)</title>
      <rect fill="#FFFFFF" height="14" style="stroke:#181818;stroke-width:1;" width="10" x="426.3509" y="195.0679"/>
    </g>
    <g>
      <title>tmain()</title>
      <rect fill="transparent" height="188" width="8" x="31.3309" y="39.0679"/>
      <line style="stroke:#181818;stroke-width:0.5;stroke-dasharray:5.0,5.0;" x1="35" x2="35" y1="39.0679" y2="227.0679"/>
    </g>
    <g>
      <title>a1(int)</title>
      <rect fill="transparent" height="188" width="8" x="99.4517" y="39.0679"/>
      <line style="stroke:#181818;stroke-width:0.5;stroke-dasharray:5.0,5.0;" x1="102.6618" x2="102.6618" y1="39.0679" y2="227.0679"/>
    </g>
    <g>
      <title>a2(int)</title>
      <rect fill="transparent" height="188" width="8" x="165.0316" y="39.0679"/>
      <line style="stroke:#181818;stroke-width:0.5;stroke-dasharray:5.0,5.0;" x1="168.2417" x2="168.2417" y1="39.0679" y2="227.0679"/>
    </g>
    <g>
      <title>a3(int)</title>
      <rect fill="transparent" height="188" width="8" x="230.6114" y="39.0679"/>
      <line style="stroke:#181818;stroke-width:0.5;stroke-dasharray:5.0,5.0;" x1="233.8215" x2="233.8215" y1="39.0679" y2="227.0679"/>
    </g>
    <g>
      <title>a4(int)</title>
      <rect fill="transparent" height="188" width="8" x="296.1912" y="39.0679"/>
      <line style="stroke:#181818;stroke-width:0.5;stroke-dasharray:5.0,5.0;" x1="299.4013" x2="299.4013" y1="39.0679" y2="227.0679"/>
    </g>
    <g>
      <title>a5(int)</title>
      <rect fill="transparent" height="188" width="8" x="361.7711" y="39.0679"/>
      <line style="stroke:#181818;stroke-width:0.5;stroke-dasharray:5.0,5.0;" x1="364.9812" x2="364.9812" y1="39.0679" y2="227.0679"/>
    </g>
    <g>
      <title>a6(int)</title>
      <rect fill="transparent" height="188" width="8" x="427.3509" y="39.0679"/>
      <line style="stroke:#181818;stroke-width:0.5;stroke-dasharray:5.0,5.0;" x1="430.561" x2="430.561" y1="39.0679" y2="227.0679"/>
    </g>
    <rect fill="#E2E2F0" height="33.0679" rx="2.5" ry="2.5" style="stroke:#181818;stroke-width:0.5;" width="60.6618" x="5" y="5"/>
    <text fill="#000000" font-family="sans-serif" font-size="14" lengthAdjust="spacing" textLength="46.6618" x="12" y="26.9659">tmain()</text>
    <rect fill="#E2E2F0" height="33.0679" rx="2.5" ry="2.5" style="stroke:#181818;stroke-width:0.5;" width="60.6618" x="5" y="226.0679"/>
    <text fill="#000000" font-family="sans-serif" font-size="14" lengthAdjust="spacing" textLength="46.6618" x="12" y="248.0339">tmain()</text>
    <rect fill="#E2E2F0" height="33.0679" rx="2.5" ry="2.5" style="stroke:#181818;stroke-width:0.5;" width="55.5798" x="75.6618" y="5"/>
    <text fill="#000000" font-family="sans-serif" font-size="14" lengthAdjust="spacing" textLength="41.5798" x="82.6618" y="26.9659">a1(int)</text>
    <rect fill="#E2E2F0" height="33.0679" rx="2.5" ry="2.5" style="stroke:#181818;stroke-width:0.5;" width="55.5798" x="75.6618" y="226.0679"/>
    <text fill="#000000" font-family="sans-serif" font-size="14" lengthAdjust="spacing" textLength="41.5798" x="82.6618" y="248.0339">a1(int)</text>
    <rect fill="#E2E2F0" height="33.0679" rx="2.5" ry="2.5" style="stroke:#181818;stroke-width:0.5;" width="55.5798" x="141.2417" y="5"/>
    <text fill="#000000" font-family="sans-serif" font-size="14" lengthAdjust="spacing" textLength="41.5798" x="148.2417" y="26.9659">a2(int)</text>
    <rect fill="#E2E2F0" height="33.0679" rx="2.5" ry="2.5" style="stroke:#181818;stroke-width:0.5;" width="55.5798" x="141.2417" y="226.0679"/>
    <text fill="#000000" font-family="sans-serif" font-size="14" lengthAdjust="spacing" textLength="41.5798" x="148.2417" y="248.0339">a2(int)</text>
    <rect fill="#E2E2F0" height="33.0679" rx="2.5" ry="2.5" style="stroke:#181818;stroke-width:0.5;" width="55.5798" x="206.8215" y="5"/>
    <text fill="#000000" font-family="sans-serif" font-size="14" lengthAdjust="spacing" textLength="41.5798" x="213.8215" y="26.9659">a3(int)</text>
    <rect fill="#E2E2F0" height="33.0679" rx="2.5" ry="2.5" style="stroke:#181818;stroke-width:0.5;" width="55.5798" x="206.8215" y="226.0679"/>
    <text fill="#000000" font-family="sans-serif" font-size="14" lengthAdjust="spacing" textLength="41.5798" x="213.8215" y="248.0339">a3(int)</text>
    <rect fill="#E2E2F0" height="33.0679" rx="2.5" ry="2.5" style="stroke:#181818;stroke-width:0.5;" width="55.5798" x="272.4013" y="5"/>
    <text fill="#000000" font-family="sans-serif" font-size="14" lengthAdjust="spacing" textLength="41.5798" x="279.4013" y="26.9659">a4(int)</text>
    <rect fill="#E2E2F0" height="33.0679" rx="2.5" ry="2.5" style="stroke:#181818;stroke-width:0.5;" width="55.5798" x="272.4013" y="226.0679"/>
    <text fill="#000000" font-family="sans-serif" font-size="14" lengthAdjust="spacing" textLength="41.5798" x="279.4013" y="248.0339">a4(int)</text>
    <rect fill="#E2E2F0" height="33.0679" rx="2.5" ry="2.5" style="stroke:#181818;stroke-width:0.5;" width="55.5798" x="337.9812" y="5"/>
    <text fill="#000000" font-family="sans-serif" font-size="14" lengthAdjust="spacing" textLength="41.5798" x="344.9812" y="26.9659">a5(int)</text>
    <rect fill="#E2E2F0" height="33.0679" rx="2.5" ry="2.5" style="stroke:#181818;stroke-width:0.5;" width="55.5798" x="337.9812" y="226.0679"/>
    <text fill="#000000" font-family="sans-serif" font-size="14" lengthAdjust="spacing" textLength="41.5798" x="344.9812" y="248.0339">a5(int)</text>
    <rect fill="#E2E2F0" height="33.0679" rx="2.5" ry="2.5" style="stroke:#181818;stroke-width:0.5;" width="55.5798" x="403.561" y="5"/>
    <text fill="#000000" font-family="sans-serif" font-size="14" lengthAdjust="spacing" textLength="41.5798" x="410.561" y="26.9659">a6(int)</text>
    <rect fill="#E2E2F0" height="33.0679" rx="2.5" ry="2.5" style="stroke:#181818;stroke-width:0.5;" width="55.5798" x="403.561" y="226.0679"/>
    <text fill="#000000" font-family="sans-serif" font-size="14" lengthAdjust="spacing" textLength="41.5798" x="410.561" y="248.0339">a6(int)</text>
    <g>
      <title>tmain()</title>
      <rect fill="#FFFFFF" height="160" style="stroke:#181818;stroke-width:1;" width="10" x="30.3309" y="49.0679"/>
    </g>
    <g>
      <title>a1(int)</title>
      <rect fill="#FFFFFF" height="14" style="stroke:#181818;stroke-width:1;" width="10" x="98.4517" y="55.0679"/>
    </g>
    <g>
      <title>a2(int)</title>
      <rect fill="#FFFFFF" height="14" style="stroke:#181818;stroke-width:1;" width="10" x="164.0316" y="83.0679"/>
    </g>
    <g>
      <title>a3(int)</title>
      <rect fill="#FFFFFF" height="14" style="stroke:#181818;stroke-width:1;" width="10" x="229.6114" y="111.0679"/>
    </g>
    <g>
      <title>a4(int)</title>
      <rect fill="#FFFFFF" height="14" style="stroke:#181818;stroke-width:1;" width="10" x="295.1912" y="139.0679"/>
    </g>
    <g>
      <title>a5(int)</title>
      <rect fill="#FFFFFF" height="14" style="stroke:#181818;stroke-width:1;" width="10" x="360.7711" y="167.0679"/>
    </g>
    <g>
      <title>a6(int)</title>
      <rect fill="#FFFFFF" height="14" style="stroke:#181818;stroke-width:1;" width="10" x="426.3509" y="195.0679"/>
    </g>
    <polygon fill="#181818" points="86.4517,51.0679,96.4517,55.0679,86.4517,59.0679,90.4517,55.0679" style="stroke:#181818;stroke-width:1;"/>
    <line style="stroke:#181818;stroke-width:1;" x1="40.3309" x2="92.4517" y1="55.0679" y2="55.0679"/>
    <polygon fill="#181818" points="51.3309,65.0679,41.3309,69.0679,51.3309,73.0679,47.3309,69.0679" style="stroke:#181818;stroke-width:1;"/>
    <line style="stroke:#181818;stroke-width:1;stroke-dasharray:2.0,2.0;" x1="45.3309" x2="102.4517" y1="69.0679" y2="69.0679"/>
    <polygon fill="#181818" points="152.0316,79.0679,162.0316,83.0679,152.0316,87.0679,156.0316,83.0679" style="stroke:#181818;stroke-width:1;"/>
    <line style="stroke:#181818;stroke-width:1;" x1="40.3309" x2="158.0316" y1="83.0679" y2="83.0679"/>
    <polygon fill="#181818" points="51.3309,93.0679,41.3309,97.0679,51.3309,101.0679,47.3309,97.0679" style="stroke:#181818;stroke-width:1;"/>
    <line style="stroke:#181818;stroke-width:1;stroke-dasharray:2.0,2.0;" x1="45.3309" x2="168.0316" y1="97.0679" y2="97.0679"/>
    <polygon fill="#181818" points="217.6114,107.0679,227.6114,111.0679,217.6114,115.0679,221.6114,111.0679" style="stroke:#181818;stroke-width:1;"/>
    <line style="stroke:#181818;stroke-width:1;" x1="40.3309" x2="223.6114" y1="111.0679" y2="111.0679"/>
    <polygon fill="#181818" points="51.3309,121.0679,41.3309,125.0679,51.3309,129.0679,47.3309,125.0679" style="stroke:#181818;stroke-width:1;"/>
    <line style="stroke:#181818;stroke-width:1;stroke-dasharray:2.0,2.0;" x1="45.3309" x2="233.6114" y1="125.0679" y2="125.0679"/>
    <polygon fill="#181818" points="283.1912,135.0679,293.1912,139.0679,283.1912,143.0679,287.1912,139.0679" style="stroke:#181818;stroke-width:1;"/>
    <line style="stroke:#181818;stroke-width:1;" x1="40.3309" x2="289.1912" y1="139.0679" y2="139.0679"/>
    <polygon fill="#181818" points="51.3309,149.0679,41.3309,153.0679,51.3309,157.0679,47.3309,153.0679" style="stroke:#181818;stroke-width:1;"/>
    <line style="stroke:#181818;stroke-width:1;stroke-dasharray:2.0,2.0;" x1="45.3309" x2="299.1912" y1="153.0679" y2="153.0679"/>
    <polygon fill="#181818" points="348.7711,163.0679,358.7711,167.0679,348.7711,171.0679,352.7711,167.0679" style="stroke:#181818;stroke-width:1;"/>
    <line style="stroke:#181818;stroke-width:1;" x1="40.3309" x2="354.7711" y1="167.0679" y2="167.0679"/>
    <polygon fill="#181818" points="51.3309,177.0679,41.3309,181.0679,51.3309,185.0679,47.3309,181.0679" style="stroke:#181818;stroke-width:1;"/>
    <line style="stroke:#181818;stroke-width:1;stroke-dasharray:2.0,2.0;" x1="45.3309" x2="364.7711" y1="181.0679" y2="181.0679"/>
    <polygon fill="#181818" points="414.3509,191.0679,424.3509,195.0679,414.3509,199.0679,418.3509,195.0679" style="stroke:#181818;stroke-width:1;"/>
    <line style="stroke:#181818;stroke-width:1;" x1="40.3309" x2="420.3509" y1="195.0679" y2="195.0679"/>
    <polygon fill="#181818" points="46.3309,205.0679,36.3309,209.0679,46.3309,213.0679,42.3309,209.0679" style="stroke:#181818;stroke-width:1;"/>
    <line style="stroke:#181818;stroke-width:1;stroke-dasharray:2.0,2.0;" x1="40.3309" x2="430.3509" y1="209.0679" y2="209.0679"/>
  </g>
</svg>