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=-1.3 required=5.0 tests=BAYES_00,INVALID_MSGID autolearn=no autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,3ccb707f4c91a5f2 X-Google-Attributes: gid103376,public From: gauthier@unilim.fr (Michel Gauthier) Subject: Re: Why no Propagates? Date: 1996/10/23 Message-ID: #1/1 X-Deja-AN: 191478091 references: <325D7F9B.2A8B@gte.net> organization: Universite de Limoges newsgroups: comp.lang.ada Date: 1996-10-23T00:00:00+00:00 List-Id: In article <54hjb7$bmm$1@goanna.cs.rmit.edu.au>, ok@goanna.cs.rmit.edu.au (Richard A. O'Keefe) wrote: >> gauthier@unilim.fr (Michel Gauthier) writes: >> [about Java-like exception annotations] >> >> >I fully agree that " it would be a cool feature to have", but I concluded >> >long ago that it would be very difficult to make it compatible with >> >all the other features of the language. Possibly an additional effort >> >on ANNotated Ada in this direction would have been useful, but >> >we cannot hope a full solution. >> >> Just a suggestion: >> this is precisely the kind of thing which a compiler can find out >> for you and put in a cross-reference file or listing or hypertext >> or whatever. >> >> Typically, what you want to know is not "what exceptions can this procedure >> raise" but "where is this exception raised" or "what exceptions might reach >> this handler", which the Java syntax doesn't help with as much as one might >> hope. Yes, Richard, I agree. Additionally, a thesis work is in process about such an issue. But it is not as simple as we could wish. Without genericity and exception identities, things goes rather well, but there is a need of eliminating "unreachable raises" by program proofs. How reliable are these proofs ? If you add genericity, this requires additional parameterisation by sets of exceptionbs (alone exceptions are not powerful enough). Such parameters are not necessarily required by the language rules. Of course, access-to-subprograms make the same problem arise. If you add exception identities, then you can pray, or prefer good style rules, or even insert sensible assertions. In this case, assertions are required with all exception raises, which very few people do. This is what I intended to say in my initial message. ---------- ---------- ---------- ---------- Michel Gauthier / Laboratoire d'informatique 123 avenue Albert Thomas / F-87060 Limoges telephone +33 () 55457335 [or ~ 7232] a partir du 19 octobre, depuis la France : 05 55 45 73 35 from october,19 on, and from abroad : +33 5 55 45 73 35 fax +33 () 55457315 [or ~7201] and similar evolution ---------- ---------- ---------- ---------- Si l'an 2000 est pour vous un mysticisme stupide, utilisez la base 9 If you feel year 2000 a stupid mystic craze, use numeration base 9 ---------- ---------- ---------- ----------