From: pschoenb@... (Patrick Schoenbach)
Date: 2000-07-09T18:44:47+02:00
Subject: [ruby-talk:03902] Re: require, ensure, and Design by Contract

On Sun, 9 Jul 2000 10:27:24 -0400,
Andrew Hunt <andy@toolshed.com> wrote:

>I've been threatening to implement such a beast for some
>time; as soon as I have a free minute I'm still hoping to
>get to it.  I agree that it could be an important feature
>and good selling point for Ruby.

Well, Andy, let's not forget our "other project" though. ;-) (Sorry
newsgroup, inside hunt...aehhh...hint *g*).

>Yes, the Eiffel style keywords have already been used.
>In the few trial versions I've put together, I used
>"pre" and "post" as the keywords, in addition to
>an "invariant" method and a simple "check".

How about loop invariants? Loop variants are not really needed in Ruby,
as far as I overlook it.

Furthermore, it must be possible to select different levels of assertion
monitoring. And what about a tool to display the "short from", "flat form",
and "flatshort form" of a class?

-- 
Best regards,
Patrick 

-- 
---------------------------------------------------------------------------
            	  e-mail: pschoenb@solidsoft.iksys.de
                  URL: http://www.geocities.com/Vienna/5357/
 PGP Public Key: Mail to pgp@solidsoft.iksys.de with 'pschoenb' as subject
     Fingerprint: 3C FB B0 A7 E2 C2 3B 2D  68 6C 66 7E B7 D5 C2 70
---------------------------------------------------------------------------