[AWS] AWS.Utils.Is_Number not working ?
Arnaud Rolly
arnaud.rolly@eikonex.net
Thu, 2 Oct 2003 18:31:16 +0200
Le Jeudi 2 Octobre 2003 18:06, Pascal Obry a =E9crit :
> function Is_Number (S : in String) return Boolean is
> use Strings.Maps;
> begin
> return S'Length > 0
> and then Is_Subset (To_Set (S), Constants.Decimal_Digit_Set);
> end Is_Number;
Yes, it's the right source code.
I'm using GNAT 3.15p (20020523), on Debian/testing (from the Ludovic Brent=
a=20
package version 3.15p-2), on a P3.
=2D-=20
Arnaud Rolly <arnaud.rolly@eikonex.net>
Eikonex - Open Source Engineering (http://www.eikonex.net)