Re: [Newbie] doubly constrained array, dumb question

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

On 2018-02-26 18:02, J-P. Rosen wrote:
> Le 26/02/2018 à 17:26, Mehdi Saada a écrit :
>> Hello.
>>
>> I would like an constrained String subtype with narrower bounds that Positive'Range.
>> How can I do something like:
>> subtype Possible_Length is NATURAL range 1..80;
>> subtype T_Line is String (Possible_Length range <>);
>> ? I know "range <>" isn't included in the definition of "range_constraint". How can I express the same thing.
>> So that I can get after, a dynamic string with:
>> A: access T_LINE := new T_LINE'("BLABLABLA"); while checking for its range.
>>
> You can't do that, because a subtype can't be both constrained and
> unconstrainde at the same time...

Yes, this is quite annoying that composite types cannot be constrained. 
AFAIK, neither of these can be constrained to produce a subtype:

1. array's index
2. array's element
3. record's component
4. access type's target type
5. discriminant
6. argument of a subroutine access type
7. class-wide types (closed range of descendants T'Class (T..S))
8. tagged type primitive operations (disallowing operations)
9. protected and task type entries (disallowing operations)
10. task type entry family

The list is likely incomplete.

-- 
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de