comp.lang.ada
 help / color / mirror / Atom feed
From: Robert A Duff <bobduff@shell01.TheWorld.com>
Subject: Re: Pascal ranges
Date: Tue, 30 Dec 2008 18:19:37 -0500
Date: 2008-12-30T18:19:37-05:00	[thread overview]
Message-ID: <wccmyed1cae.fsf@shell01.TheWorld.com> (raw)
In-Reply-To: C58032D6.1063E6%yaldnif.w@blueyonder.co.uk

"(see below)" <yaldnif.w@blueyonder.co.uk> writes:

> Often, yes, it is, but there are cases where one wants to model in Pascal a
> similar kind of relationship as exists between Integer, Natural and
> Positive, but for a more restricted range.

I agree.

>.. The need for these closely
> related subranges is rather smaller in Ada, e.g. thanks to array attributes
> such as 'First and 'Last.

I don't understand why you say "need...rather smaller" here.
I often have two subtypes of the same type, one for counting
how many there are (0..N), and one for indexing into an array
of them (1..N).  Like this:

    type Blah_Index is range 1..N;
    subtype Blah_Count is Blah_Index'Base range 0..Blah_Index'Last;

- Bob



  reply	other threads:[~2008-12-30 23:19 UTC|newest]

Thread overview: 26+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2008-12-30  3:13 Selective suppression of warnings --- gnat on GNU/Linux Michael Mounteney
2008-12-30  8:03 ` Ludovic Brenta
2008-12-30 22:49   ` Michael Mounteney
2008-12-30 23:26     ` Robert A Duff
2008-12-30 11:01 ` (see below)
2008-12-30 11:37   ` Georg Bauhaus
2008-12-30 12:05     ` (see below)
2008-12-30 14:11       ` Pascal ranges (was: Selective suppression of warnings --- gnat on GNU/Linux) Georg Bauhaus
2008-12-30 20:19         ` (see below)
2008-12-30 23:19           ` Robert A Duff [this message]
2008-12-30 23:34             ` Pascal ranges (see below)
2008-12-31  0:07               ` Robert A Duff
2008-12-31  0:32                 ` (see below)
2008-12-30 23:13 ` Selective suppression of warnings --- gnat on GNU/Linux Robert A Duff
2008-12-31  9:46   ` Jean-Pierre Rosen
2008-12-31 14:55     ` Robert A Duff
2008-12-31 16:13       ` Jean-Pierre Rosen
2008-12-31 20:01         ` Robert A Duff
2008-12-31 18:43     ` (see below)
2008-12-31 19:49       ` Robert A Duff
2008-12-31 20:24         ` Jeffrey R. Carter
2008-12-31 22:38           ` Robert A Duff
2008-12-31 19:46 ` Jerry
2008-12-31 22:39   ` Robert A Duff
2008-12-31 23:37   ` Michael Mounteney
2009-01-01  9:45   ` sjw
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox