Re: Char type verification

["Jeffrey R. Carter" <spam.not.jrcarter@acm.not.spam.org>]

KE wrote:
> 
> It was intended as "How do you translate this example to Ada? How would
> you, as a presumably experienced Ada coder, do it? What hoops would we
> jump through?

What this example does is output whether the 1st character of the 1st 
command-line argument is in the range 'A' .. 'Z'. In the Ada world, we 
tend to ignore the details of badly designed examples in poorly designed 
languages and simply implement the same functionality. Since there is no 
reason for your conversions and home-grown function, we're not going to 
waste effort translating them.

I've been using Ada since 1984. I'm a SW engineer, not a coder. But as 
an experienced Ada SW engineer, how I would do it would look something like

declare
    Arg : constant String := Ada.Command_Line.Argument (1);
    -- Presumably after making sure there is a 1st argument
begin
    Ada.Text_IO.Put_Line
       (Item => Boolean'Image (Arg (Arg'First) in 'A' .. 'Z') );
end;

-- 
Jeff Carter
"From this day on, the official language of San Marcos will be Swedish."
Bananas
28