Re: S'Write and How To Count Bytes

["Dr. Joachim Schr�er" <joachim.schroeer@vs.dasa.de>]

I have not thought about the original question but there is
a more elegant solution for your description.

The 'read, 'write attributes are for constrained types.
For unconstrained types (including tagged types/classwide types)
there exist the 'input, 'output attributes. Note, that 'input
is a function. If you want to overwrite 'input, 'output you just
have to overwrite 'read, 'write cause they are used by the former.

For this and input/output of access objects/linked datastructures
you should look into the relevant chapter of Norman Cohens
Ada95 version of "Ada as a second language" or into the Rationale,
chapter A.4.1.

 J. Schroer


David C. Hoos, Sr. <david.c.hoos.sr@ada95.com> schrieb in im Newsbeitrag:
<hXTB5.64979$Ao1.5807473@newsrump.sjc.telocity.net>...
> If your record contains an unbounded string, I would in the
My_Record'Write
> procedure convert the unbounded string to a Standard.String, and write its
> length to the stream with Natural'Write, followed by a call to
String'Write.
> This will put the length of the string on the stream, followed by the
> string itself.
>
> Then, the My_Record'Read procedure would read the length from the stream,
> using Natural'Read, use that length to declare a string of the proper size
> (in a declare block), then read the string with String'Read.
> Finally, you would convert the string to the unbounded string component in
> your My_Record'Read's out parameter of type My_Record.
>
>
> Marin David Condic <mcondic.nospam@acm.org> wrote in message
> news:39D6891A.7DC448B6@acm.org

snip
...