Re: [Spark] Converting Arrays

["James S. Rogers" <jimmaureenrogers@worldnet.att.net>]

"Lutz Donnerhacke" <lutz@iks-jena.de> wrote in message
news:slrnb6phge.1gd.lutz@taranis.iks-jena.de...
> I run into a difficult problem (for me):
> $ cat test.ada <<END
> package test is
>    type Fullpath is array(Positive range <>) of Character;
>    procedure To_Fullpath (s : String; path : out Fullpath);
>    --# derives path from s;
> end test;
>
> package body test is
>    procedure To_Fullpath (s : String; path : out Fullpath) is
>    begin
>       path := Fullpath'(others => ASCII.NUL);
>       for i in Positive range 1 .. s'Length loop
>         path (path'First + i) := s (s'First + i);
>       end loop;
>    end To_Fullpath;
> end test;

change the initialization of "path" as follows:

path := (others => ASCII.NUL);

Note that another problem looms in your code.
The "for" loop will attempt to access one element
beyond the end of string "s".
It appears that you are trying to copy s into path
while skipping the first element of s. This can be done
more directly and correctly with array slices:

if s'Length <= path'Length then
   path(path'First..(path'First + s'Length - 1)) := s((s'First +
1)..s'Last);
end if;

You will need to decide how to handle the case when
path is shorter than s.

Jim Rogers