From: gabriele renzi <rff_rff@...>
Date: 2005-02-17T17:19:53+09:00
Subject: Re: DesignByContract (was RE: utilizing ++ and -- for comments)

itsme213 ha scritto:
> "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.)?

I guess florian would overwrite the method #pop with a new one which 
does bot the pre-code and the original code. Mauricio Fernandez showed a 
nice approach to this which did not need eval() quite a long time ago 
(even if he presented it as poor man's AOP)