content/MIR/drop-unwind.svg

<?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">
<svg xmlns="http://www.w3.org/2000/svg" xmlns:xl="http://www.w3.org/1999/xlink" version="1.1" viewBox="0 0 607 351" width="607pt" height="351pt" xmlns:dc="http://purl.org/dc/elements/1.1/"><metadata> Produced by OmniGraffle 6.5.2 <dc:date>2016-04-19 21:30:07 +0000</dc:date></metadata><defs><font-face font-family="Courier New" font-size="12" panose-1="2 7 3 9 2 2 5 2 4 4" units-per-em="1000" underline-position="-232.91016" underline-thickness="41.015625" slope="0" x-height="422.85156" cap-height="571.28906" ascent="832.51953" descent="-300.29297" font-weight="500"><font-face-src><font-face-name name="CourierNewPSMT"/></font-face-src></font-face><font-face font-family="Courier New" font-size="12" panose-1="2 7 6 9 2 2 5 2 4 4" units-per-em="1000" underline-position="-232.91016" underline-thickness="100.097656" slope="0" x-height="443.35938" cap-height="591.79688" ascent="832.51953" descent="-300.29297" font-weight="bold"><font-face-src><font-face-name name="CourierNewPS-BoldMT"/></font-face-src></font-face><marker orient="auto" overflow="visible" markerUnits="strokeWidth" id="FilledArrow_Marker" viewBox="-1 -4 10 8" markerWidth="10" markerHeight="8" color="black"><g><path d="M 8 0 L 0 -3 L 0 3 Z" fill="currentColor" stroke="currentColor" stroke-width="1"/></g></marker><font-face font-family="Helvetica" font-size="12" units-per-em="1000" underline-position="-75.683594" underline-thickness="49.316406" slope="0" x-height="522.94922" cap-height="717.28516" ascent="770.01953" descent="-229.98047" font-weight="500"><font-face-src><font-face-name name="Helvetica"/></font-face-src></font-face></defs><g stroke="none" stroke-opacity="1" stroke-dasharray="none" fill="none" fill-opacity="1"><title>drop-unwind</title><g><title>Layer 1</title><rect x="27" y="35" width="296" height="27" fill="white"/><rect x="27" y="35" width="296" height="27" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><text transform="translate(32 41.5)" fill="black"><tspan font-family="Courier New" font-size="12" font-weight="500" x="2.5771484" y="10" textLength="280.8457">iterator = IntoIterator::into_iter(vec)</tspan></text><rect x="27" y="87" width="296" height="27" fill="white"/><rect x="27" y="87" width="296" height="27" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><text transform="translate(32 93.5)" fill="black"><tspan font-family="Courier New" font-size="12" font-weight="500" x="2.5771484" y="10" textLength="187.23047">tmp = IntoIterator::next(&amp;</tspan><tspan font-family="Courier New" font-size="12" font-weight="bold" x="189.80762" y="10" textLength="21.603516">mut</tspan><tspan font-family="Courier New" font-size="12" font-weight="500" x="211.41113" y="10" textLength="72.01172"> iterator)</tspan></text><rect x="143" y="182.25" width="180" height="27" fill="white"/><rect x="143" y="182.25" width="180" height="27" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><text transform="translate(148 188.75)" fill="black"><tspan font-family="Courier New" font-size="12" font-weight="500" x="5.7871094" y="10" textLength="158.42578">elem = (tmp as Some).0</tspan></text><line x1="175.00001" y1="62.5" x2="175.00001" y2="77.1" marker-end="url(#FilledArrow_Marker)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><line x1="78.25" y1="143.25" x2="79.150757" y2="233.1005" marker-end="url(#FilledArrow_Marker)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><line x1="233" y1="143.25" x2="233" y2="168.35" marker-end="url(#FilledArrow_Marker)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><text transform="translate(242 153.75)" fill="black"><tspan font-family="Helvetica" font-size="12" font-weight="500" x=".32617188" y="11" textLength="31.347656">Some</tspan></text><text transform="translate(86.75 153.75)" fill="black"><tspan font-family="Helvetica" font-size="12" font-weight="500" x=".15625" y="11" textLength="28.6875">None</tspan></text><path d="M 323 222.75 L 334.9 222.75 L 376 222.75 L 376 197.75 L 376 105 L 368 105 L 334.9 105 L 332.9 105" marker-end="url(#FilledArrow_Marker)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><rect x="27" y="113.25" width="296" height="27" fill="white"/><rect x="27" y="113.25" width="296" height="27" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><text transform="translate(32 119.75)" fill="black"><tspan font-family="Courier New" font-size="12" font-weight="bold" x="106.99414" y="10" textLength="43.20703">switch</tspan><tspan font-family="Courier New" font-size="12" font-weight="500" x="150.20117" y="10" textLength="28.804688"> tmp</tspan></text><rect x="143" y="209.25" width="180" height="27" fill="white"/><rect x="143" y="209.25" width="180" height="27" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><text transform="translate(148 215.75)" fill="black"><tspan font-family="Courier New" font-size="12" font-weight="500" x="38.192383" y="10" textLength="93.615234">process(elem)</tspan></text><rect x="27" y="252" width="113" height="27" fill="white"/><rect x="27" y="252" width="113" height="27" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><text transform="translate(32 258.5)" fill="black"><tspan font-family="Courier New" font-size="12" font-weight="bold" x="1.0917969" y="10" textLength="28.804688">drop</tspan><tspan font-family="Courier New" font-size="12" font-weight="500" x="29.896484" y="10" textLength="72.01172">(iterator)</tspan></text><rect x="422" y="83" width="113" height="27" fill="white"/><rect x="422" y="83" width="113" height="27" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><text transform="translate(427 89.5)" fill="black"><tspan font-family="Courier New" font-size="12" font-weight="bold" x="1.0917969" y="10" textLength="28.804688">drop</tspan><tspan font-family="Courier New" font-size="12" font-weight="500" x="29.896484" y="10" textLength="72.01172">(iterator)</tspan></text><line x1="323" y1="96" x2="412.10013" y2="96.45" marker-end="url(#FilledArrow_Marker)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1" stroke-dasharray="4,4"/><text transform="translate(339.5089 79.23571)" fill="black"><tspan font-family="Helvetica" font-size="12" font-weight="500" x=".15625" y="11" textLength="28.6875">panic</tspan></text><path d="M 233 236.25 L 233 248.15 L 478.5 248.15 L 478.5 121.9 L 478.5 119.9" marker-end="url(#FilledArrow_Marker)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1" stroke-dasharray="4,4"/><text transform="translate(251.2062 250.34454)" fill="black"><tspan font-family="Helvetica" font-size="12" font-weight="500" x=".15625" y="11" textLength="28.6875">panic</tspan></text><line x1="323" y1="48" x2="478.19115" y2="48.033644" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1" stroke-dasharray="4,4"/><text transform="translate(357.03278 31.089746)" fill="black"><tspan font-family="Helvetica" font-size="12" font-weight="500" x=".15625" y="11" textLength="28.6875">panic</tspan></text><line x1="478.5" y1="83" x2="478.08744" y2="36.291772" marker-end="url(#FilledArrow_Marker)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1" stroke-dasharray="4,4"/></g></g></svg>