From: Roy Patrick Tan <rtan@...>
Date: 2002-08-01T02:59:35+09:00
Subject: 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