Florian wrote:

> I have implemented this in ruby-contract. Please see
>
> http://ruby-contract.rubyforge.org/

Interesting library. Would like to see a tutorial on how to use it.

T.