Re: some trivial questions?

["J-P. Rosen" <rosen@adalog.fr>]

Le 11/11/2017 à 12:32, AdaMagica a écrit :
> But the with-clause is not about dependence, it's only about visibility.
> 
> package A is ...;
> 
> with A;
> package B is ...;
> 
> with B;
> package C is ...;
> 
> C has visibility on B, not on A, but depends on A. Elaboration sequence is about dependence.

Sorry, but I don't agree. It's about logical dependency, because it says
"if you want to understand unit C, you need to understant the
specification on B." Of course, if you want to understand B, you need to
understand A, but that's just because the with is on the spec, it
wouldn't be the case if the with were on the body.

Of course, there is some visibility issue that comes with it: if you
depend on something, it'd better be visible! But the main issue is
dependence.

-- 
J-P. Rosen
Adalog
2 rue du Docteur Lombard, 92441 Issy-les-Moulineaux CEDEX
Tel: +33 1 45 29 21 52, Fax: +33 1 45 29 25 00
http://www.adalog.fr