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,6f248223d81c2ffc,start X-Google-Attributes: gid103376,public From: mazzanti@iei.pi.cnr.it (Franco Mazzanti) Subject: Finalization and Garbage Collection: a hole in the RM? Date: 1996/08/26 Message-ID: #1/1 X-Deja-AN: 176508651 organization: IEI-CNR newsgroups: comp.lang.ada Date: 1996-08-26T00:00:00+00:00 List-Id: I could not find are rule describing what could/should happen when an exception is raised by a Finalization routine called by the garbage collector. [RM 7.6.1.(14)] says that this is a bounded error, and this, fortunately rules out any erroneous execution. But the list of the possible effects does not contain the case of Finalize being called by a garbage collector. Should this be interpreted as if the garbage collector should act exactly as any other Ada task, and handle in its own way any possible exception raised by Finalize? [RM 13.12(6)] says something on the Garbage Collection, but in an a way that does not seem to mandate at all the above point of view. Missing something?? Franco Mazzanti I.E.I. - C.N.R.