Re: Zoo question

[rgilbert@unconfigured.xvnews.domain (Bob Gilbert)]

In article <3211EA8F.167EB0E7@escmail.orl.mmc.com>, Ted Dennison <dennison@escmail.orl.mmc.com> writes:
> 
> Close. However, integer is not the only predefined "integer type" allowed.
> Thus it could well be something like Short_Integer that the compiler 
> chooses to derive Animal_ID's base type from.
> 
> Of course this is a nit upon a nit. In effect if not in detail, you were
> correct (and at a certian level of detail, we are all incorrect).

Okay, although I would have (wrongly) assumed that type integer would
have been selected.  I guess the point is that the integer type eventually
used as the base type most likely won't have a constrained range of 1 .. 5,
and the attribute 'Succ uses the constraints of the base type, not any 
additional constraints imposed on it by the (implied) subtype.

> However, I should (and did) point out that the constraint check does NOT have
> to happen (and does not have to happen within the begin block). That is why 
> Ada (95) now has the 'valid attribute.

Right, so depending on the particular (Ada 83) compiler, the code may or 
may not produce the desired result, depending on whether the constraint
check is performed within the begin block or not.

-Bob