Re: Style: always declare subrountines?

[John English <je@brighton.ac.uk>]

Lutz Donnerhacke wrote:
> 
> * John English wrote:
> > accessed from the body of a public package. What would be nice to
> > be able to do sometimes is:
> >
> >   with P.Implementation;
> >   package P.Public is
> >     type T is private;
> >     ...
> >   private
> >     type T is
> >       record
> >         X : P.Implementation.Stuff;
> >       end record;
> >   end P.Public;
> >
> > Unfortunately P.Implementation can't be a private package here.
> 
> How should the P.Public user know how an element of type T has to be
> allocated? If you only change P.Implementation, the body of P.Public has to
> be recompiled, but not the parts depending on P.Public only.

I'm not sure I understand your point here. If P.Implementation is a
public package, this is legal Ada 95. If it's a private package, it
isn't. And of course, if P.Implementation changes, P.Public has to
be recompiled (because the size of P.Implementation.Stuff might have
changed) and clients of P.Public will therefore have to be recompiled
(because the size of P.Public.T might have changed). Or are you talking
about something different to this?

-----------------------------------------------------------------
 John English              | mailto:je@brighton.ac.uk
 Senior Lecturer           | http://www.it.bton.ac.uk/staff/je
 Dept. of Computing        | ** NON-PROFIT CD FOR CS STUDENTS **
 University of Brighton    |    -- see http://burks.bton.ac.uk
-----------------------------------------------------------------