Switched test case diagrams from png to svg for better versioning

This commit is contained in:
Bartek Kryza
2022-02-25 11:16:40 +01:00
parent 4acb8f98c1
commit 7f8fe89f99
137 changed files with 3002 additions and 62 deletions

View File

@@ -0,0 +1,59 @@
<?xml version="1.0" encoding="UTF-8" standalone="no"?><svg xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink" contentScriptType="application/ecmascript" contentStyleType="text/css" height="218px" preserveAspectRatio="none" style="width:744px;height:218px;" version="1.1" viewBox="0 0 744 218" width="744px" zoomAndPan="magnify"><defs><filter height="300%" id="f2mnj2yqnbxu4" width="300%" x="-1" y="-1"><feGaussianBlur result="blurOut" stdDeviation="2.0"/><feColorMatrix in="blurOut" result="blurOut2" type="matrix" values="0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 .4 0"/><feOffset dx="4.0" dy="4.0" in="blurOut2" result="blurOut3"/><feBlend in="SourceGraphic" in2="blurOut3" mode="normal"/></filter></defs><g><!--MD5=[f21ce6ed4892c999fecb8d6b6fe28d76]
class C_0000000563--><rect fill="#FEFECE" filter="url(#f2mnj2yqnbxu4)" height="73.6094" id="C_0000000563" style="stroke: #A80036; stroke-width: 1.5;" width="245" x="6" y="8"/><ellipse cx="110.75" cy="24" fill="#ADD1B2" rx="11" ry="11" style="stroke: #A80036; stroke-width: 1.0;"/><path d="M113.7188,29.6406 Q113.1406,29.9375 112.5,30.0781 Q111.8594,30.2344 111.1563,30.2344 Q108.6563,30.2344 107.3281,28.5938 Q106.0156,26.9375 106.0156,23.8125 Q106.0156,20.6875 107.3281,19.0313 Q108.6563,17.375 111.1563,17.375 Q111.8594,17.375 112.5,17.5313 Q113.1563,17.6875 113.7188,17.9844 L113.7188,20.7031 Q113.0938,20.125 112.5,19.8594 Q111.9063,19.5781 111.2813,19.5781 Q109.9375,19.5781 109.25,20.6563 Q108.5625,21.7188 108.5625,23.8125 Q108.5625,25.9063 109.25,26.9844 Q109.9375,28.0469 111.2813,28.0469 Q111.9063,28.0469 112.5,27.7813 Q113.0938,27.5 113.7188,26.9219 L113.7188,29.6406 Z "/><text fill="#000000" font-family="sans-serif" font-size="12" lengthAdjust="spacingAndGlyphs" textLength="27" x="131.25" y="28.1543">Void</text><line style="stroke: #A80036; stroke-width: 1.5;" x1="7" x2="250" y1="40" y2="40"/><line style="stroke: #A80036; stroke-width: 1.5;" x1="7" x2="250" y1="48" y2="48"/><ellipse cx="17" cy="59" fill="#84BE84" rx="3" ry="3" style="stroke: #038048; stroke-width: 1.0;"/><text fill="#000000" font-family="sans-serif" font-size="11" lengthAdjust="spacingAndGlyphs" textLength="219" x="26" y="62.2104">operator==(Void const&amp; ) const : bool</text><ellipse cx="17" cy="71.8047" fill="#84BE84" rx="3" ry="3" style="stroke: #038048; stroke-width: 1.0;"/><text fill="#000000" font-family="sans-serif" font-size="11" lengthAdjust="spacingAndGlyphs" textLength="213" x="26" y="75.0151">operator!=(Void const&amp; ) const : bool</text><!--MD5=[fa49d05e3fbecf53f2a4dbf11d534f95]
class C_0000000565--><rect fill="#FEFECE" filter="url(#f2mnj2yqnbxu4)" height="48" id="C_0000000565" style="stroke: #A80036; stroke-width: 1.5;" width="89" x="295" y="159"/><ellipse cx="310" cy="175" fill="#ADD1B2" rx="11" ry="11" style="stroke: #A80036; stroke-width: 1.0;"/><path d="M312.9688,180.6406 Q312.3906,180.9375 311.75,181.0781 Q311.1094,181.2344 310.4063,181.2344 Q307.9063,181.2344 306.5781,179.5938 Q305.2656,177.9375 305.2656,174.8125 Q305.2656,171.6875 306.5781,170.0313 Q307.9063,168.375 310.4063,168.375 Q311.1094,168.375 311.75,168.5313 Q312.4063,168.6875 312.9688,168.9844 L312.9688,171.7031 Q312.3438,171.125 311.75,170.8594 Q311.1563,170.5781 310.5313,170.5781 Q309.1875,170.5781 308.5,171.6563 Q307.8125,172.7188 307.8125,174.8125 Q307.8125,176.9063 308.5,177.9844 Q309.1875,179.0469 310.5313,179.0469 Q311.1563,179.0469 311.75,178.7813 Q312.3438,178.5 312.9688,177.9219 L312.9688,180.6406 Z "/><text fill="#000000" font-family="sans-serif" font-size="12" lengthAdjust="spacingAndGlyphs" textLength="46" x="324" y="179.1543">lift_void</text><rect fill="#FFFFFF" height="15.9688" style="stroke: #000000; stroke-width: 1.0; stroke-dasharray: 2.0,2.0;" width="9" x="378" y="156"/><text fill="#000000" font-family="sans-serif" font-size="12" font-style="italic" lengthAdjust="spacingAndGlyphs" textLength="7" x="379" y="168.1387">T</text><line style="stroke: #A80036; stroke-width: 1.5;" x1="296" x2="383" y1="191" y2="191"/><line style="stroke: #A80036; stroke-width: 1.5;" x1="296" x2="383" y1="199" y2="199"/><!--MD5=[2ecf531d64d5220b4b0566ab275f21e3]
class C_0000000567--><rect fill="#FEFECE" filter="url(#f2mnj2yqnbxu4)" height="48" id="C_0000000567" style="stroke: #A80036; stroke-width: 1.5;" width="107" x="286" y="21"/><ellipse cx="301" cy="37" fill="#ADD1B2" rx="11" ry="11" style="stroke: #A80036; stroke-width: 1.0;"/><path d="M303.9688,42.6406 Q303.3906,42.9375 302.75,43.0781 Q302.1094,43.2344 301.4063,43.2344 Q298.9063,43.2344 297.5781,41.5938 Q296.2656,39.9375 296.2656,36.8125 Q296.2656,33.6875 297.5781,32.0313 Q298.9063,30.375 301.4063,30.375 Q302.1094,30.375 302.75,30.5313 Q303.4063,30.6875 303.9688,30.9844 L303.9688,33.7031 Q303.3438,33.125 302.75,32.8594 Q302.1563,32.5781 301.5313,32.5781 Q300.1875,32.5781 299.5,33.6563 Q298.8125,34.7188 298.8125,36.8125 Q298.8125,38.9063 299.5,39.9844 Q300.1875,41.0469 301.5313,41.0469 Q302.1563,41.0469 302.75,40.7813 Q303.3438,40.5 303.9688,39.9219 L303.9688,42.6406 Z "/><text fill="#000000" font-family="sans-serif" font-size="12" lengthAdjust="spacingAndGlyphs" textLength="46" x="315" y="41.1543">lift_void</text><rect fill="#FFFFFF" height="15.9688" style="stroke: #000000; stroke-width: 1.0; stroke-dasharray: 2.0,2.0;" width="27" x="369" y="18"/><text fill="#000000" font-family="sans-serif" font-size="12" font-style="italic" lengthAdjust="spacingAndGlyphs" textLength="25" x="370" y="30.1387">void</text><line style="stroke: #A80036; stroke-width: 1.5;" x1="287" x2="392" y1="53" y2="53"/><line style="stroke: #A80036; stroke-width: 1.5;" x1="287" x2="392" y1="61" y2="61"/><!--MD5=[a21b83cdee2b61df3c69f0519cfe97bb]
class C_0000000571--><rect fill="#FEFECE" filter="url(#f2mnj2yqnbxu4)" height="48" id="C_0000000571" style="stroke: #A80036; stroke-width: 1.5;" width="103" x="438" y="159"/><ellipse cx="453" cy="175" fill="#ADD1B2" rx="11" ry="11" style="stroke: #A80036; stroke-width: 1.0;"/><path d="M455.9688,180.6406 Q455.3906,180.9375 454.75,181.0781 Q454.1094,181.2344 453.4063,181.2344 Q450.9063,181.2344 449.5781,179.5938 Q448.2656,177.9375 448.2656,174.8125 Q448.2656,171.6875 449.5781,170.0313 Q450.9063,168.375 453.4063,168.375 Q454.1094,168.375 454.75,168.5313 Q455.4063,168.6875 455.9688,168.9844 L455.9688,171.7031 Q455.3438,171.125 454.75,170.8594 Q454.1563,170.5781 453.5313,170.5781 Q452.1875,170.5781 451.5,171.6563 Q450.8125,172.7188 450.8125,174.8125 Q450.8125,176.9063 451.5,177.9844 Q452.1875,179.0469 453.5313,179.0469 Q454.1563,179.0469 454.75,178.7813 Q455.3438,178.5 455.9688,177.9219 L455.9688,180.6406 Z "/><text fill="#000000" font-family="sans-serif" font-size="12" lengthAdjust="spacingAndGlyphs" textLength="60" x="467" y="179.1543">drop_void</text><rect fill="#FFFFFF" height="15.9688" style="stroke: #000000; stroke-width: 1.0; stroke-dasharray: 2.0,2.0;" width="9" x="535" y="156"/><text fill="#000000" font-family="sans-serif" font-size="12" font-style="italic" lengthAdjust="spacingAndGlyphs" textLength="7" x="536" y="168.1387">T</text><line style="stroke: #A80036; stroke-width: 1.5;" x1="439" x2="540" y1="191" y2="191"/><line style="stroke: #A80036; stroke-width: 1.5;" x1="439" x2="540" y1="199" y2="199"/><!--MD5=[23e9cdb7fcc4e832bf318f929ecd48e6]
class C_0000000573--><rect fill="#FEFECE" filter="url(#f2mnj2yqnbxu4)" height="48" id="C_0000000573" style="stroke: #A80036; stroke-width: 1.5;" width="123" x="428" y="21"/><ellipse cx="443" cy="37" fill="#ADD1B2" rx="11" ry="11" style="stroke: #A80036; stroke-width: 1.0;"/><path d="M445.9688,42.6406 Q445.3906,42.9375 444.75,43.0781 Q444.1094,43.2344 443.4063,43.2344 Q440.9063,43.2344 439.5781,41.5938 Q438.2656,39.9375 438.2656,36.8125 Q438.2656,33.6875 439.5781,32.0313 Q440.9063,30.375 443.4063,30.375 Q444.1094,30.375 444.75,30.5313 Q445.4063,30.6875 445.9688,30.9844 L445.9688,33.7031 Q445.3438,33.125 444.75,32.8594 Q444.1563,32.5781 443.5313,32.5781 Q442.1875,32.5781 441.5,33.6563 Q440.8125,34.7188 440.8125,36.8125 Q440.8125,38.9063 441.5,39.9844 Q442.1875,41.0469 443.5313,41.0469 Q444.1563,41.0469 444.75,40.7813 Q445.3438,40.5 445.9688,39.9219 L445.9688,42.6406 Z "/><text fill="#000000" font-family="sans-serif" font-size="12" lengthAdjust="spacingAndGlyphs" textLength="60" x="457" y="41.1543">drop_void</text><rect fill="#FFFFFF" height="15.9688" style="stroke: #000000; stroke-width: 1.0; stroke-dasharray: 2.0,2.0;" width="29" x="525" y="18"/><text fill="#000000" font-family="sans-serif" font-size="12" font-style="italic" lengthAdjust="spacingAndGlyphs" textLength="27" x="526" y="30.1387">Void</text><line style="stroke: #A80036; stroke-width: 1.5;" x1="429" x2="550" y1="53" y2="53"/><line style="stroke: #A80036; stroke-width: 1.5;" x1="429" x2="550" y1="61" y2="61"/><!--MD5=[0e66f4d944a637edfab1422d3b3dff21]
class C_0000000577--><rect fill="#FEFECE" filter="url(#f2mnj2yqnbxu4)" height="48" id="C_0000000577" style="stroke: #A80036; stroke-width: 1.5;" width="40" x="639.5" y="159"/><ellipse cx="654.5" cy="175" fill="#ADD1B2" rx="11" ry="11" style="stroke: #A80036; stroke-width: 1.0;"/><path d="M657.4688,180.6406 Q656.8906,180.9375 656.25,181.0781 Q655.6094,181.2344 654.9063,181.2344 Q652.4063,181.2344 651.0781,179.5938 Q649.7656,177.9375 649.7656,174.8125 Q649.7656,171.6875 651.0781,170.0313 Q652.4063,168.375 654.9063,168.375 Q655.6094,168.375 656.25,168.5313 Q656.9063,168.6875 657.4688,168.9844 L657.4688,171.7031 Q656.8438,171.125 656.25,170.8594 Q655.6563,170.5781 655.0313,170.5781 Q653.6875,170.5781 653,171.6563 Q652.3125,172.7188 652.3125,174.8125 Q652.3125,176.9063 653,177.9844 Q653.6875,179.0469 655.0313,179.0469 Q655.6563,179.0469 656.25,178.7813 Q656.8438,178.5 657.4688,177.9219 L657.4688,180.6406 Z "/><text fill="#000000" font-family="sans-serif" font-size="12" lengthAdjust="spacingAndGlyphs" textLength="8" x="668.5" y="179.1543">A</text><line style="stroke: #A80036; stroke-width: 1.5;" x1="640.5" x2="678.5" y1="191" y2="191"/><line style="stroke: #A80036; stroke-width: 1.5;" x1="640.5" x2="678.5" y1="199" y2="199"/><!--MD5=[ad7ac8de4945b8f61f02efdea18e3dc1]
class C_0000000579--><rect fill="#FEFECE" filter="url(#f2mnj2yqnbxu4)" height="73.6094" id="C_0000000579" style="stroke: #A80036; stroke-width: 1.5;" width="147" x="586" y="8"/><ellipse cx="651.25" cy="24" fill="#ADD1B2" rx="11" ry="11" style="stroke: #A80036; stroke-width: 1.0;"/><path d="M654.2188,29.6406 Q653.6406,29.9375 653,30.0781 Q652.3594,30.2344 651.6563,30.2344 Q649.1563,30.2344 647.8281,28.5938 Q646.5156,26.9375 646.5156,23.8125 Q646.5156,20.6875 647.8281,19.0313 Q649.1563,17.375 651.6563,17.375 Q652.3594,17.375 653,17.5313 Q653.6563,17.6875 654.2188,17.9844 L654.2188,20.7031 Q653.5938,20.125 653,19.8594 Q652.4063,19.5781 651.7813,19.5781 Q650.4375,19.5781 649.75,20.6563 Q649.0625,21.7188 649.0625,23.8125 Q649.0625,25.9063 649.75,26.9844 Q650.4375,28.0469 651.7813,28.0469 Q652.4063,28.0469 653,27.7813 Q653.5938,27.5 654.2188,26.9219 L654.2188,29.6406 Z "/><text fill="#000000" font-family="sans-serif" font-size="12" lengthAdjust="spacingAndGlyphs" textLength="8" x="671.75" y="28.1543">R</text><line style="stroke: #A80036; stroke-width: 1.5;" x1="587" x2="732" y1="40" y2="40"/><ellipse cx="597" cy="51" fill="none" rx="3" ry="3" style="stroke: #038048; stroke-width: 1.0;"/><text fill="#000000" font-family="sans-serif" font-size="11" lengthAdjust="spacingAndGlyphs" textLength="106" x="606" y="54.2104">la : lift_void_t&lt;A&gt;*</text><ellipse cx="597" cy="63.8047" fill="none" rx="3" ry="3" style="stroke: #038048; stroke-width: 1.0;"/><text fill="#000000" font-family="sans-serif" font-size="11" lengthAdjust="spacingAndGlyphs" textLength="121" x="606" y="67.0151">lv : lift_void_t&lt;void&gt;*</text><line style="stroke: #A80036; stroke-width: 1.5;" x1="587" x2="732" y1="73.6094" y2="73.6094"/><!--MD5=[7c2c46de6d45bf499746fa110ae2aa3e]
link C_0000000567 to C_0000000565--><path d="M339.5,69.07 C339.5,88.12 339.5,115.68 339.5,138.81 " fill="none" id="C_0000000567-&gt;C_0000000565" style="stroke: #A80036; stroke-width: 1.0; stroke-dasharray: 7.0,7.0;"/><polygon fill="none" points="346.5,138.82,339.5,158.82,332.5,138.82,346.5,138.82" style="stroke: #A80036; stroke-width: 1.0;"/><!--MD5=[571585555ac05905b1848c5145a1edc5]
link C_0000000573 to C_0000000571--><path d="M489.5,69.07 C489.5,88.12 489.5,115.68 489.5,138.81 " fill="none" id="C_0000000573-&gt;C_0000000571" style="stroke: #A80036; stroke-width: 1.0; stroke-dasharray: 7.0,7.0;"/><polygon fill="none" points="496.5,138.82,489.5,158.82,482.5,138.82,496.5,138.82" style="stroke: #A80036; stroke-width: 1.0;"/><!--MD5=[b94d46752964b2b66b767ed6dcca017c]
link C_0000000579 to C_0000000577--><path d="M659.5,82.09 C659.5,104.43 659.5,132.72 659.5,153.49 " fill="none" id="C_0000000579-&gt;C_0000000577" style="stroke: #A80036; stroke-width: 1.0;"/><polygon fill="#A80036" points="659.5,158.6,663.5,149.6,659.5,153.6,655.5,149.6,659.5,158.6" style="stroke: #A80036; stroke-width: 1.0;"/><ellipse cx="665.5" cy="121.0664" fill="none" rx="3" ry="3" style="stroke: #038048; stroke-width: 1.0;"/><text fill="#000000" font-family="sans-serif" font-size="13" lengthAdjust="spacingAndGlyphs" textLength="11" x="672.5" y="125.0669">la</text><!--MD5=[90d29a1852b0ec0277b350f95f3cfd26]
@startuml
class "Void" as C_0000000563
class C_0000000563 {
+operator==(Void const& ) const : bool
+operator!=(Void const& ) const : bool
}
class "lift_void<T>" as C_0000000565
class C_0000000565 {
}
class "lift_void<void>" as C_0000000567
class C_0000000567 {
}
class "drop_void<T>" as C_0000000571
class C_0000000571 {
}
class "drop_void<Void>" as C_0000000573
class C_0000000573 {
}
class "A" as C_0000000577
class C_0000000577 {
}
class "R" as C_0000000579
class C_0000000579 {
+la : lift_void_t<A>*
+lv : lift_void_t<void>*
}
C_0000000567 ..|> C_0000000565
C_0000000573 ..|> C_0000000571
C_0000000579 - -> C_0000000577 : +la
@enduml
PlantUML version 1.2020.02(Sun Mar 01 11:22:07 CET 2020)
(GPL source distribution)
Java Runtime: OpenJDK Runtime Environment
JVM: OpenJDK 64-Bit Server VM
Java Version: 11.0.13+8-Ubuntu-0ubuntu1.21.10
Operating System: Linux
Default Encoding: UTF-8
Language: pl
Country: PL
--></g></svg>

After

Width:  |  Height:  |  Size: 14 KiB