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?

Sadly, no. I whipped that up as an experiment a while ago,
and haven’t had a chance to get back at it.

>Can you have "model variables" using rubydbc, that is, variables that 
>are visible to the pre/post/invariant checker, but not in the program 

No, but you could probably arrange to do that by clever use
of modules or something.

>Are there example source codes that are available that illustrate how 
>rubydbc is used?

Should be included in the package you downloaded.



Andrew Hunt, The Pragmatic Programmers, LLC.
Innovative Object-Oriented Software Development and Mentoring for Agile Methods
web: http://www.pragmaticprogrammer.com email: andy@pragmaticprogrammer.com

Author of “The Pragmatic Programmer” * “Programming Ruby” * The Agile Manifesto
Columnist for IEEE Software Magazine
Pragmatic T-shirts available at: www.pragmaticprogrammer.com/merchandise.html