Re: Inc (was: Real data for a change in the assignment operators and Bounded_String discussions. )

[Gautier Write-only <gautier@somewhere.nil>]

> [Inc]
> >You certainly think to Borland Pascal. Yes, it was a good idea from them.
> >(Standard) Pascal has only "Succ" and "Pred".

Vinzent Hoefler:
> Yes, but note the slight semantic difference there: Inc and Dec don't
> come with range checks.

Interesting. Of course the Ada implementation would follow the
"natural" rule: range check (according to the type), unless suppressed.
Maybe a precision for readers without too much exposure to Pascal:
"Succ" and "Pred" are functions (x:= Succ(x)) like the eponym Ada attributes.
________________________________________________________
Gautier  --  http://www.mysunrise.ch/users/gdm/gsoft.htm

NB: For a direct answer, e-mail address on the Web site!