From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on
	ip-172-31-65-14.ec2.internal
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=3.0 tests=BAYES_00,T_SCC_BODY_TEXT_LINE
	autolearn=ham autolearn_force=no version=3.4.6
Path: eternal-september.org!reader01.eternal-september.org!aioe.org!gy7opw3oYmwPg+L8gXeD2w.user.46.165.242.75.POSTED!not-for-mail
From: Stephen Leake <stephen_leake@stephe-leake.org>
Newsgroups: comp.lang.ada
Subject: Re: Move semantics
Date: Fri, 23 Sep 2022 23:54:37 -0700
Organization: Aioe.org NNTP Server
Message-ID: <86zgepi7o2.fsf@stephe-leake.org>
References: <e0687b45-9e05-4099-9d63-9278e5dec6f4n@googlegroups.com>
	<tecn59$8s3o$1@dont-email.me> <tecpif$1nnl$1@gioia.aioe.org>
	<tef6oo$rug$1@gioia.aioe.org> <tefg0t$h65$1@gioia.aioe.org>
	<5b429465-6166-4f33-ad1d-3103e4847efcn@googlegroups.com>
	<tg4gt9$5s4b$1@dont-email.me> <868rmfjnx4.fsf@stephe-leake.org>
	<87k05znqpk.fsf@nightsong.com>
Mime-Version: 1.0
Content-Type: text/plain
Injection-Info: gioia.aioe.org; logging-data="39774"; posting-host="gy7opw3oYmwPg+L8gXeD2w.user.gioia.aioe.org"; mail-complaints-to="abuse@aioe.org";
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/29.0.50 (windows-nt)
X-Notice: Filtered by postfilter v. 0.9.2
Cancel-Lock: sha1:V+AsYaHeHQv9hmnnl1jOqtGqrbw=
Xref: reader01.eternal-september.org comp.lang.ada:64386
List-Id: <comp.lang.ada>

Paul Rubin <no.email@nospam.invalid> writes:

> Stephen Leake <stephen_leake@stephe-leake.org> writes:
>> What definition/semantics of "move" do you mean? Is it documented
>> somewhere?
>
> I think it refers to the C++ notion.
> https://en.cppreference.com/w/cpp/utility/move

This may be similar to "ownership" in SPARK:
https://docs.adacore.com/live/wave/spark2014/html/spark2014_ug/en/source/language_restrictions.html#memory-ownership-policy

-- 
-- Stephe