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=-0.3 required=5.0 tests=BAYES_00,FREEMAIL_FROM,
	REPLYTO_WITHOUT_TO_CC autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,4f316de357ae35e9
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 2002-08-26 14:50:37 PST
Path: 
 archiver1.google.com!news1.google.com!newsfeed.stanford.edu!canoe.uoregon.edu!logbridge.uoregon.edu!msunews!not-for-mail
From: "Chad R. Meiners" <crmeiners@hotmail.com>
Newsgroups: comp.lang.ada
Subject: Re: FAQ and string functions
Date: Mon, 26 Aug 2002 17:46:15 -0400
Organization: Michigan State University
Message-ID: <ake7lh$1tpp$1@msunews.cl.msu.edu>
References: <20020730093206.A8550@videoproject.kiev.ua>
 <4519e058.0207300548.15eeb65c@posting.google.com>
 <20020731104643.C1083@videoproject.kiev.ua>
 <4519e058.0208010629.5e6182ca@posting.google.com>
 <20020801194720.Q1080@videoproject.kiev.ua>
 <4519e058.0208020605.5ab7e092@posting.google.com>
 <3D4AAF63.72782659@san.rr.com> <3D4B2382.7030209@telepath.com>
 <3D4B2ACD.FDA29B9A@san.rr.com> <3D4B401E.3060802@telepath.com>
 <3D4B4477.500088B@san.rr.com> <slrnaksiv8.oo.lutz@taranis.iks-jena.de>
 <3D4EA1AC.80D17170@s <wccofc6b66u.fsf@shell01.TheWorld.com>
 <uofc518w0.fsf@gsfc.nasa.gov> <wccd6s5y09r.fsf@shell01.TheWorld.com>
 <akdsv9$1j26$1@msunews.cl.msu.edu> <wcc4rdhxxj8.fsf@shell01.TheWorld.com>
Reply-To: "Chad R. Meiners" <crmeiners@hotmail.com>
NNTP-Posting-Host: arctic.cse.msu.edu
X-Priority: 3
X-MSMail-Priority: Normal
X-Newsreader: Microsoft Outlook Express 6.00.2600.0000
X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2600.0000
Xref: archiver1.google.com comp.lang.ada:28432
Date: 2002-08-26T17:46:15-04:00
List-Id: <comp.lang.ada>


"Robert A Duff" <bobduff@shell01.TheWorld.com> wrote in message
news:wcc4rdhxxj8.fsf@shell01.TheWorld.com...
> It's not blatantly visible to me.  Please explain.

Well given the input of size X'Length, the assignment take c * X'Length
time.

> Unless you mean that it copies at most Integer'Last bytes, which is not
> a very *useful* bound.  More to the point, this time bound is very
> different from the time bound for ":=" on, say, Integers.  Yet both use
> the same ":=" notation.

Well I meant that it copies at most X'Length bytes.  This is useful since we
can see that the complexity of the assignment is linear on the input of P.
Note that with the following procedure

Procedure Z(X : Integer) is
    Y : Integer;
begin
    Y := X;
    ...

the assignment is also linear on the input of Z.  So they actually have the
same time bound (linear).  The difference lies in the fact that the P's
input size is variable while Z's is not.

-CRM