Supports invariant, precondition, postcondition, and derived attributes using a Ruby DSL.
>= 3.2
Takeshi Kakeda
