Re: Structured exception information

["Alex R. Mosteo" <devnull@mailinator.com>]

Maciej Sobczak wrote:

> BTW - How can I ensure in a general way that the constructor function
> must be used to initialize the object, otherwise compile-time error is
> reported?

> If I make My_Type a discriminated type (so that the discriminant value
> is used in the default initialization), does it limit anything, like
> constructor parameter types?

You can use a fake discriminant this way:

package ...

   type Blah (<>) is private;

private

   type Blah is ...;

end

That is, you say to the world that the type has discriminants, so it can't
be declared uninitialized. Internally, you don't have discriminants nor any
limitation derived from them.