Q's about rubydbc

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

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