Under which category of types in the ARM do Natural and Positive fall?

Under which category of types in the ARM do Natural and Positive fall?

[matthias_k]

Are those predefined Integer types? That would mean they fall under the 
"signed" category, which doesn't make sense. However, there's only a 
signed and modular category.

Where's the difference between Natural and Positive anyway?

- Matthias

Re: Under which category of types in the ARM do Natural and Positive fall?

[Peter Amey]

matthias_k wrote:
>[snip]
> 
> Where's the difference between Natural and Positive anyway?
> 

Sorry, just can't resist the temptation to answer "nothing".


Peter

Re: Under which category of types in the ARM do Natural and Positivefall?

[Joe Simon]

Peter Amey wrote:

> matthias_k wrote:
> >[snip]
> >
> > Where's the difference between Natural and Positive anyway?
> >
>
> Sorry, just can't resist the temptation to answer "nothing".
>
> Peter

Great Answer :)

--
Joe Simon
Owego, NY
Remove .NOSPAM to send e-mail

Re: Under which category of types in the ARM do Natural and Positive fall?

[David C. Hoos]

Well, "nothing" would be a fine answer, if it were a correct one.

Natural numbers include zero, while positive numbers exclude zero.

----- Original Message ----- 
From: "Peter Amey" <peter.amey@praxis-cs.co.uk>
Newsgroups: comp.lang.ada
To: <comp.lang.ada@ada-france.org>
Sent: Monday, September 13, 2004 8:49 AM
Subject: Re: Under which category of types in the ARM do Natural and
Positive fall?


>
>
> matthias_k wrote:
> >[snip]
> >
> > Where's the difference between Natural and Positive anyway?
> >
>
> Sorry, just can't resist the temptation to answer "nothing".
>
>
> Peter
>
>
> _______________________________________________
> comp.lang.ada mailing list
> comp.lang.ada@ada-france.org
> http://www.ada-france.org/mailman/listinfo/comp.lang.ada
>

Re: Under which category of types in the ARM do Natural and Positive fall?

[Ed Falis]

On Thu, 16 Sep 2004 08:28:22 -0500, David C. Hoos  
<david.c.hoos.sr@ada95.com> wrote:

> Well, "nothing" would be a fine answer, if it were a correct one.


I think the joke was that the difference was "0"

;-)

- Ed

Re: Under which category of types in the ARM do Natural and Positive fall?

[Randy Brukardt]

"Ed Falis" <falis@verizon.net> wrote in message
news:opsefe48mv5afhvo@localhost...
> On Thu, 16 Sep 2004 08:28:22 -0500, David C. Hoos
> <david.c.hoos.sr@ada95.com> wrote:
>
> > Well, "nothing" would be a fine answer, if it were a correct one.
>
>
> I think the joke was that the difference was "0"
>
> ;-)

Oh, wow, that was a joke? I think it needed a roadmap - thanks for giving us
one.

                       Randy.

Re: Under which category of types in the ARM do Natural and Positive fall?

[Ed Falis]

On Thu, 16 Sep 2004 12:53:34 -0500, Randy Brukardt <randy@rrsoftware.com>  
wrote:

> Oh, wow, that was a joke? I think it needed a roadmap - thanks for  
> giving us
> one.


Hey, I didn't put it there, but I did get it. :-P

Re: Under which category of types in the ARM do Natural and Positive fall?

[Dale Stanbrough]

Ed Falis wrote:

> Hey, I didn't put it there, but I did get it. :-P

As did I! :-)

(and i thought it was funny!)

dale

-- 
dstanbro@spam.o.matic.bigpond.net.au

Re: Under which category of types in the ARM do Natural and Positive fall?

[Björn Persson]

matthias_k wrote:

> Are those predefined Integer types? That would mean they fall under the 
> "signed" category, which doesn't make sense. However, there's only a 
> signed and modular category.
> 
> Where's the difference between Natural and Positive anyway?

Reference manual, 3.5.4(13):

subtype Natural  is Integer range 0 .. Integer'Last;
subtype Positive is Integer range 1 .. Integer'Last;

-- 
Björn Persson                              PGP key A88682FD
                    omb jor ers @sv ge.
                    r o.b n.p son eri nu

Re: Under which category of types in the ARM do Natural and Positive fall?

[Martin Dowie]

matthias_k wrote:
> Are those predefined Integer types? That would mean they fall under
> the "signed" category, which doesn't make sense. However, there's
> only a signed and modular category.

They are subtypes of "Integer", defined in the predefined package
"Standard".

> Where's the difference between Natural and Positive anyway?

Natural'First = 0
Positive'First = 1

Reference Manural Annex A.1