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.2 required=5.0 tests=BAYES_00,INVALID_MSGID, REPLYTO_WITHOUT_TO_CC 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: Brian Rogoff Subject: Re: Exception types? Date: 1998/06/11 Message-ID: #1/1 X-Deja-AN: 361872387 References: Content-Type: TEXT/PLAIN; charset=US-ASCII X-Trace: 897613026 18336 bpr 206.184.139.132 Mime-Version: 1.0 Reply-To: Brian Rogoff Newsgroups: comp.lang.ada Date: 1998-06-11T00:00:00+00:00 List-Id: On 10 Jun 1998, Michel Gauthier wrote: > 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). July/August 1996, on scanning? That was a nice paper, though I disagree with your assertion that Ada 95 has nothing new for generic scanning. Signature packages allow you to decouple scans from scanning representations using only generics. But I digress... > The main idea is that you can deal with something very close to > "exception type" by using Ada.Exceptions.Exception_ID. In the paper I just mentioned, you used Ada.Exceptions.Exception_Occurrence, which is not really analogous to exception type; Exception_ID is much better. I can even compare them, thats interesting. This definitely seems like the way to go. I'll try it and see how things work. -- Brian > 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 ? > ---------- ---------- ---------- ---------- > >