From: Justin Johnson <justinj@...>
Date: 2002-08-01T03:59:45+09:00
Subject: Re: Q's about rubydbc


I'd be interested to know if anybody is using this too.

Might design-by-contract be a worthy addition to (perhaps my
implementation!) standard language?

--
Justin Johnson.

"Roy Patrick Tan" <rtan@vt.edu> wrote in message
news:3D4823F2.3050908@vt.edu...
> I just downloaded the ruby design by contract code, and I have a couple
> of questions:
>
> Is the code being actively developed?
>
> Can you have "model variables" using rubydbc, that is, variables that
> are visible to the pre/post/invariant checker, but not in the program
> itself?
>
> Are there example source codes that are available that illustrate how
> rubydbc is used?
>
> Is anyone actually using this?
>
> Thanks, any information would be much welcomed.
>
> Roy
>
>