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.
next prev parent 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