Re: How to best make a custom range?

[AdaMagica <christ-usch.grein@t-online.de>]

Am Dienstag, 5. November 2019 16:10:46 UTC+1 schrieb Shark8:
>    TYPE Digits is range 0..9;
>    SUBTYPE Odds is Digits with Static_Predicate => Odds in 1|3|5|7|9;
> what should Odds'Pred(1) be? 0? Constraint_Error?
> what about Odds'Pos(1) should it be 0, the first item of the subtype? Or 1, the position in the parent-type?

Attributes work on the base type, e.g.

Natural'Pred (0) = -1

Constraints on the subtype are ignored, Digit'Pred and Odds'Pred are identical. Thus:

Odds'Pred (8) = 7  -- 8-1
Odds'Pos (2) = 2  -- result is universal_integer

Of course, this will raise an exception:

X: Odds := Odds'Pred (7);  -- 6 not in Odds
Y: Odds := Odds'Pos (8);   -- universal_integer 8 converted into Digits not in Odds