Re: type String_Type array(Integer range <>) of Character;

[stefan-lucks@see-the.signature]

On Fri, 16 Apr 2010, Warren wrote:

> procedure M is
> 
>   type String_Type is array(Integer range <>) of Character;
> 
>   S : String_Type := "Abc.";
>   T : String(1..4);
> begin
>   T := String(S); 
      -- this raises Constraint_Error
>   Put_Line(T);
> 
> end M;

Convert S into a variable of type String_Type with String-compatible 
bounds, and then convert that variable into a String:

    S : String_Type := "Abc.";
    T : String_Type(1 .. S'Length) := S;
    U : String(1 .. S'Length);
  begin
     U := String(T); Put_Line(U);  -- or just Put_Line(String(T));

If you have to do that frequently, use an appropriate function (without 
any need to copy the String-like thing character by character):

   function To_String(S: String_Type) return String is
      X: String_Type(1 .. S'Length) := S;
    begin
       return String(X);
    end To_String;



I hope that helps!

Stefan


-- 
------ Stefan Lucks   --  Bauhaus-University Weimar  --   Germany  ------
               Stefan dot Lucks at uni minus weimar dot de
------  I  love  the  taste  of  Cryptanalysis  in  the  morning!  ------