From: Andrew Hunt <andy@...>
Date: 2000-03-31T09:15:33-05:00
Subject: [ruby-talk:02298] Re: DBC


> I thought of some elaborate hare-brained Rube Goldberg
> device whereby a method is aliased and renamed or
> whatever, so that when you call the "bare" method
> foobar, you really end up calling meta_foobar, which
> calls pre, then foobar, then post. 

My Rube-Goldberg attempt used tracefunc to hook into the dispatcher,
so that I could check every method call and see if a pre/post condition
existed and then call it.  This also gave me the opportunity to call
invariant on exit from every method call.

/\ndy