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=-2.9 required=5.0 tests=BAYES_00,MAILING_LIST_MULTI autolearn=unavailable autolearn_force=no version=3.4.4 X-Google-Thread: 103376,539c82cafef83539,start X-Google-Attributes: gid103376,public X-Google-Language: ENGLISH,ASCII-7-bit Path: g2news1.google.com!news1.google.com!newshub.sdsu.edu!fr.ip.ndsoftware.net!nerim.net!usenet-fr.net!enst.fr!melchior!cuivre.fr.eu.org!melchior.frmug.org!not-for-mail From: christoph.grein@eurocopter.com Newsgroups: comp.lang.ada Subject: Add Finalization Date: Wed, 22 Sep 2004 15:02:43 +0200 Organization: Cuivre, Argent, Or Message-ID: Reply-To: christoph.grein@eurocopter.com NNTP-Posting-Host: lovelace.ada-france.org Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii; format=flowed Content-Transfer-Encoding: 7bit X-Trace: melchior.cuivre.fr.eu.org 1095864721 25761 212.85.156.195 (22 Sep 2004 14:52:01 GMT) X-Complaints-To: usenet@melchior.cuivre.fr.eu.org NNTP-Posting-Date: Wed, 22 Sep 2004 14:52:01 +0000 (UTC) To: comp.lang.ada@ada-france.org Return-Path: X-Authentication-Warning: mail.eurocopter.com: uucp set sender to using -f User-Agent: Mozilla/5.0 (X11; U; SunOS sun4u; en-US; rv:1.0.1) Gecko/20020920 Netscape/7.0 X-Accept-Language: en-us, en X-Virus-Scanned: by amavisd-new-20030616-p10 (Debian) at ada-france.org X-BeenThere: comp.lang.ada@ada-france.org X-Mailman-Version: 2.1.4 Precedence: list List-Id: "Gateway to the comp.lang.ada Usenet newsgroup" List-Unsubscribe: , List-Post: List-Help: List-Subscribe: , Xref: g2news1.google.com comp.lang.ada:3940 Date: 2004-09-22T15:02:43+02:00 In article , Simon Wright writes: > kevin.cline@gmail.com (Kevin Cline) writes: > >> For example, I found this at http://www.gidenstam.org/Ada/: > >> This library, the Add Finalization Anywhere Library, provides a >> nice(?) way to add finalization to any (limited) tagged type at any >> level. The structure of the library is inspired by Christoph Karl >> Walter Grein's library for adding finalization to library level >> tagged types and my library is designed to integrate well with his. >> >> However, since declaring controlled types elsewhere than at the >> library level isn't supported by Ada there is a lot of hackish >> things going on inside the library. Currently, I don't know whether >> the these things work on any other compiler than GNAT 3.13p and >> whether they are at all sane." > > I'm pretty sure that Christophe's library only worked because of bugs > in GNAT 3.13p. Simon (I assume the above quote I found in another thread was correct, so you wrote this) Why on earth do you think this? My library for adding controlledness to limited types works perfectly well. I've updated the result file for recent compilers. The old Gnat version I used when I wrote this library had bugs, so it did not produce the correct result, but the Apex version was correct. Now Apex and Gnat produce the same results as expected. See http://home.t-online.de/home/christ-usch.grein/Ada/Finalization.html Christoph