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.5 required=5.0 tests=BAYES_00,INVALID_MSGID,
PP_MIME_FAKE_ASCII_TEXT autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII
X-Google-Thread: 103376,758f1e01b86b6274
X-Google-Attributes: gid103376,public
From: "Pascal Obry"
Subject: Re: Export instances of procedures
Date: 2000/04/19
Message-ID: <8dkt67$pp1$1@wanadoo.fr>#1/1
X-Deja-AN: 613234708
References: <38FCBA00.992AA7A2@maths.unine.ch> <8djpm3$qef$2@wanadoo.fr>
<8djth8$du2$1@wanadoo.fr> <8dkjcq$skf$1@wanadoo.fr>
X-MimeOLE: Produced By Microsoft MimeOLE V4.72.3612.1700
X-Complaints-To: abuse@wanadoo.fr
X-Trace: wanadoo.fr 956168199 26401 164.138.227.226 (19 Apr 2000 18:16:39 GMT)
Organization: home
NNTP-Posting-Date: 19 Apr 2000 18:16:39 GMT
Newsgroups: comp.lang.ada
Date: 2000-04-19T18:16:39+00:00
List-Id:
Jean-Pierre Rosen a �crit dans le message <8dkjcq$skf$1@wanadoo.fr>...
>??? You can instantiate anything in a package spec. And yes, it will have
>the effect of putting a body inside a spec. For example, try to instantiate
>in a spec a generic package whose body has statements, like Put_Line; the
>body will be executed when it is elaborated, i.e. from the middle of the
>specification.
>
>When you are a user, you can think that a spec cannot contain a body; those
>who have approached a compiler would not make such a statement ;-)
You are right but my point was that this was not possible with the *supplied
code*
sample. But as you point it is always possible to have this working but here
the Program_DMA generic unit must be moved to the spec (or another spec
package). But here you have a side effect. The generic unit is now visible
to
users ! Maybe there is a nice way to handle that with some child
libraries...
Pascal.
--|------------------------------------------------------
--| Pascal Obry Team-Ada Member
--| 45, rue Gabriel Peri - 78114 Magny Les Hameaux FRANCE
--|------------------------------------------------------
--| http://perso.wanadoo.fr/pascal.obry
--|
--| "The best way to travel is by means of imagination"