Re: Ada-Singleton-Why does it work like this?

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

patrick.gunia@googlemail.com a �crit :
> [..] Which mechanism is responsible for
> prohibiting this to my singleton class?
Very simple: variables of this type have to be initialized. However, the
type is private (you cannot provide a value in the form of an aggregate
f.e.), and there is no function that returns a value of the type.

=> There is no way to have a value of the type
=> There is no possible initialization value
=> You cannot declare a variable of the type
QED

Of course, in the package /body/ you see the full declaration, that's
why you are allowed to declare a variable there.

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