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-74-118.ec2.internal X-Spam-Level: X-Spam-Status: No, score=-1.9 required=3.0 tests=BAYES_00 autolearn=ham autolearn_force=no version=3.4.6 Path: eternal-september.org!reader02.eternal-september.org!aioe.org!hzzNxxMX5IPvnEV4b74Cww.user.46.165.242.91.POSTED!not-for-mail From: "Dmitry A. Kazakov" Newsgroups: comp.lang.ada Subject: Re: Automatic Serialization of Dynamic Structures in Ada Date: Fri, 4 Mar 2022 23:01:41 +0100 Organization: Aioe.org NNTP Server Message-ID: References: Mime-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 7bit Injection-Info: gioia.aioe.org; logging-data="57593"; posting-host="hzzNxxMX5IPvnEV4b74Cww.user.gioia.aioe.org"; mail-complaints-to="abuse@aioe.org"; User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:91.0) Gecko/20100101 Thunderbird/91.6.1 Content-Language: en-US X-Notice: Filtered by postfilter v. 0.9.2 Xref: reader02.eternal-september.org comp.lang.ada:63578 List-Id: 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