Re: article on acces types and dynamic serialization in Ada (2003)

["Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>]

On 22/02/2018 00:57, Mehdi Saada wrote:

> I already mailed you Simon Wright about it, but I've more info and questions, so it put it here. First the context:
> I played with streams yesterday to learn more, and stumbled on something not really intuitive, at least. what means exactly Some_access_type'Write(Stream1, Some_Pointer) ?

Bug, unless

1. 'Write is overridden, e.g. to flatten the pointer;

2. Stream is used for communication inside the same program, e.g. the 
pointer is simply marshaled.

Linked data serialization requires more work and is usually far less 
straightforward than mere writing pointers. There are many approaches to 
that, e.g. external reference counted objects etc. All this is not 
really related to streams.

P.S. You should simply follow the rule: never ever use predefined 
'Read/'Write/'Input/'Output, except for the case #2, which is probably 
well under 1%.

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