Re: String filtering

["Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>]

On Tue, 27 Sep 2005 14:42:02 +0100, Martin Dowie wrote:

> Dmitry A. Kazakov wrote:
>> No. ARM 95 A.4.5(49) reads:
>>
>> "...If an object of type Unbounded_String is not otherwise
>> initialized, it will be initialized to the same value as
>> Null_Unbounded_String."
> 
> But it was "otherwise initialized":
> 
>          := To_Unbounded_String(Count(Str, Alphanumeric_Set));
> 
> 2nd sentence of ARM 95 A.4.5 (76) reads:
> 
>   "The function To_Unbounded_String(Length : in Natural)
>     returns an Unbounded_String that represents an uninitialized
>     String whose length is Length."

Ah, now I see what you meant!

Right, though my point was that one should use either

   New_Str : String (1...Count (...));

or

   New_Str : Unbounded_String; -- "Uninitialized"

So my comment about empty string concerned the latter case.

If To_Unbounded_String (Count) is ever used then of course Replace_Element
should be in place of assignment + Append. Because, assignment might
reclaim the memory allocated by To_Unbounded_String (Count).

-- 
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de