On Wed, 11 Sep 2002, A. Competitor <[EMAIL PROTECTED]> wrote:
> Therefor I will send a gzipped tar file with examples to your
> personal apache mailaccount !
>
> Maybe you can put some of it on the forum.
Yes, its there in bugzilla now (PR 12535).
>>would JTest see that the javadocs say something like "must not be
>>null" for method arguments?
>>
> Yes, if you choose to use Parasoft's DbC tool and add appropriate
> javadoc statements.
OK, I see. So it we'll have to evaluate whether this is something
serious ourselves.
Thanks
Stefan
--
To unsubscribe, e-mail: <mailto:[EMAIL PROTECTED]>
For additional commands, e-mail: <mailto:[EMAIL PROTECTED]>
