A code-by-contract library for ruby, using RDoc documentation to enforce the contract requirements