Programming By Contract with Ruby

[Pete Hodgson]

Hi Folks,

Does anyone know of a Programming By Contract framework for ruby? It
seems like fertile ground, given the dynamic nature of the language. I'm
imagining some kind of DSL that allows a developer to annotate a
class/module with invariants, and also to annotate methods with pre- and
post-conditions.

Cheers,
Pete

 

[Dean Wampler]

[Note: parts of this message were removed to make it a legal post.]

I have an example on the Aquarium site of doing basic "design (programming)
by contract". Look near the bottom of this page for "Design by Contract":
http://aquarium.rubyforge.org/examples.html

dean

Hi Folks,

Does anyone know of a Programming By Contract framework for ruby? It seems
like fertile ground, given the dynamic nature of the language. I'm imagining
some kind of DSL that allows a developer to annotate a class/module with
invariants, and also to annotate methods with pre- and post-conditions.

Cheers,
Pete

--
Dean Wampler
http://www.objectmentor.com
http://www.aspectprogramming.com
http://aquarium.rubyforge.org
http://www.contract4j.org

 

[Daniel Berger]

Hi Folks,

Does anyone know of a Programming By Contract framework for ruby? It
seems like fertile ground, given the dynamic nature of the language. I'm
imagining some kind of DSL that allows a developer to annotate a
class/module with invariants, and also to annotate methods with pre- and
post-conditions.

Cheers,
Pete

http://rubyforge.org/projects/rubydbc/
http://rubyforge.org/projects/dbc/

Regards,

Dan

 

[Pete Hodgson]

[Note: parts of this message were removed to make it a legal post.]

Thanks Dan.

Looks like dbc is actually a Design By Contract system for C, using ruby
and Racc to parse an external DSL:
http://www.onlamp.com/pub/a/onlamp/2004/10/28/design_by_contract_in_c.html.

I'll take a look at rubydbc. Anyone else have any input?

 

[Jörg W Mittag]

http://rubyforge.org/projects/rubydbc/
http://rubyforge.org/projects/dbc/

There's also <https://RubyForge.Org/projects/handshake/>. I have no
experience with any of those three, but I like the clever name (-:

jwm