Re: Inheritance with Ada types

[Jean-Pierre Rosen <rosen@adalog.fr>]

Hibou57 (Yannick Duch�ne) a �crit :
> On 9 f�v, 10:11, Jean-Pierre Rosen <ro...@adalog.fr> wrote:
>>> clause... the use clause is particularly evil here.
> With package named Parent, containing a type named Parent, having a
> use clause on Parent brings into a context where the name Package can
> be both resolved as a package or as a type.
> 
> The use clause is clearly involved here, as one the way to get ride of
> this error is to remove the use clause. The other way being to rename
> either the type either the package.
> 
> May be I was wrong to say the use clause is particularly evil there :
> I should have said � the use clause is particularly vicious there
> � (due to its vicious side effect in such a kind of context).
> 
I don't see anything vicious. You have to understand that the use clause
is "weak", it never goes against normal visibility. You have a package
named Parent which is directly visible, a type named Parent which is
use-visible. In this case, the use clause politely gives the way to
direct visibility.

The evil/vicious/whatever is in having nested entities with the same name.

-- 
---------------------------------------------------------
           J-P. Rosen (rosen@adalog.fr)
Visit Adalog's web site at http://www.adalog.fr