Re: Possible to recover default value of scalar type?

[Stephen Leake <stephen_leake@stephe-leake.org>]

reinert <reinkor@gmail.com> writes:

> Assume the following code:
>
> type A_Type is new Natural range 0..9 with Default_Value => 9;
> A : A_Type;
>
> Is it later on here possible to get access to the default value (9) ?
> If A was a component of a record, one could get it "9" via
>
>   some_record'(others =><>).A
>
> But more directly?

You were almost there:

procedure Debug
is
   type A_Type is new Natural range 0 .. 9 with Default_Value => 9;
   A : A_Type;
begin
   Put_Line ("a_type default" & A'Image);
end Debug;

This outputs:

a_type default 9

An uninitialized variable of the type has the specified default value;
that's the whole point.

-- 
-- Stephe