Re: Newbie question on Ada TExt_IO

[Jeffrey Carter <jrcarter@acm.org>]

Fraser Wilson wrote:
> Jeffrey Carter <jrcarter@acm.org> writes:
> 
>>subtype Valid_Number is Integer range 1 .. 6;
>>N : Valid_Number;
>>...
>>N := Integer'Value (Input (Input'First .. Last) );
> 
> Should this be
> 
> N := Valid_Number'Value (Input (Input'First .. Last));

The ARM defines 'Value as

For every scalar subtype S:

S'Value denotes a function with the following specification:

function S'Value(Arg : String) return S'Base

Since Valid_Number'Value returns Valid_Number'Base, and Valid_Number is 
a subtype of Integer, the 2 are equivalent.

-- 
Jeff Carter
"Have you gone berserk? Can't you see that that man is a ni?"
Blazing Saddles