Re: Array slices and types

[Niklas Holsti <niklas.holsti@tidorum.invalid>]

Maciej Sobczak wrote:
> Consider this:
> 
>    type Name is new String (1 .. 10);
> 
>    N : Name;
> 
>    Some_String : String := "abc";
> 
> How can I assign Some_String to the beginning slice (ie. to the first
> three characters) of N?
> Everything that I can think of (short of copying characters
> individually) hits the type compatibility problem.

One way is to assign all of N:

    N := Name (Some_String(1..3) & String (N(4..10)));

Another way is to use a helpful procedure:

    procedure Set (Target : out String; Source : in String)
    is
    begin
       Target := Source;
    end Set;

and use type "conversion" on the output parameter:

    Set (Target => String (N(1..3)), Source => Some_String(1..3));

That is equivalent to the (forbidden):

    String (N(1..3)) := Some_String(1..3);   -- Not Ada!


-- 
Niklas Holsti
Tidorum Ltd
niklas holsti tidorum fi
       .      @       .