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.9 required=5.0 tests=BAYES_00 autolearn=ham autolearn_force=no version=3.4.4 X-Google-Thread: 103376,575dfcf6488662de X-Google-Attributes: gid103376,public X-Google-Language: ENGLISH,ASCII Path: g2news1.google.com!news2.google.com!fu-berlin.de!uni-berlin.de!not-for-mail From: Thomas Lotze Newsgroups: comp.lang.ada Subject: Re: Libraries written in Ada Date: Tue, 23 Nov 2004 12:03:09 +0100 Message-ID: References: <18687975.p80OmDsB1I@linux1.krischik.com> <1464020.dFWPVBaaRG@linux1.krischik.com> <1966293.u6rVSTIjq0@linux1.krischik.com> Mime-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 8bit X-Trace: news.uni-berlin.de cT81F2G8Rs3MWl1HbtkNPwY0ZTqueZAZgGepip7baO7GAM1zzT User-Agent: Pan/0.14.2.91 (As She Crawled Across the Table (Debian GNU/Linux)) Xref: g2news1.google.com comp.lang.ada:6365 Date: 2004-11-23T12:03:09+01:00 List-Id: On Tue, 23 Nov 2004 10:48:45 +0100, Martin Krischik wrote: > can be preelaborated by the compiler and then no runtime elaboration is > needed. How can I find out whether the code produced by the compiler (not a specific one, but any compiler that conforms to the spec) needs runtime elaboration? Are there simple rules such as "this code pattern may or does require runtime elaboration while that pattern can be safely assumed to work without"? I'd have to dig further through the references, but I haven't found a clear statement so far. > If you like low leve: I the excample above the GNAT compiler will create a > "package X init" procedure and a Boolean "package X initilized" (I could > find out the actual names - but I don't think it is needed). adainit () > will check the boolean and call procedure when needed. So it's not possible to reset a package in the midst of program execution? If so, is it a conscious design decision, and what's the rationale? (The solution seems to be offering reset functionality in the package.) > Ada95 is a object orientated language with some form contructor/descructor > system called controled objects. adafinal () will call the finalisation > for static controled objects. What if a package doesn't have any specific finalization code? Is there some generic stuff that must always be run, or can finalization be omitted in such a case? -- Viele Gr��e, Thomas