[prev in list] [next in list] [prev in thread] [next in thread] 

List:       ruby-talk
Subject:    Re: DesignByContract (was RE: utilizing ++ and -- for comments)
From:       "itsme213" <itsme213 () hotmail ! com>
Date:       2005-02-17 1:34:49
Message-ID: guSQd.4015$Bx5.3896 () fe1 ! texas ! rr ! com
[Download RAW message or body]


"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.)?




[prev in list] [next in list] [prev in thread] [next in thread]