Re: integer'image

[tmoran@bix.com]

> integer_string:string(1..2);
>     integer_string:=integer'image(x);
> everything is fine until x=10. This raises a constraint error which I
> interpret to be a problem with mismatched string lenghts. If I increase
> integer_string lenght a constraint error is raised on the first iteration.
>
> I'm sure that it is a standard application to convert integers to their
> string images but I can't figure what I'm missing here.
  Integer'image(1) is " 1", a two character string.
  Integer'image(10) is " 10", a three character string.
  Integer'image(100) is " 100", a four character string.
so declaing the string to be 2 characters long limits you to
integer'image of -9 .. 9.  The usual idiom is to do
    declare
      integer_string : string :=integer'image(x);
    begin
      ...
    end;
which will make integer_string just exactly the right length, not
too short and not too long.
  If you need integer_string to be available more globally, try
    integer_string : string(1 .. 4) := (others=> ' '); -- max " 999"
    ...
    declare
      this_integer_string : constant string := integer'image(x);
    begin
      integer_string
        := (this_integer_string'length+1 .. integer_string'length => ' ')
           & this_integer_string;
    end;
Alternatively, just use Ada.Text_IO.Integer_IO.Put