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,1e4280c6ade7eb23 X-Google-Attributes: gid103376,public From: gauthier@alphainfo.unilim.fr (Michel Gauthier) Subject: Re: Exception types? Date: 1998/06/10 Message-ID: #1/1 X-Deja-AN: 361349388 References: Organization: Universite de Limoges Newsgroups: comp.lang.ada Date: 1998-06-10T00:00:00+00:00 List-Id: In article , Brian Rogoff wrote: >> One of the things that always bothered me about exceptions in Ada >> is that they are not really integrated into the type system, for example, >> they are not part of a generic signature package. I looked through the >> Ada 95 and Ada 83 Rationales to try to find a discussion of this topic, >> but I couldn't find one. Is there some record available? You can find some ideas about it in a paper I wrote for ACM Ada Letters, perhaps April 1995 (don't flame if erroneous). The main idea is that you can deal with something very close to "exception type" by using Ada.Exceptions.Exception_ID. You can use it as subprogram parameter, generic parameter, record component,... and then raise or handle it. The syntax is of course different from exceptions, but the behaviour is similar. ---------- ---------- ---------- ---------- Michel Gauthier / Laboratoire d'informatique 123 avenue Albert Thomas / F-87060 Limoges telephone + 33 5 55 43 69 73 fax +33 5 55 43 69 77 ---------- ---------- ---------- ---------- Hein, quoi, quelle annee dix-neuf cent nonante dix ? What exactly about year nineteen ninety ten ? ---------- ---------- ---------- ----------