From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00 autolearn=ham
	autolearn_force=no version=3.4.4
X-Google-Thread: 103376,8f802583e5c84fa
X-Google-Attributes: gid103376,public
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news1.google.com!news1.google.com!proxad.net!proxad.net!easynet-monga!easynet.net!feed4.jnfs.ja.net!feed3.jnfs.ja.net!jnfs.ja.net!heffalump.dur.ac.uk!nntphost.dur.ac.uk!projectcolo.org.uk!caladan!bbc!news-peer-lilac.gradwell.net!not-for-mail
From: "Martin Dowie" <martin.dowie@baesystems.com>
Newsgroups: comp.lang.ada
References: <m31x3b6n5v.fsf@rr.trudgett> <m2irwnez9b.fsf@hugin.crs4.it>
 <m3mzly6fgy.fsf@rr.trudgett> <1j92wa9843ylq.16j89wuqatbaj$.dlg@40tude.net>
 <433924a2$1_1@glkas0286.greenlnk.net> <43392732$1_1@glkas0286.greenlnk.net>
 <1jd30obyohnp6$.41tz3funikly.dlg@40tude.net>
Subject: Re: String filtering
Date: Tue, 27 Sep 2005 14:42:02 +0100
Organization: BAE SYSTEMS
X-Priority: 3
X-MSMail-Priority: Normal
X-Newsreader: Microsoft Outlook Express 6.00.2800.1506
X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2800.1506
Message-ID: <43394a3e$1_1@glkas0286.greenlnk.net>
X-Original-NNTP-Posting-Host: glkas0286.greenlnk.net
NNTP-Posting-Date: 27 Sep 2005 13:43:06 GMT
NNTP-Posting-Host: 20.133.0.1
X-Trace: 1127828586 news.gradwell.net 38039 dnews/20.133.0.1
X-Complaints-To: news-abuse@gradwell.net
Xref: g2news1.google.com comp.lang.ada:5190
Date: 2005-09-27T13:43:06+00:00
List-Id: <comp.lang.ada>

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."

Cheers

-- Martin