comp.lang.ada
 help / color / mirror / Atom feed
From: "Pascal Obry" <p.obry@wanadoo.fr>
Subject: Re: Export instances of procedures
Date: 2000/04/19
Date: 2000-04-19T18:16:39+00:00	[thread overview]
Message-ID: <8dkt67$pp1$1@wanadoo.fr> (raw)
In-Reply-To: 8dkjcq$skf$1@wanadoo.fr

[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #1: Type: text/plain, Size: 1284 bytes --]


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"







  reply	other threads:[~2000-04-19  0:00 UTC|newest]

Thread overview: 12+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2000-04-18  0:00 Export instances of procedures Gautier
2000-04-18  0:00 ` Vincent Marciante
2000-04-25  0:00   ` Gautier
2000-04-25  0:00     ` Vincent Marciante
2000-04-25  0:00     ` Robert Dewar
2000-04-26  0:00       ` Gautier
2000-04-26  0:00     ` Tucker Taft
2000-04-19  0:00 ` Jean-Pierre Rosen
2000-04-19  0:00   ` Pascal Obry
2000-04-19  0:00     ` Jean-Pierre Rosen
2000-04-19  0:00       ` Pascal Obry [this message]
2000-04-20  0:00         ` Gautier
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox