Re: packages and private parts

[dewar@merv.cs.nyu.edu (Robert Dewar)]

Jeff Carter says

<<Except, of course, that anyone can write a child without changing
sources, but with the same effect. Putting the sources under CM doesn't
prevent this.>>

  It should, this is clearly something any CM system for Ada should
  provide (complete trackability of who writes what).

<<How do you know which children are official and which are not? How do
you know whether a programmer has written and used an unauthorized child
that is not known to the rest of the system?>>

  If your CM system cannot control the set of sources you are dealing
  with it is inadequate to the task.

<<Unchecked_Conversion and overlays using an address clause are easy to
detect. Child packages are very difficult to detect.>>

  This seems completely incomprehensible, child units are perfectly easy
  to "detect", you cannot use them without an explicit with statement!