<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1">
<style type="text/css" style="display:none;"><!-- P {margin-top:0;margin-bottom:0;} --></style>
</head>
<body dir="ltr">
<div id="divtagdefaultwrapper" style="font-size:12pt;color:#000000;font-family:Calibri,Helvetica,sans-serif;" dir="ltr">
<p>Hi all,</p>
<p><br>
</p>
<p>just wondering:</p>
<p><br>
</p>
<blockquote style="margin: 0 0 0 40px; border: none; padding: 0px;">
<p></p>
<div><b>doSomething</b></div>
<p></p>
<p></p>
<div><br>
</div>
<p></p>
<p></p>
<div><span style="white-space:pre"></span>self startUp.</div>
<p></p>
<p></p>
<div><span style="white-space:pre"></span>[self <span style="background-color: rgb(190, 190, 190);">
basicDoSomething</span>] ensure: [self tearDown].</div>
<p></p>
<p></p>
<div><br>
</div>
<p></p>
<p></p>
<div><b>DoIt</b></div>
<p></p>
<p></p>
<div><br>
</div>
<p></p>
<p></p>
<div><span style="white-space:pre"></span>self <span style="background-color: rgb(190, 190, 190);">
doSomething</span>.</div>
<p></p>
</blockquote>
<p><br>
</p>
<div id="Signature">
<div id="divtagdefaultwrapper" dir="ltr" style="font-size: 12pt; color: rgb(0, 0, 0); font-family: Calibri, Helvetica, sans-serif, EmojiFont, "Apple Color Emoji", "Segoe UI Emoji", NotoColorEmoji, "Segoe UI Symbol", "Android Emoji", EmojiSymbols;">
<div name="divtagdefaultwrapper" style="font-family:Calibri,Arial,Helvetica,sans-serif; font-size:; margin:0">
<div>
<div class="_rp_T4" id="Item.MessagePartBody">Considering debugging the example above and you would just be about to send #basicDoSomething: If you hit the Restart button in this situation in the context of the DoIt method, should the #ensure: context in #doSomething
 be unwound, i.e., should #tearDown be evaluated? Currently, the unwind is skipped.</div>
<div class="_rp_T4" id="Item.MessagePartBody">Performing the unwind might be considered a confusing side-effect. Not performing the unwind could lead to dangling temporary state in the images, unreleased resources, etc.
<div class="_rp_U4 ms-font-weight-regular ms-font-color-neutralDark rpHighlightAllClass rpHighlightBodyClass" id="Item.MessageUniqueBody" style="font-family:wf_segoe-ui_normal,"Segoe UI","Segoe WP",Tahoma,Arial,sans-serif,serif,EmojiFont">
<div dir="ltr">
<div id="divtagdefaultwrapper"><font face="Calibri,Helvetica,sans-serif,EmojiFont,Apple Color Emoji,Segoe UI Emoji,NotoColorEmoji,Segoe UI Symbol,Android Emoji,EmojiSymbols">
<div id="Signature">
<div style="margin:0px"><font style="font-family:Calibri,Arial,Helvetica,sans-serif,serif,EmojiFont">
<div><font size="3" color="black"><span style="font-size:12pt"><a href="http://www.hpi.de/" target="_blank" rel="noopener noreferrer" id="LPNoLP"><font size="2"><span id="LPlnk909538"><font color="#757B80"></font></span></font></a></span></font></div>
</font></div>
</div>
</font></div>
</div>
</div>
</div>
<div class="_rp_T4" id="Item.MessagePartBody"><br>
</div>
<div class="_rp_T4" id="Item.MessagePartBody">Best,</div>
<div class="_rp_T4" id="Item.MessagePartBody">Christoph</div>
</div>
<div><font size="2" color="#808080"></font></div>
</div>
</div>
</div>
</div>
</body>
</html>