comp.lang.ada
 help / color / mirror / Atom feed
From: deuteros <deuteros@xrs.net>
Subject: Re: Checking to see if a string is a letter
Date: Thu, 5 Apr 2012 18:04:07 +0000 (UTC)
Date: 2012-04-05T18:04:07+00:00	[thread overview]
Message-ID: <jlkmqn$mtp$1@dont-email.me> (raw)
In-Reply-To: 514763028355339029.041536martin-re.mo.ve.thedowies.com@news.btinternet.com

On Thu 05 Apr 2012 01:24:05p, Martin Dowie <martin@re.mo.ve.thedowies.com> wrote in 
news:514763028355339029.041536martin-re.mo.ve.thedowies.com@news.btinternet.com:

> deuteros <deuteros@xrs.net> wrote:
>
>> Alright, here's my function:
>> 
>>    function isVariable(token: in String) return Boolean is
>>       ParserException : Exception;
>>    begin
>>       if(token'Length = 1) then
>>          return (Is_Letter(token(1)));
>>       end if;
>> 
>>       raise ParserException with ("Not a letter : " & token);
>>      
>>    end isVariable;
>> 
>> But I'm getting this warning:
>> 
>> warning: index for "token" may assume lower bound of 1
>> warning: suggested replacement: "token'First + -1"
> 
> See http://www.ada-auth.org/standards/12rm/html/RM-3-6-3.html to see how
> String is defined.
> 
> From this you can see that token may not have a value at "token (1)",
> perhaps it is indexed by 10..20.

Yeah, I knew that much. I just didn't know how to make the compiler know
that it will always be 1. 

> NB: ParserException is declared locally, so isn't visible to any
> subprogram that could attempt to catch it...you'd need to use "when
> others =>". 

For the purposes of this particular project, the program is just supposed to abort
whenever there's an exception. Thanks though. 



  reply	other threads:[~2012-04-05 18:04 UTC|newest]

Thread overview: 18+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2012-04-03  2:11 Checking to see is a string is a letter deuteros
2012-04-03  4:18 ` Leo Brewin
2012-04-03  4:52   ` Checking to see if " deuteros
2012-04-03  5:15     ` Jeffrey Carter
2012-04-03  6:07       ` deuteros
2012-04-03  6:47         ` Gautier write-only
2012-04-03 12:55           ` deuteros
2012-04-03 14:19             ` gautier_niouzes
2012-04-03  8:26         ` Simon Wright
2012-04-03 12:56           ` deuteros
2012-04-03 13:46           ` Dmitry A. Kazakov
2012-04-05 17:12           ` deuteros
2012-04-05 17:24             ` Martin Dowie
2012-04-05 18:04               ` deuteros [this message]
2012-04-05 18:18             ` Adam Beneschan
2012-04-05 18:56             ` Simon Wright
2012-04-03 20:40         ` Jeffrey Carter
2012-04-03  7:09 ` Checking to see is " Thomas Løcke
replies disabled

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