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: ok@goanna.cs.rmit.edu.au (Richard A. O'Keefe) Subject: Re: Why no Propagates? Date: 1996/10/22 Message-ID: <54hjb7$bmm$1@goanna.cs.rmit.edu.au>#1/1 X-Deja-AN: 191131502 references: <325D7F9B.2A8B@gte.net> <326391B6.4B23@gsfc.nasa.gov> organization: Comp Sci, RMIT, Melbourne, Australia nntp-posting-user: ok newsgroups: comp.lang.ada Date: 1996-10-22T00:00:00+00:00 List-Id: 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. -- Mixed Member Proportional---a *great* way to vote! Richard A. O'Keefe; http://www.cs.rmit.edu.au/%7Eok; RMIT Comp.Sci.