comp.lang.ada
 help / color / mirror / Atom feed
From: "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>
Subject: Re: Automatic Serialization of Dynamic Structures in Ada
Date: Fri, 4 Mar 2022 23:01:41 +0100	[thread overview]
Message-ID: <svu283$1o7p$1@gioia.aioe.org> (raw)
In-Reply-To: svtsld$13d2$1@gioia.aioe.org

On 2022-03-04 21:26, Manuel Gomez wrote:
> I wanted to do automatic serialization of Ada types that make use of 
> dynamic memory management with access types,

That is impossible to do since the semantics of references access type 
implement is unknown. E.g. external references, references inside 
managed objects, references to non-movable, non-copyable objects, 
references created in certain order etc.

I am using a method where references are either explicitly manifested by 
the serialized objects or explicitly converted to offsets by objects 
containing them.

> but the standard solution 
> only works for object values, not for access values.

If you mean stream attributes remember that they are non-portable and 
have very limited use unless overridden.

> Was an AI finally proposed as suggested in the Future Work?

I doubt it could have practical use, e.g. for networking or persistence 
purposes.

-- 
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de

  reply	other threads:[~2022-03-04 22:01 UTC|newest]

Thread overview: 3+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2022-03-04 20:26 Automatic Serialization of Dynamic Structures in Ada Manuel Gomez
2022-03-04 22:01 ` Dmitry A. Kazakov [this message]
2022-03-11  5:26   ` Matt Borchers
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox