docs/test_cases/t20018_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="349px" preserveAspectRatio="none" style="width:894px;height:349px;background:#FFFFFF;" version="1.1" viewBox="0 0 894 349" width="894px" zoomAndPan="magnify">
  <defs>
    <style type="text/css">a:hover { text-decoration: underline; }</style>
  </defs>
  <g>
    <g>
      <title>tmain()</title>
      <rect fill="#FFFFFF" height="243.9421" style="stroke:#181818;stroke-width:1;" width="10" x="30.3309" y="49.0679"/>
    </g>
    <g>
      <title>Answer&lt;Factorial&lt;5&gt;,120&gt;</title>
      <rect fill="#FFFFFF" height="220.2361" style="stroke:#181818;stroke-width:1;" width="10" x="164.1745" y="72.7739"/>
    </g>
    <g>
      <title>Factorial&lt;5&gt;</title>
      <rect fill="#FFFFFF" height="188.5301" style="stroke:#181818;stroke-width:1;" width="10" x="314.811" y="104.4799"/>
    </g>
    <g>
      <title>Factorial&lt;4&gt;</title>
      <rect fill="#FFFFFF" height="156.8241" style="stroke:#181818;stroke-width:1;" width="10" x="419.0587" y="136.186"/>
    </g>
    <g>
      <title>Factorial&lt;3&gt;</title>
      <rect fill="#FFFFFF" height="125.118" style="stroke:#181818;stroke-width:1;" width="10" x="523.3064" y="167.892"/>
    </g>
    <g>
      <title>Factorial&lt;2&gt;</title>
      <rect fill="#FFFFFF" height="93.412" style="stroke:#181818;stroke-width:1;" width="10" x="627.5541" y="199.598"/>
    </g>
    <g>
      <title>Factorial&lt;1&gt;</title>
      <rect fill="#FFFFFF" height="61.706" style="stroke:#181818;stroke-width:1;" width="10" x="731.8018" y="231.304"/>
    </g>
    <g>
      <title>Factorial&lt;0&gt;</title>
      <rect fill="#FFFFFF" height="30" style="stroke:#181818;stroke-width:1;" width="10" x="836.0495" y="263.01"/>
    </g>
    <g>
      <title>tmain()</title>
      <rect fill="transparent" height="271.9421" 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="311.01"/>
    </g>
    <g>
      <title>Answer&lt;Factorial&lt;5&gt;,120&gt;</title>
      <rect fill="transparent" height="271.9421" width="8" x="165.1745" y="39.0679"/>
      <line style="stroke:#181818;stroke-width:0.5;stroke-dasharray:5.0,5.0;" x1="168.6618" x2="168.6618" y1="39.0679" y2="311.01"/>
    </g>
    <g>
      <title>Factorial&lt;5&gt;</title>
      <rect fill="transparent" height="271.9421" width="8" x="315.811" y="39.0679"/>
      <line style="stroke:#181818;stroke-width:0.5;stroke-dasharray:5.0,5.0;" x1="319.6871" x2="319.6871" y1="39.0679" y2="311.01"/>
    </g>
    <g>
      <title>Factorial&lt;4&gt;</title>
      <rect fill="transparent" height="271.9421" width="8" x="420.0587" y="39.0679"/>
      <line style="stroke:#181818;stroke-width:0.5;stroke-dasharray:5.0,5.0;" x1="423.9348" x2="423.9348" y1="39.0679" y2="311.01"/>
    </g>
    <g>
      <title>Factorial&lt;3&gt;</title>
      <rect fill="transparent" height="271.9421" width="8" x="524.3064" y="39.0679"/>
      <line style="stroke:#181818;stroke-width:0.5;stroke-dasharray:5.0,5.0;" x1="528.1825" x2="528.1825" y1="39.0679" y2="311.01"/>
    </g>
    <g>
      <title>Factorial&lt;2&gt;</title>
      <rect fill="transparent" height="271.9421" width="8" x="628.5541" y="39.0679"/>
      <line style="stroke:#181818;stroke-width:0.5;stroke-dasharray:5.0,5.0;" x1="632.4302" x2="632.4302" y1="39.0679" y2="311.01"/>
    </g>
    <g>
      <title>Factorial&lt;1&gt;</title>
      <rect fill="transparent" height="271.9421" width="8" x="732.8018" y="39.0679"/>
      <line style="stroke:#181818;stroke-width:0.5;stroke-dasharray:5.0,5.0;" x1="736.6779" x2="736.6779" y1="39.0679" y2="311.01"/>
    </g>
    <g>
      <title>Factorial&lt;0&gt;</title>
      <rect fill="transparent" height="271.9421" width="8" x="837.0495" y="39.0679"/>
      <line style="stroke:#181818;stroke-width:0.5;stroke-dasharray:5.0,5.0;" x1="840.9256" x2="840.9256" y1="39.0679" y2="311.01"/>
    </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="310.01"/>
    <text fill="#000000" font-family="sans-serif" font-size="14" lengthAdjust="spacing" textLength="46.6618" x="12" y="331.976">tmain()</text>
    <rect fill="#E2E2F0" height="33.0679" rx="2.5" ry="2.5" style="stroke:#181818;stroke-width:0.5;" width="187.0253" x="75.6618" y="5"/>
    <text fill="#000000" font-family="sans-serif" font-size="14" lengthAdjust="spacing" textLength="173.0253" x="82.6618" y="26.9659">Answer&lt;Factorial&lt;5&gt;,120&gt;</text>
    <rect fill="#E2E2F0" height="33.0679" rx="2.5" ry="2.5" style="stroke:#181818;stroke-width:0.5;" width="187.0253" x="75.6618" y="310.01"/>
    <text fill="#000000" font-family="sans-serif" font-size="14" lengthAdjust="spacing" textLength="173.0253" x="82.6618" y="331.976">Answer&lt;Factorial&lt;5&gt;,120&gt;</text>
    <rect fill="#E2E2F0" height="33.0679" rx="2.5" ry="2.5" style="stroke:#181818;stroke-width:0.5;" width="94.2477" x="272.6871" y="5"/>
    <text fill="#000000" font-family="sans-serif" font-size="14" lengthAdjust="spacing" textLength="80.2477" x="279.6871" y="26.9659">Factorial&lt;5&gt;</text>
    <rect fill="#E2E2F0" height="33.0679" rx="2.5" ry="2.5" style="stroke:#181818;stroke-width:0.5;" width="94.2477" x="272.6871" y="310.01"/>
    <text fill="#000000" font-family="sans-serif" font-size="14" lengthAdjust="spacing" textLength="80.2477" x="279.6871" y="331.976">Factorial&lt;5&gt;</text>
    <rect fill="#E2E2F0" height="33.0679" rx="2.5" ry="2.5" style="stroke:#181818;stroke-width:0.5;" width="94.2477" x="376.9348" y="5"/>
    <text fill="#000000" font-family="sans-serif" font-size="14" lengthAdjust="spacing" textLength="80.2477" x="383.9348" y="26.9659">Factorial&lt;4&gt;</text>
    <rect fill="#E2E2F0" height="33.0679" rx="2.5" ry="2.5" style="stroke:#181818;stroke-width:0.5;" width="94.2477" x="376.9348" y="310.01"/>
    <text fill="#000000" font-family="sans-serif" font-size="14" lengthAdjust="spacing" textLength="80.2477" x="383.9348" y="331.976">Factorial&lt;4&gt;</text>
    <rect fill="#E2E2F0" height="33.0679" rx="2.5" ry="2.5" style="stroke:#181818;stroke-width:0.5;" width="94.2477" x="481.1825" y="5"/>
    <text fill="#000000" font-family="sans-serif" font-size="14" lengthAdjust="spacing" textLength="80.2477" x="488.1825" y="26.9659">Factorial&lt;3&gt;</text>
    <rect fill="#E2E2F0" height="33.0679" rx="2.5" ry="2.5" style="stroke:#181818;stroke-width:0.5;" width="94.2477" x="481.1825" y="310.01"/>
    <text fill="#000000" font-family="sans-serif" font-size="14" lengthAdjust="spacing" textLength="80.2477" x="488.1825" y="331.976">Factorial&lt;3&gt;</text>
    <rect fill="#E2E2F0" height="33.0679" rx="2.5" ry="2.5" style="stroke:#181818;stroke-width:0.5;" width="94.2477" x="585.4302" y="5"/>
    <text fill="#000000" font-family="sans-serif" font-size="14" lengthAdjust="spacing" textLength="80.2477" x="592.4302" y="26.9659">Factorial&lt;2&gt;</text>
    <rect fill="#E2E2F0" height="33.0679" rx="2.5" ry="2.5" style="stroke:#181818;stroke-width:0.5;" width="94.2477" x="585.4302" y="310.01"/>
    <text fill="#000000" font-family="sans-serif" font-size="14" lengthAdjust="spacing" textLength="80.2477" x="592.4302" y="331.976">Factorial&lt;2&gt;</text>
    <rect fill="#E2E2F0" height="33.0679" rx="2.5" ry="2.5" style="stroke:#181818;stroke-width:0.5;" width="94.2477" x="689.6779" y="5"/>
    <text fill="#000000" font-family="sans-serif" font-size="14" lengthAdjust="spacing" textLength="80.2477" x="696.6779" y="26.9659">Factorial&lt;1&gt;</text>
    <rect fill="#E2E2F0" height="33.0679" rx="2.5" ry="2.5" style="stroke:#181818;stroke-width:0.5;" width="94.2477" x="689.6779" y="310.01"/>
    <text fill="#000000" font-family="sans-serif" font-size="14" lengthAdjust="spacing" textLength="80.2477" x="696.6779" y="331.976">Factorial&lt;1&gt;</text>
    <rect fill="#E2E2F0" height="33.0679" rx="2.5" ry="2.5" style="stroke:#181818;stroke-width:0.5;" width="94.2477" x="793.9256" y="5"/>
    <text fill="#000000" font-family="sans-serif" font-size="14" lengthAdjust="spacing" textLength="80.2477" x="800.9256" y="26.9659">Factorial&lt;0&gt;</text>
    <rect fill="#E2E2F0" height="33.0679" rx="2.5" ry="2.5" style="stroke:#181818;stroke-width:0.5;" width="94.2477" x="793.9256" y="310.01"/>
    <text fill="#000000" font-family="sans-serif" font-size="14" lengthAdjust="spacing" textLength="80.2477" x="800.9256" y="331.976">Factorial&lt;0&gt;</text>
    <g>
      <title>tmain()</title>
      <rect fill="#FFFFFF" height="243.9421" style="stroke:#181818;stroke-width:1;" width="10" x="30.3309" y="49.0679"/>
    </g>
    <g>
      <title>Answer&lt;Factorial&lt;5&gt;,120&gt;</title>
      <rect fill="#FFFFFF" height="220.2361" style="stroke:#181818;stroke-width:1;" width="10" x="164.1745" y="72.7739"/>
    </g>
    <g>
      <title>Factorial&lt;5&gt;</title>
      <rect fill="#FFFFFF" height="188.5301" style="stroke:#181818;stroke-width:1;" width="10" x="314.811" y="104.4799"/>
    </g>
    <g>
      <title>Factorial&lt;4&gt;</title>
      <rect fill="#FFFFFF" height="156.8241" style="stroke:#181818;stroke-width:1;" width="10" x="419.0587" y="136.186"/>
    </g>
    <g>
      <title>Factorial&lt;3&gt;</title>
      <rect fill="#FFFFFF" height="125.118" style="stroke:#181818;stroke-width:1;" width="10" x="523.3064" y="167.892"/>
    </g>
    <g>
      <title>Factorial&lt;2&gt;</title>
      <rect fill="#FFFFFF" height="93.412" style="stroke:#181818;stroke-width:1;" width="10" x="627.5541" y="199.598"/>
    </g>
    <g>
      <title>Factorial&lt;1&gt;</title>
      <rect fill="#FFFFFF" height="61.706" style="stroke:#181818;stroke-width:1;" width="10" x="731.8018" y="231.304"/>
    </g>
    <g>
      <title>Factorial&lt;0&gt;</title>
      <rect fill="#FFFFFF" height="30" style="stroke:#181818;stroke-width:1;" width="10" x="836.0495" y="263.01"/>
    </g>
    <polygon fill="#181818" points="152.1745,68.7739,162.1745,72.7739,152.1745,76.7739,156.1745,72.7739" style="stroke:#181818;stroke-width:1;"/>
    <line style="stroke:#181818;stroke-width:1;" x1="40.3309" x2="158.1745" y1="72.7739" y2="72.7739"/>
    <text fill="#000000" font-family="sans-serif" font-size="13" lengthAdjust="spacing" text-decoration="underline" textLength="37.2451" x="47.3309" y="66.9649">print()</text>
    <polygon fill="#181818" points="302.811,100.4799,312.811,104.4799,302.811,108.4799,306.811,104.4799" style="stroke:#181818;stroke-width:1;"/>
    <line style="stroke:#181818;stroke-width:1;" x1="174.1745" x2="308.811" y1="104.4799" y2="104.4799"/>
    <text fill="#000000" font-family="sans-serif" font-size="13" lengthAdjust="spacing" text-decoration="underline" textLength="53.3261" x="181.1745" y="98.6709">print(int)</text>
    <polygon fill="#181818" points="407.0587,132.186,417.0587,136.186,407.0587,140.186,411.0587,136.186" style="stroke:#181818;stroke-width:1;"/>
    <line style="stroke:#181818;stroke-width:1;" x1="324.811" x2="413.0587" y1="136.186" y2="136.186"/>
    <text fill="#000000" font-family="sans-serif" font-size="13" lengthAdjust="spacing" text-decoration="underline" textLength="53.3261" x="331.811" y="130.377">print(int)</text>
    <polygon fill="#181818" points="511.3064,163.892,521.3064,167.892,511.3064,171.892,515.3064,167.892" style="stroke:#181818;stroke-width:1;"/>
    <line style="stroke:#181818;stroke-width:1;" x1="429.0587" x2="517.3064" y1="167.892" y2="167.892"/>
    <text fill="#000000" font-family="sans-serif" font-size="13" lengthAdjust="spacing" text-decoration="underline" textLength="53.3261" x="436.0587" y="162.083">print(int)</text>
    <polygon fill="#181818" points="615.5541,195.598,625.5541,199.598,615.5541,203.598,619.5541,199.598" style="stroke:#181818;stroke-width:1;"/>
    <line style="stroke:#181818;stroke-width:1;" x1="533.3064" x2="621.5541" y1="199.598" y2="199.598"/>
    <text fill="#000000" font-family="sans-serif" font-size="13" lengthAdjust="spacing" text-decoration="underline" textLength="53.3261" x="540.3064" y="193.789">print(int)</text>
    <polygon fill="#181818" points="719.8018,227.304,729.8018,231.304,719.8018,235.304,723.8018,231.304" style="stroke:#181818;stroke-width:1;"/>
    <line style="stroke:#181818;stroke-width:1;" x1="637.5541" x2="725.8018" y1="231.304" y2="231.304"/>
    <text fill="#000000" font-family="sans-serif" font-size="13" lengthAdjust="spacing" text-decoration="underline" textLength="53.3261" x="644.5541" y="225.495">print(int)</text>
    <polygon fill="#181818" points="824.0495,259.01,834.0495,263.01,824.0495,267.01,828.0495,263.01" style="stroke:#181818;stroke-width:1;"/>
    <line style="stroke:#181818;stroke-width:1;" x1="741.8018" x2="830.0495" y1="263.01" y2="263.01"/>
    <text fill="#000000" font-family="sans-serif" font-size="13" lengthAdjust="spacing" text-decoration="underline" textLength="53.3261" x="748.8018" y="257.201">print(int)</text>
  </g>
</svg>