Re: Question about ordinary fixed point types.

[Adam Beneschan <adam@irvine.com>]

On Aug 16, 1:28 pm, "Peter C. Chapin" <chap...@acm.org> wrote:
> On 2010-08-16 08:53, Dmitry A. Kazakov wrote:
>
> >    type Angle_Type is delta 0.0005 range -3.1416 .. 3.1416;
> >    Angle : Angle_Type;
> > begin
> >    Angle := Angle_Type'First;
> >    while Angle < Angle_Type'Last loop
> >       ... -- Work with Angle here.
> >       Angle := Angle_Type'Succ (Angle);
> >    end loop;
>
> That's cool. I didn't realize I could use Succ with a fixed point type.
> I thought that was only for discrete types... or is a fixed point type a
> kind of discrete type (it would make sense for it to be). I guess I can
> look that one up. :)

It's not a discrete type.  However, starting with Ada 95, 'Pred and
'Succ have been defined for fixed-point and floating-point types.  For
fixed-point types, 'Succ is defined to have the same result as adding
the 'Small of the type.  3.5(22-24).

                             -- Adam