From: itsme213 <itsme213@...>
Date: 2005-02-17T10:34:49+09:00
Subject: Re: DesignByContract (was RE: utilizing ++ and -- for comments)


"Florian Gross" <flgr@ccan.de> wrote in message
news:37hrmgF5cpfeaU1@individual.net...
>
> I think I'll use an interface like this:
>
> class MyArray
>    def pop() ... end
>
>    check :pop, :pre do
>      size > 0
>    end

Wondering if you have a way to do these ...

How would the check :pre get access to the method parameters?

And how would the check :post access the return, or the params, or the
initial values (instance vars etc.)?