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.9 required=5.0 tests=BAYES_00,FORGED_GMAIL_RCVD, FREEMAIL_FROM autolearn=no autolearn_force=no version=3.4.4 X-Google-Thread: 103376,66fae8c862b81b17 X-Google-NewGroupId: yes X-Google-Attributes: gida07f3367d7,domainid0,public,usenet X-Google-Language: ENGLISH,ASCII-7-bit Received: by 10.66.85.166 with SMTP id i6mr760430paz.13.1351870130271; Fri, 02 Nov 2012 08:28:50 -0700 (PDT) Received: by 10.68.141.45 with SMTP id rl13mr415146pbb.8.1351870130253; Fri, 02 Nov 2012 08:28:50 -0700 (PDT) Path: 6ni57209pbd.1!nntp.google.com!kt20no29117347pbb.1!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail Newsgroups: comp.lang.ada Date: Fri, 2 Nov 2012 08:28:50 -0700 (PDT) In-Reply-To: <5093d456$0$9507$9b4e6d93@newsspool1.arcor-online.net> Complaints-To: groups-abuse@google.com Injection-Info: glegroupsg2000goo.googlegroups.com; posting-host=69.20.190.126; posting-account=lJ3JNwoAAAAQfH3VV9vttJLkThaxtTfC NNTP-Posting-Host: 69.20.190.126 References: <1aWdnbcg_8-BzAzNnZ2dnUVZ_j6dnZ2d@giganews.com> <559eb706-9bb1-496d-9034-1984d693531a@googlegroups.com> <5093d456$0$9507$9b4e6d93@newsspool1.arcor-online.net> User-Agent: G2/1.0 MIME-Version: 1.0 Message-ID: <32001fef-4d96-455e-a706-3512500dda49@googlegroups.com> Subject: Re: Copy vector in Ada From: Shark8 Injection-Date: Fri, 02 Nov 2012 15:28:50 +0000 Content-Type: text/plain; charset=ISO-8859-1 Date: 2012-11-02T08:28:50-07:00 List-Id: On Friday, November 2, 2012 8:10:56 AM UTC-6, Georg Bauhaus wrote: > > Assignment statements for containers have copy semantics. For example, > > LRM A.18.2 says about vectors: > " Implementation Requirements > > > "254/2 The execution of an assignment_statement for a vector shall have > the effect of copying the elements from the source vector object to > the target vector object." > > So, backed by the LRM, programmers need not worry about Adjust procedures, > if any. Dang, that is _nice_. I'm glad we've got a lot of smart guys on the language-definition group.