Path: utzoo!attcan!uunet!mcvax!kth!sunic!enea!sommar
From: sommar@enea.se (Erland Sommarskog)
Newsgroups: comp.lang.eiffel
Subject: The Mysteries of Life Solved
Keywords: Exception, precondition
Message-ID: <123@enea.se>
Date: 16 Jul 89 09:46:10 GMT
Organization: Enea Data AB, Sweden
Lines: 14

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