[ImageJ-devel] @Parameter fields - don't make them final

[Johannes Schindelin]

Hi,

On Thu, 26 May 2011, Curtis Rueden wrote:

> I implemented a fix yesterday:

I should have known :0)

>   http://dev.imagejdev.org/trac/imagej/ticket/543
>   http://dev.imagejdev.org/trac/imagej/changeset/2957
> 
> It simply flags the parameter as "resolved," meaning it will not appear 
> in the input dialog.
> 
> I also added a warning message if a final parameter is detected:
>   http://dev.imagejdev.org/trac/imagej/changeset/2958
> 
> However, we could be stricter and throw an exception instead, as you 
> suggest. What do you think?

I actually like the idea of Eiffel to have multiple levels of contract 
checking. We do not have that in Java (unless we implement it ourselves), 
but at least we could have assertions, right?

Ciao,
Dscho