Hi Dscho,<br><br><blockquote style="margin: 0pt 0pt 0pt 0.8ex; border-left: 1px solid rgb(204, 204, 204); padding-left: 1ex;" class="gmail_quote">I actually like the idea of Eiffel to have multiple levels of contract<br>
checking. We do not have that in Java (unless we implement it ourselves),<br>
but at least we could have assertions, right?<br></blockquote>
<br>There are a handful of assertions sprinkled throughout the IJ2 code, but no formal policy on when they should be used, as of yet.<br><br>We do have a sort of multi-level contract checking, in that there are multiple levels of logging. Calling Log.error is most severe, followed by Log.warn, then Log.info, and lastly Log.debug. I would say calls to Log.error and Log.warn are two different levels of severity as far as notifying the user of abnormalities in execution. And of course, more severe than any log message would be throwing an exception.<br>
<br>Regards,<br>Curtis<br><br><div class="gmail_quote">On Thu, May 26, 2011 at 1:22 PM, Johannes Schindelin <span dir="ltr"><<a href="mailto:Johannes.Schindelin@gmx.de">Johannes.Schindelin@gmx.de</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;">Hi,<br>
<div class="im"><br>
On Thu, 26 May 2011, Curtis Rueden wrote:<br>
<br>
> I implemented a fix yesterday:<br>
<br>
</div>I should have known :0)<br>
<div class="im"><br>
> <a href="http://dev.imagejdev.org/trac/imagej/ticket/543" target="_blank">http://dev.imagejdev.org/trac/imagej/ticket/543</a><br>
> <a href="http://dev.imagejdev.org/trac/imagej/changeset/2957" target="_blank">http://dev.imagejdev.org/trac/imagej/changeset/2957</a><br>
><br>
> It simply flags the parameter as "resolved," meaning it will not appear<br>
> in the input dialog.<br>
><br>
> I also added a warning message if a final parameter is detected:<br>
> <a href="http://dev.imagejdev.org/trac/imagej/changeset/2958" target="_blank">http://dev.imagejdev.org/trac/imagej/changeset/2958</a><br>
><br>
> However, we could be stricter and throw an exception instead, as you<br>
> suggest. What do you think?<br>
<br>
</div>I actually like the idea of Eiffel to have multiple levels of contract<br>
checking. We do not have that in Java (unless we implement it ourselves),<br>
but at least we could have assertions, right?<br>
<br>
Ciao,<br>
Dscho<br>
<br>
</blockquote></div><br>