From: Mehdi Saada <00120260a@gmail.com>
Subject: Re: making a son benefit access ton an instanciation of a generic package required as a formal parameter to his father and instanciated by him
Date: Tue, 23 Jan 2018 06:05:33 -0800 (PST)
Date: 2018-01-23T06:05:33-08:00 [thread overview]
Message-ID: <c1eb33cd-4831-424d-9c39-e6cbc1a327ad@googlegroups.com> (raw)
In-Reply-To: <lymv1719vh.fsf@pushface.org>
I really have a hard time with technical terms. To sum up my understanding (excluding use of limited_with), a picture is worth a thousand words. Is that ok ?
with Generic_package_P0;
with normal_package;
private with private_only;
generic
with package P1 is new P1_G;
package P2_G is
package P0 is new Generic_package_P0;[...];
private
package P0_v2 is new Generic_package_P0; -- private_only visible
end P2_G;
generic
package P2_G.Child is
-- Generic_package_P0, normal_package, P0 visible
-- can also instanciate Generic_package_P0, whose instance will be visible below in private and body part.
private
-- the same, P0_V2 is also visible P0_v2 and private_only
end P2_G.Child;
package body P2_G.Child
-- same for instanciating any generic.
-- exact same than above in private part, plus things declared here and hidden from above as well as for later children.
end body P2_G.Child;
next prev parent reply other threads:[~2018-01-23 14:05 UTC|newest]
Thread overview: 22+ messages / expand[flat|nested] mbox.gz Atom feed top
2018-01-21 15:43 making a son benefit access ton an instanciation of a generic package required as a formal parameter to his father and instanciated by him Mehdi Saada
2018-01-21 15:58 ` Simon Wright
2018-01-21 17:30 ` Mehdi Saada
2018-01-21 17:39 ` Simon Wright
2018-01-21 17:50 ` Dmitry A. Kazakov
2018-01-21 20:15 ` Mehdi Saada
2018-01-21 20:41 ` Dmitry A. Kazakov
2018-01-21 21:29 ` Mehdi Saada
2018-01-21 21:31 ` Mehdi Saada
2018-01-21 22:20 ` Jeffrey R. Carter
2018-01-21 23:07 ` Mehdi Saada
2018-01-21 23:10 ` Mehdi Saada
2018-01-22 8:28 ` Dmitry A. Kazakov
2018-01-22 9:25 ` Simon Wright
2018-01-23 1:23 ` Randy Brukardt
2018-01-21 22:04 ` J-P. Rosen
2018-01-22 15:36 ` Mehdi Saada
2018-01-22 15:54 ` Mehdi Saada
2018-01-22 15:52 ` Simon Wright
2018-01-23 1:33 ` Randy Brukardt
2018-01-23 14:05 ` Mehdi Saada [this message]
2018-01-23 1:13 ` Randy Brukardt
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox