<div dir="ltr"><div>Hi Marcel,</div><div>Halt is a breakpoint explicitly set in the source code.</div><div>In some way, Assertion could be viewed as conditional halt explicitly set in the source code...<br></div><div><div>However, I don't like this POV. IMO AssertionFailure should not be subclass of Halt.</div><div>Assertion failures are failure to fullfil some pre/post condition, and as such programming Error.</div><div>I understand that Halt is just a way to invite users to debug programming Error, but an Error works equally well.</div><div>Why using Halt?<br></div></div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">Le lun. 11 nov. 2019 à 16:03, Marcel Taeumel <<a href="mailto:marcel.taeumel@hpi.de">marcel.taeumel@hpi.de</a>> a écrit :<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div id="gmail-m_4657551083798119423__MailbirdStyleContent" style="font-size:10pt;font-family:Arial;color:rgb(0,0,0)">Hi, there.<div></div><div><br></div><div>The Kernel package provides "AssertionFailure" through "self assert: ...".</div><div>The SUnit package provides "TestFailure" through "self assert: ..." in test cases.</div><div><br></div><div><span style="font-size:13.3333px">AssertionFailure is a subclass of Halt.</span><br></div><div><span style="font-size:13.3333px">TestFailure is a subclass of Exception.</span></div><div><span style="font-size:13.3333px"><br></span></div><div><span style="font-size:13.3333px">Now, the test runner catches all errors (red) and all test failures (yellow). However, the rest runner stops working if an AssertionFailure is raised. The Decompiler can do that, for example. In that case, the user cannot easily get an overview of all non-passing tests.</span></div><div><span style="font-size:13.3333px"><br></span></div><div><span style="font-size:13.3333px">Here are my questions:</span></div><div><span style="font-size:13.3333px"><br></span></div><div><span style="font-size:13.3333px">- Should </span><span style="font-size:13.3333px">AssertionFailure be an Error instead of a Halt?</span></div><div><span style="font-size:13.3333px">- Should SUnit treat "real" AssertionFailures also as errors (red)?</span></div><div><span style="font-size:13.3333px"><br></span></div><div><span style="font-size:13.3333px">Find attached two changesets with two different strategies.</span></div><div><span style="font-size:13.3333px"><br></span></div><div><span style="font-size:13.3333px">See TestResult >> #runCase: to see which exceptions are caught during test execution.</span></div><div><span style="font-size:13.3333px"><br></span></div><div><span style="font-size:13.3333px">Best,</span></div><div><span style="font-size:13.3333px">Marcel</span></div></div><br>
</blockquote></div>