Re: Usage of Interfaces with Ada 95

["Robert I. Eachus" <rieachus@comcast.net>]

(Please excuse the partial message, I hit the wrong key when pasting.)

Hyman Rosen wrote:

> If a generic package defines a controlled type, can that
> package be instantiated at non-library level?

If you read 3.10.2 you will learn more than you want to know about 
accessability levels.  However, the important rule for this case is in 
3.9.1(3):   "The accessibility level (see 3.10.2) of a record extension 
shall not be statically deeper than that of its parent type. In addition 
to the places where Legality Rules normally apply (see 12.3), these 
rules apply also in the private part of an instance of a generic unit."

But why would you want to instantiate a generic package that declares an 
explicitly tagged type other than as a library unit or in another package?

-- 
                                          Robert I. Eachus

"Quality is the Buddha. Quality is scientific reality. Quality is the 
goal of Art. It remains to work these concepts into a practical, 
down-to-earth context, and for this there is nothing more practical or 
down-to-earth than what I have been talking about all along...the repair 
of an old motorcycle."  -- from Zen and the Art of Motorcycle 
Maintenance by Robert Pirsig