[comp.lang.eiffel] The Mysteries of Life Solved

sommar@enea.se (Erland Sommarskog) (07/16/89)

I was thinking of asking this question about this mystery of life
since I first read Bertrand Meyer's book. But then I see in his 2.2
overview:

>     The violation of a precondition triggers  an  exception
>in  the  caller,  not the called routine (in accordance with
>the ``programming as contracting'' philosophy).

Certainly seems much cleaner. If the guy who calls me does get the
parameters right, why should I suffer and try to clean up?
-- 
Erland Sommarskog - ENEA Data, Stockholm - sommar@enea.se
"Apparently being a gnu adept and having a good sense of humor
are disjunct qualities." - Mart van Stiphout