Re: Ada.Real_Time.Time_Last

["Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>]

On 2017-11-18 16:24, Niklas Holsti wrote:

> Making Count'First and Count'Last available is part of the goal of the 
> extension, but the point is that the *expressions* that define their 
> values would still be *private*, which means that the user of the type 
> cannot (or is not meant to) depend on those expressions. The user can 
> access the end result ('First, 'Last) but is not meant to depend on any 
> other properties of those expressions.

The proposal should also encompass other cases where information hiding 
principle gets violated, e.g.:

    procedure Foo (I : Integer := 20);

If I don't want to expose the default or when the parameter is a private 
type, I should be able to provide a private value, just like in your case:

    type Count is range 0..<private-value>;

Same applies to the defaults of record type members, BTW.
  --
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de