From: Stephen Leake <stephen_leake@stephe-leake.org>
Subject: Re: Move semantics
Date: Fri, 23 Sep 2022 23:54:37 -0700 [thread overview]
Message-ID: <86zgepi7o2.fsf@stephe-leake.org> (raw)
In-Reply-To: 87k05znqpk.fsf@nightsong.com
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
next prev parent reply other threads:[~2022-09-24 6:54 UTC|newest]
Thread overview: 37+ messages / expand[flat|nested] mbox.gz Atom feed top
2022-08-25 10:01 yet another Ada web site? Maxim Reznik
2022-08-26 18:58 ` Paul Rubin
2022-08-27 9:12 ` Rene
2022-08-27 9:53 ` Nasser M. Abbasi
2022-08-28 7:21 ` Simon Wright
2022-08-28 7:50 ` Dmitry A. Kazakov
2022-08-28 10:26 ` Luke A. Guest
2022-09-16 15:25 ` Maxim Reznik
2022-09-16 17:07 ` Luke A. Guest
2022-09-16 17:34 ` Stephen Leake
2022-09-16 18:45 ` Jere
2022-09-17 9:45 ` Luke A. Guest
2022-09-16 18:49 ` Jere
2022-09-17 13:08 ` Move semantics (was: yet another Ada web site?) G.B.
2022-09-19 17:04 ` Move semantics Stephen Leake
2022-09-19 18:50 ` Paul Rubin
2022-09-20 11:44 ` AdaMagica
2022-09-20 14:46 ` Niklas Holsti
2022-09-20 19:39 ` Paul Rubin
2022-09-24 6:54 ` Stephen Leake [this message]
2022-09-18 8:47 ` yet another Ada web site? grosdan
2022-09-18 10:57 ` Dmitry A. Kazakov
2022-09-18 16:28 ` Luke A. Guest
2022-09-19 17:02 ` Stephen Leake
2022-09-19 6:39 ` Emmanuel Briot
2022-09-30 10:29 ` shtps
2022-09-30 12:29 ` Niklas Holsti
2022-10-09 16:13 ` Stephen Leake
2022-10-12 4:21 ` Paul Jarrett
2022-10-13 0:06 ` Stephen Leake
2022-10-13 6:58 ` Dmitry A. Kazakov
2022-10-14 8:41 ` Fabien Chouteau
2022-10-14 10:05 ` Dmitry A. Kazakov
2022-10-14 11:19 ` Stephen Leake
2022-10-14 13:05 ` Dmitry A. Kazakov
2022-10-16 8:54 ` G.B.
2022-10-16 9:20 ` Dmitry A. Kazakov
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox