Type extension questions

[koehnema@enuxsa.eas.asu.edu (Harry Koehnemann)]

I have a couple questions on Ada95 tagged types.  These appear to be
easy questions, but I can't seem to locate an answer for either.
LRM references would also be appreciated with an answer.

1) Is it possible to derive a type such that the parent operations are not
   available to the user of the new type?  This question is equivalent to
   the ability to do private inheritance ala C++ - class B: private A { ...};
   I would assume the answer is yes, but haven't yet figured out how.

2) Can a derived type declare a component with the same name as a parent
   component?  At the risk of being lectured on GNAT's incompleteness :),
   GNAT allows a new same-name components if the parent type is private and
   the child type is public, but does gives an error if the child and parent
   are both public or private.  I assume the answer is one or the other,
   not "if one is private and one is public...".  Other OO languages allow
   this in their inheritance and I assume Ada95 does as well.

Thanks.

--
Harry Koehnemann			Arizona State University
hek@asu.edu				Computer Science Department