From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me X-Spam-Level: X-Spam-Status: No, score=-0.8 required=5.0 tests=BAYES_00,INVALID_DATE, MSGID_SHORT autolearn=no autolearn_force=no version=3.4.4 Path: utzoo!news-server.csri.toronto.edu!rpi!zaphod.mps.ohio-state.edu!casbah.acns.nwu.edu!ucsd!nic.cerf.net!sss From: sss@nic.cerf.net (Marlene M. Eckert) Newsgroups: comp.lang.ada Subject: Re: Pre-condition vs. Post-condition Keywords: pre-condition, post-condition, exception Message-ID: <311@nic.cerf.net> Date: 18 Mar 91 19:51:44 GMT References: <344@platypus.uofs.edu> <2865@sparko.gwu.edu> <97779@tut.cis.ohio-state.edu> Organization: 3S, Laguna Hills, CA List-Id: How about exceptions should be raised only in _EXCEPTIONAL_ situations? Reaching the end-of-file or trying to POP off an empty stack are NOT exceptional conditions. I would go so far as to say an exception should never be raised after a system has been delivered. Don't get me wrong, I love Ada exception handling... Exception Handling made my last large integration go much smoother than I expected. Any comments?? Michael Reznick Structured Systems & Software (3S) sss@cerf.net ---------------------------------------------------------------------- Standard disclaimer... ----------------------------------------------------------------------